Arxiv:2109.00850V1 [Math.AG] 2 Sep 2021 § Ncaatrsi Eo(E 1].Antrlqeto Shwt Gener to How Is Question Natural a and Bundles [17])

Home , Gerbe

arXiv:2109.00850v1 [math.AG] 2 Sep 2021 § ncaatrsi eo(e 1].Antrlqeto shwt gener to how is question natural A and bundles [17]). (see chara zero positive characteristic in in conjecture Langlands geometric the of proof the h orsodne(e 4) ihacrfldsuso fteloc the of discussion careful a n With is of “parabolic” [4]). language of (see terminology correspondence the the However, correspondence. parabolic this introduced first people [17], work oemrhs ewe h ouisaeo eitbeHgsbundle Higgs semistable of space moduli the between homeomorphism lerial lsdfield closed algebraically npiecaatrsis h anrslso 7 hw htfrasmo a for that shows [7] of stru bundle results algebraic Higgs main between the The connection preserve the characteristics. not that prime shows does in [7] it and [14] nature, of in work analytic is bundles frpeettoso udmna rusof groups fundamental of representations of 1.1. og orsodnei oiiecaatrsi vrcurv over characteristic positive in correspondence Hodge rtodrpoles? order first re poles. order ocntuttennbla og orsodnefor correspondence Hodge nonabelian the construct to ftesako ig ude on bundles Higgs of stack the of AEPRHRCNNBLA OG ORSODNEI POSITIV IN CORRESPONDENCE HODGE NONABELIAN PARAHORIC TAME ].Wt h epo h oa td,pol eiv htteparahor the that believe people study, local the of help the With 6]). h ipo orsodneas ok o oa ytm n Higg and systems local for works also correspondence Simpson The nti ae,w sals eea eso ftecorresponden the of version general a establish we paper, this In hti h eeaiaino h anrslsof results main the question: of similar generalization a the ask is may What one characteristic, positive In † ∗ S22 ls:1D0 43,2G5 14L15 20G15, 14C30, 14D20, Class: MSC2020 e od:prhrcgopshm,nnbla og corres Hodge nonabelian scheme, group parahoric words: Key 2 eody ic ewr npstv hrceitc ti eae to related is it characteristic, positive in work we since Secondly, (2) 1 is,i en htteplso oa ytm rHgsfilsare fields Higgs or systems local of poles the that means it First, (1) Background. X coverings hc scoeyrltdto related closely is which called atcre,adsoe that showed and curves, pact banagnrlsaeeto h orsodne eintrod we correspondence, correspondence. the the establish of to statement schemes general a obtain oa ytm over systems local field Abstract. orsodt -qiain ude over bundles Γ-equivariant to correspond k aaoi subgroups parahoric G ihpstv hrceitc epoeavrino nonabel of version a prove We characteristic. positive with eua singular regular lclssesfrrdciegroups reductive for systems -local ncaatrsi eo .Blj n .Ssar on htpa that found Seshadri C. and Balaji V. zero, characteristic In . Let HRCEITCOE LERI CURVES ALGEBRAIC OVER CHARACTERISTIC Let G eardciegop n let and group, reductive a be k X X fpstv hrceitc h tc flclsseson systems local of stack the characteristic, positive of and easot rjcieshm over scheme projective smooth a be .Smsnsuidtennbla og orsodneo nonc on correspondence Hodge nonabelian the studied Simpson C. . G Hgsbnlsoe h rbnu twist Frobenius the over bundles -Higgs n ieapeiesaeeto h orsodnelcly(e [5 (see locally correspondence the of statement precise a give and X eua iglrconnections singular regular ′ h rbnu ws of twist Frobenius the , tameness A IADHOSUN HAO AND LI MAO 1. G X Introduction Hgsbnlsadparabolic and bundles -Higgs hscrepnec ewe oa ytm n Higgs and systems local between correspondence This . sacuilpoet ocntuttecorrespondence, the construct to property crucial a is X G 1 [7] ea leri uv vra lerial closed algebraically an over curve algebraic an be Y wt rtodrpls.Isie yC Simpson’s C. by Inspired poles). order first (with otestainwe the when situation the to where , G pondence lclssesand systems -local es h od“ae a w tre here: stories two has “tame” word The . X c h agaeo aaoi group parahoric of language the uce Y hsrsl sacuiligein in ingredient crucial a is result This . se[17]). (see → a og orsodnefor correspondence Hodge ian trsi ncre [8]. curves on cteristic C lz h orsodneto correspondence the alize ldt,P olhitoue the introduced Boalch P. data, al X n[8,Smsncntutda constructed Simpson [18], In . tago hiefrconstructing for choice good a ot X n oa ytm smc closer much is systems local and s ′ tr.O h te ad the hand, other the On cture. saGli oeigwt Galois with covering Galois a is t rjciecurve projective oth ce: ude ihfis re poles order first with bundles s ihfis re oe.To poles. order first with on s clnug stecretone correct the is language ic h ocp of concept the G ffis re,wihi also is which order, first of aeprhrcnonabelian parahoric tame G lclssest construct to systems -local X Hgsbnlswt first with bundles -Higgs G n h ouispace moduli the and X lclssesadmits systems -local aoi osr over torsors rahoric satitdversion twisted a is aeyramified tamely G X - G vran over -Higgs om- E , 2 MAO LI AND HAO SUN

group Γ [3]. When generalizing this approach to positive characteristic p, we suppose that the order of Γ and p are coprime, which means that the covering Y → X is tamely ramiﬁed. Furthermore, this also implies that the stack [Y/Γ] is tame [1]. This problem has been investigated in [16] for local systems with nilpotent residuals, and compared with this work, we do not impose any condition on the residual of the connections. Also, some of the investigations are motivated by the results in [5], especially in the local case.

1.2. Main Results.

1.2.1. Local Case. Let k be an algebraically closed field. Let G be a connected reductive linear algebraic group over k. Let O := k[[z]] and K := k((z)). A parahoric (sub)group is usually understood as a subgroup of G(K) (see [6, 15]). In characteristic zero, given a (rational) weight θ of G, P. Boalch constructed a special parahoric group Pθ(O) ⊆ G(K) to study the tame Riemann-Hilbert correspondence locally [5]. As a special case, when θ = 0, then Pθ(O) is exactly G(O), which goes back to the case of G-bundles. We first study this problem locally on a formal disc D := Spf(O) with θ = 0. In this case, a tame parahoric Pθ(O)-connection is exactly a G-connection with first order pole (or a tame G-connection) over D, i.e. dz d + A , A = a zi ∈ g(O), z X i i≥0 and a tame parahoric Pθ(O)-Higgs field is a tame G-Higgs field over D. Fixing a splitting of the Lie algebra π : tFp ֒→ t, we can decompose a0 as

a0 = s + n = τ + σ + n, where s (resp. n) is the semisimple part (resp. nilpotent part) of a0, and τ ∈ tFp is the rational part of s, while σ is the irrational part of s. By generalizing a classical calculation to positive characteristic, dz i a tame G-connection is equivalent to a G-connection d + B z , where B = Pi≥0 biz , under the Gauge action such that bi lies in the generalied eigenspace of the operator [b0, −] with eigenvalue i (see dz Lemma 4.2). Therefore, we can assume that given a tame G-connection d + A z , the term ai lies in the generalized eigenspace of the operator tor [τ, −] with eigenvalue i. tame We first consider the case that the semisimple part of a0 is irrational, i.e. τ = 0. Let LocsysG,irr(D) dz be the category of tame G-local systems A z on the formal disc D such that the semisimple part of tame ′ the residual is irrational. We also define HiggsG,irr(D ) to be the category of tame G-Higgs bundles on the Frobenius twist of D such that the semisimple part of the residual is irrational. We prove that these two categories are equivalent (Proposition 4.7) tame ∼ tame ′ LocsysG,irr(D) = HiggsG,irr(D ). tame Then, if the rational part τ of a0 is nontrivial, define the category LocsysG,τ (D) similarly. We prove tame ′ ′ that this category is equivalent to the category Higgs ′ (D ) of tame parahoric G (O)-Higgs bundles Gτ ,irr τ over D′, of which the residual is irrational (Proposition 4.10), i.e. tame tame ′ Locsys (D) ∼ Higgs ′ (D ). G,τ = Gτ ,irr ′ ′ Note that the group Gτ (O) can be understood as a parahoric subgroup over D defined by a weight corresponding to τ (Lemma 4.8). This finishes the discussion of local tame G-nonabelian Hodge correspondence. Next, we come to the parahoric case over D. We fix a rational weight θ, of which the denominator is d. Similar to the above discussion, we define two categories: tame D D • LocsysPθ ,τ ( ) is the category of tame parahoric Pθ(O)-connections on with rational semisimple residual τ; TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 3

tame ′ ′ ′ • Higgs ′ (D ) is the category of tame parahoric G (O)-Higgs bundles on D with irra- Gθ+τ ,irr θ+τ tional semisimple residual. The following diagram tame D Proposition 3.9 tame D LocsysPθ ,τ ( x) LocsysG,θ+τ ([ y/Γ])

Proposition 4.10

tame ′ tame ′ Higgs ′ (D ) Higgs ′ ([D /Γ]) Gθ+τ ,irr x Theorem 3.7 Gθ+τ ,irr y implies the equivalence of these two categories. Actually, each arrow in the diagram can be understood as an equivalence and the horizontal arrows are discussed in § 3 based the the correspondence studied by V. Balaji and C. Seshadri [3]. Theorem 1.1 (local tame parahoric nonabelian Hodge correspondence, Theorem 4.15). We have

tame tame ′ Locsys (D) =∼ Higgs ′ (D ), Pθ,τ Gθ+τ ,irr

Moreover, the p-curvature of the parahoric Pθ(O)-connection is zero if and only if the corresponding ′ parahoric Gθ+τ (O)-Higgs bundle has zero Higgs field. 1.2.2. Global Case. After the local description of tame parahoric nonabelian Hodge correspondence, we move to the global case, and we still consider the case θ = 0 first. Let X be a smooth algebraic ′ curve with a given reduced effective divisor D. Let L := ΩX (D). Denote by L the corresponding line bundle over X′, which is the Frobenius twist of X, and we have F r∗L ′ =∼ L p, where F r : X → X′ is ′ the Frobenius morphism. Let BL ′ be the L -twisted Hitchin base. Then, we have a natural morphism tame hp : LocsysG → BL ′ , which is called p-Hitchin morphism (see [7, Proposition 3.1] or Corollary 5.4). The p-Hitchin morphism p helps us to construct a group schemes J over X × BL ′ equipped with a natural action tame tame tame LocsysJp ×BL ′ LocsysG → LocsysG . tame Now we define a substack A ⊆ LocsysJp , of which the connections are with vanishing p-curvature, and let X be the stack that parameterizes (E, ∇, Ψ) such that • (E, ∇) is a tame G-connection with zero p-curvature, • Ψ is a horizontal section of Ad(E) ⊗ F r∗L ′

Clearly, X is an algebraic stack over BL ′ . B ′ ′ 0 ′ ′ In the meantime, we can construct a vector bundle L over BL , of which the ﬁber is H (X , Lie(Jb′ )⊗ tame L ′ ′ ′ B ′ ) for each b ∈ BL . We prove that LocsysJp is smooth over L (Lemma 5.19). Then, we deﬁne the stack H tame H LocsysJp

τ ′ BL ′ BL ′ as the pullback of the diagram. Now we are ready to state the result. Theorem 1.2 (tame G-nonabelian Hodge correspondence, Theorem 5.22). There exists a canonical isomorphism of stacks over BL ′ :

A tame H× X → LocsysG . With the help of local study in §4, the structure of X can be described by the rational semisimple residuals τ = {τx|x ∈ D}. 4 MAO LI AND HAO SUN

Proposition 1.3 (Proposition 5.27). The stack X is the disjoint union of Xτ , where the union ranges over the all rational semisimple conjugacy classes of τ , and we have tame ∼ ′ Xτ = HiggsGτ .

It remains to generalize to the parahoric case. We ﬁx a collection of tame weights θ = {θx, x ∈ D} (see §2). With respect to the data (X,D, θ), we can construct two objects:

• a parahoric group scheme Pθ over X; • a tamely ramiﬁed covering Y → X. V. Balaji and C. Seshadri showed that parahoric torsors are equivalent to Γ-equivariant G-bundles [3] in characteristic zero. Their approaches can be generalized to Higgs bundles and local systems in any characteristic (see §3 or [12]). We can show the following equivalence of categories (or stacks) (Theorem 3.7 and Proposition 3.9) tame,ρ ∼ tame tame,ρ ∼ tame HiggsG ([Y/Γ]) = HiggsPθ (X), LocsysG ([Y/Γ]) = LocsysPθ (X), where ρ is a topological data corresponding to weights θ and [Y/Γ] is the quotient stack, of which the coarse moduli space is X. This equivalence shows that proving the tame parahoric nonabelian Hodge correposndence on X is equivalent to considering the correspondence over [Y/Γ] (or an Γ-equivariant version over Y ), which is a direct result of the tame G-nonabelian Hodge correspondence. Theorem 1.4 (tame parahoric nonabelian Hodge correspondence, Theorem 5.28 and Proposition 5.30). There exists a canonical isomorphism of stacks over BL ′ : A tame H× XPθ → LocsysPθ .

The stack XPθ is the disjoint union of XPθ,τ (over τ ) such that ∼ tame ′ XPθ ,τ = Higgs ′ (X ). Gθ+τ 1.3. Structure of the Paper. In §2, we brieﬂy review some necessary backgrounds about parahoric groups. In §3, we generalize the correspondence studied by V. Balaji and C. Seshadri [21] to the case of positive characteristics. More precisely, let Y → X be a covering with Galois group Γ, and we prove that there is a correspondence between parahoric Higgs bundles (resp. local systems) over X and Γ-equivariant Higgs bundles (resp. local systems) over Y . In §4, we construct the tame parahoric nonabelian Hodge correspondence on a formal disc D (Theorem 4.15). Based on the local study, we prove the tame parahoric nonabelian Hodge correspondence (Theorem 5.22 and 5.28). Acknowledgments. The authors would like to thank D. Arinkin, G. Kydonakis, and L. Zhao for helpful discussions and conversations. During the preparation of the paper, the second author was par- tially supported by the Guangdong Basic and Applied Basic Research Foundation 2019A1515110961.

2. Preliminaries Let k be an algebraically closed ﬁeld of positive characteristic. Let G be a connected reductive linear algebraic group over k. We ﬁx a maximal torus T ⊆ G. Denote by g and t the Lie algebras of G ∗ and T respectively. Let X (T ) := Hom(T, Gm) be the character group, and let X∗(T ) := Hom(Gm,T ) be the group of cocharacters. The adjoint action of T on g gives a decomposition of the Lie algebra

g = M gα. α∈X∗(T )

A root is a nonzero character α, of which gα 6= 0, and gα is called a root space. Denote by ∗ h·, ·i : X∗(T ) × X (T ) → Z TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 5 the canonical pairing. This canonical pairing can be naturally extended to Q. Thus, hθ, αi is a well- deﬁned rational number, where θ is a weight and α is a root. We also use the notation α(θ) for this number. Tame Weights.

An element θ ∈ X∗(T ) ⊗Z Q is also called a (rational) weight. In characteristic zero, a weight θ can be considered as an element in tQ under differentiation. In positive characteristic, we need some extra conditions. Definition 2.1. A rational weight θ is called a tame weight if its denominator is coprime to p. a Given a tame weight θ = ϑ ⊗ b , we have (b,p) = 1. Then θ corresponds to a well-defined element in tFp . Abusing the notation, a tame weight can either be a rational cocharacter or an element in tFp . Given an element a ∈ g, let a = s + n be its Jordan decomposition, where s is the semisimple part and n is the nilpotent part. Denote by t ⊆ g the corresponding Lie algebras. If we fix a splitting of the Lie algebra π : tFp ֒→ t, we can decompose s = τ + σ, where τ ∈ tFp . We say that τ is the rational part of s and σ is the irrational part of s. Furthermore, we have α(τ) ∈ Fp, while α(σ) ∈/ Fp for every root α, and π(σ) = 0. Grading of Lie algebras.

Given a weight θ, it also induces a (graded) decomposition of the Lie algebra g

g = M gλ, λ∈Q where gλ = L gα. Note that this decomposition is not given by the eigenspace of the diﬀerentiation α(θ)=λ of the adjoint action Ad(θ), of which the eigenvalues are in Fp. Then for any integer k, we deﬁne

g≥k := M gλ ⊆ g. λ≥−k

As a special case, g≥0 is the Lie algebra of the parabolic subgroup Pθ ⊆ G associated to θ, and g0 is the Lie algebra of the Levi component Lθ of Pθ. Parahoric groups.

Given a root α ∈ R, there is a natural isomorphism

Lie(Ga) → gα. This isomorphism induces a natural homomorphism

uα : Ga → G, −1 such that tuα(a)t = uα(α(t)a) for t ∈ T and a ∈ Ga. Denote by Uα the image of the homomorphism uα, which is a closed subgroup. Deﬁne O := k[[z]] and K := k((z)). Denote by LG := G(K) the loop group and Lg := g(K) the loop Lie algebra (see [15] for more details).

Deﬁnition 2.2. Given a weight θ, the parahoric (sub)group Pθ(O) ⊆ LG is deﬁned as

mα(θ) Pθ(O) := hT (O),Uα(z O), α ∈ Ri, where mα(θ) := ⌈−α(θ)⌉ and ⌈·⌉ is the ceiling function. The Levi subgroup Lθ(O) of Pθ(O) is deﬁned as

Lθ(O) := hT (O),Uα(O), α ∈ R and α(θ)=0i. 6 MAO LI AND HAO SUN

As a special case, when θ = 0, then Pθ(O)= G(O). Now fixing a weight θ, we define a grading of Lg i Lg≥k := {X aiz ∈ Lg | ai ∈ g≥i−k}, i∈Z where k ∈ Q. If k ≥ 0, denote by G≥k the associated group in LG. Here are some examples. When k = 0, define

pθ(O) := Lg≥0, which is the Lie algebra of the parahoric group Pθ(O), and

i lθ(O) := {X aiz ∈ Lg | Xi ∈ g0}, i∈Z which is the Lie algebra of Lθ(O). If θ = 0, the ﬁltration Lg≥k is the natural ﬁltration of Lg based on the degree.

Parahoric group schemes.

The definition of parahoric groups is a local picture of parahoric group schemes. Now we will define the parahoric group schemes. Let X be a smooth algebraic curve over k, and we also fix a reduced effective divisor D on X, which is a set of s points. For each point x ∈ D, we equip it with a rational weight θx ∈ Y (T ) ⊗Z Q. Let θ := {θx, x ∈ D} be the collection of weights over the points in D.

Deﬁnition 2.3. We deﬁne a group scheme Pθ over X by gluing the following local data ∼ ∼ Pθ|X\D = G × (X\D), Pθ|Dx = Pθx (O), x ∈ D, where Dx is a formal disc around x. This group scheme Pθ is called a parahoric group scheme.

By [9, Lemma 3.18], the group scheme Pθ defined above is a smooth affine group scheme of finite type, flat over X. Let us look at connections with first order pole for Pθ. By definition, we know Pθ|X\D ≃ G×(X\D), and then there is a natural DX -scheme structure on G × X. Let L := ΩX (D). These facts induce a natural connection ∇Pθ with first order pole on OPθ : ∇Pθ L OPθ −−−→OPθ ⊗OX such that ∇Pθ satisfies the condition ∇Pθ (fg)= g ⊗ df + f∇Pθ (g) for f ∈ OX and g ∈ OPθ . Tame Parahoric Higgs bundles and Tame Parahoric Local systems.

Let E be a Pθ-torsor over X, which can be understood by gluing the local data: G-torsor E|X\D and Pθx -torsor E|Dx . A tame Pθ-connection is a connection with ﬁrst order pole on E. More precisely, it is a derivation L ∇ : OE → OE ⊗OX such that the following diagram commutes: / OE / OPθ ⊗OX OE

∇E ∇Pθ ⊗id+id⊗∇Pθ L / L OE ⊗OX / OPθ ⊗OX OE ⊗OX

Deﬁnition 2.4. A tame Pθ-local system over X is a pair (E, ∇), where E is a Pθ-torsor and ∇ is a tame tame Pθ-connection on E. Denote by LocsysPθ (X) the stack of tame Pθ-local systems over X. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 7

tame If there is no ambiguity, we omit X in the notation LocsysPθ (X). 0 L Denote by Ad(E) the adjoint bundle of E. A section φ ∈ H (X, Ad(E) ⊗OX ) is called a tame Pθ-Higgs field. 0 Definition 2.5. A tame Pθ-Higgs bundle is a pair (E, φ), where E is a Pθ-torsor and φ ∈ H (X, Ad(E)⊗ L tame ) is a tame Higgs field. Denote by HiggsPθ (X) the stack of tame Pθ-Higgs bundles over X. L tame Sometimes, we add the subscript and use the notation HiggsPθ,L (X) to emphasize that it is for L -twisted Pθ-Higgs bundles. Now we consider a special case that θx is trivial for every x ∈ D. Then, we have Pθ =∼ G × X. A Pθ-torsor over X is exactly a G-principal bundle. Therefore, a tame Pθ-local system over X is exactly 0 L L a regular singular G-local system over X, and a section φ ∈ H (X, Ad(E) ⊗OX ) is a -twisted G-Higgs field.

3. Correspondence: Parahoric vs. Equivariant V. Balaji and C. Seshadri gives the correspondence between parahoric torsors and equivariant bundles [3]. A similar correspondence also works for Higgs bundles and local systems [2, 12]. Although the correspondence is only given in characteristic zero, it can be naturally generalized to prime characteristic under some necessary conditions (the weight θ is tame). In this section, we ﬁrst give the correspondence of parahoric torsors and equivariant bundles in positive characteristic, which is a direct generalization of V. Balaji and C. Seshadri’s work, and then we give the correspondences for Higgs bundles and local systems. We ﬁrst introduce some notations. Let X and Y be two smooth algebraic curves over k. In fact, we assume that Y → X is a covering with Galois group Γ. Let x (resp. y) be a point in X (resp. Y ). Denote by Dx := Spec(Oz) (resp. Dy := Spec(Ow)) the formal disc around x (resp. y) with local coordinate z (resp. w). 3.1. Torsors. Let G be a connected reductive linear algebraic group over k. Fix a maximal torus T ⊆ G. Let Γ be a cyclic group of order d with a generator γ. In this paper, we always assume that the order d and the characteristic p are coprime. Choose a d-th root of unity ζ. We have a natural Γ-action on Dy such that γw = ζw.

Deﬁnition 3.1. Let F be a G-torsor on Dy. AΓ-equivariant G-torsor is a G-torsor F together with a lift of the action of Γ on F . More precisely, we call F a Γ-equivariant G-torsor if the following conditions hold:

(1) There exists an action of Γ on F such that the natural morphism F → Dy is Γ-equivariant. In particular, for γ ∈ Γ, there exists an automorphism γ : F → F such that we have the following commutative diagram: e

γe F / F

γ / Dy / Dy

(2) For g(w) ∈ G(Ow), we have γ(g(γw)q)= g(w)γ(q). e e For simplicity, a Γ-equivariant G-torsor is called a (Γ, G)-torsor.

Since we work on Dy, we may assume that F is the trivial G-torsor, and

F (Dy) =∼ G(Ow). Therefore, given a (Γ, G)-torsor F , we get a morphism ρ :Γ → G well-deﬁned up to conjugation. If a (Γ, G)-torsor F corresponds to ρ, then we say that F is of type ρ. By [21, Lemma 2.5], the Γ-equivariant 8 MAO LI AND HAO SUN structure is uniquely determined by the representation ρ and one may assume that the Γ-action on Dy × G is of the form γ · (w,h) = (γw,ρ(γ)hρ−1(γ)). Since Γ is a cyclic group, the representation ρ factors through T under a suitable conjugation. Note that

Hom(Γ,T ) =∼ Hom(X∗(T ),X∗(Γy)) = Hom(X∗(T ), Z/dZ)= X∗(T )/d · X∗(T ).

Then, a representation ρ : Γ → T corresponds to an element in X∗(T ) ⊗Z Q with denominator d, which is a tame weight. Although this correspondence is not unique in general, a representation ρ corresponds to a unique small tame weight θ, which means that the rational number is smaller than one. On the other hand, given a tame weight θ, it corresponds to a unique representation ρ : Γ → T d·θ d·θ given by ρ(γ)= ζ . Furthermore, we can ﬁnd an element ∆(w) := w ∈ T (Kw), which satisﬁes ∆(γw)= ρ(γ)∆(w).

Let F be a (Γ, G)-torsor of type ρ. Denote by Aut(Γ,G)(F ) the automorphism group. Given an Γ element σ ∈ Aut(Γ,G)(F ), it is equivalent to an element in G(C[[w]]) . Suppose that a tame weight θ corresponds ρ (as we discussed above). Let ∆(w) be the element satisfying ∆(γw) = ρ(w)∆(w). We deﬁne ς := ∆−1σ∆. Clearly, we have ς(γw)= ς(w), which means that ς is Γ-invariant. Therefore, it can be descended to an element G(Kz) by substituting z = wd. Note that for each root α ∈ R, we have −d·α(θ) ς(w)α = σ(w)αw , d where the subscript α means that the element is in Uα(Ow). Substituting z = w , we have −α(θ) ς(z)α = σ(z)αz .

Therefore, the order of the pole of ς(z)α is bounded by ⌈α(θ)⌉. Since ς(z)α is Γ-invariant, we have mr(θ) ς(z)α ∈ Uα(z Oz) for each α ∈ R. In conclusion, the element ς(z) is in Pθ(Oz). The above discussion implies the following Lemma: Lemma 3.2 (Theorem 2.3.1 in [3]). Let F be a (Γ, G)-torsor with local type ρ. Let θ be a weight corresponding to ρ. Then, we have ∼ Aut(Γ,G)(F ) = Pθ(Oz). −dθ dθ More precisely, the automorphism group w Aut(Γ,G)(F )w can be descended to Dx, which is isomorphic to Pθ(Oz). This isomorphism gives us the following equivalence of categories.

Lemma 3.3. The category of (Γ, G)-torsors of type ρ over Dy is equivalent to the category of Pθ(Oz)- torsors over Dx. Now we consider the correspondence globally. Let Y → X be a covering of smooth algebraic curves with Galois group Γ. Suppose that the order of Γ is not divided by p. Here is the deﬁnition of Γ-equivariant G-torsor over Y . Deﬁnition 3.4. A (Γ, G)-torsor over Y is a G-torsor together with a lift Γ-action on F .

Equivalently, a (Γ, G)-torsor over Y is a G-torsor over the quotient stack [Y/Γ]. Denote by BunG([Y/Γ]) the stack of (Γ, G)-torsors over Y . Given y ∈ Y , let Γy be the stabilizer group of the point y, and we suppose that Γy is a cyclic group. Denote by R the set of points in Y , of which the stabilizer groups are nontrivial. This set R is the set of ramifications. Denote by D ⊆ X the branch divisor. Let F be a (Γ, G)-torsor over Y . As was TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 9 discussed above, the Γ-action around y ∈ R is given by a representation ρy : Γy → T . Denote by ρ := {ρy,y ∈ R} the collection of representations. Let θy be a corresponding weight of ρy, and then denote by θ the collection of weights, which gives a parahoric group scheme Pθ over X. A (Γ, G)-torsor F over Y can be understood by gluing the following local data. We define Fy := Dy × G, such that the Γy-action is defined as

γ · (u,g) → (γu,ρy(γ)g), u ∈ Dy,γ ∈ Γy, and deﬁne F0 := (Y \R) × G with the Γy-structure

γ · (u,g) → (γu,g), u ∈ Y \R,γ ∈ Γy. Therefore, a (Γ, G)-torsor F being of type ρ, is equivalent to giving (Γ, G)-isomorphisms

Θ : F | × → F | × , y ∈ R. y y Dy 0 Dy

With respect to the local picture we discussed, a (Γ, G)-bundle F over Y corresponds to a Gθ-torsor over X. Theorem 3.5 (Theorem 5.3.1 in [3]). The category of (Γ, G)-torsors of type ρ over Y is equivalent to the category of Pθ-torsors over X. Furthermore, the equivalence of categories gives the equivalence of stacks, i.e. ρ ∼ BunG([Y/Γ]) = BunPθ (X).

3.2. Tame Higgs Bundles. Let F be a (Γ, G)-bundle over Dy, and denote by E the corresponding Pθ(Oz)-torsor over Dx. Since F is a G-torsor, it is natural to define its adjoint bundle, and denote by Ad(F ) the adjoint bundle of F . Without loss of generality, suppose that Ad(F ) = g(Ow). Let φ an dw element in g(Ow) · w , which can be considered as a section Dy → Ad(F ) ⊗ ΩDy (y). This section is called a tame Higgs field. Assume that φ is Γ-equivariant, i.e. φ(γw)= ρ(γ)φ(w)ρ−1(γ). With the same notations as in § 3.1, we define ϕ = ∆−1φ∆ by conjugating with the matrix ∆. Note that we can consider the element ∆ acting on the Higgs field φ via the adjoint action. Clearly, ϕ is Γ-invariant, i.e. ϕ(γw)= ϕ(w).

d Therefore, ϕ(w) can descends to a section Dx → Ad(E)⊗ΩDx (x) by substituting z = w , which means dz that ϕ(z) ∈ pθ(Oz) z . We use the same notation ϕ : Dx → Ad(E) ⊗ ΩDx (x) for the corresponding section. It is easy to check that a Γ-equivariant Higgs field φ of F corresponds to a unique tame Pθ(Oz)- Higgs field ϕ over E. With respect to the above discussion, we have an one-to-one correspondence between (Γ, G)-Higgs bundles over Dy and Pθ-Higgs bundles over Dx. This local discussion can be generalized globally. With the same setup as in § 3.1, we introduce the following definition. Definition 3.6. A tame (Γ, G)-Higgs bundle over Y is a pair (F, φ), where F is a (Γ, G)-torsor over 0 Y and φ ∈ H (Y, Ad(F ) ⊗ ΩY (R)) is a Γ-equivariant section. Theorem 3.7 (Theorem 3.6 in [12]). The stack of tame (Γ, G)-Higgs bundles of type ρ over Y is isomorphic to the stack of tame Pθ-Higgs bundles over X, i.e. tame,ρ ∼ tame HiggsG ([Y/Γ]) = HiggsPθ (X). tame We refer the reader to [19, 20, 22] for more details about the algebraic stacks HiggsPθ (X) and tame,ρ HiggsG ([Y/Γ]). 10 MAO LI AND HAO SUN

3.3. Tame Local Systems. Let ρ :Γ → T be a representation of Γ. Denote by θ a weight corresponding to ρ, and let ∆ ∈ T (Kw) be the element such that ∆(γw) = ρ(γ)∆(w). Let F be a (Γ, G)-torsor over Dy of type ρ, and we consider F as a trivial G-torsor. Deﬁnition 3.8. A tame (Γ, G)-local system with type ρ on Y is a Γ-equivariant G-connection (F, ∇) with ﬁrst order pole. In other words, the action of Γ on Y lifts to a compatible action on (F, ∇):

γe (F, ∇) / (F, ∇)

γ Y / Y Let y be a ramiﬁcation point on Y , x be its image on X. Over a neighborhood of y, the connection dw ∇ can be written as d + A w , where A ∈ g(Ow). Then the condition that ∇ is Γ-invariant (under the Gauge action) means that dw dw dρ(γ)ρ(γ)−1 + Ad(ρ(γ))A(w) = A(γw) , w w where ρ : Γ → T is the representation we studied in § 3.1. Since ρ(γ) is a constant matrix, therefore we have dw dw Ad(ρ(γ))A(w) = A(γw) , w w Γ which is equivalent to say that A lies in g(Ow) = pθ(Oz). With the same idea as Theorem 3.5 and 3.7, we get the following: Proposition 3.9. The stack of tame (Γ, G)-local systems of type ρ over Y is equivalent to the stack of tame Pθ-local systems over X, i.e. tame,ρ ∼ tame LocsysG ([Y/Γ]) = LocsysPθ (X). Proof. We only give the correspondence locally. As we discussed in § 3.1, a (Γ, G)-torsor F of type ρ over Dy corresponds to a unique Pθ(Oz)-torsor over Dx. If we have a tame (Γ, G)-local system on dw Dy, we can represent it as A w , where B ∈ pθ(Oz). Then under the Gauge action by ∆, the tame dw (Γ, G)-connection A w corresponds to following dw dw ∆ ∗ A = d · (θ + Ad(∆)A) . w w d Now Ad(∆)A is Γ-invariant, which can be descended to an element in pθ(Oz) by substituting z = w . As we explained above, the element θ + Ad(∆)A is in pθ(Oz). Therefore, we get a tame Pθ(Oz)- connection on Dx. The other direction can be proved similarly.

4. Local Tame Parahoric Nonabelian Hodge Correspondence In this section, we study tame G-connections and tame G-Higgs bundles over a formal disc D. We prove the tame nonabelian Hodge correspondence over D and generalize this correspondence to a parahoric version. Fixing a local coordinate z of D := Spf(O), a tame G-connections over D (indeed over the trivial dz G-torsor) is a connection with ﬁrst order pole d + A z , where A ∈ g(O). There is a natural action dz dz dz of G(O) on d + A z , which is called the gauge action. We say that d + A z is equivalent to d + B z (under the Gauge action) if there exists g ∈ G(O) such that dz dz dgg−1 + Ad(g)A = B . z z dz dz Denote by g ∗ A z = B z the Gauge action. Therefore, the category of tame G-connections over D is dz considered as the equivalence classes of connections d + A z under the Gauge action. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 11

dz Now we come to the side of G-Higgs bundles. A tame G-Higgs field over D is A z , where A ∈ g(O). dz The element A z is considered as a section with first-order pole of the trivial G-torsor over D. The dz dz action of G(O) on Higgs fields is defined as the adjoint action, and A z is equivalent to B z if there exists g ∈ G(O) such that A = Ad(g)B. Thus, the category of tame G-Higgs field over D is considered dz as the equivalence classes of Higgs fields A z under the adjoint action. 4.1. Standard Form of Tame Connections. In this subsection we would like to prove the analog of the results in [5] in positive characteristic. For the case of characteristic zero, we also refer the reader to [11] for more details. First let us consider connections with first order pole for the reductive group G.

Lemma 4.1. Let θ be a weight. Let Xk ∈ Lg≥k where k> 0. Then there exists an element gk ∈ G≥k such that

Ad(gk) = id + [Xk, −] mod Lg>k as an operator on Lg≥0. α α Proof. Let Xk = α Xk , where Xk ∈ gα(K). Since k > 0, it is easy to verify that if we have α P α α constructed gk for each Xk , then the product gk = Q gk satisfies the requirement. So we can assume α α k−hα,θi Xk = Xk 6∈ Lg>k. Furthermore, it is enough to consider the case when Xk is of the form z gα. So if α 6= 0, then one can consider a morphism from SL2 to G(K) corresponds to the root α+k−hθ, αi, α −hθ,αi+k then the statement essentially reduces to SL2 representations, so we can choose gk ∈ Uα(z O) α that satisfies our requirement if α 6=0. If α = 0, we can choose gk ∈ T (O) that satisfies our requirement. Lemma 4.2 . i g (Standard Form) Let A = Pi≥0 aiz ∈ (O). Then there exists g ∈ G(O) such that dz dz dgg−1 + Ad(g)A = B z z i where B = Pi≥0 biz and bi lies in the generalized eigenspace of the operator [b0, −] with eigenvalue i. Proof. We shall construct a sequence of elements gk, where gk lies in the k-th congruence subgroup of G(O) such that if we take g = gkgk−1 ··· g0, then after applying Gauge action of g, we have dz dz g ∗ A = ( b zi) , z X i z i≥0 such that bi lies in the generalized eigenspace of b0 with eigenvalue i for all i ≤ k. For k = 0, we can take g0 = 1. Suppose now we have chosen the elements g0,g1, ··· ,gk ∈ G(O) such that we get i dz (Pi≥0 biz ) z , where bi lies in the generalized eigenspace of b0 with eigenvalue i for all i ≤ k. Abusing the notation, let k k+1 A = b0 + b1z + ··· + bkz + ak+1z + ... . Now taking an arbitrary element y ∈ g, let x ∈ G(O) be the element satisfying the condition of Lemma 4.1 for yzk+1. Note that dz dz dz dz dxx−1 = (k + 1)yzk+1 mod zk+2g(O) , Ad(x)A = (A + [yzk+1, A]) mod zk+2g(O) . z z z z Then after Gauge transform by x, we get dz dz x ∗ A = dxx−1 + Ad(x)A = (k + 1)yzk+1 + (A + [yzk+1, A]) mod zk+2g(O) z z k dz dz dz = ( b z ) + ((k + 1)y + a + [y,b ]) zk+1 mod zk+2g(O) . X i i z k+1 0 z z i=0

We can choose an element y ∈ g such that (k + 1)y + ak+1 + [y,b0] lies in the generalized eigenspace of b0 with eigenvalue k + 1. This ﬁnishes the proof of this lemma. 12 MAO LI AND HAO SUN

dz i Given any tame connection d + A z , where A = Pi≥0 aiz , we can assume that under Gauge transformation, ai lies in the generalized eigenspace of the operator [a0, −] by Lemma 4.2, and a tame connection in this form will be called in standard form. We will also need a more general version of Lemma 4.2 which works over an Artinian local algebra over k: Lemma 4.3. m i g Let (R, ) be an Artinian local algebra over k. Let A = Pi≥0 aiz ∈ (OR) be an element, where OR := R[[z]]. Suppose that a0 ∈ ζ + m ⊗ g, where ζ ∈ g.. Let gλ be the generalized eigenspace of adjoint action of ζ with eigenvalue λ. Then there exists g ∈ G(OR) such that dz dz dgg−1 + Ad(g)A = B , z z i g where B = Pi≥0 biz and each bi lies in the i ⊗ R.

Proof. There exists a filtration of R by ideals Ii such that Ii/Ii+1 is annihilated by m. Using this filtration, one can show that for any element y ∈ gλ ⊗ R and any integer n 6= λ, there exists P ∈ g ⊗ R such that y = nP −[ζ, P ]. Now one can use the same argument as in Lemma 4.2 to finish the proof. Irrational Case. dz i 4.2. Let A z be a tame connection, where A = Pi≥0 aiz . Let a0 = τ + σ + n, where τ is the rational part and σ is the irrational part (see § 2). We first consider a special case that the eigenvalues of [a0, −] are not rational, i.e. τ = 0. Corollary 4.4. i Let A = Pi≥0 aiz , where a0 = σ + n with trivial rational part (τ = 0). Then there −1 dz p dz exists g ∈ G(O) such that dgg + Ad(g)A z ∈ g(O ) z . Proof. This is a direct result of Lemma 4.2. This corollary shows that a tame connection in this case is equivalent to a tame connection in p dz g(O ) z , which is in standard form. On the other hand, if a0 has non-zero rational eigenvalues, then it is unclear whether A can be put into g(Op) via G(O). But nonetheless one can show that A can be p dz put into g(K ) z via G(K): Lemma 4.5. i g Let A = Pi≥0 aiz ∈ (O). Then there exists g ∈ G(K) such that dz dz dgg−1 + Ad(g)A = C , z z p where C ∈ g(K ). Moreover, if we choose a splitting of the embedding tFp ֒→ t as well as a set of representatives for the semisimple orbits for the adjoint action of G on g denoted by D, then one can assume that (C0)ss ∈ D.

Proof. By Lemma 4.2, we can assume that each ai lies in the generalized eigenspace of a0 with eigenvalue i. Let a0 = τ + σ + n, where τ ∈ tFp is the rational part and σ is the irrational part. So we have [τ,ai]= iai. One may choose a weight θτ ∈ X∗(T ) ⊗Z Q such that

hθτ , αi ∈ Z and hθτ , αi = α(τ) mod p, for any root α. Now taking the Gauge action by zθτ , we get the desired form. dz dz Lemma 4.6. If g ∈ G(K) such that g ∗ C z = D z , where C and D are of the form in Lemma 4.5. Then g ∈ G(Kp).

Proof. We may assume that the semisimple part of c0 and d0 are in t, and we also choose an embedding gl i of G into GLn. Thus, we shall view g, C, D as elements in GLn(O) and n(O). Write g = Pi≥k giz . Let j be the smallest index such that j does not divide p and gj 6= 0. Then using equation dg + gA = Bg, we conclude that jgj + gj c0 = d0gj . Consider the operator on gln given by

T → d0T − Tc0. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 13

Since the semisimple parts of a0 and b0 are in t and that a0 and b0 has no nonzero rational eigenvalues, we conclude that the only rational eigenvalue of this operator is zero. So j = 0, hence j is divisible by p. tame Let LocsysG,irr(D) be the category of equivalence classes (under the Gauge action) of tame G-local dz i D systems A z , where A = Pi≥0 aiz , on the formal disc such that the semisimple part of the residual a0 is irrational. Equivalently, we have dz Locsystame (D)= g(O) /G(O), G,irr z tame ′ where the action is the Gauge action. Deﬁne HiggsG,irr(D ) to be the category of equivalence classes (under the adjoint action) of tame G-Higgs bundles on the Frobenius twist of D such that the semisimple part of the residual is irrational. More precisely, dw Higgstame (D′)= g(O′) /G(O′), G,irr w where w is the local coordinate of D′.

tame tame ′ Proposition 4.7. The category LocsysG,irr(D) is equivalent to HiggsG,irr(D ). dz tame D i Proof. Take an element A z ∈ LocsysG,irr( ), where A = Pi≥0 aiz . Since the semisimple part of a0 dz ′ dz p dz is irrational, this element A z is equivalent to A z ∈ g(O ) z under the Gauge action by Corollary ′ dz 4.4. By the Frobenius twist, the tame connection A z can be considered as a tame Higgs field over ′ ′ dw D , and we use the same notation A w . Furthermore, by Lemma 4.6, we get a well-defined map tame tame ′ LocsysG,irr(D) → HiggsG,irr(D ) A → A′. It is easy to check that this map is bijective. 4.3. Rational Case. For any semisimple rational element τ ∈ g, we equip the trivial G-torsor over D dz ′ with the connection given by τ z . Let Gτ (O) be the subgroup of G(O) corresponds to the automor- dz ′ ′ phisms of the G-connection d + τ z . The elements in the Lie algebra gτ (O) of Gτ (O) can be written i as A = Pi≥0 aiz , where each ai lies in the generalized eigenspace of τ with eigenvalue i. Note that ′ since for any g ∈ Gτ (O), we have dz dz dgg−1 + gτg−1 = τ , z z ′ then gauge action of Gτ (O) on its Lie algebra can be written as dz dz dz dz g ∗ A = dgg−1 + gAg−1 = τ + g(A − τ)g−1 . z z z z ′ Lemma 4.8. The automorphism group Gτ (O) can be identified with a parahoric subgroup of G over D′.

Proof. Choose a set of simple roots, and denote them by α1, ··· , αr. Let ni be integers such that

αi(τ)= ni mod p, and 0 ≤ n1 < p. ′ Now we take a weight θτ ∈ X∗(T ) ⊗Z Q such that hαi,θτ i = ni. Then from the deﬁnition of Gτ (O), −θτ ′ it is easy to see that the Lie algebra of Ad(z )(Gτ (O)) is the Lie algebra of the parahoric subgroup p ′ θτ of G(k((z ))) over D deﬁned by the weight p . ′ It remains to show Gτ (O) is connected. It is easy to see that the image of the evaluation morphism ′ Gτ (O) → G(O) → G is equal to ZG(τ), which is a Levi subgroup of G, hence connected. This proves the claim. 14 MAO LI AND HAO SUN

Lemma 4.9. Take two elements i i A = X aiz ∈ g(O), B = X biz ∈ g(O) i≥0 i≥0 in standard form. Assume a0 and b0 has the same rational semisimple part τ. Suppose that g ∈ G(O) −1 −1 dz dz ′ such that dgg + gAg z = B z , then g ∈ Gτ (O).

Proof. First, we represent g as g = g1g0 where g0 ∈ G and g1 lies in the kernel of the evaluation −1 −1 dz dz map G(O) → G. By the condition dgg + gAg z = B z , one concludes that g0 ∈ ZG(τ). Since ′ ZG(τ) ⊆ Gτ (O), one may assume that a0 = b0. −1 −1 dz dz Now we ﬁx a representation of G and view A as a matrix. The condition dgg + gAg z = B z gives us dz dz dg + gA = Bg . z z ′ ′ By the property of Gτ (O), the element g ∈ Gτ (O) if and only if [τ,gi] = igi when gi 6= 0, where i g = Pi≥0 giz . Let k be the smallest index such that gk 6= 0 and gk is not in the eigenspace of τ with eigenvalue k. Then we have

kgk + X giaj = X bjgi. i+j=k i+j=k

If i < k and aj gi 6=0 or gibj 6= 0, then by our choice of k, ajpi satisﬁes

[τ,aj gi] = (i + j)aj gi = kaj gi.

A similar formula also holds for gibj . Thus, the element kgk + gka0 − a0gk lies in the generalized eigenspace of a0 with eigenvalue k. By the assumption that gk is not in this subspace, we arrives at a contradiction.

tame Fix a rational semisimple element τ in g. Let LocsysG,τ (D) be the category of equivalence classes (under the Gauge action of G(O)) of tame local systems on the formal disc such that the rational dz tame semisimple part of the residual is conjugate to τ. More precisely, if d + A z ∈ LocsysG,τ (D) where i tame ′ A = aiz , then the rational semisimple part of a0 is conjugate to τ. Let Higgs ′ (D ) be the Pi≥0 Gτ ,irr ′ category of equivalence classes of tame Gτ (O)-Higgs bundles on the Frobenius twist of D such that the semisimple part of the residual is irrational.

tame tame ′ Proposition 4.10. The category Locsys (D) is equivalent to Higgs ′ (D ). G,τ Gτ ,irr Proof. As we discussed at the beginning of this subsection, we ﬁnd that dz dz dz dz g ∗ A = dgg−1 + gAg−1 = τ + g(A − τ)g−1 , z z z z ′ where g ∈ Gτ (O). We use the same approach as in Proposition 4.7 to construct a map tame tame ′ Locsys (D) → Higgs ′ (D ), A → (A − τ). G,τ Gτ ,irr ′ By Lemma 4.9 as well as the action of Gτ (O) on its Lie algebra, it is easy to check that this map is well-deﬁned and bijective.

For future use, let us note the following: Lemma 4.11. i g′ dz Let A = Pi≥0 aiz be an element in τ (O) z , where τ is the rational part of the dz a0. Then the G-connection d + A z has zero p-curvature if and only if A = τ. More generally, let A ∈ g(OR), where (R, m) is an Artinian local algebra over k. Suppose that the rational part of a0 dz is τ when modulo m. Then the connection d + A z has zero p-curvature if and only if there exists −1 −1 dz dz g ∈ G(OR) such that dgg + gAg z = τ z . TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 15

dz Proof. It is clear that when A = τ, the connection d + A z has zero p-curvature. Thus, we only give dz ′ the proof for the other direction. Suppose that d + A z has zero p-curvature, where A ∈ gτ (O) with rational part τ. We can choose a weight θτ ∈ X∗(T ) ⊗Z Q such that

(θτ , α) ≡ (τ, α) mod p

−θτ dz −θτ dz dz for every root α. Let B = z ∗ A z = Ad(z )(A − τ) z . Then the connection d + B z also has pi zero p-curvature. Note that B is of the form P biz by Proposition 4.7. Thus, (z∂)(B) = 0. Since p-curvature is obtained by (z∂)p −z∂, one concludes that p-curvature is zero if and only if Bp −B = 0. Using the fact that the rational part of a0 is τ, one conclude from this that B = 0. Therefore, we have A = τ. In the general situation, one can ﬁrst use Lemma 4.3 to convert A into the form ′ A = σ + higher degree terms ∈ gτ (OR), where the semisimple part of σ modulo m is irrational. Then the condition that p-curvature of A equals to zero implies that A = τ by the same argument as in the case over a ﬁeld.

4.4. Parahoric Case. In this subsection, we would like to generalize the results above to the case of parahoric subgroups. Namely, let Pθ(O) be a parahoric subgroup of G(K) with a tame weight

θ ∈ X∗(T ) ⊗Z Q. In this case, one may also view θ as an element in tFp . We will consider the Gauge dz dz action of Pθ(O) on pθ(O) z . Denote the Levi quotient of Pθ(O) by Lθ(O). Then, lθ(O) z is a quotient dz dz dz of pθ(O) z , and the Gauge action of Pθ(O) on lθ(O) z induces the Gauge action of Lθ(O) on lθ(O) z . dz We will study the Gauge action of Pθ(O) on pθ(O) z . In principle, one may adapt the analysis on dz dz g(O) z to pθ(O) z , but we shall use a slightly diﬀerent approach which is based on [3]. Recall that a weight θ induces a natural decomposition of g = L gλ indexed by Q, where gλ is the λ∈Q λ-th graded piece. This decomposition also induces a ﬁltration of the loop Lie algebra Lg (see § 2). The following is a reformulation of the proof of [5, Theorem 6] in our setting:

dz Lemma 4.12. Let A ∈ pθ(O) z be an element. Suppose that the weight zero component A(0) is equal i dz to (τ +σ +P aiz ) z , where τ is semisimple rational element and σ is a semisimple irrational element, such that

[τ,ai]= iai, [σ, ai]=0, X ai is nilpotent.

Then there exists g ∈Pθ(O) such that dz dgg−1 + Ad(g)A = (τ + σ + A zi) X i z where Ai ∈ g≥i, [τ, Ai]= iAi, [σ, Ai]=0. i p Now we take an element in A = Pi≥0 aiz ∈ θ(Oz), where we use z to emphasize the local coordinate. Note that by Corollary 3.9, the Gauge action of Pθ(Oz) on the Levi quotient lθ(Oz) gets transformed into adjoint action of G(Ow) on g. Fixing a choice of d-th root of unity ζ, we get the following:

dz Lemma 4.13. There is an one-to-one correspondence between orbits of lθ(Oz) z under the Gauge dw dθ action of Pθ(Oz) and the orbits of hθ w under the adjoint action of ZG(ζ ). Proof. The proof is similar to [5, Lemma 4].

p i dz Given an element A ∈ θ(Oz), let A = Pi≥0 aiz , where a0 = τ + σ, and denote by d + A z the corresponding connection on Dx. Then, by Lemma 4.13, it corresponds to a Γ-equivariant connection dw D d(θ + τ + σ + P ai) w on y. By the results of Corollary 4.10, the category of tame G-connnections with rational semisimple residual d(θ + τ) is equivalent to the category of tame Higgs bundles with 16 MAO LI AND HAO SUN irrational semisimple residual for group G(Ow). Now we choose a tame weight θτ with the property that

(θτ , α) ≡ (τ, α) mod p for all roots α and that (θτ , α) = 0 whenever (τ,θ) = 0. We also assume that dθ is integral where d ∈ N such that (d, p) = 1. Consider the following diagram:

Pθ(Oz)

′ Gd(θ+τ)(Ow) G(Ow)

d Taking an element g ∈Pθ(Oz), we consider g as an element in G(Kw) by substituting z = w . Then, we can identify Pθ(Oz) with a subgroup of G(Ow) (actually, it is not a subgroup, they are the same under the conjugation) via

dθ Pθ(Oz) ⊆ G(Kw) → G(Ow), g → Ad(w )g.

Now we are ready to prove the following lemma:

′ ′ Lemma 4.14. The group G (Ow) can be identiﬁed with the parahoric group P θ+θτ (Oz′ ) over Dz, d(θ+τ) p where z′ = zp under Frobenius twist.

Proof. First, let us look at the situation at the level of lie algebras. pθ(Oz) consists of elements of the i form P aiz where ai ∈ P gα such that (θ, α)+ i ≥ 0. With respect to the discussion above, if the α i ′ element P aiz lies in the intersection of Pθ(Oz) and Gd(θ+τ)(Ow), we get the following condition on i P aiz : (dθ, α)+ di = (dθ + dθτ , α)+ kp where k ∈ Z. Since θτ is integral and (d, p) = 1, this implies that d|k. Let us write k = md. The (θ+θτ ) condition (θ, α)+ i ≥ 0 translates into ( p , α)+ m ≥ 0. This proves the claim at the level of lie (θ+θτ ) algebras. Moreove, the condition (θ, α)+ i = 0 translates into ( p , α)+ m = 0, this implies that the Levi quotient of the lie algebra of P θ+θτ can be identiﬁed with the Lie algebra of the centralizer p dθ of dθ + dθτ in the connected reductive group ZG(ζ ). Since the intersection of the Levi quotient of P (O ) and G′ (O ) is the centralizer of the semisimple element dθ + dθ in the connected θ z d(θ+θτ ) w τ dθ reductive group ZG(ζ ), which is connected, this implies the claim.

tame D Let LocsysPθ ,τ ( ) be the category of equivalence classes of tame parahoric Pθ(O)-connections on tame ′ D with semisimple rational residual τ, and let Higgs ′ (D ) be the category of equivalence classes Gθ+τ ,irr ′ ′ of tame parahoric Gθ+τ (O)-Higgs bundles on D . Now we are ready to prove the local tame parahoric nonabelian Hodge correspondence.

tame tame ′ Theorem 4.15. The category Locsys (D) is equivalent to Higgs ′ (D ). Moreover, the p- Pθ,τ Gθ+τ ,irr ′ curvature of the parahoric Pθ(O)-connection is zero if and only if the corresponding parahoric Gθ+τ (O)- Higgs bundle has zero Higgs ﬁeld.

Proof. In the proof, we will use the the correspondence between equivariant bundles and parahoric torsors. Thus, we follow the notations Dx = Spec(Oz) and Dy = Spec(Ow) in § 3. Let d be a positive integer such that z = wd, dθ is integral and (d, p) = 1. Denote by Γ the cyclic group of order d. The following diagram give the idea of the proof. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 17

tame D Proposition 3.9 tame D LocsysPθ ,τ ( x) LocsysG,d(θ+τ)([ y/Γ])

Proposition 4.10

tame ′ tame ′ Higgs ′ (D ) Higgs ′ ([D /Γ]) Gθ+τ ,irr x Theorem 3.7 Gd(θ+τ),irr y

tame D dz Take a tame connection in LocsysPθ ,τ ( x), and assume that the connection is represented by A z , i dz where A ∈Pθ(O). By Lemma 4.12, one may assume A is of the form (τ + σ + P aiz ) z , where τ is rational semisimple, σ is irrational semisimple and [τ,ai]= iai,[σ, ai] = 0 for all i. By Proposition 3.9, dz we can pullback A z to Ow. Abusing the notation, the connection A is of the form dw d(θ + τ + σ + a wi) , X i w where [dθ + dτ,ai]= iai. Now using the identification in Lemma 3.2 and Lemma 4.8, we see that the group G(O ) gets transformed (conjugate by w−d(θ+θτ )) into the parahoric subgroup G′ (O ) w d(θ+θτ ) w p d(θ+θτ ) over Oz corresponds to the weight p . By Proposition 4.10, the category of connections on ′ Dy with semisimple rational residual d(θ + τ) is equivalent to a tame Gd(θ+τ)(Ow)-Higgs field with zero rational semisimple residual. So now it remains to determine the Γ-invariant part of the group −dθ ′ Ad(w )Gd(θ+τ)(Ow). The idea is the same as Theorem 3.7. Since φ is integral, dφ is invariant under −d(θ+τ) ′ the Γ-action, so one may look at the Γ-invariant part of the group Ad(w )Gdθ+dτ (Ow) instead. One first checks that the claim is true at the level of Lie algebras, then use Lemma 4.14 to finish the proof.

5. Tame Nonabelian Hodge Correspondence 5.1. Artin-Schreier Map. Let k[g] and k[t] be the algebras of regular functions on g and t. Cheval- ley’s theorem shows that we have an isomorphism k[g]G =∼ k[t]W , where W is the Wely group. Let c = Spec(k[t]W ), and denote by p : t → c the projection. Let tirr be the set of irrational elements in t. A semisimple conjugacy class in g is irrational if it is the conjugacy class of an element x ∈ tirr. Let cirr be the set of irrational semisimple conjugacy class. It is easy to see that cirr is an open subset of c. Lemma 5.1. Let t′ (resp. c′) be the Frobenious twist of t (resp. c). Then the following diagram is Cartesian: tirr AS / t′

p p′ cirr / c′ where AS stands for the Artin-Schreier map. Moreover, the morphism cirr → c′ is surjective. Proof. First, we have a W -equivariant commutative diagram:

t AS / t′

p p′ c / c′

It remains to show that when restricted to cirr, the ﬁbers of p and p′ can be canonically identiﬁed. Indeed, if α(x)= λ, then α(AS(x)) = λp − λ. If x ∈ tirr, then λp − λ = 0 if and only if λ = 0. Hence we have w(x)= x if and only if w(AS(x)) = AS(x) for all w ∈ W . This proves the claim. 18 MAO LI AND HAO SUN

By Chevalley’s theorem, we have a natural map χ : g → c induced by k[c] → k[g]. Denote by kos : c → g the Kostant section. We deﬁne the group scheme I over g as

I = {(g, x) ∈ G × g | Adg(x)= x}.

∗ ∗ reg Then, deﬁne J = kos I. There is a canonical isomorphism χ J|greg =∼ I|greg , where g is the open subset of regular elements, and the morphisms I → g and J → c are Gm-equivariant. Furthermore, we have a tautological section τ : c → J, which is also Gm-equivariant (see [7, §2.3]). Corollary 5.2. Let J ′ be the regular centralize group scheme over c′ under the Frobenius twist. The pullback of Lie(J ′) is canonically isomorphic to Lie(J) over the open set cirr, i.e. ∗ ′ ∼ F r (Lie(J ))|cirr = Lie(J)|cirr . Proof. This follows from Lemma 5.1 and Proposition 12.5 of [10].

5.2. p-Hitchin Map for Tame Local Systems. Now let X be a smooth algebraic curve with a reduced eﬀective divisor D. Let ΩX be the canonical bundle over X. Recall that we use the notation L := ΩX (D) for the line bundle over X. Considering the line bundle L as a Gm-torsor, we can twist L L × every Lie algebras and group schemes over Lie algebras by . For example, denote by gL := g×Gm . With respect to the data above, the stack of tame G-Higgs bundles (L -twisted Higgs bundles) over X is equivalent to the stack of sectons,

tame HiggsG,L = Sect(X, [gL /G]).

If there is no ambiguity, we will omit the subscript L . Furthermore, the Hitchin base BL := Sect(X, cL ) is the stack of sections of cL over X, which is a scheme. The morphism χ : g → c induces a natural map [χL /G]:[gL /G] → c, and then we have

tame h : HiggsG,L = Sect(X, [gL /G]) → Sect(X, cL )= BL , which is the Hitchin map. tame Let (E, φ) ∈ HiggsG,L be a point corresponding to a section hE,φ : X → [gL /G]. Denote by b : X → cL the image of (E, φ) in the Hithchin base BL . Taking pullback of the following diagram

b∗JL JL

b Y cL ∗ ∗ we get a smooth group scheme Jb := b JL over Y . On the other hand, the morphism χ J → I induces the morphism [χL /G]∗JL → [IL /G] of group schemes over [gL /G]. Pulling back the morphism to X via hE,φ, we get

∗ aE,φ : Jb → hE,φ[IL /G] = Aut(E, φ) ⊆ Aut(E).

−1 Thus, we can twist (E, φ) ∈ h (b) by a Jb-torsor. tame Recall that the stack of tame G-local systems LocsysG parametrizes pairs (E, ∇), where E is a G-torsor and ∇ is a tame G-connection. In the case of tame connections, one still has the analog notion Fr of the p-curvature as in [7, A.6]. Let X′ be the Frobenius twist of X and X −−→ X′ be the natural morphism. Let D′ = F r(D). The p-curvature Ψ(∇) of a tame G-connection ∇ is a horizontal section ∗ ′ ′ ′ ∗ ′ p of Ad(E) ⊗ F r L , where L := ΩX′ (D ). Note that F r L =∼ L . Based on these properties, we have:

∗ ′ Lemma 5.3. Let Ψ be a horizontal section of Ad(E) ⊗ F r L . The image of Ψ is in Sect(X, cFr∗L ′ ), and we have the following commutative diagram TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 19

tame hp LocsysG BL ′

tame HiggsG,L p BL p tame where HiggsG,L p := Sect(X, [gL p /G]) and BL p := Sect(X, cL p ). Proof. The argument is the same as [7, Proposition 3.1, Lemma 3.2]. From this one concludes: tame Corollary 5.4. We have a natural morphism hp : LocsysG → BL ′ . ′ Let (E, ∇) be a tame G-connection. Denote by Ψ the p-curvature and set b = hp(E, ∇). Then ′ ′ ′ ′ one gets a group homomorphism Jb′ → Aut(E). Note that since b ∈ BL , the group scheme Jb′ is ′ ∗ ′ the pullback of a regular centralizer group scheme Jbp on X , i.e. F r Jb′ = Jbp . Then, the group homomorphism Jb′ → Aut(E) is equivalent to the following one:

aE,Ψ : Jbp → Aut(E).

Furthermore, Jbp is equipped with a canonical connection, while Aut(E) is equipped with a tame connection. Then, we have the following lemma.

Lemma 5.5. The homomorphism aE,Ψ is horizontal.

Proof. One only needs to show the restriction of aE,Ψ to Y − R is horizontal. In this case, one may use [7, Lemma 3.3].

p The group schemes Jbp can be realized a family of group schemes J over X × BL ′ , which is equipped with a natural connection along X. From the Lemma 5.12, we conclude that for any tame p J -connection (P, ∇P ) and a tame G-connection (E, ∇), one may apply [7, A.5] to get a tame G- connection:

((P, ∇P ), (E, ∇)) 7→ P ⊗ E := (aE,Ψ)∗P ⊗ E. This actually defines an action: tame tame tame (5.6) LocsysJp × LocsysG → LocsysG . ′ p Lemma 5.7. Let b = hp(F, ∇). If (P, ∇P ) is a connection for the group scheme J such that its ′ p-curvature is equal to zero, then hp(P ⊗ E, ∇P ⊗E)= b . Proof. One only need to check this over the open set X − D, in which case one may apply [7, Lemma 3.4]. Later on we will also need to consider the analog of all the constructions above for a parahoric group scheme over X. Let θ be a collection of tame weights and Pθ be a parahoric group scheme over X tame corresponds to θ. Let HiggsPθ,L be the stack of tame Higgs bundles for Pθ on X. First we have the following: tame Lemma 5.8. There exists a parahoric Hitchin fibration h: HiggsPθ ,L → Sect(X, cL ). tame L Proof. Let (E, φ) be a tame Higgs bundle for HiggsPθ ,L where φ ∈ Ad(E)⊗ . Away from the support of D, the structure group of E is identified with G, so we have a morphism Ad(E) ⊗ L → cL away from the support of D. It remains to show that this morphism can be extended to X. For this we can work locally on X so we may assume L is trivial and that there exists a cover Y over X of degree d such that (E, φ) can be identified with a (Γ, G)-Higgs bundle on Y . If we identified φ with an element L L Γ in Sect(Y, gLY ), where Y is the pullback of to Y , then we get an element in Sect (Y, cLY ), which is the same as Sect(X, cL ). This finishes the proof of this lemma. 20 MAO LI AND HAO SUN

If (E, φ) is a parahoric Pθ-Higgs bundle on X, let b be its image in Sect(X, cL ). Let Jb be the regular centralizer group scheme over X. Away from the support of D, (E, φ) can be identiﬁed with a G-Higgs bundle, hence we get a morphism Jb → Aut(E) on an open set of X. We claim that this morphism extends to X.

Lemma 5.9. Let (E, φ) be a tame parahoric Pθ-Higgs bundle and let b = h(E, φ). Let Jb be the regular centralizer group scheme on X. Then we have a group homomorphism Jb → Aut(E) over X. Proof. Again we only need to look at formal neighborhood of each point in the support of θ. So let us assume X = Spf(k[[z]]) and Y = Spf(k[[w]]) where wd = z. The element b can be viewed as either a point in Sect(X, c) or Sect(Y, c), so we get regular centralizer group schemes JX,b and JY,b over X and Y , respectively. We have JY,b ≃ JX,b ×X Y . The Higgs bundle (E, φ) can be identiﬁed with a (Γ, G)-equivariant Higgs bundle on Y , so we get a morphism JY,b → Aut(E). Passing to Γ invariant sections, we get JX,b → Aut(E).

Next we look at tame parahoric local systems. Denote the stack of tame parahoric Pθ-local systems tame by LocsysPθ . Let (E, ∇) be a tame parahoric Pθ-local system on X. We have the following results for the p-curvature of ∇:

′ ′ Lemma 5.10. Let X be the Frobenius twist of X. The p-curvature of (E, ∇) is actually in Sect(X , cL ′ ). ∗ ′ More generally, if Ψ is any horizontal section of Ad(E)⊗F (L ), then the image of Ψ in Sect(X, cF ∗(L ′)) ′ is actually in Sect(X , cL ′ ).

Proof. Away from the support of D, Pθ can be identiﬁed with G, so the arguments in Proposition 3.1 and Lemma 3.2 in [7] shows that Ψ is a horizontal section of Ad(E) ⊗ F ∗(L ′) with respect to the canonical connection on F ∗L ′. Hence Ψ is horizonal over X, hence it comes from a section of ′ Sect(X , cL ′ ). From this one concludes:

tame hp ′ ′ Corollary 5.11. We have a natural morphism LocsysPθ −→ Sect(X , cL ), which is called the p-Hitchin ﬁbration.

′ ′ Let (E, ∇) be a tame local system for group Pθ, let b be its image in Sect(X , cL ′ ). The element ′ ′ ′ b deﬁnes a regular centralizer group scheme Jb′ over X , let Jbp be its pullback to X. Then one gets a aE,Ψ group homomorphism Jbp −−−→ Aut(E), where we use the same notation. Note that since Jbp is the ′ ′ pullback of Jb′ on X , Jbp is equipped with a canonical connection, while Aut(E) is equipped with a connection with ﬁrst order pole.

Lemma 5.12. The homomorphism aE,Ψ is horizontal.

Proof. One only needs to show the aE,Ψ is horizontal away from the support of θ. In this case, one may use Lemma 3.3 of [7].

Now as we did for tame connections for group G, we still have an action of tame Jbp local systems on tame parahoric local systems: tame tame tame (5.13) LocsysJp × LocsysPθ → LocsysPθ . Lemma 5.7 still holds for parahoric tame connections. tame Now we deﬁne two substacks A0 ⊆A⊆ LocsysJp . • The stack A is the stack of tame J p-connections with vanishing p-curvature. p • The stack A0 corresponds to J -connections with no pole.

Clearly, A and A0 are group stacks over BL ′ . Lemma 5.7 implies the following: tame Corollary 5.14. There exists a natural action of A on LocsysG which preserves the p-Hitchin map tame for LocsysG .. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 21

5.3. Vector Bundle BL ′ . Now we construct a vector bundle BL ′ over BL ′ , of which the ﬁber is 0 ′ ′ L ′ ′ ′ H (X , Lie(Jb′ ) ⊗ ) for each b ∈ BL . The ﬁber is actually the space of p-curvatures for tame tame ′ B ′ Jb′ -connections. Then the stack LocsysJp is equipped with a natural morphism to L . In this subsection, we will prove that this morphism is smooth. Let G′ be a smooth commutative group scheme over X′ and denote by G its Frobenius pullback to X. The following sequence is the analogue of [7, Proposition A.7] in our setting: ′ Lemma 5.15. On Xet, we have a sequence of sheaves: ′ Fr∗dlog ′ hp ′ 0 → G → F r∗G −−−−−→ Lie(G ) ⊗ F r∗L −→ Lie(G ) ⊗ L → 0. ′ It is exact except at the position Lie(G ) ⊗ F r∗L . Proof. By Proposition A.7 of [7], we have the following sequence:

′ Fr∗dlog ′ hp ′ (5.16) 0 → G → F r∗G −−−−−→ Lie(G ) ⊗ F r∗ΩX −→ Lie(G ) ⊗ ΩX′ → 0, which is exact. Recall that L = ΩX (D). So it remains to show hp is surjective as a morphism from ′ ′ ′ Lie(G ) ⊗ F r∗ΩX (x) to Lie(G ) ⊗ ΩX′ (x ) for each x ∈ D. Using the surjectivity of hp in 5.16, we only need to show the restriction of hp to x is surjective. By the description of hp in [7, Lemma A.8], [p] ′ ′ ′ ′ [p] we have hp(ηx) = ηx′ − ηx , where ηx ∈ Lie(G )|x and (−) is the p-power operator. Now we may ′ assume G |x′ is either Gm or Ga and the assertion is obvious. Now we assume that G′ is a regular centralizer group scheme (see [10]).

′ [p] Lemma 5.17. Let η be an element in Lie(G )|x′ such that η − η = 0. Then, in the étale topology, ′ there exists ω ∈ Lie(G ) ⊗ F r∗ΩX (x) such that hp(ω)=0 and the residual of ω at x is equal to η. Proof. One may assume X′ is affine and that G′ is the regular centralizer determined by an element ′ ′ φ ∈ g(X ). Let L be the Levi subgroup of G := G |x′ determined by the semisimple part of the fiber φx′ . Then η can be identified with an integral element in Z(l). By [13, Lemma B.0.3], one may pass to an étale cover of X′ so that G′ is the regular centralizer for the Levi subgroup L. In this case, Z(L) can be identified with a subgroup of G′, hence locally there exists an element f ∈ G′(X′ − x′) such that the residual of ω = F r∗dlog(f) is η and hp(ω) = 0. ′ ′ ′ Corollary 5.18. Let q ∈ Lie(G ) ⊗ ΩX′ (x ). We take an element η ∈ Lie(G )|x′ such that hp(η) is equal to the residual of q at x′. Then the category of tame G-connections on X such that p-curvature equal to q and residual equal to η is a gerbe over BunG′ . Proof. Combine Lemma 5.15 and Lemma 5.17, one concludes that locally over X′, there exists ω ∈ ′ Lie(G )⊗F r∗ΩX (x) such that hp(ω)= q and that the residual of ω is equal to η. Moreover, two different ′ choices of such ω satisfies the following conditions: ω1 − ω2 ∈ Lie(G ) ⊗ F r∗ΩX and hp(ω1 − ω2) = 0. Now the claim follows from the exactness of 5.16. Now we are ready to prove the following: tame B ′ Lemma 5.19. LocsysJp is smooth over L . tame ′ ′ B ′ Proof. Fixing a point b ∈ BL , the fibers of LocsysJp and L over b are smooth. We will show that tame 0 ′ ′ ′ ′ L LocsysJbp → H (X , Lie(Jb ) ⊗ ) is smooth. It suffices to prove that the induced morphism on tangent space is surjective. Let K• be the complex given by: • ′ ∇ ′ L ′ K : Lie(Jb′ ) −→ Lie(Jb′ ) ⊗ . tame 1 ′ • i • The tangent space of LocsysJbp is given by H (X ,K ). Let H (K ) be the cohomology group of K• at degree i. Then by Lemma 5.15, the cohomology H1(K•) admits a surjective morphism to 22 MAO LI AND HAO SUN

′ L ′ ′ 1 • Lie(Jb′ ) ⊗ such that the kernel is supported at x . Thus, one may view H (K ) as a coherent sheaf ′ ′ L ′ 1 • on X and that Lie(Jb′ ) ⊗ is a direct summand of H (K ). Then the morphism 0 ′ 1 • 0 ′ ′ L ′ H (X , H (K )) → H (X , Lie(Jb′ ) ⊗ ) is surjective. Since H2(X′, H0(K•)) = 0, we have H1(X′,K•) → H0(X′, H1(K•)) is surjective. Therefore, we have 1 ′ • 0 ′ ′ L ′ H (X ,K ) → H (X , Lie(Jb′ ) ⊗ ) is surjective. This ﬁnishes the proof. 5.4. Tame Nonabelian Hodge Correspondence. By Lemma 5.19, we have a smooth morphism tame B ′ ′ ′ B ′ LocsysJp → L . The tautological section c → Lie(J) induces a canonical section τ : BL → L . Then we deﬁne H as the pullback of the following diagram tame H LocsysJp

τ ′ BL ′ BL ′

′ ′ B ′ ′ 0 ′ ′ L ′ For each point b ∈ BL , the ﬁber of L → BL is H (X , Lie(Jb′ ) ⊗ ). One may consider the residue morphism: Res 0 ′ ′ L ′ ′ L ′ ′ H (X , Lie(Jb′ ) ⊗ ) −−→ Lie(Jb′ ) ⊗ |x . ′ By Lemma 5.19, we get a morphism by taking over all b ∈ BL ′ tame ′ L ′ ′ LocsysJp → Lie(J ) ⊗ |x . Similarly, by taking the residual of the connection, we get a morphism tame ′ L LocsysJp → Lie(J ) ⊗ |x. Then under the Artin-Schreier map, we have the following commutative diagram: tame / ′ L LocsysJp / Lie(J ) ⊗ |x PPP PPP PP AS PPP P( ′ ′ Lie(J ) ⊗ L |x′ where AS is induced from the map Lie(J ′) → Lie(J ′), g → g[p] − g, where (−)[p] is the p-power operator. With respect to the above discussion, we get the following picture: / tame / ′ L (5.20) H / LocsysJp / Lie(J ) ⊗ |x

AS ′ τ / / ′ ′ BL ′ / BL ′ / Lie(J ) ⊗ L |x′ ′ ′ ′ Here we view Lie(J ) ⊗ L |x and Lie(J ) ⊗ L |x′ as vector bundles over cL |x and the morphism AS is étale and surjective. The diagram 5.20 implies that we have the induced morphism ′ L ′ ′ L ′ L H → B ×Lie(J )⊗ |x′ Lie(J ) ⊗ |x. To simplify the notations, let us denote ext ′ ′ L ′ ′ L ′ L BL := B ×Lie(J )⊗ |x′ Lie(J ) ⊗ |x. ext Since AS in 5.20 is étale and surjective, the morphism BL ′ → BL ′ is also étale and surjective. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 23

′ ext Lemma 5.21. The stack H is an A-torsor over BL , and it is also an (A0 ×BL ′ BL ′ )-torsor over ext BL ′ .

ext ′ ext ext Proof. First, the fibers of H → BL ′ (resp. H → BL ) are torsors over fibers of A0 ×BL ′ BL ′ → BL ′ ext ext (resp. A → BL ′ ). Then, since BL ′ is étale over BL ′ , H is smooth over both BL ′ and BL ′ by ext ext Lemma 5.19. Also, BL ′ maps surjectively to BL ′ . Thus, it is enough to show H → BL ′ is surjective, which is a consequence of Corollary 5.18 as well as Lemma 3.15 and Lemma 3.16 of [7]. Let X be the stack that parameterizes (E, ∇, Ψ) such that • (E, ∇) is a tame G-connection with zero p-curvature, • Ψ is a horizontal section of Ad(E) ⊗ F r∗L ′ Clearly, X is an algebraic stack over BL ′ .

Theorem 5.22. There exists a canonical isomorphism of stacks over BL ′ : A tame H× X → LocsysG . ext Similarly, there exists a canonical isomorphism of stacks over BL ′ : Aext ext tame ext 0 ′ H× X → LocsysG ×BL ′ BL , ext ext ext where A0 and X stands for the base change of A0 and X to BL ′ . A tame tame tame Proof. The morphism H× X → LocsysG is induced by the action of LocsysJp on LocsysG as in 5.13. The inverse morphism is given by: ′ A tame H(−τ ) × LocsysG → X . ′ tame −τ ′ ′ ′ B ′ where H(−τ ) is the pullback of LocsysJp to BL via the section BL −−→ L . Given that we have established Lemma 5.21 and Lemma 5.7, the proof that these two morphisms are inverse of each other is almost the same as the proof of Proposition 3.9 and Theorem 3.12 of [7]. The situation for X ext is similar. 5.5. Structure of X . Now it remains to give a description of X in terms of X′. It turns out that the structure of X depends on the residual of the connection. Lemma 5.23. Let (E, ∇, Ψ) be an element in X . For each point x ∈ D, the residual of ∇ at x is a rational semisimple element. Proof. The condition that ∇ has p-curvature zero implies this lemma. Let τ ∈ t be a rational semisimple element, which can be considered as a representation of the ′ corresponding conjugacy class. Any such element τ deﬁnes a natural weight θτ parahoric subgroup Gτ ′ of G over X in the following way. Choose θτ ∈ X∗(T ) such that

(θτ , α) = (τ, α) mod p for every root α. Let (θτ )∗OX (x) be the corresponding T -torsor. Since OX (x) is equipped with a natural connection with a pole at x, the T -torsor (θτ )∗OX (x) is also equipped with a connection ∇τ ′ with first order pole such that the residual is τ. Let Gτ be the group of automorphisms of the tame ′ G-local system ((θτ )∗OX (x), ∇τ ). Lemma 4.8 implies that Gτ can be identified with a parahoric group scheme over X′ such that the Levi factor is equal to the centralizer of τ in G. tame Now we take a collection of rational semisimple elements τ := {τx, x ∈ D}. Let LocsysG,τ ⊆ tame LocsysG be the stack classifying tame G-local systems (E, ∇) on X such that • ∇ is of zero p-curvature; • the residual of ∇ at x is represented by τx for each point x ∈ D. ′ ′ Denote by Gτ the corresponding parahoric group scheme over X . tame ′ ′ ′ Lemma 5.24. The stack LocsysG,τ can be identified with the stack BunGτ of Gτ -torsors over X . 24 MAO LI AND HAO SUN

Proof. It is enough to prove this lemma for a single point D = {x}, and let τ be the given rational semisimple element at x. As we stated above, the G-torsor (θτ )∗OX (x) has a natural tame connection ∇τ such that the residual is equal to τ and that the p-curvature is zero. We will prove that for any tame (E, ∇) ∈ LocsysG,τ , we have that (E, ∇) is locally isomorphic to ((θτ )∗OX (x), ∇τ ) as G-connections with ﬁrst order pole on X, this will imply the statement of the lemma. Let Iso (((θτ )∗OX (x), ∇τ ), (E, ∇)) be the group of isomorphisms between ((θτ )∗OX (x), ∇τ ) and (E, ∇). The isomorphism group Iso is an aﬃne scheme over X′. We will show that Iso is smooth and maps surjectively over X′. Away from x this follows from Cartier descent. Lemma 4.11 implies that x′ is in the image of the morphism Iso → X′. The smoothness of Iso over x′ is a consequence of Lemma 4.3, Lemma 4.11 and Lemma 5.25.

Lemma 5.25. Let U be a ﬁnite type aﬃne scheme over a curve X and x ∈ X. Let z be a local coordinate at x. Then U is smooth over x if the following functor on Artinian local algebras over k is formally smooth:

(5.26) H(R) = HomX (Spf(R[[z]]), Y ) Proof. Let R, R′ be two Artinian local algebras over k such that we have a closed embedding Spec(R) → Spec(R′). Given a diagram: 4 Y , ✐✐✐✈4: ✐′✐✐ f ✐✐✐f ✈ ✐✐✐✐ ✈ ✐✐✐✐ ✈ ✐✐✐ ✈ Spec(R) / Spec(R′) / X we need to show that f lifts to f ′. Compose s with Spf(R[[z]]) → Spec(R), one can view f as an element in H(R). If H is formally smooth, then f lifts to f ′ ∈ H(R′). Now the morphism Spec(R′) → X endows Spec(R′) with the structure of a subscheme of Spf(R′[[z]]). Using this one ﬁnds a lift of f to f ′

Let Xτ be the substack of X , which parametrizes triples (E, ∇, Ψ) such that the residual of ∇ at x equal to τx. Proposition 5.27. We have tame ∼ ′ Xτ = HiggsGτ , and the stack Xτ is an open substack of X . Hence X is the disjoint union of Xτ , where the union ranges over the all rational semisimple conjugacy classes.

′ Proof. Let (E, ∇, Ψ) ∈ Xτ be an element. By Lemma 5.24, the pair (E, ∇) determines a unique Gτ - torsor E′. Thus, we only need to show that if Ψ ∈ H0(X, Ad(E) ⊗ F r∗L ) is a horizontal section, then Ψ ∈ Ad(E′) ⊗ L ′. Using Cartier descent again, one only needs to prove this over the formal disc at x, dz dz dz so one may assume that the connection is of the form d+τx z . An element A z ∈ g(Ox) z is horizontal dz ′ ′ ′ if and only if dA + [A, τx] z = 0. By the deﬁnition of Gτx , this implies that A ∈ Lie(Gτx )(Ox ). This ﬁnishes the proof. The fact that Xτ is an open substack follows from the fact that the condition that the residual equals to s is stable under deformations, see Lemma 4.11.

5.6. Tame Parahoric Nonabelian Hodge Correspondence. Now we consider the more general case of tame connections over a parahoric group scheme. Let θ be a collection of tame weights. Denote by Pθ the parahoric group scheme corresponding to θ. The ﬁrst is the analogue of Theorem 5.22. Let

XPθ be the stack parameterizes triples (E, ∇, Ψ) such that

• (E, ∇) is a tame Pθ-connection with zero p-curvature, • Ψ is a horizontal section in Ad(E) ⊗ F r∗L ′. TAMEPARAHORICNONABELIANHODGECORRESPONDENCE 25

Theorem 5.28. There exists a canonical isomorphism of stacks over BL ′ :

A tame H× XPθ → LocsysPθ . Proof. The argument is almost the same as in Theorem 5.22.

′ Similar to § 5.5, we will discuss the local structure of XPθ in terms of X . Let Y be a covering of X determined by the tame weights θ. Let d be the degree of the covering, and denote by Γ the Galois group. We identify Pθ-torsors (resp. local systems) on X as Γ-equivariant G-torsors (resp. local systems) on Y with local type ρ, where ρ is also determined by θ (see § 3). We also ﬁx a collection

τ = {τx | x ∈ D} of rational semisimple elements in t. Let XPθ ,τ be the substack of XPθ such that the corresponding orbit (under parahoric group) of the residual of the connection ∇ over x has dτx as the rational semisimple part. Sometimes we use the notation XPθ ,τ (X) to emphasize that the stack is over X. We follow the diagram below to describe the structure of XPθ ,τ . Proposition 3.9 XPθ ,τ (X) XG,d(θ+τ )([Y/Γ])

Proposition 5.30 Proposition 5.27

tame ′ tame ′ Higgs ′ (X ) Higgs ′ ([Y /Γ]) Gθ+τ Theorem 3.7 Gd(θ+τ )

tame Let LocsysPθ ,τ (X) be the stack parameterizes tame Pθ-local systems over X with zero p-curvature and that the residual of ∇ at x ∈ D has rational semisimple part τx.

tame ′ Lemma 5.29. Locsys (X) can be identiﬁed with BunG′ (X ). Pθ ,τ d(θ+τ ) Proof. We go with the following diagram to prove this lemma.

tame Proposition 3.9 tame LocsysPθ ,τ (X) LocsysG,d(θ+τ )([Y/Γ])

Lemma 5.24

′ Theorem 3.5 ′ BunG′ (X ) BunG′ ([Y /G]) θ+τ d(θ+τ)

In the proof of Theorem 4.15, we show that tame D ∼ tame D LocsysPθ ,τ ( x) = LocsysG,d(θ+τ)([ y/Γ]). By Proposition 3.9, this local picture can be naturally generalized as follows: tame ∼ tame LocsysPθ ,τ (X) = LocsysG,d(θ+τ )([Y/Γ]).

tame ′ Lemma 5.24 gives the isomorphism Locsys ([Y/Γ]) =∼ BunG′ ([Y /G]). Note that although G,d(θ+τ ) d(θ+τ) the lemma is proved for G-bundles over Y , the result can be naturally generalized to a Γ-equivariant version. Finally, by Theorem 3.5, we have the desired isomorphism.

With the discussion above, we can apply similar arguments as in Proposition 5.27 to prove the following:

Proposition 5.30. We have ∼ tame ′ XPθ ,τ = Higgs ′ (X ), Gθ+τ and the stack XPθ is the disjoint union of all XPθ ,τ , where τ ranges over a set of representatives of dθ rational semisimple conjugacy class of g under the adjoint action of ZG(ζ ). 26 MAO LI AND HAO SUN

References

[1] D. Abramovich, M. Olsson, A. Vistoli, Tame stacks in positive characteristic. Ann. Inst. Fourier (Grenoble) 58, no. 4, 1057-1091 (2008). [2] V. Balaji, I. Biswas, Y. Pandey, Connections on parahoric torsors over curves. Publ. Res. Inst. Math. Sci. 53(4), 551-585 (2017). [3] V. Balaji, C. S. Seshadri, Moduli of parahoric G-torsors on a compact Riemann surface. Journal of Algebraic Geometry 24, 1-49 (2015). [4] O. Biquard, O. Garc´ıa-Prada, I. Mundet i Riera Parabolic Higgs bundles and representations of the fundamental group of a punctured surface into a real group. Adv. Math. 372, 107305, 70pp. (2020). [5] P. P. Boalch, Riemann-Hilbert for tame complex parahoric connections. Transformation Groups 16, 27-50 (2011). [6] F. Bruhat, J. Tits, Groupes réductifs sur un corps local. II. Schémas en groupes. Existence d’une donnée radicielle valuée. Inst. Hautes Etudes´ Sci. Publ. Math. 60, 197-376 (1984). [7] T. H. Chen, X. Zhu, Non-abelian Hodge theory for algebraic curves in characteristic p. Geom. Funct. Anal. 25, 1706-1733 (2015). [8] T. H. Chen, X. Zhu, Geometric Langlands in prime characteristic. Compos. Math. 153(2), 395 - 452 (2017) [9] V. Chernousov, P. Gille, A. Pianzola, Torsors over the punctured affine line. Amer. J. Math. 134(6), 1541-1583 (2012). [10] R. Donagi, D. Gaitsgory. The gerbe of Higgs bundles. Transform Groups. 7, 109-153 (2002). [11] A. F. Herrero, Reduction theory for connections over the formal punctured disc. arXiv:2003.00008 (2020). [12] G. Kydonakis, H. Sun, L. Zhao, Tame parahoric Higgs bundles for a complex reductive group. arXiv: 2107.01977 (2021) [13] M. Li, The Poincare line bundle and autoduality of Hitchin fibers. arXiv:2005.01396 (2020). [14] A. Ogus, V. Vologodsky, Nonabelian Hodge theory in characteristic p Publ. Math. Inst. Hautes Etud. Sci. 106, 1–138 (2007) [15] G. Pappas, M. Rapoport, Twisted loop groups and their affine flag varieties. Adv. Math. 219(1), 118-198 (2008). [16] S. Shen, Tamely ramified geometric Langlands correspondence in positive characteristic. arXiv:1810.12491 [17] C. T. Simpson, Harmonic bundles on noncompact curves. J. Amer. Math. Soc. 3(3), 713-770 (1990). [18] C. T. Simpson Higgs bundles and local systems. Inst. Hautes Etudes Sci. Pub .Math. 75, 5–95 (1992). [19] H. Sun, Moduli Problem of Hitchin Pairs over Deligne-Mumford Stacks. to appear in Proc. Amer. Math. Soc (2021). [20] H. Sun, Moduli Space of Λ-modules on Projective Deligne-Mumford Stacks. arXiv:2003.11674 (2020). [21] C. Teleman, C. Woodward, Parabolic bundles, products of conjugacy classes, and quantum cohomology. Annales de L’Institut Fourier 3, 713-748 (2003). [22] Z. Yun, Global Springer theory Adv. Math. 228, 266-328 (2011).

Department of Mathematics, University of Illinois at Urbana-Champaign 1409 W. Green St, Urbana, IL 61801, USA E-mail address: [email protected]

Department of Mathematics, South China University of Technology 381 Wushan Rd, Tianhe Qu, Guangzhou, Guangdong, China E-mail address: [email protected]