![Arxiv:2001.04924V2 [Math.AG] 20 Apr 2021 Ako H Etrbnl En Osdrd Ups Httevec the That Suppose Considered](http://data.docslib.org/img/f017dd80d08371c74530af461091ea52-1.webp)
arXiv:2001.04924v2 [math.AG] 20 Apr 2021 ako h etrbnl en osdrd ups httevec the that Suppose considered. being bundle vector the of rank on,ta saprblcbnl.Let bundle. parabolic a is that point, B Z hwthat show h atsmi vrpie dividing primes over is sum last The riodpoint orbifold fmdl of moduli of ieavs mrvmn vrterslsi 4.Freape e’ cons let’s example, For [4]. in results the over curve. improvement vast orbifold a p an give of a play case longer the [11] no in and is terms [28] This its see compute stacks, characteristics. and Mumford Euler Deligne- via to computed Riemann-Roch be group can linear consider general a the new approac than a This other present groups We categories. over derived bundles bundle. filtered principal parabolic and a theory of deformation group automorphism the to an field. moduli base of the field over the moduli over of gerbe field residual the the of dimension essential hr h function the where iie notopee si 5.Gvnavco bundle vector a Given structure [5]. in orbitfold as an pieces with two curves into projective divided smooth consider we tc fvco ude.Hneteei orsodn residual corresponding a is there Hence bundles. vector of stack ihcas ouio eu tlatto eetn h eut f[ of results the extend We two. least se at below, p genus 4 of section moduli in coarse definitions with these of both recall will We compute. rcs oino seta ieso.Ti nrgigivrati difficu is th invariant to intriguing definition de This second essential can the dimension. w the lifting one essential two By secondly of are field. notion and base precise its there dimension the to Krull that over points the field observing function is definition by there heuristic obtained Firstly, This be variety. can objects. definition such of precise family generic a ieso.Ti a h iteo en bet tt n rv neq an prove and state to able being of virtue the has This dimension. - un /n h seta ieso fvco ude na riodcrewsfi was curve orbifold an on bundles vector of dimension essential The f the to due one, dimension to confined are paper this of results The roughly five, section in out carried is steps two these of second The h ups fti ae st td hs nainsfrtemodu the for invariants these study to is paper this of purpose The ogl,teesnildmnino aiyo leri bet sth is objects algebraic of family a of dimension essential the Roughly, 2000 e od n phrases. and words Key n r,d Z vrteobfl on.Hneb reigteegnauso h ac the of eigenvalues the ordering by Hence point. orbifold the over etemdl tc fvco ude ihpecie aawhere data prescribed with bundles vector of stack moduli the be ahmtc ujc Classification. Subject Mathematics bana qaiymdl h aoscnetr fColliot- impr of We conjecture famous point. the p rational modulo a equality containing an curve obtain orbifold smooth a Abstract. NTEESNIL( ESSENTIAL THE ON dmninw bana equality. an obtain we -dimension p E dmnin hc sruhyteesnildmnininrn rm to prime ignoring dimension essential the roughly is which -dimension, x h seta ieso of dimension essential The . ∈ X esuyteesnildmninadessential and dimension essential the study We F ( on ihobfl structure orbifold with point r sqartci h rank the in quadratic is ) seta ieso,prblcvco ude curve. bundle, vector parabolic dimension, Essential ed( B un h p ed( n -IESO FPRBLCBNLSO CURVES ON BUNDLES PARABOLIC OF )-DIMENSION JETDILNADDNS VALLURI DINESH AND DHILLON AJNEET h on n[]i oedffiutt ecie u ogl ti ftefor the of is it roughly but describe, to difficult more is [4] in bound The . 42,14D20. 14D23, n r,d i B etedmnin fteevco pcsi hsfitains that so filtration this in spaces vector these of dimensions the be ) un ≤ n r,d E r 2 ) rasdw notocmoetpee.Ta fudrtnigth understanding of That pieces. component two into down breaks ( ≤ g r 1. − e 4 21 o details. for 12.1] [4, see , Z r 2 /n Introduction )+1+Flag + 1 + 1) ( g Z − etrbnlso hscreaqiea cino h group the of action an acquire curve this on bundles Vector . E )+1+Flag + 1 + 1) 1 na riodcre tcrepnst on famoduli a of point a to corresponds it curve, orbifold an on hln,Krek n ekre.I h aeo essential of case the In Merkurjev. and Karpenko Thelene, p dmnino h ouisako etrbnlsover bundles vector of stack moduli the of -dimension v h nw onso hsesnildmninand dimension essential this on bounds known the ove o udehsdegree has bundle tor . gerbe n ..cranknso otsak.Tepolmis problem The stacks. root of kinds certain i.e. , sueu nta thsptnilt eeaieto generalise to potential has it that in useful is h ]i w as isl,w xedte oessential to them extend we Firstly, ways. two in 5] + hnudrtnigtetasednedge of degree transcendence the understanding then d X p aeoyo leri tcsoearvsa the at arrives one stacks algebraic of category e vtlrl.W ealti hoe nscin3 section in theorem this recall We role. ivotal ubro aaeesnee oparameterise to needed parameters of number e isako etrbnlso nobfl curve, orbifold an on bundles vector of stack li drasot rjciecurve projective smooth a ider lo[3 n [21]. and [23] also e aiyta sntcnetrl e ..Secondly 6.3. see conjectural, not is that uality | n ieso stasednedge fthe of degree transcendence as dimension fine n y fdfiigtedmnino nalgebraic an of dimension the defining of ays h s osdrdi 4.Terslso hspaper this of results The [4]. in considered rst G c httedmnin ftesak htwe that stacks the of dimensions the that act tt opt.Teei aito nw as known variation a is There compute. to lt mut oudrtnigtetnetspace tangent the understanding to amounts poc oti,dffrn ota n5,using in[5], that to different this, to pproach h aei ihrdmnin xesosof Extensions dimension. higher in case the + ( eta oei ly nmdl rbes A problems. moduli in plays it role central ( n p E F v ihcas ouispace moduli coarse with ) inw banafitaino h orbifold the of filtration a obtain we tion ( = p ( ( r h ) ) . n − 0 ≥ 1) . n 1 p d ≥ nomto,ta sese to easier is that information, n set and . . . ≥ n h e .I hspprwe paper this In ). gcd( = X k ( ihasingle a with n E i ,tefield the ), n ,d r, , 0 = .Let ). r m the e 2 A. DHILLON AND D. VALLURI
In section 2 of the paper we start by recalling the parabolic-orbifold correspondence. This is an equivalence of categories between vector bundles on a root stack and vector bundles with filtration on its coarse moduli space. The third section is an overview of Riemann-Roch for orbifolds. We perform some calculations that will be useful later. In section 4 we recall essential dimension and its variant essential p-dimension. We recall the conjecture in [10] and state its p-analogue, see 4.1. Some results from [5] are recalled and extended to essential p-dimension and orbifolds. The fifth section studies the field of moduli of a parabolic bundle. We use deformation theory methods to understand and bound the transcendence degree of the field of moduli. This is in contrast to the global methods in [5]. As stated earlier, this may prove to be useful as these local calculations are more apt to generalisation to other groups. The final section, section six, states and proves our main result 6.3.
Acknowledgements The first named author would like to thank Kirill Zainoulline for suggesting that we consider essential p-dimension. The first named author thanks NSERC for funding.
2. The parabolic-orbifold correspondence Let X be a scheme and L a line bundle on X with section s ∈ H0(X, L). If e is a positive integer, we may form the root stack q : XL,s,e → X, see [6]. A lift of an S-point, f : S → X to the root stack amounts to a line bundle with section (M,t) on S and an isomorphism α : M⊗e → f ∗L sending te to s. The automorphisms are the obvious ones. It follows that there is a universal root line bundle N on XL,s,e whose eth power is the pullback of L. We will refer to e as the ramification index of the construction. On the other hand the data (L,s) and e determine a notion of parabolic vector bundle on X. This is a vector bundle E together with a filtration E0 = E ⊇ E1 ⊇ ... ⊇ Ee −1 and an isomorphism E ⊗ L =∼ Ee such that the composition −1 E ⊗ L =∼ Ee ֒→ E0 =∼ E ⊗ O arises from the section. There is a corresponding category Par(L,s,e) of parabolic vector bundles. We refer the reader to [6] for details. Theorem 2.1. Let X be a noetherian scheme. There is an equivalence of categories
Par(L,s,e) =∼ Vect(XL,s,e) Proof. See [6, 3.13]. Let us remark here that the parabolic bundle associated to a vector bundle E on X is obtained −i by q∗(E ⊗ N )= Ei. Remark 2.2. The root stack admits a nice local description which explains the above correspondence quickly. Suppose that X = Spec(R) is affine and L is trivial. Then s ∈ R. The scheme R[t]/
q′ q f Y X
Proposition 2.3. In the above situation, suppose that Y → X is flat. Suppose that F is a vector bundle on XL,e ∗ with corresponding parabolic vector bundle F0 ⊇ F1 ... ⊇ Fe. Then the parabolic vector bundle corresponding to g F is ∗ ∗ ∗ f F0 ⊇ f F1 ⊇ ... ⊇ f Fe. −i Proof. Recall that vector bundle Fi = q∗(F ⊗ N ) so that this result amounts to essentially flat base change. To make this precise, the root stack is locally on X a µe quotient stack, [6, 3.4]. The result now follows from flat base change and the fact that the push forward q∗ amounts to taking µe-invariants of an equivariant sheaf. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 3
Now assume X is a projective variety over a ground field k. We fix Cartier divisors D1,D2,...,Dl and positive integers e1,e2,...,el coprime to char(k). We let X = X(D1,e1),...,(Dl,el) be the corresponding root stack construction. Corresponding to this there are root line bundles (see [8]) written Ni on the root stack X. We write q : X → Spec(k) for the structure map.
Lemma 2.4. . The morphism q∗ is exact where q is the coarse moduli map q : X → X. Proof. This follows from the local description of the root stack see 2.2. Note that the stack is tame.
Corollary 2.5. The derived functor Rq∗ preserves the amplitude of a bounded complex.
Theorem 2.6. The stack of coherent sheaves on X, written Coh X is algebraic. Proof. The standard proof in [18] can be made to work when combined with the following observations. Let F be a coherent sheaf on X. We can find integers nij and vector spaces Hij so that we have epimorphisms ։ −j OX (−nij ) ⊗ Hij q∗(F ⊗ Ni ) where 0 ≤ j ≤ ei. By adjointness we obtain a morphism j Ni ⊗ OX(−nij ) ⊗ Hij → F. Taking a direct sum of these maps we obtain an epimorphism, this follows form the local description, see 2.2 or [7]. Further we can arrange for the appropriate higher cohomology to vanish using Serre vanishing. The needed presentation comes from considering open subsets of Quot schemes. For the existence of quot scheme in the current setting, see [26].
We will be interested in the case where X is a smooth projective curve over a field k. Our Cartier divisor will be a closed point p ∈ X or a finite collection of such points. The corresponding notion of parabolic vector bundle amounts to vector bundle E on X and a k(p)-point of a flag variety Flag(E|k(p),n1,n2,...,ne−1) parameterising subspaces
V0 = Ek(p) ⊇ V1 ⊇ ... ⊇ Ve−1 ⊇ Ve = {0} with dimk(p) Vi = ni. If E, thought of as a vector bundle on the root stack via the previous theorem, is allowed to vary in a flat family the numbers ni along with r = rk(E) and d = deg(E) do not change. We will refer to the collection
(r, d, (p,n0,n1,n2,...,ne−1,ne)) as a parabolic datum. Notice that n0 = rk(E) and ne = 0. We will have occasion to consider many such points p1,...,pl with ramification indices ei and integers
(n0i = rk(E),ni0 ≥ n1i ≥ n2i ≥ ... ≥ neii =0)= ni. A moduli stack of parabolic bundles, denoted r,d Bunn,X is obtained, here n = (n1,..., nl). As the forgetful morphism
r,d r,d Bunn,X →Bun is represented by Weil restrictions of flag varieties, we obatin an alternate proof that the stack is algebraic. Remark 2.7. There is an internal hom object in the category of parabolic vector bundles. Indeed there is one in the category of vector bundles on the root stack, hence the assertion follows from the correspondence 2.1. We would like to describe the parabolic datum associated to the endomorphism bundle as this will be used later. Let F be a parabolic bundle with datum (n0,n1,...ne−1) at the Cartier divisor D. Then Hom(F, F) has datum (m0,m1,...,me−1) where
md = (ni − ni+1)(nj − nj+1). d≤λ ∨ This can be seen by looking at the µe-action on a module of the form M ⊗ M in the local description, 2.2 and i observing that ni − ni+1 is the dimension of the space where the action has weight ζ for some primitive eth root of unity ζ. 4 A. DHILLON AND D. VALLURI 3. Riemann-Roch for the root stack 3.1. Riemann-Roch for Deligne-Mumford quotient stacks. In this section we recall a version of the Riemann- Roch theorem for Deligne-Mumford stacks, see 3.9 below. There are other versions in [28] and [29]. We would like our version of the theorem to hold in positive characteristic provided our stack is tame. As the theorem in 3.9 is stated in characteristic zero, some discussion regarding modifications of arguments are needed. We do not need the full strength of this result. We only need to consider the case where our stack is a quotient stack by a torus. Our discussion centres around a rank one torus, higher rank modifications being left to the reader. Notation 3.1. Let k be an algebraically closed field (of arbitrary characteristic) and Y be a smooth k-scheme on which T = Gm → Spec(k) acts properly, i.e., when the action map T × Y → Y × Y is proper. In particular, this implies that the stabilizers are finite. Assume that when the characteristic of k is non-zero it is coprime to the order of all the stabilizers. Let N := Homgroups(T, Gm) be the group of characters of T. It is an infinite cyclic group, with generator that we call t, so N =< t >. We can recover T as D(N), the diagonalizable group associated to N. Let −1 R= Z[N] ⊗Z Q¯ = R(T) ⊗Z Q¯ = Q¯ [t, t ] be the ring of representations of T with coefficients in Q¯ . We recall from [27] a construction of Segal: For every prime ideal P of R, we may associate a subgroup TP of T called the support of P. These groups are given by TP = D(N/KP), where KP := {n ∈ N / 1 − [n] ∈ P}. With the notation above we have Lemma 3.2. For T= Gm the supports are classified as follows: µl if P = (t − ζl),where ζl is a primitive l-th root of unity, TP = (Gm otherwise. i i l Proof. When P = (t − ζl) we have KP = {t ∈ N =< t >| / 1 − t ∈ (t − ζl)} =< t >. Therefore TP = D(N/KP)= l D(< t >/< t >)= µl. When P is a prime ideal not of the form (t − ζl) then there is no positive integer i such that i 1 − t ∈ P. Hence KP = {1} and D(N/KP) = D(N) = Gm. T The T-equivariant G-theory of a scheme Y, G0 (Y) is a module over the ring of representations R(T). Moreover, T ¯ ¯ G0 (Y) ⊗ Q is supported at finitely many maximal ideals of R = R(T) ⊗ Q. Theorem 3.3 (Theorem 5.2 [13]). Let Y be a k-scheme with a T-action as described above. Let YP be the closed subscheme of fixed points of Y by TP. We have a decomposition of T-equivariant G-theory with coefficeints in Q¯ as follows T ¯ T P ¯ G0 (Y) ⊗ Q = (G0 (Y ) ⊗ Q)(P), MP where P ranges over a finite number of ideals of the form P = (t − ζl) for some primitive l-th roots of unity ζl, which T P ¯ T ¯ includes ζ1 =1. Here (G0 (Y ) ⊗ Q)(P) denotes the localization at the prime ideal P ⊂ R. In particular G0 (Y) ⊗ Q is supported at only finitely many closed points of Spec(R). d T Proof. The key observation is that there exists an ideal J = (t − 1) ⊂ R such that JG0 (Y) = 0, see the proof of [13, Proposition 5.1]. Further, by the Chinese remainder theorem R/J= ζ R/(t − ζ) where ζ ranges over the d-th roots of unity. Theorefore, GT(Y) ⊗ Q¯ = (GT(Y) ⊗ Q¯ ) ⊗ R/J = (GT(Y) ⊗ Q¯ )/(t − ζ) = (GT(Y) ⊗ Q¯ ) . By 0 0 R ζ L0 ζ 0 (t−ζ) Thomason’s localization theorem [27, Theorem 2.1], for a prime ideal P ⊂ R the morphism of R(P)-modules induced P L L by the equivariant embedding iP : Y ֒→ Y T P ¯ T ¯ (iP)∗ : (G0 (Y ) ⊗ Q)(P) → (G0 (Y) ⊗ Q)(P) is an isomorphism. Hence the theorem follows. For an ideal P = (t − ζl) assume that TP = µl acts trivially on Y. In such a case, for a T-equivariant sheaf F there is a decomposition F = F since the base field is tame. We define an operator t : GT(Y) ⊗ Q¯ → GT(Y) ⊗ Q¯ χ∈Tˆ P χ P 0 0 associated to a prime ideal P = (t − ζ ) as follows: L l kχ tP([F]) := ζl [Fχ], ˆ χM∈TP where kχ is the weight of the character χ : µl → Gm. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 5 Remark 3.4. When k = C the notion of tP coincides with the notion of th in [11, Defintion 4.8] when h = ζl, identified as a C-point of Gm. Note that in [11] if h is in the support of G-theory then it is necessarily an element of finite order in C∗ and hence must be a primite l-th root of unity for some l. T When k = C and Y = Spec(k), G0 (Y) = R(T) is the representation ring of T. In this case the action of tP on a −1 character χ coincides with the action of ζl on χ as defined in section 2.6 of [12]. T T Lemma 3.5. Recall 3.1. If P = (t − ζl) ⊂ R and TP = µl acts trivially on Y then (tP[F]) = [F ] Proof. One argues as in [12, Lemma 2.8]. We recall some results from [13] and [16]. Theorem 3.6 ([13] Theorem 3.1 or [16] Theorem 4.6). Let p : Y′ → Y be a finte T-equivariant morphism of schemes such that T acts properly on Y (and hence on Y′ by proposition 2.1 of [12]). Then there is a commuting square T τ ′ T ′ Y ∗ ′ G (Y )m1 CHT(Y ) p∗ p∗ T T τY ∗ G (Y)m1 CHT(Y) such that the horizontal maps are isomorphisms. Here m1 = (t − 1) is the augmentation ideal in R = R(T) ⊗ Q¯ . Proof. A finite morphism of schemes is proper. So we may apply the functoriality of the equivariant Riemann-Roch T ˆ T ′ morphism τY′ to p by [13] or [16]. Moreover, to get the above commuting diagram one observes that G (Y ) = T ′ ˆ T ′ T ′ m G (Y )m1 , where G (Y ) is the completion of G (Y ) at the augmentation ideal 1 of R. The horizontal maps are isomorphisms due to proposition 2.6 in [12]. Remark 3.7. In the above theorem if p is surjective then both the vertical maps are surjective as well. This is [12, Lemma 3.5]. Now we will state the Riemann-Roch theorem for geometric quotients with 3.1. Note that this is a slightly generalized version of [12, Theorem 3.1] for T = Gm. In particular, the following theorem does not assume that the base field k is of characteristic 0. It does assume that the group action is tame, i.e., the characteristic is coprime to the order of all stabilizers. We consider the equivariant G-theory and K-theory in the following theorem with coefficients in Q¯ . Theorem 3.8. Let Y be a smooth k-scheme with a proper T = Gm-action and Y → Z be a geometric quotient. Let T P P ⊂ R be a prime ideal in the support of G0 (Y), iP : Y ֒→ Y the embedding of the fixed points of Y by TP and NP P T ,(be the relative normal bundle of iP. Let jP :Z ֒→ Z be the induced inclusion on the quotients. Then for α ∈ K0 (Y we have T ∗ T ch (tP(iPα)) T τ (α )= φ ◦ (i ) ( td (T P )). Z Y P ∗ T ∗ Y ch (tP(λ−1NP)) P∈SuppX (α) ∗ ∗ Here φY : CHT(Y) → CH (Z) is the isomorphism induced by the geometric quotient Y → Z. Proof. The key difference between this theorem and [12, Theorem 3.1] is that we need to replace the elements ζl in the support of G-theory with a finite set of ideals of the form P = (t − ζl) ⊂ R. By making these changes with the help of 3.2, 3.3 and 3.5, the theorem verbatim follows the argument in [12]. We explain the key steps. Step 1 of the proof of [12, Theorem 3.1] is a direct application of [13, Theorem 3.1(e)]. Step 2 uses a theorem of Seshadri [24, Theorem 6.1] to reduce to the case of step 1. [24, Theorem 6.1] implies that given a geometric quotient Y → Z by a diagonalizable group T, there exists a finite surjective T-equivariant map Y′ → Y such that T acts freely on Y′. We remark that [24, Theorem 6.1] is valid in any characteristic. ∗ iPα T P In step 3 of [12, Theorem, 3.1] we only need to check that when βP := ∗ ∈ G0 (Y )(P) then tP(βP) ∈ λ−1NP T P T P G0 (Y )(t−1). This follows by seeing that tP((t − ζl)) = tP(t) − ζl = ζl(t − 1) and hence tP takes (t − ζl)G0 (Y ) to T P (t − 1)G0 (Y ). Now we recall the Riemann-Roch theorem for quotient Deligne-Mumford stacks from [12] and [11]. If Y is algebraic stack we denote its inertia stack by IY. There is a projection f : IY → Y. The Euler class of a class α ∈ K0(IY) will be denoted by λ−1(α). On a class of a vector bundle V it is given by i i λ−1([V ]) = (−1) [∧ V ]. i X 6 A. DHILLON AND D. VALLURI Finally there is a twisting operation t : K0(IY) ⊗ Q¯ → K0(IY) ⊗ Q¯ obtained by decomposing a vector bundle into eigenspaces for the inertial action and twisting by the eigenvalue. For a precise construction we refer the reader to [12, §2.6] and [11, §4.2]. An example will be computed below. We denote the normal bundle to f : IY → Y by Nf . Theorem 3.9. Let Y be a smooth Deligne-Mumford stack with coarse moduli space Z that is proper over the ground field k of tame characteristic. We further assume that Y is a quotient stack by a torus T, so that [Y/T] = Y. If V is a vector bundle on Y then ch(tf ∗V ) χ(Y, V )= td(IY) ch(tλ (N ∗)) ZIY −1 f Proof. Let α = [V ] be the class of a vector bundle V on Y and Y −→π Z be the geometric quotient. A vector bundle V on Y is equivalent to a T-equivariant bundle, also denoted by V , on Y. Observe that the K-theoretic direct T T T image of α = [(π∗V ) ] is given by χ(Z, α ). By the Riemann-Roch theorem for the proper map Z → Spec k, the T Q T pushforward Z τZ(α ) ∈ CH∗(pt) = coincides with χ(Z, α ). Now we may deduce the required formula using 3.8 by observing that χ(Z, αT)= χ([Y/T], α), see [11, Section 4.1] and the fact that the inertia stack admits a decomposition PR IY = P[Y /T]. See [11, 4.19] and the reference contained within. 3.2. Root` stacks as quotient stacks. Let’s start by recalling the alternate construction of a root stack in [8]. For every postive natural number n there is a morphism of quotient stacks 1 1 pe :[A /Gm] → [A /Gm] given by z 7−→ ze and passing to quotients. The data of a line bundle and section (L,s) on X is the same as giving a Gm-torsor E on 1 X and an Gm-equivariant morphism σ : E → A , indeed the section is obtained from 1 X = E/Gm → E ×Gm A = L. The root stack is constructed as 1 ∼ 1 X(L,s,e) = E ×[A /Gm],pe [A /Gm]. This realises the root stack as quotient stack by a torus, 1 [E ×σ,A1,e A /Gm], 1 1 1 where Gm acts on the right hand A and the structure map A → A is raising to the eth power. In the case where we have multiple line bundles, that is multiple parabolic points, a similar construction applies and are stack will be a quotient stack by a split torus. In the situation, where X is a smooth projective curve, the Riemann-Roch theorem, 3.9, applies to the root stack. We will calculate the right hand side of the theorem in this section to obtain a more explicit form. 3.3. Statement of Riemann-Roch on a root stack. To set things up we let X be a smooth projective curve and pi are closed points on X and let X = X((p1,e1),...(pm,em)). be the root stack. Given a vector bundle F on X we set deg(F)= c1(F) ZX Theorem 3.10. Suppose that k = k¯ is algebraically closed. We preserve the notation above. Let F be a vector bundle on X with parabolic datum (ni,0,ni,1,...,ni,ei ) at pi. Then e −1 i d(n − n ) χ(F) = deg(F)+(1 − g) rk(F) − i,d i,d+1 . e i i X Xd=0 To simplify the notation we will present the proof when there is only one parabolic point, the general result is a mild modification of the argument presented here. So for the remainder of this section, we assume: Goal 3.11. Let X be a smooth projective curve over k = k¯, an algebraically closed field. Form a root stack X = Xp,e and let F be a vector bundle on X with root datum (n0,n1,...,ne) at p. Then e−1 d(n − n ) χ(F) = deg(F)+(1 − g) rk(F) − d d+1 . e Xd=0 ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 7 The proof will be given below in 3.6, after some preliminary calculations. As a first step towards the proof of this result, we record here a description of the inertia stack of X. Proposition 3.12. There is a decomposition IX = X ∐ Bµe. ω∈µe ωa6=1 The identifications of the components with Bµe can be made so that restriction of the root line bundle N to each Bµe is the weight one representation of µe on a one dimensional space. Proof. A detailed proof can be found in [6, 4.12], we sketch the result here. An S-point of X consists of a quadruple (g, M,u,ψ) where g : S → X is a morphism, M is a line bundle on S, u is a global section of M and ψ : Mn → g∗O(p) is an isomorphism sending ur to g∗(s). Here s is the chosen section of O(p) vanishing at p. Isormophisms of the data are defined in the obvious way. If g∗(s) 6= 0 then the data is rigid, in other words there are no automorphisms. If this section vanishes, a nontrivial automorphism amounts to multipication by a nontrivial eth root of unity. These are the points of the inertia stack. As the group µe is abelian, an automorphism of point of the inertia stack is given by multiplication by an arbitrary eth root of unity. The statement regarding the restriction of the root line bundle N can be obtained by observing that M is the pullback of N and the identification with µe is obtained via identifying Gm =∼ Aut(M). Calculation of the integral in 3.9 breaks into two cases. The gerbe integral over ω∈µe Bµe and the integral over X. ω6=1 It will be useful to introduce and use the following notation in the calculations.` Notation 3.13. (1) µe the eth roots of unity in k. (2) ω a primitive eth root of unity. (3) χ : µe → Gm the inclusion. (4) Vρ denotes the vector bundle on Bµe corresponding to a representation ρ. We begin with the gerbe integral. 3.4. The gerbe integral. We will make use of the following facts. (1) Ch∗(Bµe) ⊗Z Q =∼ Q[t]/et (2) 1 = 1/e ZBµe These can be found in the calculations of [11] and the references contained therein. The second statement is easily deduced. Lemma 3.14. Consider the morphism f : IX → X restricted to fi : Bµe → X, i where Bµe is one of the components of the root stack labelled by a nontrivial nth root of unity ω . The conormal bundle to the morphism is Vχ (recall 3.13). Proof. If G is a group scheme acting on Y the inertia subscheme IY is IY = {(g, x) ∈ G × X|gx = x}⊆ G × X, more canonically it is the equaliser of G × X ⇒ X where one of the morphisms is the projection and the other the action. We start by locally describing the inertial scheme in our situation. The lemma is local on X so we may pass to OX,p = R, a discrete valuation ring with parameter s. Then by the local description, 2.2, we have that ∼ e X|OX,p = [R[t]/ The coaction of µe is given by R[t]/ R[t,s]/ d Proposition 3.15. Preserving the notation above we let ω be a primitive eth root of unity. Denote by N |ωi the dth i power of the root line bundle restricted to the component of Bµe labelled by ω . Then ∗ d id ch(tf N | i ) 1 ω ω td(Bµ )= . ch(tλ N ∗) n e 1 − ω−i Z −1 f d Proof. The line bundle restricts to χ on Bµn. Hence ∗ d ch(tf N | i ) ch(t[V d ]) ω = χ ∗ − ch(tλ−1Nf ) ch(t(1 − [Vχ 1 ])) id ch(ω [Vχd ]) = −i ch(1 − ω [Vχ−1 ]) ωid(1 + dc (N)) = 1 1 − ω−i(1 − c (N)) 1 Write t = c1(N). This term isn’t important as it is torsion, see the facts at the start of this subsection. In fact all chow groups in non-zero codimension are torsion and do not contribute to the integral. The result follows from the fact that 1 1= . e ZBµe Corollary 3.16. In the situation of the proposition, we have ∗ d ch(tf N |ωi ) 1 e − 1 − 2d ∗ td(Bµe)= ` Bµ ch(tλ−1N ) e 2 Z ωi e f i6=0 Proof. We need the following identities pertaining to sums of rational functions in roots of unity: e −1 for0 e−1 Xe−1 + ··· +1= (X − ωi). i=1 Y The third is an easy division. The fourth follows from the third and second by interchanging sums. The final identity is an easy consequence of the previous ones. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 9 The required integral is e 1 ωid 1 ωi(d+1) = e 1 − ω−i e ωi − 1 i=1 X 1 e − 2(d +1)+1 = e 2 1 e − 1 − 2d = e 2 The tool for leveraging this calculation to a general vector bundle is the following proposition. Proposition 3.17. Let F be a vector bundle on X with parabolic datum (r, p, (n0,n1,...,ne)). Then e−1 ∗ (nd−nd+1) F j f |Bµe,ω = Vχi . Md=0 where i 6=0. Proof. By [6, 3.12] there is a Zariski neighbourhood U of p so that F|π−1(U) is a direct sum of line bundles. Using [8, 3.1.2], we may assume that F|π−1(U) is a direct sum of powers of root line bundles. We are now reduced to the case i j that F = N . By the identification of components of the inertia stack with Bµe, we have that N|Bµe,ω is isomorphic i to [Vχl ] where l ≡ i mod e. Now, the parabolic line bundle corresponding to N is given by − a i−a ⌊ i a ⌋ 7−→ q (N ) =∼ O e , e ∗ X i−a see [6, 3.11]. Recall that q is the coarse moduli map q : → X. We write i = αe + l. Then the number ⌊ e ⌋ jumps one as a passes from l to l + 1 so that nl − nl+1 = 1. 3.5. The integral over X. The starting point for this calculation is a comparison of tangent sheaves of X and X. Once again the calculation is entirely local at p, the stacks being isomorphic away from p. If R = OX,p then recall e X|Spec(R) = [Spec(R[t]/ 3.6. Putting it all together. We will write X c1(F) = deg(F). R Proof. of 3.10. Recall we need to show that e−1 d(n − n ) χ(F) = deg(F)+(1 − g) rk(F) − d d+1 . e Xd=0 This is now just a matter of putting the above calculations together. By 3.16 and 3.17 We have that ∗ d e−1 ch(tf F |ωi ) r(e − 1) d(nd − nd+1) ∗ td(Bµe)= − . ` Bµ ch(tλ−1N ) 2e e Z ωi e f d=0 i6=0 X The result follows from 3.18. Corollary 3.19. Suppose that k is not algebraically closed and the pi are closed points of X. Then e −1 i d(n − n ) χ(F) = deg(F)+(1 − g) rk(F) − deg(p ) i,d i,d+1 . i e i i X Xd=0 Proof. One can base change to an algebraically closed field. Note that in the diagram g Xk¯ X q¯ q f Xk¯ X ∗ ∗ the functors f , g , q∗, q¯∗ are all exact so that flat base change applies, see 2.3. Let F be a parabolic vector bundle on X with parabolic datum as specified earlier given by ni = (ni0 = rk(F) ≥ ni1 ≥ ... ≥ niei = 0). at the points pi as previously specified. Recall that in (2.7) we described the parabolic datum on Hom(F, F). Lets write down the Euler characteristic of this bundle under the hypothesis k¯ = k. To simplify the statement it will be helpful to introduce the notation Flagni (V ) for the flag variety parameterising sequences of subspaces V0 ⊇ V1 ⊇ ...Vei =0 of a fixed vector space V with dim V = dim V0 = rk(F) such that dim Vi = ni. Proposition 3.20. In the above setting, in particular k = k¯, we have l F F F 2 F χ(Hom( , )) = (1 − g) rk( ) − dim Flagni ( |pi ). i=1 X Proof. We have deg(Hom(F, F)) = 0 by the the splitting principle, and rk(Hom(F, F)) = rk(F)2. To simplify notation we may assume that F is ramified only at a single point p with parabolic data n, the general result follows by an easy induction. By 2.7 and 3.19 it is enough to prove that e−1 d(md − md+1) = dim Flagn(rk(F| )), e p Xd=0 ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 11 where md is defined in remark 2.7. To simplify notation, we write δi = ni − ni+1. We get e−1 e−1 d(m − m ) 1 d d+1 = d δ δ e e i j d=0 d=1 i−j=d X X Xmod e 1 e−1 = d δ δ + (e − d) δ δ 2e i j i j d=1 i−j=d i−j=−d X Xmod e Xmod e e−1 1 = δ δ 2 i j d=1 i−j=d X Xmod e 1 = δ δ 2 i j Xi6=j = (ni − ni+1)(nj − nj+1) 0≤i If E1 and E2 are coherent sheaves over XK, for a field K ⊃ k, we denote χ(E2, E1) := dimK Hom(E2, E1) − dimK Ext(E2, E1) . When E1 and E2 are vector bundles, χ(E2, E1) coincides with χ(Hom(E2, E1)). e Remark 3.21. Recall, 2.2, that locally that the root stack is a quotient of R[X]/ Lemma 3.23. For a coherent sheaf E over XK, l E E 2 E χ( , )=(1 − g)r − dim Flagni ( |pi ) i=1 X Proof. From 3.21 it follows that χ(E, E) = χ(F, F)+ χ(F, T)+ χ(T, F)+ χ(T, T). Now the lemma follows from 3.20 and 3.22. 4. Essential dimension Let Fields/k be the category of field extensions of k. Consider a functor F : Fields → Sets. Given a field extension L/k and x ∈ F (L) we say that a subextension K ⊆ L is a field of defintion of x, and write x K if there is an x′ ∈ F (K) with F (i)(x′)= x where i : K ֒→ L. We define the essential dimension of x by ed x = inf trdegk K, x K 12 A. DHILLON AND D. VALLURI where the infimum is over all possible fields of definition. The essential dimension of F is defined to be ed F = sup ed x x∈F (L) L∈Fieldsk Let p be a prime number. We will consider the following variation obtained by throwing away prime to p data, see [21]. In the above situtation, we say that K is a p-field of definition of x and write x p K if there are inclusions in Fields/k KK′ L with K′/L a finite extension of degree prime to p and x′ ∈ F (K) so that x′ and x have the same image in F (K′). The essential p-dimension of x is then defined by edp x = inf trdegk K, x pK where the infimum is over all possible p-fields of definition. Finally, the essential p-dimension of F is defined to be edp F = sup edp x x∈F (L) L∈Fieldsk An algebraic stack produces such a functor F by considering isomorphism classes of objects, the essential dimension of which we refer to as the essential dimension of the stack. a1 aα Example 4.1. Consider a Gm-gerbe G over a field k of index n = p1 ...pα with pi prime. Then we have α ai ed G ≤ (pi − 1), i=1 X and this is conjecturally an equality. It is known to be an equality when α =1 or n = 6. See [10], [21] and [15]. The situation for the essential p-dimension is simpler, edp G = vp(ind G) − 1. This is easily reduced to the previous case by remarking that prime to p-torsion in the Brauer group can be removed by passing to a prime to p extension. r,d In this article we will be concerned with the essential (p-) dimension of Bunn,X where X is a smooth projective curve and the parabolic points are closed points. We will recall some theorems from [5] that will be useful in our context. For now, lets work in a slightly more general context. Let X be a projective scheme with a k-point and choose a collection D1, D2,... Dl of effective Cartier divisors and some positive integers e1,...,el and form the corresponding root stack q : X → X. Consider a vector bundle F on the root stack defined over some field l containing k. Let G(F) be the residual gerbe r,d in BunX of a parabolic bundle F. The coarse moduli space of this gerbe, is called the field of moduli of F and is denoted k(F). There is a finite extension L/k(F) so that G(L) 6= ∅, so we may find a parabolic vector bundle F′ that is a form of F that is defined over L. Following [5], we consider ′ A := End(p∗F ) ′ where p : XL → Xk(F) is the projection. This is just the algebra of the ordinary vector bundle underlying F which preserves the parabolic structure. One of the main results (stated for projective schemes) of [5] is: Theorem 4.2. In the above situation, consider a field extension K ⊇ k(F). Set d = [L : k(F)]. There is an equivalence of categories between the category of projective A ⊗k(F) K-modules of rank 1/d and the groupoid G(F)K . Proof. As stated above, this is [5, 5.3], and we assert that the proof goes through in our more general context of root stacks. We describe here quickly the functors in each direction. To produce a module from a point of G(F )K , say E consider the module M = Hom(p∗(F) ⊗ K, E). ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 13 To see that M is projective of the correct rank, consider a field L containing l and K, so that after base change to L, E and F are isomorphic. Observe that M ⊗K L =∼ Hom(p∗(F) ⊗ K, E) ⊗K L =∼ p∗Hom(p∗(F) ⊗ K, E) ⊗K L =∼ pL,∗Hom(p∗(F) ⊗ L, E ⊗ L) =∼ Hom(p∗(F) ⊗ L, F ⊗ L), using 2.3. It follows that M is projective of the correct rank. In the opposite direction, given a module M over AL, one considers the sheaf π∗FL ⊗AL M. As per the argument in [5, 5.3] these functors give the required equivalence. Armed with this result, we are reduced to studying the essential dimension of the functor of projective modules over a finite dimensional algebra. We recall here some pertinent definitions and results from [5]. All proofs and further details can be found there. We fix for now a finite dimensional (noncommutative) k-algebra A. Let j(A) be its Jacobson radical. Given a nonnegative rational number r, we denote by ModA,r the category of projective modules over A of rank r. Recall that r is defined by dr = m where P is a projective module with P d = Am. The functor ModA,r : Fieldsk → Sets that sends a field to isomorphism classes of projective A ⊗k K-modules of rank r, is a determination functor, that is {∗} a singleton ModA,r = (∅. Proposition 4.3. (1) If n is a nilpotent two-sided ideal of A. Then ModA,r = ModA/n,r. (2) If A =∼ B1 × B2 then ∼ ModB1,r × ModB2,r = ModA,r . (3) For coprime integers n and d we have ∼ ModA,1/d = ModA,n/d . Proof. See [5, 3.2,3.3,3.5]. Proposition 4.4. Let l/k be a finite prime to p extension. Consider the functors ModA,r : Fields/k → Sets Fields Sets ModAl,r : /l → . The edp(ModA,r)=edp(ModAl,r). Proof. The inequality edp(ModA,r) ≥ edp(ModAl,r) is clear. Take M ∈ ModA,r(L). If KK′ L is a p-field of definition for M then lK lK′ lL is a p-field of definition for M ⊗L lL where lL is a compositum. Further, trdegl lK = trdegk K. 14 A. DHILLON AND D. VALLURI Proposition 4.5. Fix a prime p. Let E be an indecomposable vector bundle on XK and suppose X has a k-point. Then dimk End(E)/j(E)) ≤ rk(E) and vp(dimk End(E)/j(E)) ≤ vp(rk(E)), where j(E) is the Jacobson radical of End(E). Proof. This is [5, Lemma 4.2] in the first case. The second case is similar, so let’s recall the proof. The ring End(E)/j(End(E) is a division ring and the fiber over a rational point of X is a module over it. The result follows from the fact that every module over a division ring is free. Finally we need the following result from [5]. Proposition 4.6. Let A be division ring with centre k. Then edp(ModA,r) ≤ ed(ModA,r) < r dimk(A). Proof. The assertion about essential p-dimension is trivial. The non-trivial inequality is by [5, 3.7]. Proposition 4.7. Suppose that E is vector bundle on XK of rank r. Then edk(E)(G(E)) ≤ r − 1 edk(E),p(G(E)) ≤ vp(r) − 1. Recall that G(E)) is the residual gerbe of E in the stack of bundles. Proof. The first assertion is proved in [5, 5.5] so we concentrate on the second. By standard arguments, see loc. cit. we can assume that K/k(E) is a finite extension of degree d. We write π : XK → Xk(E) for the projection. As in loc. cit. we can decompose ∼ ni π∗E = Ei i M where Ei is indecomposable and End(Ei)/j(Ei) =∼ Di for some division ring. Further we have a decomposition ∼ End(π∗E)/j(E) = Mni×ni (Di), i Y where Mn×n(A) is the ring of n × n matrices over a ring A. Each of the division rings decomposes as Di =∼ Di,l, Ol where Di,l has index l, and the tensor product is over prime divisors of the index of D. Note that by the theory of ′ division rings we can split each of the factors Di,l′ for l 6= l by passing to a prime to l extension of the ground field. As the dimension of Di,l is a power of l, we have by 4.5, dimk(E) Di,l = vl(dimk(E) Di) ≤ vl(rk(Ei)). We have ed (Mod E ) = ed (Mod , 1/d) by 4.3 p End(π∗ ),1/d) p Mni×ni (Di) X = edp(ModDi ,ni/d) X = edp(ModDi,p,ni/d) by 4.4 n < X i v (dim D ) 4.6 d p k(E) i n ≤ X i v (rk(E )) by 4.5. d p i The result follows from 4.2. X 5. The field of moduli of a parabolic bundle In this section X will be a smooth projective curve over k. We form the root stack X = X(p1,e1),...,(pl,el). The points pi are distinct. Corresponding to this there are root line bundles (see [8]) written Ni on the root stack X and coarse moduli map q : X → X. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 15 Remark 5.1. In this situation we can find an open affine cover Vi = Spec(Ri) of X so that each open contains at most −1 one orbifold point. When there is an orbifold point in Ri, of ramification index e say, the open set Ui = q (Vi) has the following description. We can assume that the line bundles are trivial on Vi and that s ∈ Ri is the section that vanishes at the orbifold point. Then the scheme e R˜i := Ri[X]/ If k → A is a k-algebra we denote by XA, XA etc the base change to A. 5.1. A review of deformation theory. Consider a vector bundle on F on XA where k → A is a local Artinian k-algebra. Consider a square zero extension of local Artinian k-algebras 0 → I → B → A → 0. Given an open set V ⊂ X we will often abuse notation and write V when we really mean q−1(V ). Proposition 5.3. In the above situation there is an affine cover Ui, 1 ≤ i ≤ N, of X so that (1) there is at most one orbifold point in each Ui, (2) the vector bundle FUi is essentially free, ˜ (3) there is a lift of FUi to a vector bundle Fi on Ui ⊆ XB which is essentially free, (4) given a homomorphism ρ : F → F there is a local lift to ρ˜ : F˜i → F˜i. (5) any two lifts of the homomorphism differ by a section of Γ(Ui, Hom(F, F ⊗A I)). Proof. The first two items follow from 5.1 or [6, 3.12]. For the third and fourth we are in the situation of 5.1. Our base changed stacks are e e −1 .Spec(RB[t]/ Consider an endomorphism θ : F → F. There is an associated morphism ∗ [θ, −]= θ∗ − θ : End(F) →End(F) ∗ Let P (F,θ) be the cone of θ∗ − θ , shifted by one, it is a complex concentrated in degrees 0 and 1. One should view this complex as the dual of the cone of [θ, −]. Theorem 5.4. In the above situation: 2 (1) There is an obstruction in H (X, P (F,θ) ⊗A I) whose vanishing is necessary and sufficient for a lift of (F,θ) to XB. 1 (2) When the obstruction vanishes, the space of lifts is an affine space abstractly isormophic to H (X, P (F,θ)⊗A I). 0 (3) The automorphism of a lift is H (X, P (F,θ) ⊗A I). Proof. We use Cech cohomology on a cover as in the previous proposition. A more canonical proof, using the cotangent complex can be found in [14, Ch. IV]. We write Uij = Ui ∩ Uj and use analogous notation for higher intersections. Choose an isomorphism gij : F˜i → F˜j over Uij so that the following diagram commutes: 16 A. DHILLON AND D. VALLURI ˜ 0 F|Uij ⊗A I Fi|Uij F|Uij 0 gij (3) ˜ 0 F|Uij ⊗A I Fj |Uij F|Uij 0. To simplify notation we will write Fi for F|Ui . On triple overlaps we have −1 ˜ gik gjkgij : Fi → Fi. Now let 1 be the identity map of Fi. Using the diagram (3), one finds that, −1 1 − gik gjkgij = cijk : Fi → Fi, for some cijk sections of End(F) ⊗A I over the triple intersection. Similary, on double overlaps we have ˜ −1 ˜ τij : gij θigij − θj : Fj → Fj ⊗A I. We claim that (cijk, τij ) is a 2-cocycle. The Cech complex for P (F,θ) looks like: 0 1 ∂ 2 C (Ui, End(F)) C (Ui, End(F))) C (Ui, End(F)) [θ,−] 0 1 ∂ 2 C (Ui, End(F)) C (Ui, End(F))) C (Ui, End(F)) To check this we need to show ∂(cijk) = 0 ∂(τij ) = [θ,cijk] To check the first item observe that −1 −1 −1 −1 −1 −1 −1 1 = (gik gjkgij )(gij gjk gkl gjlgij )(gij gjl gil)(gil gklgik) −1 = (1 − cijk)(1 + gij cjklgij )(1 + cijl)(1 − cikl) = 1+ ∂(cijk). −1 In the above, to pass from the second to last line, notice that gij cjklgij = cjkl by 3. To check the second condition, ∂(τijk ) = τij − τik + τjk ˜ −1 ˜ ˜ −1 ˜ ˜ −1 ˜ = gij θigij − θj − gikθigik + θk + gjkθkgjk − θk ˜ −1 −1 ˜ −1 ˜ −1 ˜ −1 = gjkgij θigij gjk − gjkθj gjk − gikθigij + gjkθkgjk −1 ˜ −1 −1 ˜ = gik gjkgij θigij gjk gik − θi = −[θ,cijk]. We have used the diagram (3) multiple times in the above. If this cycle is exact, by say (bij , τi) then we can alter the gluing data and lifts to gij + bij and θ˜i + τi so that they glue globally as needed. The verification that this works is a repeat of the calculations above. For part (3), the identification is obtained by observing that if α is an automorphism of a lift that preserves the lifted endomorphism, then 1 − α is a required global section of the complex. For part (2), any two lifts are locally the same, as all modules involved are essentially free. One then reduces (2) to (3) to obtain the required cocycle. Details are omitted. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 17 5.2. A review of the filtered derived category. We will need to make use of the filtered derived category of an abelian category A. The theory is spelled out in detail in [14, Ch. V] but let us spend a few paragraphs recalling some of its main points that will be needed. Given an abelian category A, we denote by CF(A) the category of chain complexes in A equipped with a finite descending filtration. Given an object C• of CF(A) we will often denote its filtration by F n(C•) ⊇ F n+1(C•) ⊇ ...F m(C•)=0. The morphisms of the category are chain maps respecting the filtration. There is a functor denoted gr from CF(A) to the category of graded complexes. Given an object M of CF(A) and an integer n, we can shift its filtration and obtain a new object M(n) of CF(A) with F i(M(n)) = F i+n(M(n)), and an unchanged underlying complex. A filtered quasi-isomorphism is a morphism that is a quasi-isomorphim on all pieces of the filtration. The filtered derived category, Dfilt(A) is obtained from CF(A) by inverting filtered quasi-isomorphisms. This allows to define the filtered extension groups by n Extfilt(L,M) := HomDfilt(A)(L,M[n]), see [14, ChV. 1.2.3]. Consider two filtered complexes, L and M. We can forget the filtration and form the usual chain complex Hom•(L,M) whose kth piece is Homk(L,M)= Hom(Li,M i+k). i Y • • The differential has the usual sign rule. There is a subcomplex, HomCF(A)(L,M) of Hom (L,M) defined by k i i+k HomCF(A)(L,M)= Homfilt(A)(L ,M ), i Y i.e those homomorphisms that preserve the filtration. This allows us to equip Hom•(L,M) with a filtration, given by n • k F Hom (L,M) := HomCF(A)(L,M(n)). One checks that there is a chain map gr Hom•(L,M) → Hom•(gr L, gr M). A filtered complex I• is said to be filtered injective if F nI• is a complex of injectives for every n. If the underlying abelian category has enough injectives then CF(A) has enough filtered injectives, [14, Ch. V. 1.4.4]. We will make use of Lemma 5.5. If M is filtered injective then gr Hom•(L,M) → Hom•(gr L, gr M). is an isomorphism. Proof. See [14, Ch. V 1.4.1]. Depending on how one develops the theory, one proves (or defines) R Hom•(L,M) := R Hom•(L, I) where M → I is a quasi-isomorphism and I is filtered injective. Proposition 5.6. One has n n 0 • Extfilt(L,M)= H (F R Hom (L,M)). Proof. See [14, Ch. V, 1.4.6]. Remark 5.7. One way of obtaining a filtered sheaf is by starting with a sheaf E equipped with a nilpotent morphism θ. We define F iE = Im(θi). With this filtration we obtain a filtered morphism θ : E −→ E(1). 18 A. DHILLON AND D. VALLURI 5.3. Vector bundles with nilpotent endomorphism. Let Nil n,X denote the stack of vector bundles with nilpotent endomorphism on X defined as follows. For a k-scheme S, • Objects of Nil n,X(S) are pairs (G,θ) where G is a vector bundle on XS and θ is a nilpotent endomorphism of G. Each of the sheaves coker θi are assumed to be flat over S. Further θn = 0. • A morphism between (G,θ) and (G′,θ′) is an isomorphism of sheaves α : G → G′ with αθ = θ′α Note that this stack is algebraic as the forgetful functor Nil X,n →BunX is representable, see [25, 02ZY]. Our goal in this section is to prove that Nil n,X is a smooth stack and find its dimension at a given K-point (E, φ) for a field K ⊃ k. We give a proof that is different to the one in [5]. The proof that we give is based upon deformation theory arguments rather than the global construction in [5]. Part of the needed deformation theory has been stated in [17] using the cotangent complex. We will work things out from scratch so that we do not need to develop the theory of the filtered cotangent complex. Given a k-point (G0,θ) of the stack Nil X,n there is an induced descending filtration by the images of θ, that is i i n i F G0 = Im(θ ) so that F G0 = 0. The sheaves F G0 are all locally free as X is smooth and of dimension 1. Lemma 5.8. Consider a square zero extension of rings 0 → I → R˜ → R → 0 and a split surjection of R-modules σ p MN. Suppose that we have a lift of this diagram to a diagram of R˜-modules σ˜ p˜ M˜ N.˜ Then the lift σ˜ can be chosen so that it splits p˜. Proof. We have a diagram 0 I ⊗ M MM˜ 0 σ˜ σ 0 I ⊗ N N˜ N 0. We have thatp ˜◦ σ˜ − 1N˜ gives a homomorphism N → I ⊗ N as both of these maps lift 1N . Using the spliting this can be extended to a morphism f : N → I ⊗ M. The morphismσ ˜ − f lifts σ and is a splitting. Proposition 5.9. Recall our running root stack construction q : X → X over a curve. Conisder a square zero extension of Artinian local k-algebras, 0 → I → B → A → 0. Consider a lift (G,θ) of (G0,θ0) to an A-point of Nil X,n. Recall that there is an induced filtration on G by the images −1 of the powers of θ. Then there is an open cover Vi of X so that on Ui := q (Vi) we have that (1) Vi contains at most one orbifold point i (2) all the sheaves F G are essentially free as in 5.1, and if the there is no orbifold point in Ui they are free i ˜ i ˜ i+1 ˜ (3) there are lifts of F Gj to modules over OXB |Ui of the form described in 5.1 so that the quotients F Gj /F G are all flat over B ˜ 0G˜ j G˜ ˜j (4) there are lifts θi of θ|Ui to each F i so that F i = Im θi . (5) there are isomorphims 0 ˜ 0 ˜ gij : F Gi|Uij → F Gj |Uij preserving the filtrations (but not θ!) so that the following diagrams commute: 0 0 ˜ 0 0 I ⊗ F G|Uij F Gi|Uij F G|Uij 0 gij 0 0 ˜ 0 0 I ⊗ F G|Uij F Gg|Uij F G|Uij 0. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 19 Proof. The first two assertions are straightforward. The third would be easy except it is not perfectly clear how to i i ensure flatness. To do this we induct on the filtration. Suppose that we have lifted F Gj to F G˜j . Then we have a diagram i+1 F Gj i i+1 i i+1 i 0 I ⊗ F Gj /F Gj F G˜j /F Gj F Gj 0 i+1 The dotted arrow exists as F Gj is of the form described in 5.1. The lift is construced by taking its preimage under i i i+1 the map F Gj → F Gj /F Gj . The local criteria for flatness ensures the flatness of the quotient. The details are worked out on [19, page 127]. To construct the local lift of θ we can proceed by a descending induction on the filtration. It is clear how to lift θ n−1 n−i n−i+1 to F G˜j . For the induction step, choose an arbitrary lift of θ to a surjection τ : F G˜j → F G˜j . Any lift of θ is surjective by Nakayama and as all the modules are, surjections will be split. In particular, the vertical arrows in the diagram n−i ˜ n−i F Gj F G|Uj τ n−i+1 ˜ n−i+1 F Gj F G|Uj . n−i+1 n−1 By the previous lemma the splittings can be chosen in a compatible way. We have an inclusion F G˜j ⊆ F G˜j n−i+1 which gives two lifts of θ to F G˜j . First is the lift from the inclusion and τ and there is the previously constructed lift in the inductive step. These differ by a morphism n−i+1 n−i+1 λ : F G˜j → F G˜j ⊗ I. n−i The morphism can be extended to F G˜j via the splitting. We keep the notation λ for the extension. The required inductive step is obtained by considering τ + λ. To obtain the isormophisms, once again proceed by descending induction on the filtration. Notice that we may extend as we have split surjections F i ։ F i+1 and the kernels are free of the same rank on each open set. i i Let (E0,θ0) be a k-point of Nil n,X. We view E0 as a sheaf filtered by the images of θ, that is F E0 = Im(θ0). Consider the filtered complex [θ0,−] P (X, E0,θ0)filt := [End(E0) → Homfilt(E0, E0(1))], concentrated in degrees 0 and 1. Some words are in order regarding the differential. We view θ0 as a filtered morphisms E0 → E0(1) so that post composition with θ0 is obviously defined. Note that θ0 also gives a morphism E0(−1) → E0 so that if φ is a section of the degree 0 sheaf then φ ◦ θ0 : E0(−1) → E0. We can shift filtration again to obtain the required morphism. In summary, [θ0, φ] := θ0φ − φθ0, suitably interpreted. Theorem 5.10. We preserve the notation above. Consider a square zero extension 0 → I → B → A → 0 of artinian local k-algebras. Suppose we have a lift of (E0,θ0) to an A-point (E,θ) of Nil n,X. Then: 2 0 (1) There is an obstruction to lifting (E,θ) to a B-point of Nil n,X in H (X, F (P ⊗k I)). 1 0 (2) If the obstruction vanishes, the space of lifts is a torsor under H (X, F (P ⊗k I)). 0 0 (3) The automorphism group of a lift is identified with H (X, F (P ⊗k I)). Proof. Most of the work has already been done in the prior proposition. One just needs to modify 5.4 using the prior proposition. This is now straightforward. Theorem 5.11. The obstruction constructed above vanishes so that the stack Nil n,X is smooth. 20 A. DHILLON AND D. VALLURI Proof. We have an long exact sequence 1 0 2 0 2 0 → H (X, F Homfilt(E, E(1)) ⊗ I) → H (X, F (P ⊗ I)) → H (X, F Endfilt(E) ⊗ I) → . The last term vanishes so it suffices to show that the map 1 0 1 0 [θ, −]: H (X, F Endfilt(E) ⊗ I) → H (X, F Homfilt(E, E(1)) ⊗ I) is surjective. Now, as E is locally free and hence dualisable, one has 1 0 1 0 H (X, F (Endfilt(E))) =∼ H (X, F RHom(E, E)) and a similar result holds for the other cohomology group. Now to prove surjectivity, by the five lemma, it suffices to show that 1 i 1 i H (X, gr REndfilt(E) ⊗ I) → H (X, gr RHomfilt(E, E(1)) ⊗ I) for i> 0. By [14, Ch. V 1.4.8.1] and the discussion in 5.2, we have 1 1 1 1 H (X, gr REndfilt(E) ⊗ I) =∼ Ext (gr E, gr E) and H (X, gr RHomfilt(E, E(1)) ⊗ I) =∼ Ext (gr E, gr E) The αth associated graded pieces of the morphism [θ, −] look like ∗ 1 i i+α θ 1 i−1 i+α i Ext (gr E, gr E) i Ext (gr E, gr E) L θ∗ L 1 i i+α+1 i Ext (gr E, gr E). 1 i i+α+1 L α 1 i i+α+1 with i Ext (gr E, gr E) = gr RHomfilt(E, sE(1)). Given a class (xi) ∈ i Ext (gr E, gr E) we proceed by induction on i to construct a preimage under [θ, −] of this class. Let us call our constructed preimage to be (yi) L 1 i i+α L with yi ∈ Ext (gr E, gr E). We can take y0 = 0 and then y1 can be chosen as θ : gri−1 E ։ gri E. Suppose that we have chosen y0,...,yk. To construct the next extension class, consider the difference xk+1 − θ∗(yk) and argue as above. Theorem 5.12. The stack Nil n,X is smooth over k. Its dimension at the K-valued point given by a coherent sheaf E n on XK and θ ∈ End(E) with θ =0 is n n i−1 2 Im θ dim(E,θ)(Nil n,X) = (g − 1) ri + dimK Flagn(i) i |pj , j Im θ i=1 i=1 j X X X − i−1 i (i) Im θi 1 where ri denotes the rank of the coherent sheaf Im(θ )/ Im(θ ) and nj the parabolic datum of Im θi at pj . For parabolic structures on coherent sheaves, potentially with torsion, recall remark 3.21. Proof. By the above, we have that the dimension is given by χ(F 0(P (E,θ))) = χ(F 0End(E)) − χ(F 0Hom(E, E(1))) i i 1 i i = dimk Hom(gr E, gr E) − dimk Ext (gr E, gr E). Xi≥0 The result follows from 3.20 and 3.23. r,d Lemma 5.13. Let C be the closure of a point by E in Bunn , then dimk C = trdegk(k(E)) − dimK End(E) r,d Proof. The stack Bunn is locally a quotient stack as it is for ordinary vector bundles. One way to prove this is to observe that the map forgetting the parabolic structure is representable in flag varieities. Hence, we may assume C to be a quotient stack [U/H] for some scheme U and some algebraic group H . Let G ֒→ C be the residual gerbe. We have the following Cartesian square RU H H G C ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 21 We have dimk(U) − dimk(C) = dimk H and dimk(G) R − dimk(G) G = dimk H. Combining them with the equations dimk R = dimk U (since R is an open dense subscheme of U) and dimk U = trdegk k(U) = trdegk(k(G)) + dimk(G) U we get the required formula. A parabolic vector bundle is said to be indecomposable if it cannot be written as a non-trivial direct sum of parabolic vector bundles. Remark 5.14. The category of parabolic vector bundles satisfies the bichain conditions in [1]. In particular by Lemma 6 in loc. cit., every endomorphism of an indecomposable bundle is either nilpotent or an automorphism. Corollary 5.15. Assume that K is algebraically closed and that E is an indecomposable vector bundle with parabolic i−1 i datum n on XK. Take φ to be a general element of the Jacobson radical j(E). Let ri be the rank of Im(φ )/ Im(φ ). Then E 2 E trdegk k( ) ≤ 1 + (g − 1) ri + dimK Flagnj ( |pj ) i j X X Proof. By the above remark we have EndX(E)/j(E)= K, notice that K is algebraically closed. Let C be the closure of a point given by E in CohXK . By the previous lemma, dimk C = trdegk k(E) − dimK EndX(E) n We can find a natural number so that (j(E)) = 0. Let N ⊂ Nil n,X be the closure of the points (E, φ) with φ ∈ j(E) i−1 i such that each of the sheaves Im(φ )/ Im(φ ) has rank ri. There is a forgetful morphism N →C whose generic fiber an open dense subscheme of j(E). So we have, dimk N ≥ dimk C + dimK j(E) = dimk C + dimK EndX(E) − 1 = trdegk k(E) − 1 From the previous theorem, 5.12, and [4, 11.1] we have, n E 2 E trdegk k( ) ≤ 1 + (g − 1) ri + dimK Flagnj ( |pj ) i=1 j X X Remark 5.16. We have that k(E)= k(E ⊗K L) for any field L ⊃ K. Lemma 5.17. We assume that g(X) ≥ 2. Let E be a vector bundle of rank r, degree d and parabolic datum n over XK . If E is not simple, in other words E has an endomorphism that is not a scalar, then E 2 E trdegk(k( )) ≤ (g − 1)(r − r)+2+ dimK Flagni ( |pi ) i X Proof. By the above remark we may assume K is algebraically closed. Hence by Krull-Schmidt E can be written as (α) (α) (α) a direct sum of indecomposable vector bundles Eα over XK of rank rα ≥ 1 and parabolic data n = (n1 ... nl ), (α) where nj is the parabolic datum at the point pj . The above corollary says that 2 trdegk k(Eα) ≤ 1 + (g − 1) riα + dimK (Flagn(α) (Eα|pj )) j i j X X for some integers riα ≥ 1 such that i riα = rα. We also have that P (α) E E dimK Flagn ( α|pj ) ≤ dimK Flagnj ( |pj ), j α j j X X X see [4, 11.1]. Using trdegk k(E) ≤ trdegk k(Ej ) j X we have E 2 E trdegk k( ) ≤ 1 + (g − 1) riα + dimK Flagnj ( |pj ) j i,α j X X X Note that the sum i,α riα = r has at least two terms, (cf [5, 6.5]). Hence P E 2 E trdegk k( ) ≤ (g − 1)(r − r)+ dimK Flagnj ( |pj )+2 − (g − 2)(r − 2) j X 22 A. DHILLON AND D. VALLURI r ≥ 2 and g ≥ 2 implies (g − 2)(r − 2) ≥ 0. So, E 2 E trdegk k( ) ≤ (g − 1)(r − r)+ dimK Flagnj ( |pj )+2 j X 6. Essential dimension on curves In this setion X is a smooth projective, geometrically connected curve over k with X(k) 6= ∅. We fix some closed points p1,...,pl with deg pi = fi. We will consider vector bundles of rank r and degree d and ramification indices ei at each pi. We fix parabolic data [r = ni0 ≥ ni1 ≥ ... ≥ niei = 0] = ni at each pi. Let n = ((p1, n1),..., (pl, nl) be the corresponding parabolic datum. The arguments in this section are modeled by those in [5]. A parabolic vector bundle F on XK is said to be simple if End(F)= K. If F is simple then the morphism from the residual gerbe to its moduli space G(F) → Spec(k(F)) is banded by Gm. As a generic parabolic bundle is simple this is in fact the generic gerbe of the moduli stack. We wish to understand the index of this gerbe. Proposition 6.1. In the above situation, set h = gcd(r, d, nij ). Then h = ind(G(F)) where G(F) is the generic gerbe. Proof. The index of this gerbe divides h = gcd(r, d, nij ). The proof will make use of twisted sheaves and we refer the reader to [20] for an introduction and their relationship to the index. The universal parabolic bundle on r,d Bunn ×X produces twisted sheaves of ranks r and nij on this stack. We restrict them to the gerbe using the fact that X(k) 6= ∅. By [20] we see that the index divides r and the nij . We have another twisted sheaf obtained by taking π∗ of a sufficiently ample twist of the universal bundle. Its rank is computed by Riemann-Roch, see 3.10, and hence the index divides h. Now choose a particular simple parabolic bundle F . We can consider the moduli stack of Bunr,d of parabolic 0 n,det(F0) r,d bundles where the underlying bundle has determinant det(F). The stack Bunn is a Grassman bundle over the moduli stack of ordinary vector bundles and hence by [22, Theorem 6.1] and [2] the generic gerbe of Bunr,d has index h. n,det(F0) As the index can only drop by base change, it follows that our original gerbe had index h. In the case of a ground field of characteristic 0, one could apply the main theorem of [3]. Proposition 6.2. Let F be a simple parabolic vector bundle with rank r, degree d and specified parabolic data. Then l F 2 vp(h) edk ≤ r (g − 1)+1+ fi dimk(pi) Flagni + p − 1 i=1 X Xp|h and l F 2 vp(h) edk,p = r (g − 1)+1+ fi dimk(pi) Flagni +p − 1. i=1 X Proof. One combines the above proposition with 5.15 and 4.1. Theorem 6.3. Set h = gcd(r, d, nij ). We have l r,d 2 vp(h) ed Bunn ≤ r (g − 1)+1+ fi dimk(pi) Flagni + p − 1. i=1 X Xp|h Further, l r,d 2 vp(h) edp Bunn = r (g − 1)+1+ fi dimk(pi) Flagni +p − 1. i=1 X When the main conjecture of [10] holds for r then the first inequality is an equality. Proof. Using 4.7 and its proof that edk(F) F ≤ r − 1 edk(F),p F ≤ vp(r) − 1 for every parabolic bundle. In the case where F is not simple we can combine this remark with 5.17 to obtain the result inequalities in the assertions of the theorem. The case of a simple bundle is the prior proposition. ESSENTIAL DIMENSION OF PARABOLIC BUNDLES 23 The conjecture of [10] relates the essential dimension of a gerbe to its index so that the equality is a consequence of 6.1. References [1] Atiyah, M. On the Krull-Schmidt theorem with application to sheaves. Bull. Soc. Math. France 84 (1956), 307–317. [2] Balaji, Vikraman and Biswas, Indranil and Gabber, Ofer and Nagaraj, Donihakkalu S. Brauer obstruction for a universal vector bundle. C. R. Math. Acad. Sci. Paris 345 (2007), no. 5, 265–268. [3] Biswas, Indranil ; Dey, Arijit . Brauer group of a moduli space of parabolic vector bundles over a curve. J. K-Theory 8 (2011), no. 3, 437–449. [4] Biswas, Indranil and Dhillon, Ajneet and Lemire, Nicole . The essential dimension of stacks of parabolic vector bundles over curves. J. K-Theory 10 (2012), no. 3, 455–488 [5] Biswas, Indranil and Dhillon, Ajneet and Hoffmann, Norbert, On the essential dimension of coherent sheaves, J. Reine Angew. Math. 735 (2018) [6] Borne, Niels . Fibr´es paraboliques et champ des racines. Int. Math. Res. Not. (2007) [7] Borne, Niels and Vistoli, Angelo . Parabolic sheaves on logarithmic schemes. Adv. Math. 231 (2012), no. 3-4. [8] Cadman, Charles. Using stacks to impose tangency conditions on curves Amer. J. Math. 129 (2007) [9] Casalaina-Martin, Sebastian and Wise, Jonathan An introduction to moduli stacks, with a view towards Higgs bundles on algebraic curves arXiv:1708.08124 [10] Colliot-Thelene, J.L and Karpenko, N. and Merkurjev, A Rational surfaces and the canonical dimension of the group PGL6 Algebra i Analiz, 19 (2007). [11] Edidin D., Riemann-Roch for Deligne-Mumford stacks, A celebration of algebraic geometry, Clay Math. Proc., 18, 2013 [12] Edidin, D. and Graham, W., Riemann-Roch for quotients and Todd classes of simplicial toric varieties, Comm. Algebra, 31, 2003, [13] Edidin, D. and Graham, W., Riemann-Roch for equivariant Chow groups, Duke Math. J., 102(3) 567-594, (1 May 2000) [14] Illusie, L, Complexe cotangent et d´eformations. I, Lecture Notes in Mathematics, 239, (1971) [15] Karpenko, Nikita. On anisotropy of orthogonal involutions, J. Ramanujan Math. Soc., 15, (2000). [16] Krishna, Amalendu, Riemann–Roch for equivariant K-theory, Advances in Mathematics, Volume 262, 2014, Pages 126-192. [17] Laumon, G´erard, Un analogue global du cˆone nilpotent, Duke Math. J., 57, 1988, 2, 647–671 [18] Laumon, G´erard and Moret-Bailly, Laurent . Champs alg`ebriques. (French) Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. [19] Le Potier, J., Lectures on vector bundles, Cambridge Studies in Advanced Mathematics, 54, Cambridge University Press, 1997. [20] Lieblich, Max . Twisted sheaves and the period-index problem. Compos. Math. 144 (2008), no. 1, 1–31. [21] Merkurjev, Alexander, Essential dimension: a survey, Transform. Groups, 18, 2013 [22] Hoffmann, Norbert . Rationality and Poincar´efamilies for vector bundles with extra structure on a curve. Int. Math. Res. Not. 2007, no. 3, [23] Reichstein, Zinovy, Essential dimension, Proceedings of the International Congress of Mathematicians, Volume II, 2010 [24] Seshadri Conjeevaram, Quotient Spaces Modulo Reductive Algebraic Groups Annals of Mathematics, 3, 511-556, 1972 [25] , The Stacks project authors, The Stacks project, https://stacks.math.columbia.edu, 2021, [26] Olsson, Martin and Starr, Jason, Quot functors for Deligne-Mumford stacks Comm. Algebra, 31 (2003) [27] R. W. Thomason, Une formule de Lefschetz en K-th´eorie ´equivariante alg´ebrique, Duke Mathematical Journal, Duke Math. J. 68(3), 447-462, (December 1992) [28] Toen, Bertrand, K-theory and cohomology of algebraic stacks: Riemann-Roch theorems, D-modules and GAGA theorems arXiv:math/9908097 [29] Toen, Bertrand. Th´eor´emes de Riemann-Roch pour les champs de Deligne-Mumford. K-Theory 18 (1999), no. 1. Department of Mathematics, University of Western Ontario, London, Ontario N6A 5B7, Canada Email address: [email protected] Department of Computer Science, University of Western Ontario, London, Ontario N6A 5B7, Canada Email address: [email protected]