## THE GALOIS CORRESPONDENCE FOR n -STACKS

## YUXIANG YAO

Abstract. We prove a Galois correspondence for n -stacks. It gives a correspondence between the 8 -category of Deligne-Mumford n -stacks finite ´tale over a connected scheme e X and the 8 -category of n -stacks of finite sets with an action of the fundamental group of X .

## 1. Introduction

In this note, we will introduce the Galois correspondence for n -stacks. Our motivation is to have an explicit write-up for the Galois correspondence for Deligne-Mumford stacks that are finite ´tale over a nice e scheme X . But the literature actually deduces a more general version of correspondence for Deligne-Mumford n -stacks rather than only for usual stacks. So we instead build the note for a more general situation. Let's first state our main theorem for ' n -stacks' below:

Theorem 1 (Galois Correspondence for n -groupoids) . Let η be a geometric point in a connected scheme X . There is an exact equivalence of categories of fibrant objects

$$F _ { \eta } \, \colon n \text{-Grpds} ( \text{Fet} _ { X } ) \, \stackrel { \sim } { \longrightarrow } \, \pi _ { 1 } ^ { \text{et} } ( X, \eta ) \text{-n-Grpds} ( \text{FinSets} ).$$

Here n -Grpds FEt p X q is the 1 -category of n -groupoids in FEt X , the category of finite ´tale covers over e X ; and π et 1 p X,η q -n -Grpds FinSets p q is the category of n -groupoids in finite sets with the ´tale fundamental group, e π et 1 p X,η q , acting on them.

This will be proved in Section 4. Then the version for n -stacks can be considered as a corollary of the theorem above by simplicial localization. This will be concluded in Section 4 after the proof of the main theorem and a bit more prerequisites. Note that n -groupoids can be considered as a nice device for presenting stacks, see [10].

Corollary 2. Let η be a geometric point in a connected scheme X . There exists an equivalence of simplicial categories

$$F _ { \eta } ^ { \mathcal { L } } \colon \text{DM-n-Stacks/etcale over } X \xrightarrow { \sim } \pi _ { 1 } ^ { \text{et} } ( X, \eta ) \text{-n-Stacks} ( \text{FinSets} ).$$

Here, DM -n -Stacks ´tale over { e X is given by the simplicial localization of ´tale e n -groupoids in FEt p X q ; and π et 1 p X,η q -n -Stacks FinSets p q is obtained by the simplicial localization of π et 1 p X,η q -n -Groupoids .

This story can be traced back to a well-known result in the context of schemes, suppose that X is a connected scheme with a geometric point η , one has a schematic version of Galois correspondence:

Theorem 3. The following functor, called the fiber functor,

$$F _ { \eta } ^ { \text{Sch} } \colon F E t ( X ) \to \pi _ { 1 } ^ { e t } ( X, \eta ) { - } \text{FinSets, } ( Y \xrightarrow { f } X ) \mapsto \eta ^ { * } Y,$$

is an equivalence of categories.

For more details, see Expos´ V in [8] or [13, Tag 0BND]. e

This gives a fundamental relation between the finite covers of a given scheme X and the finite sets with actions of the ´tale fundamental group of e p X,η q . For families of connected degree d branched covers of projective line P 1 R with n branched points over a connected normal scheme X , Theorem 3 plays an important role in constructing a moduli space. Here, we consider (connected normal) schemes X of finite type over R ' C or Z p and with fixed monodromy group G . This moduli space is called a Hurwitz scheme , denoted by Hur c G,n,d . To avoid ambiguity, let's explicitly define an isomorphism above from a cover p : Y Ñ P 1 to another cover q : Y 1 Ñ P 1 by homeomorphism φ : Y Ñ Y 1 such that q ˝ φ ' p . For automorphisms of a cover p : Y Ñ P 1 , they are special cases when p ' q above and form a group Aut p p q . In the literature, many

papers or books use automorphisms with extra conditions, which is often called the inner automorphisms ; our weaker automorphism here are often called absolute automorphism . See, for example, [6], for details.

However, in the construction of Hur c G,n,d , a moduli scheme can be constructed only when the centralizer of the monodromy group G in the symmetric group S d is trivial. To solve the problem, one can consider coarse moduli, or construct the moduli in the 'category' of Deligne-Mumford stacks. We would like to use the latter strategy, which is our motivation to build Theorem 1 and Corollary 2. This moduli stack will be called a Hurwitz stack, and only requires the case of 1-stacks in Corollary 2. Here we also note that a key reference cite by many papers on Hurwitz stacks is [12].

We will introduce the necessary preliminaries so that the above Theorem 1 makes sense at the end of the notes. For the classical materials above, one may refer to, for example, Theorem 5.4.2 in [14]. An analogous topological version of Galois correspondence will be briefly introduced at the end of the notes to close this story.

Finally, we give a brief summary of the literature. On algebraic geometry side, we will instead consider the ´ etale groupoid schemes as Deligne-Mumford stacks in this note. This maybe less used than other interpretations of Deligne-Mumford stacks. We will give a brief explanation in Remark 23, we also refer to Section 4.3 in [9] in order to connect this article to another interpretation of DM-stacks. In this note, in the proof of Corollary 2 from Theorem 1 largely depends on passing to simplicial localization. The primary reference for Hammock localization is the paper by Dwyer and Kan [3], which is easier to use than another earlier model of simplicial localization in [4] also by Dwyer and Kan. For an accessible introduction to the material in homotopy theory, a good reference is 'The Homotopy Theory of p8 , 1 -Categorie' by Bergner[2], q and the simplicial localization is introduced in section 3.5.

Acknowledgement. I am grateful to my advisor, Jesse Wolfson, for introducing me to the subject, extensive comments on each of my multiple drafts, as well as for his guidance and supports on all possible perspectives. I would like to thank Craig Westerland for helpful suggestions and comments. I would like to thank Aaron Landesman, Ronno Das, Oliver Braunling and Oishee Banerjee for reading one of my earlier drafts and helpful comments. I thank Chenchang Zhu for thoughts on potential generalizations. I would like to thank Julia Bergner for her suggestions and detailed comments in my earlier draft.

## 2. The Category of n -Groupoids in a Category C

For this section, we take Behrend and Getzler [1] and Wolfson [15] as our primary references. Let's first determine the category C we are working on:

Definition 4 (Kernel pairs and Effective Epimorphisms) .

- (1) The kernel pair of a morphism f : X Ñ Y in a category with finite limits is the pair of parallel arrows

$$X \times _ { Y } X \Rightarrow X.$$

- (2) The map f : X Ñ Y is an effective epimorphism if f is the coequalizer of this pair

$$X \times _ { Y } X \Rightarrow X \stackrel { f } { \rightarrow } Y.$$

From now, we will work in the category C with the following axioms:

Definition 5 (Category with covers and finite limits) . A category C with covers and finite limits consists of a category C with a subcategory of covers satisfying the following five axioms:

- (C0). C has finite limits.
- (C1). The category C has a terminal object e , and the map X Ñ e is a cover for every object X P C .
- (C2). Pullbacks of covers along arbitrary maps exist and are covers.
- (C3). If g and f are composable, and f and gf are both covers, then g is also a cover.
- (C4). Covers are effective epimorphisms.

Remark: This is a union of the axioms in 'the category with covers' in Wolfson [15] and the 'descent category' in Behrend and Getzler [1]. Then we are able to make use of results in both papers for the above category C . Those categories we care about in this note will also fortunately fit into the two categories in both papers.

We define that r k s ' t 0 ă 1 ă ¨ ¨ ¨ ă n u is a nonempty linearly ordered set, and ∆ is a category whose objects are such r k s , and morphisms are nondecreasing maps; define ∆ k : ' Mor ∆ p´ r , k sq . A simplicial object in C is a functor X , : ∆ op Ñ C , and a simplicial set S is a simplicial object in C ' Sets. Equivalently, a simplicial set S can be written as the colimit of its simplices

$$S \cong \text{colim} _ { \Delta ^ { k } \rightarrow S } \Delta ^ { k }.$$

We will also need the following simplicial subsets of ∆ k :

- , The boundary B ∆ k Ă ∆ can be defined by k pB ∆ k qpr m sq ' t α P Mor ∆ pr m , s r k sq : α is not surjective u .
- , The i -th horn Λ k i Ă B ∆ can be defined as k p Λ k i qpr m sq ' t α P Mor ∆ pr m , s r k sq : r k s Ę α pr m sq Y t uu i .

Let X be a simplicial object in C , in other words, a functor X : ∆ op Ñ C ; and let S be a simplical set. Dual to the colimit expression of a simplicial set, we define

$$\text{Hom} ( S, X ) \coloneqq \lim _ { \Delta ^ { k } \rightarrow S } X _ { k }.$$

Definition 6 ( n -groupoids, Definition 2.5, Wolfson) . Let n P N Yt8u . A n -groupoid is a simplicial object X P s C such that for all k ą 0 and 0 ď i ď k , Λ k i p X q exists in C and the induced map

$$\lambda _ { i } ^ { k } ( X ) \colon X _ { k } \rightarrow \text{Hom} ( \Lambda _ { i } ^ { k }, X )$$

is a cover, and it is also an isomorphism for k ą n

.

Here the map λ k i p X q is induced from the simplicial subset Λ k i Ă ∆ . k

Definition 7 ( n -Hypercovers, Definition 2.6, Wolfson) .

- (1) Let n P N Yt8u . A map f : X Ñ Y of simplicial objects in s C is an n -hypercover if, for all k ě 0, the map

$$\mu _ { k } ( f ) \colon X _ { k } \to \text{Hom} ( \partial \Delta ^ { k }, X ) \times _ { \text{Hom} ( \partial \Delta ^ { k }, Y ) } Y _ { k }.$$

is a cover for all k , and it is an isomorphism for k ě n . Here, the pullback on the right is given by two induced maps to Hom pB ∆ k , Y q from (1) f : X Ñ Y and (2) B ∆ k Ă ∆ ; and the induced map k λ k p f q is determined by the map f k : X k Ñ Y k and another map X Ñ Hom pB ∆ k , X q induced again by B ∆ k Ă ∆ . k

- (2) We refer to an 8 -hypercover simply as a hypercover .

## 3. Categories of Fibrant Objects

In order to get Theorem 1 as well as its corollar, Corollary 2, we need more prerequisites. First, we introduce Brown's category of fibrant objects as below (See the Definition below in Section 1 of [1]).

We take Behrend and Getzler[1] and Rogers and Zhu [11] as our primary references.

Definition 8 (Category of Fibrant Objects) . A category of fibrant objects is a small category C with the subcategory of weak equivalences W Ď C and a subcategory F Ď C of fibrations, with the following axioms:

- (F1). There exists a terminal object e P Obj p C q , and a morphism X Ñ e in F for each object X P Obj p C q ;
- (F2). Pullbacks of fibrations are fibrations;
- (F3). Pullbacks of trivial fibrations are trivial fibrations, where trivial fibrations are morphisms in both W and F .
- (F4). Every morphism f : X Ñ Y has a factorization

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00281v2-figure-d05039d8-3f4c-4026-a5d8-8e52c5885242.jpg)

where r is in W and q is in F .

Objects in this category are said to be fibrant . And we will use CFO for 'category of fibrant objects'.

Note that we only need the existence of the terminal object e P Obj p C q , which does not further require a concrete choice.

Definition 9 (Exact Functors between CFOs) . A functor F : C Ñ D between CFOs is called a exact functor if

- (1) F preserves terminal objects, fibrations and trivial fibrations;
- (2) Any pullback square of the form

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00281v2-figure-f48abaf3-d165-4aa3-ac5c-45191daa22c7.jpg)

with f being a fibration in C is mapped to a pullback square in D , i.e., F X p ˆ Z Y q F X p qˆ F Z p q F Y p q .

The following lemma is from Roger and Zhu [11], Lemma 2.9.

Lemma 10. An exact functor F : C Ñ D between CFOs preserves finite products and weak equivalences.

Definition 11. An equivalence F : C Ñ D of categories with covers and finite limits is a category equivalence preserving covers.

As an important example in the note, we may define n -Grpds p C q be the 1-category of n -groupoids in C , a category with covers and finite limit. We leave the following lemma as an exercise:

Lemma 12. Suppose that F : C Ñ D is an equivalence of categories with covers and finite limits. It induces an exact equivalence of ( 1 -)categories:

$$F \colon n \text{-Grpds} ( \mathcal { C } ) \xrightarrow { \sim } n \text{-Grpds} ( \mathcal { D } ).$$

We introduce a few more definitions and results for n -groupoids and also prove our main theorem and its corollary in this section.

Definition 13 (Categories with Weak Equivalences) . A category C is called a category with weak equivalence if there is a distinguished set W of morphisms in C , whose elements are called weak equivalences , such that

- , W contains all the isomorphisms in C ;
- , W has 2 out of 3 property, in other words, given f : X Ñ Y , g : Y Ñ Z and the composition gh : X Ñ Z in C , if two out of three above are in W , the third is also in W .

Denote the category with weak equivalences by a pair p C W , q (or just C if the context is clear).

Definition 14 (Weak Equivalences for n -Groupoids, Definition 3.19 and 3.20 Behrend-Getzler) .

- (1) Let P n : s C Ñ s C be a functor of simplicial objects such that p P Y n q m : ' Hom ∆ p m,n , Y q , where ∆ m,n ' ∆ m ˆ ∆ . n
- (2) A morphism f : X Ñ Y of k -groupoids is a weak equivalence if the fibration q f p q : P f p q Ñ Y is a hypercover, where P f p q ' X ˆ f,Y,d ˚ 1 P Y 1 , and q f p q is the pullback of f along d ˚ 0 : P Y 1 Ñ Y .

Lemma 15 (Proposition 6.7, Rogers and Zhu) . A fibration f : X Ñ Y of n -groupoids is a weak equivalence if and only if it is a hypercover.

The following is a special case of Theorem 3.6 on Behrend-Getzler [1]:

Lemma 16. Suppose that C is a category with covers and finite limits. With fibrations and weak equivalences as above, the category of n -groupoids in C , i.e., n -Grpds p C q is a CFO.

Remark 17. Together with the previous lemma, we obtain that trivial fibrations are the same as hypercovers.

Recall a simplicial group G is a simplicial object in the category of groups. We have a natural way to define the simplicial group action G on a simplicial set X . One can refer to Section V.2, Goerss and Jardine [7] for more details. Then, one can immediately define categories like G -sSets, G n --Grpds, G n --FinGrpds and G n --stacks.

The following lemma is an exercise in the above definitions:

Lemma 18. Suppose that C is a category with covers and finite limits. Then we have an equivalence of usual categories:

G n --Gprds FinSets p q » n -Gprds p G -FinSets q .

## 4. The Main Theorem and Its Corollary

We now prove our main theorem.

Theorem 19 (Galois Correspondence for n -groupoids) . There is an equivalence of categories

$$F _ { \eta } \, \colon n \text{-Grpds} ( \text{FET} _ { X } ) \xrightarrow { \sim } \pi _ { 1 } ^ { \text{et} } ( X, \eta ) \text{-n-Grpds} ( \text{FinSets} ).$$

Proof. By Theorem 3,

$$F _ { \eta } ^ { \text{Sch} } \colon \text{FEt} _ { X } \rightarrow \pi _ { 1 } ^ { \text{et} } ( X, \eta ) \text{-FinSets}$$

is a category equivalence. By Lemma 12, the functor

$$n \text{-Grpds} ( F _ { \eta } ^ { \text{Sch} } ) \, \colon n \text{-Grpds} ( \text{FET} _ { X } ) \rightarrow n \text{-Grpds} ( \pi _ { 1 } ^ { \text{et} } ( X, \eta ) \text{-FinSets} )$$

is an equivalence. By Lemma 18, there is an equivalence

$$G \colon n { - G r p d s ( \pi _ { 1 } ^ { e t } ( X, \eta ) } { - } { - } { F i n S e t s ) } \stackrel { \sim } { \to } \pi _ { 1 } ^ { e t } ( X, \eta ) { - } { n } { - } { G r p d s ( F i n S e t s ) }.$$

Define F η ' G ˝ ` n -Grpds p F Sch η q ˘ , this gives the equivalence we want.

Sch is an equivalence. /square

Finally, since F η in Theorem 3 preserves covers, by Lemma 12, F η

To show Corollary 2, we need more prerequisites about simplicial localization as below. Let C be a CFO with H be the subcategory of trivial fibrations, and W be the subcategory of weak equivalences. There are several different models of simplicial localizations. Note that Dwyer and Kan have two papers [4] and [3] on two different models of simplicial localizations. For a comprehensive introduction, one can read the book [2], where the simplicial localizations are introduced in Section 3.5. In the two models, Hammock localization introduced by [3], denoted by L H p C W , q or simplie L C W p , q below, is easier to use. We will introduce hammock localization and another convenient model of simplicial localization denoted by H ´ 1 C below. Note that [11] introduces an equivalence between two models under good settings.

- , A widely used model is called 'hammock localization' of C with respect to W , denoted by L H p C W , q , or just L C W p , q in this note. Define L C W p , q to be a simplicial category whose objects are Obj p C q , and for each pair of objects X,Y in C , L C W p , qp X,Y q is a simplicial set such that for each k , elements in L C W p , qp X,Y q k are of the following format:

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00281v2-figure-3a4a8d74-3cf6-4408-8cbf-9d620e75bb33.jpg)

where ' means morphisms in W , and n is the length, and k is the height.

- (1) Here, each row

is a zigzag from X to Y of length n 0. Here, a zigzag from X to Y

$$X & \longrightarrow C _ { i, 1 } \longrightarrow \cdots \longrightarrow C _ { i, n - 1 } \longrightarrow Y \\ X \, \text{to } Y \, \text{of length } n \geqslant 0. \, \text{Here, a zigzag from } X \, \text{to } Y \, \text{ is given by}$$

$$X \equiv C _ { 0 } \stackrel { f _ { 1 } } { \longrightarrow } C _ { 1 } \stackrel { f _ { 2 } } { \longrightarrow } \cdots \stackrel { f _ { n } } { \longrightarrow } C _ { n } \equiv Y$$

where the line segments f i can be forward or backward.

- (2) The vertical arrows and arrows in zigzags forwarding left are all in W .
- (3) And all the horizontal arrows in the same column (e.g., arrows between C i,j and C i,j ` 1 for a fixed i ) have the same direction.
- (4) Finally, each zigzag rows are restricted (i.e., no adjacent arrows with the same direction, no identities, leftward arrows are in W ).
- , In good settings, such as ours main results Corollary 2, a simpler equivalent model exists: Define H ´ 1 C be the simplicial category with

$$O b j ( \mathcal { H } ^ { - 1 } \mathcal { C } ) = O b j ( \mathcal { C } ), \quad \text{Mor} _ { \mathcal { H } ^ { - 1 } \mathcal { C } } ( x, y ) = \mathcal { N } \text{Span} ( \mathcal { C }, \mathcal { H } ),$$

where objects in Span p C H , q are of the format X f P H Ð Ý Ý Ý Z g Ý Ñ Y , and morphisms are of the form φ in C such that the following diagram commutes:

$$X \xleftarrow { f \in \mathcal { H } } Z \overset { g } { \overset { g } { \kappa } } Y \\ f ^ { \prime \in \mathcal { H } } \overset { \Big | } { \overset { \phi } { \overset { \gamma } { \kappa } } } \overset { \gamma } { \overset { \gamma } { Z ^ { \prime } } } \\ \dots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

N here means the nerve. (This is given by the localization of the type w where w is a word of alphabets in t C W , ´ 1 u , also see Dwyer and Kan [3].)

Then the following is a restatement of Theorem 2.13 in [11] for our context, which related the above two models of simplicial models in our context:

Theorem 20. The (canonical) functor H ´ 1 C Ñ p L C W , q is an equivalence of simplicial categories.

Then, one can define the ' n -stacks':

Definition 21. Suppose C is a category with covers and finite limits. The simplicial category of n -stacks in C is defined by H ´ 1 p n -Grpds p C qq .

Here we need to introduce two important examples for futher use. They are compatible with the literature, for example, Section 1.3.4 in Pridham [10].

## Example 22.

- (1) C ' FEt X , where X is a connected scheme (over a field k ). In this category, covers are finite ´tale e morphisms (over X ). Then, by Lemma 16, n -Grpds(FEt X ) is a CFO, where trivial fibrations H are the same as hypercovers. Then, by the definition above, the category of n -stacks in FEt X is given by

$$n _ { \nearrow } ^ { \ } \text{Stacks} ( \text{FEt} _ { X } ) = \mathcal { H } ^ { - 1 } ( n _ { \nearrow } ^ { \ } \text{Grpds} ( \text{FEt} _ { X } ) ).$$

For usual stacks, using groupoids, we may define Deligne-Mumford stacks as (equivalence classes of) 1-groupoid schemes in FEt X , and the morphisms are given by localizing the category of 1-groupoid schemes with respect 1-hypercovers (c.f. Wolfson [15], Theorem 2.17(1)). Note that, n -groupoids ´ etale over X implies the degeneracy and face maps are all ´tale, so we may define the (simplicial) e category of DMn -stacks ´tale over e X by

$$\text{DM-n-Stacks/etcafe over $X=n$-Stacks(FEt_{X}$).}$$

See Section 1.3.4 in [10] for more details.

- (2) Similarly, when C ' π ´ et 1 p X,η q -FinSets, in this category, covers are surjective π ´ et 1 p X,η q -FinSetsequivariant maps. Then the category of 1-stacks in π ´ et 1 p X,η q -FinSets is defined by

$$1 { - } \text{Stacks} ( \pi _ { 1 } ^ { \acute { e } t } ( X, \eta ) { - } \text{FinSets} ) = \mathcal { H } ^ { - 1 } ( \text{Grpds} ( \pi _ { 1 } ^ { \acute { e } t } ( X, \eta ) { - } \text{FinSets} ) ).$$

Here H are still the 1-hypercovers. We may rewrite

$$1 { - } \text{Stacks} ( \pi _ { 1 } ^ { \acute { e } t } ( X, \eta ) { - } \text{FinSets} ) = \pi _ { 1 } ^ { \acute { e } t } ( X, \eta ) { - } 1 { - } \text{Stacks} ( \text{FinSets} ).$$

Remark 23 (Equivalence of Different Interpretations of DM-Stacks) . One can actually verify that, if one takes n ' 1, the above DM-1-stacks are compatible with the DM-stacks defined as fibered categories. Let's take C ' FEt p S q , the category of schemes over a (nice) scheme S ; take the covers to be finite ´tale covers; e and take n ' 1. Use the terminology in [9], objects in DM-1-Stacks/´tale over e S in this notes are groupoids in S -schemes .

- , Suppose X is a DM-stack ´ etale over S in the sense of Definition 4.1 in [9], by definition, one can obtain a presentation, a surjective ´tale morphism e p : X 0 Ñ X . (Here X 0 can be taken as a scheme.) Then one can immediately obtain a groupoid in S -schemes

$$( X _ { 1 } \coloneqq X _ { 0 } \times _ { p, \mathcal { X }, p } X _ { 0 } ) \Rightarrow X _ { 0 }.$$

- , On the other hand, given a groupoid in schemes ´tale over e S X 1 X 0 d 0 d 1 with the 3 conditions in Proposition 4.3.1 in [9], we can define an associated prestack r X 1 Ñ X 0 s pre , for example, we can let:

- -Objects of r X 1 Ñ X 0 s pre over V P Sch { S are given by X 0 p V q ;
- -Given g 1 P X 0 p V 1 q and g P X 0 p V q , a morphism f : g Ñ g 1 is a morphism f : V 1 Ñ V such that gf ' g 1 , and such that there exists a morphism γ P X 1 p V 1 q with d 0 ˝ γ ' g 1 and d 1 ˝ γ ' g . Then the stack associated to the groupoid r X 1 Ñ X 0 s is given by the stackification of r X 1 Ñ X 0 s pre , see Lemma 3.2 in [9].

By Proposition 4.3.1 in [9], X 0 Ñ r X 1 Ñ X 0 s gives a presentation. By Proposition 3.8 in [9], X with presentation p : X 0 Ñ X has an isomorphism X - r X 1 Ñ X 0 s . Thus, by the above, the category of DMstacks ´tale over e S (using the definition of fibered categories) is equivalent to the category of DM-1-stacks in FEt p S q whose covers are finite ´tale covers. e

Then, Corollary 2, restated as below, can be considered as a immediate corollary if we apply the simplicial localizations on F η with respect to hypercovers:

Corollary 24 (Galois Correspondence for n -stacks) . There is an induced equivalence of simplicial categories

F L η : DM -n -Stacks ´tale over { e X ' Ý Ñ π ´ et 1 p X,η q -n -Stacks FinSets p q .

Proof. This follows by applying Hammock localization on F η in Theorem 1. Since F η in the Galois Correspondence restricts to an equivalence of weak equivalences, by Theorem 20 and Theorem 19, we deduce the above corollary. /square

## 5. Topological Analogue

The classical Galois correspondence has a topological version as below, see Corollary 2.3.9 in [14]:

Theorem 25. Let X be a connected, locally connected and semi-locally simply connected topological space, and let x P X be a point. Let FCov p X q be the category of finite (usual) covers of X , and, let π 1 p X,x q -FinSets be the category of finite π 1 p X,x q -sets. Then the following functor, called the fiber functor,

$$F _ { x } \colon \text{FCov} ( X ) \to \pi _ { 1 } ( X, x ) \text{-FinSets, } ( Y \xrightarrow { f } X ) \mapsto f ^ { - 1 } ( x ),$$

is an equivalence of categories.

Now, the category FCov p X q of finite (usual topological) covers of X can be also considered as a category with covers and finite limits. In particular, covers in this category are just the surjective local homeomorphisms.

The arguments above carry over to the present setting to give the following parallel results.

Theorem 26 (Galois Correspondence for n -groupoids) . Let X and x as in Theorem 25. There is an exact equivalence of categories of fibrant objects

$$F _ { x } \colon n \text{-Grpds} ( \text{FCov} ( X ) ) \stackrel { \sim } { \Longrightarrow } \pi _ { 1 } ( X, x ) \text{-n-Grpds} ( \text{FinSets} ).$$

Here n -Grpds FCov p p X qq is the 1 -category of n -groupoids in the category FCov X , the category of finite topological covers over X ; and π 1 p X,x q -n -Grpds FinSets p q is the category of n -groupoids in finite sets with π 1 p X,η q acting on them.

Corollary 27. Let X and x as in Theorem 25. There exists an equivalence of simplicial categories

'

F L x : DM -n -Stacks Loc { . Homeo . over X Ý Ñ π 1 p X,x q -n -Stacks FinSets p q .

Here, DM -n -Stacks Loc { . Homeo . over X is given by hammock localization of ´tale e n -groupoids in FCov p X q at its hyperpcovers; and π 1 p X,η q -n -Stacks FinSets p q is obtained by hammock localization of π 1 p X,η q -n -Groupoids .

Taking C the category of finite smooth covers of a smooth manifold X , and covers the surjective local diffeomorphisms, denoted by FDiff p X q , mutatis mutandis we obtain the following.

Corollary 28. Let X be a smooth manifold, x P X is a fixed point. There exists an equivalence of simplicial categories

F L x : DM -n -Stacks Loc { . Diffeo . over X ' Ý Ñ π 1 p X,x q -n -Stacks FinSets p q .

Here, DM -n -Stacks Loc { . Diffeo . over X is given by hammock localization of ´tale e n -groupoids in FDiff p X q at its hyperpcovers; and π 1 p X,η q -n -Stacks FinSets p q is obtained by applying hammock localization of π 1 p X,η q -n -Groupoids .

## References

- [1] Kai Behrend and Ezra Getzler. 'Geometric higher groupoids and categories'. In: Geometry, Analysis and Probability: In Honor of Jean-Michel Bismut (2017), pp. 1-45.
- [2] Julia E Bergner. The homotopy theory of ( 8 , 1)-categories . Vol. 90. Cambridge University Press, 2018.
- [3] William G Dwyer and Daniel M Kan. 'Calculating simplicial localizations'. In: Journal of Pure and Applied Algebra 18.1 (1980), pp. 17-35.
- [4] William G Dwyer and Daniel M Kan. 'Simplicial localizations of categories'. In: Journal of pure and applied algebra 17.3 (1980), pp. 267-284.
- [5] William G. Dwyer et al. Homotopy limit functors on model categories and homotopical categories . 113. American Mathematical Soc., 2004.
- [6] Michael D Fried and Helmut V¨ olklein. 'The inverse Galois problem and rational points on moduli spaces'. In: Mathematische Annalen 290.1 (1991), pp. 771-800.
- [7] Paul G Goerss and John F Jardine. Simplicial homotopy theory . Springer Science &amp; Business Media, 2009.
- [8] Alexander Grothendieck. Revˆ etements ´tales et groupe fondamental (SGA 1) e . Vol. 224. Lecture notes in mathematics. Springer-Verlag, 1971.
- [9] G´ erard Laumon and Laurent Moret-Bailly. Champs alg´ ebriques . Vol. 39. Springer, 2018.
- [10] Jonathan P Pridham. 'Presenting higher stacks as simplicial schemes'. In: Advances in Mathematics 238 (2013), pp. 184-245.
- [11] Christopher Rogers and Chenchang Zhu. 'An explicit model for the homotopy theory of finite-type Lie n-algebras'. In: Algebraic &amp; Geometric Topology 20.3 (2020), pp. 1371-1429.
- [12] Matthieu Romagny and Stefan Wewers. 'Hurwitz spaces'. In: Groupes de Galois arithm´tiques e et diff´rentiels e 13 (2006), pp. 313-341.
- [13] The Stacks Project Authors. Stacks Project . https://stacks.math.columbia.edu . 2018.
- [14] Tam´ as Szamuely. Galois groups and fundamental groups . Vol. 117. Cambridge university press, 2009.
- [15] Jesse Wolfson. 'Descent for n-bundles'. In: Advances in Mathematics 288 (2016), pp. 527-575.

Department of Mathematics, University of California-Irvine Email address : yuxiany@uci.edu
Yuxiang Yao
The Galois Correspondence for n-Stacks
We prove a Galois correspondence for $n$-stacks. It gives a correspondence
between the $\infty$-category of Deligne-Mumford $n$-stacks finite \'etale over
a connected scheme $X$ and the $\infty$-category of $n$-stacks of finite sets
with an action of the fundamental group of $X$.