Étale homotopy types of moduli stacks of polarised abelian schemes (Q504535): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Frank Neumann / rank | |||
Property / author | |||
Property / author: Frank Neumann / rank | |||
Normal rank | |||
Property / review text | |||
In [Lond. Math. Soc. Lect. Note Ser. 242, 85--95 (1997; Zbl 0902.14019)], \textit{T. Oda} showed that the the profinite completions of the étale homotopy type of the moduli stack of hyperbolic curves of genus \(g\) with \(n\) marked points over \(\overline{\mathbb Q}\) and of the Eilenberg-Maclane space \(K(\Gamma_{g,n},1)\) of the corresponding mapping class group \(\Gamma_{g,n}\) are weakly equivalent. Here the authors prove an analogous result for the moduli stack of principally polarized abelian varieties of dimension \(g\geq 1\) over \(\overline{\mathbb Q}\): the profinite completion of its étale homotopy type is weakly equivalent to the profinite completion of the Eilenberg-Maclane space \(K(\text{Sp}(2g,{\mathbb Z}),1)\). In fact, the result is stated for more general moduli stacks of polarized abelian varieties but the argument is the same. The strategy of the proof is the same as that of Oda: combining the Artin-Mazur comparison theorem between étale and complex analytic homotopy types together with a homotopy descent theorem of Cox, the authors reduce the computation of the étale homotopy type of the moduli stack to that of the homotopy type of its complex analytification. They then compute the latter by means of the analytic hypercovering obtained as the Čech nerve of the uniformization map by the Siegel upper half space. The paper is very clearly written and recalls a lot of background material for the benefit of the reader. | |||
Property / review text: In [Lond. Math. Soc. Lect. Note Ser. 242, 85--95 (1997; Zbl 0902.14019)], \textit{T. Oda} showed that the the profinite completions of the étale homotopy type of the moduli stack of hyperbolic curves of genus \(g\) with \(n\) marked points over \(\overline{\mathbb Q}\) and of the Eilenberg-Maclane space \(K(\Gamma_{g,n},1)\) of the corresponding mapping class group \(\Gamma_{g,n}\) are weakly equivalent. Here the authors prove an analogous result for the moduli stack of principally polarized abelian varieties of dimension \(g\geq 1\) over \(\overline{\mathbb Q}\): the profinite completion of its étale homotopy type is weakly equivalent to the profinite completion of the Eilenberg-Maclane space \(K(\text{Sp}(2g,{\mathbb Z}),1)\). In fact, the result is stated for more general moduli stacks of polarized abelian varieties but the argument is the same. The strategy of the proof is the same as that of Oda: combining the Artin-Mazur comparison theorem between étale and complex analytic homotopy types together with a homotopy descent theorem of Cox, the authors reduce the computation of the étale homotopy type of the moduli stack to that of the homotopy type of its complex analytification. They then compute the latter by means of the analytic hypercovering obtained as the Čech nerve of the uniformization map by the Siegel upper half space. The paper is very clearly written and recalls a lot of background material for the benefit of the reader. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tamás Szamuely / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6675373 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
étale homotopy theory | |||
Property / zbMATH Keywords: étale homotopy theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic stacks | |||
Property / zbMATH Keywords: algebraic stacks / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moduli of abelian schemes | |||
Property / zbMATH Keywords: moduli of abelian schemes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
principally polarised abelian varieties | |||
Property / zbMATH Keywords: principally polarised abelian varieties / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962795116 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1512.07544 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of Algebraic Curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Etale homotopy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4946817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4191283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy limits, completions and localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3699823 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4367762 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The irreducibility of the space of curves of a given genus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Les Schémas de Modules de Courbes Elliptiques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the homotopy type of the Deligne-Mumford compactification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4408043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Étale homotopy types of moduli stacks of algebraic curves with symmetries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Etale Homotopy of Simplicial Schemes. (AM-104) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on Shimura varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4364755 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological goodness and the profinite completion of Bianchi groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4935967 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3421143 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Survey of Elliptic Cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Corrigenda to: Introduction to Symplectic Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4519314 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4462766 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying spaces and classifying topoi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Torelli locus and special subvarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric Invariant Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3532865 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the equations defining Abelian varieties. I-III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNDAMENTAL GROUPS OF ALGEBRAIC STACKS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactifying moduli spaces for abelian varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3887579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher algebraic K-theory: I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4346071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection theory on algebraic stacks and on their moduli spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tropicalizing vs. compactifying the Torelli morphism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Van Kampen theory for algebraic stacks. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:05, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Étale homotopy types of moduli stacks of polarised abelian schemes |
scientific article |
Statements
Étale homotopy types of moduli stacks of polarised abelian schemes (English)
0 references
17 January 2017
0 references
In [Lond. Math. Soc. Lect. Note Ser. 242, 85--95 (1997; Zbl 0902.14019)], \textit{T. Oda} showed that the the profinite completions of the étale homotopy type of the moduli stack of hyperbolic curves of genus \(g\) with \(n\) marked points over \(\overline{\mathbb Q}\) and of the Eilenberg-Maclane space \(K(\Gamma_{g,n},1)\) of the corresponding mapping class group \(\Gamma_{g,n}\) are weakly equivalent. Here the authors prove an analogous result for the moduli stack of principally polarized abelian varieties of dimension \(g\geq 1\) over \(\overline{\mathbb Q}\): the profinite completion of its étale homotopy type is weakly equivalent to the profinite completion of the Eilenberg-Maclane space \(K(\text{Sp}(2g,{\mathbb Z}),1)\). In fact, the result is stated for more general moduli stacks of polarized abelian varieties but the argument is the same. The strategy of the proof is the same as that of Oda: combining the Artin-Mazur comparison theorem between étale and complex analytic homotopy types together with a homotopy descent theorem of Cox, the authors reduce the computation of the étale homotopy type of the moduli stack to that of the homotopy type of its complex analytification. They then compute the latter by means of the analytic hypercovering obtained as the Čech nerve of the uniformization map by the Siegel upper half space. The paper is very clearly written and recalls a lot of background material for the benefit of the reader.
0 references
étale homotopy theory
0 references
algebraic stacks
0 references
moduli of abelian schemes
0 references
principally polarised abelian varieties
0 references
0 references