Showing 1–27 of 27 results for author: Dhillon, A

Semiorthogonal decompositions for generalized Severi-Brauer schemes

Authors: Ajneet Dhillon, Sayantan Roy Chowdhury

Abstract: The purpose of this paper is to use conservative descent to study semi-orthogonal decompositions for some homogeneous varieties over general bases. We produce a semi-orthogonal decomposition for the bounded derived category of coherent sheaves on a generalized Severi-Brauer scheme. This extends known results for Sever-Brauer varieties and Grassmanianns. We use our results to construct semi-orthogo… ▽ More The purpose of this paper is to use conservative descent to study semi-orthogonal decompositions for some homogeneous varieties over general bases. We produce a semi-orthogonal decomposition for the bounded derived category of coherent sheaves on a generalized Severi-Brauer scheme. This extends known results for Sever-Brauer varieties and Grassmanianns. We use our results to construct semi-orthogonal decompositions for flag varieties over arbitrary bases. This generalises a result of Kapranov. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Mukai Duality for abelian stacks

Authors: Ajneet Dhillon, Brett Nasserden

Abstract: An abelian stack is a stacky generalization of an abelian variety that was introduced by Brochard. Just as an abelian variety has a dual, an abelian stack $\mathcal{A}$ has a dual $\mathfrak{D}(\mathcal{A})$ which generalizes the classical dual. In general, $\mathfrak{D}(\mathcal{A})$ is no longer an abelian stack but a commutative group scheme which is an extension of a finite, flat, and finitely… ▽ More An abelian stack is a stacky generalization of an abelian variety that was introduced by Brochard. Just as an abelian variety has a dual, an abelian stack $\mathcal{A}$ has a dual $\mathfrak{D}(\mathcal{A})$ which generalizes the classical dual. In general, $\mathfrak{D}(\mathcal{A})$ is no longer an abelian stack but a commutative group scheme which is an extension of a finite, flat, and finitely presented commutative group scheme by an abelian scheme. We show that Fourier-Mukai duality holds for tame abelian stacks and their duals. Our approach is as follows. Let $QC_\infty(\mathcal{A})$ be the stable infinity category of quasi-coherent sheaves on $\mathcal{A}$. We define a Poincare bundle on $\mathcal{A}\times \mathfrak{D}(\mathcal{A})$ and use this to show that $QC_\infty(\mathcal{A})$ and $QC_\infty(\mathfrak{D}(\mathcal{A}))$ are dual as objects in the infinity category of stable infinity categories. By a result of Ben-Zvi,Francis and Nadler we have that $QC_\infty(\mathcal{A})$ is self dual, giving that $QC_\infty(\mathcal{A})\cong QC_\infty(\mathfrak{D}(\mathcal{A}))$ which gives the statement for the derived categories. In addition we give new examples of tame abelian stacks. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Optimality and robustness in path-planning under initial uncertainty

Authors: Dong** Qi, Adam Dhillon, Alexander Vladimirsky

Abstract: Classical deterministic optimal control problems assume full information about the controlled process. The theory of control for general partially-observable processes is powerful, but the methods are computationally expensive and typically address the problems with stochastic dynamics and continuous (directly unobserved) stochastic perturbations. In this paper we focus on path planning problems w… ▽ More Classical deterministic optimal control problems assume full information about the controlled process. The theory of control for general partially-observable processes is powerful, but the methods are computationally expensive and typically address the problems with stochastic dynamics and continuous (directly unobserved) stochastic perturbations. In this paper we focus on path planning problems which are in between -- deterministic, but with an initial uncertainty on either the target or the running cost on parts of the domain. That uncertainty is later removed at some time $T$, and the goal is to choose the optimal trajectory until then. We address this challenge for three different models of information acquisition: with fixed $T$, discretely distributed and exponentially distributed random $T$. We develop models and numerical methods suitable for multiple notions of optimality: based on the average-case performance, the worst-case performance, the average constrained by the worst, the average performance with probabilistic constraints on the bad outcomes, risk-sensitivity, and distributional-robustness. We illustrate our approach using examples of pursuing random targets identified at a (possibly random) later time $T$. △ Less

Submitted 22 June, 2023; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 25 pages, 14 figures. Keywords: optimal control, path-planning, Hamilton-Jacobi PDEs, uncertainty, robustness, delayed information acquisition

MSC Class: 49L20; 49N90; 60J28; 35R35

A homotopical Skolem--Noether theorem

Authors: Ajneet Dhillon, Pál Zsámboki

Abstract: The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector bundles. The Derived Skolem--Noether Theorem [Lieblich, 09] generalizes this result to weak algebras in the derived 1-category locally quasi-isomorphic to derived en… ▽ More The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector bundles. The Derived Skolem--Noether Theorem [Lieblich, 09] generalizes this result to weak algebras in the derived 1-category locally quasi-isomorphic to derived endomorphism algebras of perfect complexes. We show that in general for a co-family $\mathscr C^\otimes$ of presentable monoidal quasi-categories with descent over a quasi-category with a Grothendieck topology, there is a fibre sequence giving in particular the above correspondences. For a totally supported perfect complex $E$ over a quasi-compact and quasi-separated scheme $X$, the long exact sequence on homotopy group sheaves splits giving equalities $π_i(\mathop{\mathrm{Aut}}_{\mathop{\mathrm{Perf}}} E,\mathrm{id}_E)=π_i(\mathop{\mathrm{Aut}}_{\mathop{\mathrm{Alg}}\mathop{\mathrm{Perf}}}\mathop{\mathbf R\mathrm{End} E},\mathrm{id}_{\mathop{\mathbf R\mathrm{End} E}})$ for $i\ge1$. Further applications include complexes in Derived Algebraic Geometry, module spectra in Spectral Algebraic Geometry and ind-coherent sheaves and crystals in Derived Algeraic Geometry in characteristic 0. △ Less

Submitted 29 June, 2022; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 56 pages. Minor changes

On the essential (p)-dimension of parabolic bundles on a curve

Authors: Ajneet Dhillon, Dinesh Valluri

Abstract: We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo the famous conjecture of Colliot-Thelene, Karpenko and Merkurjev. In the case of essential p-dimension we obtain an equality. We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo the famous conjecture of Colliot-Thelene, Karpenko and Merkurjev. In the case of essential p-dimension we obtain an equality. △ Less

Submitted 20 April, 2021; v1 submitted 14 January, 2020; originally announced January 2020.

Twisted forms of perfect complexes and Hilbert 90

Authors: Ajneet Dhillon, Pál Zsámboki

Abstract: Automorphisms of a perfect complex naturally have the structure of an $\infty$-group: the 1-morphisms are quasi-isomorphisms, the 2-morphisms are homotopies, etc. This article starts by proving some basic properties of this $\infty$-group. We go on to study the deformation theory of this stack of $\infty$-groups and give a criterion for this stack to be formally smooth. The classifying stack of th… ▽ More Automorphisms of a perfect complex naturally have the structure of an $\infty$-group: the 1-morphisms are quasi-isomorphisms, the 2-morphisms are homotopies, etc. This article starts by proving some basic properties of this $\infty$-group. We go on to study the deformation theory of this stack of $\infty$-groups and give a criterion for this stack to be formally smooth. The classifying stack of this $\infty$-group classifies forms of a complex. We discuss a version of Hilbert 90 for perfect complexes. △ Less

Submitted 21 July, 2021; v1 submitted 21 January, 2019; originally announced January 2019.

Comments: 22 pages. To appear in Indiana University Mathematics Journal

On the $\infty$-stack of complexes over a scheme

Authors: Ajneet Dhillon, Pál Zsámboki

Abstract: We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow N(\mathop{\mathrm{Sch}}_S)$ whose fibre over an $S$-scheme $T$ is the opposite $\mathscr D^+(T)^{\mathrm{op}}$ of the quasicategory of bounded below complexes of $\mathscr O_T$-m… ▽ More We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow N(\mathop{\mathrm{Sch}}_S)$ whose fibre over an $S$-scheme $T$ is the opposite $\mathscr D^+(T)^{\mathrm{op}}$ of the quasicategory of bounded below complexes of $\mathscr O_T$-modules. We show that this fibration satisfies fppf-descent for schemes. △ Less

Submitted 20 February, 2018; v1 submitted 20 January, 2018; originally announced January 2018.

Comments: 37 pages. Minor modification to conventions

G-theory of root stacks and equivariant K-theory

Authors: A. Dhillon, I. Kobyzev

Abstract: Using the description of the category of quasi-coherent sheaves on a root stack given in the paper of N. Borne and A. Vistoli, we study the G-theory of root stacks via localisation methods. We apply our results to the study of equivariant K-theory of algebraic varieties under certain conditions. Using the description of the category of quasi-coherent sheaves on a root stack given in the paper of N. Borne and A. Vistoli, we study the G-theory of root stacks via localisation methods. We apply our results to the study of equivariant K-theory of algebraic varieties under certain conditions. △ Less

Submitted 12 December, 2018; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: An error in the proof was fixed. Final version to appear in Annals of K-theory

Journal ref: Ann. K-Th. 4 (2019) 151-183

A symplectic analog of the Quot scheme

Authors: Indranil Biswas, Ajneet Dhillon, Jacques Hurtubise, Richard A. Wentworth

Abstract: We construct a symplectic analog of the Quot scheme that parametrizes the torsion quotients of a trivial vector bundle over a compact Riemann surface. Some of its properties are investigated. We construct a symplectic analog of the Quot scheme that parametrizes the torsion quotients of a trivial vector bundle over a compact Riemann surface. Some of its properties are investigated. △ Less

Submitted 14 September, 2015; originally announced September 2015.

Comments: Comptes Rendus Math. (to appear)

MSC Class: 14H60; 14C20

Pushforwards of Tilting Sheaves

Authors: Ajneet Dhillon, Nicole Lemire, Youlong Yan

Abstract: We investigate the behaviour of tilting sheaves under pushforward by a finite Galois morphism. We determine conditions under which such a pushforward of a tilting sheaf is a tilting sheaf. We then produce some examples of Severi Brauer flag varieties and arithmetic toric varieties in which our method produces a tilting sheaf, adding to the list of positive results in the literature. We also produc… ▽ More We investigate the behaviour of tilting sheaves under pushforward by a finite Galois morphism. We determine conditions under which such a pushforward of a tilting sheaf is a tilting sheaf. We then produce some examples of Severi Brauer flag varieties and arithmetic toric varieties in which our method produces a tilting sheaf, adding to the list of positive results in the literature. We also produce some counterexamples to show that such a pushfoward need not be a tilting sheaf. △ Less

Submitted 29 November, 2018; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: 21 pages

MSC Class: 20G15; 14M15; 14M25

The motive of the classifying stack of the orthogonal group

Authors: Ajneet Dhillon, Matthew B. Young

Abstract: We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two. We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two. △ Less

Submitted 9 September, 2018; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: 8 pages. Added references in v2. Fixed typo in Corollary 3.8 in v3, which now matches published version

A generalized Quot scheme and meromorphic vortices

Authors: Indranil Biswas, Ajneet Dhillon, Jacques Hurtubise, Richard Wentworth

Abstract: Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f : {\mathcal O}^{\oplus r}_X \rightarrow F is a meromorphic homomorphism which an isomorphism outside a finite subset of X and has pole (respectively, zero) of total deg… ▽ More Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f : {\mathcal O}^{\oplus r}_X \rightarrow F is a meromorphic homomorphism which an isomorphism outside a finite subset of X and has pole (respectively, zero) of total degree d_p (respectively, d_z). Two such pairs $(F_1, f_1) and $(F_2, f_2) are called isomorphic if there is a holomorphic isomorphism of F_1 with F_2 over X that takes f_1 to f_2. We construct a natural compactification of the moduli space equivalence classes pairs of the above type. The Poincaré polynomial of this compactification is computed. △ Less

Submitted 5 October, 2014; originally announced October 2014.

MSC Class: 14H60; 14D21; 14D23

On the essential dimension of coherent sheaves

Authors: Indranil Biswas, Ajneet Dhillon, Norbert Hoffmann

Abstract: We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such sheaves. Applying them to vector bundles over a smooth projective curve C, we obtain an upper bound for the essential dimension of their moduli stack. The upper boun… ▽ More We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such sheaves. Applying them to vector bundles over a smooth projective curve C, we obtain an upper bound for the essential dimension of their moduli stack. The upper bound is sharp if the conjecture of Colliot-Thélène, Karpenko and Merkurjev holds. We find that the genericity property proved for Deligne-Mumford stacks by Brosnan, Reichstein and Vistoli still holds for this Artin stack, unless the curve C is elliptic. △ Less

Submitted 2 December, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: 17 pages. v2: new counterexample to the genericity property in the elliptic curve case; the earlier Proposition 3.4 replaced by an argument which is still valid over non-perfect fields; exposition streamlined

MSC Class: 14D23; 14D20

Brauer Groups of Quot Schemes

Authors: Indranil Biswas, Ajneet Dhillon, Jacques Hurtubise

Abstract: Let $X$ be an irreducible smooth complex projective curve. Let ${\mathcal Q}(r,d)$ be the Quot scheme parametrizing all coherent subsheaves of ${\mathcal O}^{\oplus r}_X$ of rank $r$ and degree $-d$. There are natural morphisms ${\mathcal Q}(r,d) \longrightarrow \text{Sym}^d(X)$ and $\text{Sym}^d(X) \longrightarrow \text{Pic}^d(X)$. We prove that both these morphisms induce isomorphism of Brauer g… ▽ More Let $X$ be an irreducible smooth complex projective curve. Let ${\mathcal Q}(r,d)$ be the Quot scheme parametrizing all coherent subsheaves of ${\mathcal O}^{\oplus r}_X$ of rank $r$ and degree $-d$. There are natural morphisms ${\mathcal Q}(r,d) \longrightarrow \text{Sym}^d(X)$ and $\text{Sym}^d(X) \longrightarrow \text{Pic}^d(X)$. We prove that both these morphisms induce isomorphism of Brauer groups if $d \geq 2$. Consequently, the Brauer group of ${\mathcal Q}(r,d)$ is identified with the Brauer group of $\text{Pic}^d(X)$ if $d \geq 2$. △ Less

Submitted 15 April, 2015; v1 submitted 10 December, 2012; originally announced December 2012.

Automorphisms of the Quot schemes associated to compact Riemann surfaces

Authors: Indranil Biswas, Ajneet Dhillon, Jacques Hurtubise

Abstract: Let X be a compact connected Riemann surface of genus at least two. Fix positive integers r and d. Let Q denote the Quot scheme that parametrizes the torsion quotients of {\mathcal O}^{\oplus r}_X of degree d. This Q is also the moduli space of vortices for the standard action of U(r) on {\mathbb C}^r. The group \text{PGL}(r, {\mathbb C}) acts on Q via the action of $\text{GL}(r, {\mathbb C})$ on… ▽ More Let X be a compact connected Riemann surface of genus at least two. Fix positive integers r and d. Let Q denote the Quot scheme that parametrizes the torsion quotients of {\mathcal O}^{\oplus r}_X of degree d. This Q is also the moduli space of vortices for the standard action of U(r) on {\mathbb C}^r. The group \text{PGL}(r, {\mathbb C}) acts on Q via the action of $\text{GL}(r, {\mathbb C})$ on ${\mathcal O}^{\oplus r}_X$. We prove that this subgroup $\text{PGL}(r, {\mathbb C})$ is the connected component, containing the identity element, of the holomorphic automorphism group Aut(\mathcal Q). As an application of it, we prove that the isomorphism class of the complex manifold Q uniquely determines the isomorphism class of the Riemann surface X. △ Less

Submitted 14 November, 2012; originally announced November 2012.

MSC Class: 14H60; 14J50

A construction of Chern classes of parabolic vector bundles

Authors: Indranil Biswas, Ajneet Dhillon

Abstract: Given a parabolic vector bundle, we construct for it a projectivization and tautological line bundle. These are analogs of the projectivization and tautological line bundle for an usual vector bundle. Using these we give a construction of the parabolic Chern classes. Given a parabolic vector bundle, we construct for it a projectivization and tautological line bundle. These are analogs of the projectivization and tautological line bundle for an usual vector bundle. Using these we give a construction of the parabolic Chern classes. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1103.1190

The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

Authors: Indranil Biswas, Ajneet Dhillon, Nicole Lemire

Abstract: We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ witho… ▽ More We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ without parabolic structure. △ Less

Submitted 23 May, 2012; originally announced May 2012.

Comments: To be published in Journal of K-Theory

MSC Class: 14D23; 14D20

Semistability criterion for parabolic vector bundles on curves

Authors: Indranil Biswas, Ajneet Dhillon

Abstract: We give a cohomological criterion for a parabolic vector bundle on a curve to be semistable. It says that a parabolic vector bundle $E$ with rational parabolic weights is semistable if and only if there is another parabolic vector bundle $F$ with rational parabolic weights such that the cohomologies of the vector bundle underlying the para- bolic tensor product $E \otimes F$ vanish. This criterion… ▽ More We give a cohomological criterion for a parabolic vector bundle on a curve to be semistable. It says that a parabolic vector bundle $E$ with rational parabolic weights is semistable if and only if there is another parabolic vector bundle $F$ with rational parabolic weights such that the cohomologies of the vector bundle underlying the para- bolic tensor product $E \otimes F$ vanish. This criterion generalizes the known semistability criterion of Faltings for vector bundles on curves and significantly improves the result in [Bis07]. △ Less

Submitted 24 October, 2011; v1 submitted 7 March, 2011; originally announced March 2011.

Comments: 7 pages

The Period-Index Problem of the Canonical Gerbe of Symplectic and Orthogonal Bundles

Authors: Indranil Biswas, Emre Coskun, Ajneet Dhillon

Abstract: We consider regularly stable parabolic symplectic and orthogonal bundles over an irreducible smooth projective curve over an algebraically closed field of characteristic zero. The morphism from the moduli stack of such bundles to its coarse moduli space is a $μ_2$-gerbe. We study the period and index of this gerbe, and solve the corresponding period-index problem. We consider regularly stable parabolic symplectic and orthogonal bundles over an irreducible smooth projective curve over an algebraically closed field of characteristic zero. The morphism from the moduli stack of such bundles to its coarse moduli space is a $μ_2$-gerbe. We study the period and index of this gerbe, and solve the corresponding period-index problem. △ Less

Submitted 2 October, 2015; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: 19 pages. Complete rewrite of the previous version, including expanded results on the moduli of parabolic G-bundles. To appear in the Journal of Algebra. Comments welcome

MSC Class: 14D20; 14D23; 14F22

Pullback of parabolic bundles and covers of ${\mathbb P}^1\setminus\{0,1,\infty\}$

Authors: Ajneet Dhillon, Sheldon Joyner

Abstract: We work over an algebraically closed ground field of characteristic zero. A $G$-cover of ${\mathbb P}^1$ ramified at three points allows one to assign to each finite dimensional representation $V$ of $G$ a vector bundle $\oplus \mathscr{O}(s_i)$ on ${\mathbb P}^1$ with parabolic structure at the ramification points. This produces a tensor functor from representation of $G$ to vector bundles with p… ▽ More We work over an algebraically closed ground field of characteristic zero. A $G$-cover of ${\mathbb P}^1$ ramified at three points allows one to assign to each finite dimensional representation $V$ of $G$ a vector bundle $\oplus \mathscr{O}(s_i)$ on ${\mathbb P}^1$ with parabolic structure at the ramification points. This produces a tensor functor from representation of $G$ to vector bundles with parabolic structure that characterises the original cover. This work attempts to describe this tensor functor in terms of group theoretic data. More precisely, we construct a pullback functor on vector bundles with parabolic structure and describe the parabolic pullback of the previously described tensor functor. △ Less

Submitted 18 September, 2010; originally announced September 2010.

Comments: 25 pages

MSC Class: 14H60

Journal ref: Mich Math J, Vol 61 no 1 (2012), 199-224

On Nori's Obstruction to Universal Bundles

Authors: Emre Coskun, Ajneet Dhillon, Nicole Lemire

Abstract: Let $G$ be $Sl_n, Sp(2n)$ or SO(2n). We consider the moduli space $M$ of semistable principal $G$-bundles over a curve $X$. Our main result is that if $U$ is a Zariski open subset of $M$ then there is no universal bundle on $U\times X$. Let $G$ be $Sl_n, Sp(2n)$ or SO(2n). We consider the moduli space $M$ of semistable principal $G$-bundles over a curve $X$. Our main result is that if $U$ is a Zariski open subset of $M$ then there is no universal bundle on $U\times X$. △ Less

Submitted 17 September, 2010; v1 submitted 3 August, 2009; originally announced August 2009.

Upper bounds for the essential dimension of the moduli stack of ${\sl_{n}}$-bundles over a curve

Authors: Ajneet Dhillon, Nicole Lemire

Abstract: We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case. We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case. △ Less

Submitted 3 August, 2009; originally announced August 2009.

The motive of the moduli stack of G-bundles over the universal curve

Authors: Donu Arapura, Ajneet Dhillon

Abstract: An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding va… ▽ More An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar results are also given for low degree variations of Hodge structures associated to the moduli space of stable G-bundles. △ Less

Submitted 18 September, 2006; originally announced September 2006.

Comments: 20 pages, latex

On the Motive of the Stack of Bundles

Authors: Kai Behrend, Ajneet Dhillon

Abstract: Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincaré or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge gr… ▽ More Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincaré or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If $k=\ffq$, upon applying the counting measure, it reduces to the fact that the Tamagawa number of $G$ over the function field of $C$ is $|π_1(G)|$. △ Less

Submitted 29 December, 2005; originally announced December 2005.

MSC Class: 14

Connected components of moduli stacks of torsors via Tamagawa numbers

Authors: K. Behrend, A. Dhillon

Abstract: Let $X$ be a smooth projective geometrically connected curve over a finite field with function field $K$. Let $\G$ be a connected semisimple group scheme over $X$. Under certain hypothesis we prove the equality of two numbers associated with $\G$. The first is an arithmetic invariant, its Tamagawa number. The second, is a geometric invariant, the number of connected components of the moduli stac… ▽ More Let $X$ be a smooth projective geometrically connected curve over a finite field with function field $K$. Let $\G$ be a connected semisimple group scheme over $X$. Under certain hypothesis we prove the equality of two numbers associated with $\G$. The first is an arithmetic invariant, its Tamagawa number. The second, is a geometric invariant, the number of connected components of the moduli stack of $\G$-torsors on $X$. △ Less

Submitted 13 June, 2006; v1 submitted 18 March, 2005; originally announced March 2005.

Comments: Revised version

On the Cohomology of Moduli of Vector Bundles

Authors: Ajneet Dhillon

Abstract: We compute some Hodge and Betti numbers of the moduli space of stable rank $r$ degree $d$ vector bundles on a smooth projective curve. We do not assume $r$ and $d$ are coprime. In the process we equip the cohomology of an arbitrary algebraic stack with a functorial mixed Hodge structure. This Hodge structure is computed in the case of the moduli stack of rank $r$, degree $d$ vector bundles on a… ▽ More We compute some Hodge and Betti numbers of the moduli space of stable rank $r$ degree $d$ vector bundles on a smooth projective curve. We do not assume $r$ and $d$ are coprime. In the process we equip the cohomology of an arbitrary algebraic stack with a functorial mixed Hodge structure. This Hodge structure is computed in the case of the moduli stack of rank $r$, degree $d$ vector bundles on a curve. Our methods also yield a formula for the Poincare polynomial of the moduli stack that is valid over any ground field. △ Less

Submitted 21 October, 2003; v1 submitted 20 October, 2003; originally announced October 2003.

Comments: 20 pages, I forgot to upload the bibliography last time

MSC Class: 14D20

A Generalized Torelli Theorem

Authors: Ajneet Dhillon

Abstract: Given a smooth projective curve $C$ of genus $g$ over the complex numbers, Torelli's thoerem asserts that the pair $(J(C),W^{g-1})$ determines $C$, where $W^{g-1}$ is an image of the $g-1$st symmetric power of $C$ inside the Jacobian under an Abel-Jacobi map. We show that the theorem holds with $g-1$ replaced by an integer $d$ in the range $1\le d\le g-1$. Given a smooth projective curve $C$ of genus $g$ over the complex numbers, Torelli's thoerem asserts that the pair $(J(C),W^{g-1})$ determines $C$, where $W^{g-1}$ is an image of the $g-1$st symmetric power of $C$ inside the Jacobian under an Abel-Jacobi map. We show that the theorem holds with $g-1$ replaced by an integer $d$ in the range $1\le d\le g-1$. △ Less

Submitted 26 January, 2000; originally announced January 2000.

Comments: 18 pages

MSC Class: 14C34