Topological flatness of orthogonal local models in the split, even case. I (Q540428): 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 / review text | |||
Local models are schemes which are defined in terms of linear algebra that were introduced by Rapoport and Zink to order to study local structures of integral models of certain Shimura varieties over \(p\)-adic fields. A basic requirement for a good integral model, or equivalently for the corresponding local model is flatness. In this paper the author studies the local model attached to a split even orthogonal group \(GO_{2n}\) with the Iwahori level structure. It has been known due to \textit{G. Pappas} [J. Algebr. Geom. 9, No. 3, 577--605 (2000; Zbl 0978.14023)] that the naive local model \(M^{\text{naive}}\) may not be flat in general and a modification is necessary. The desired local model \(M^{\text{loc}}\) may be defined to be the scheme-theoretic closure of the generic fiber in \(M^{\text{naive}}\); however one lacks the good description of this scheme as a functor. \textit{G. Pappas} and \textit{M. Rapoport} provided [J. Algebr. Geom. 12, No. 1, 107--145 (2003; Zbl 1063.14029); Duke Math. J. 127, No. 2, 193--250 (2005; Zbl 1126.14028); J. Inst. Math. Jussieu 8, No. 3, 507--564 (2009; Zbl 1185.14018)] various remedies for the non-flatness of the naive local model \(M^{\text{naive}}\). They defined a closed subscheme \(M^{\text{spin}}\subset M^{\text{naive}}\) by adding a so-called spin condition, and showed evidences of their conjecture: \(M^{\text{spin}}=M^{\text{loc}}\). In the paper under review the author shows that \(M^{\text{spin}}\) is topologically flat, that is, the underlying topological spaces of \(M^{\text{spin}}\) and \(M^{\text{loc}}\) are the same. The method is the same as that in \textit{U. Görtz}'s papers [Adv. Math. 176, No. 1, 89--115 (2003; Zbl 1051.14027); Math. Z. 250, No. 4, 775--790 (2005; Zbl 1085.14022)]. However, in the case of type \(D\), the closed fiber \(M^{\text{spin}}_k\) has two connected components that correspond to two dominant minuscule coweights \(\mu_1\) and \(\mu_2\) of \(GO_{2n}\). The author then carefully shows the equality of \(\mu\)-admissibility and \(\mu\)-permissibility for each \(\mu\in \{\mu_1,\mu_2\}\) which extends work of \textit{R. Kottwitz} and \textit{M. Rapoport} [Manuscr. Math. 102, No.4, 403--428 (2000; Zbl 0981.17003)]. Then it remains to treat a lifting problem for points in maximal cells. This paper is well-written. | |||
Property / review text: Local models are schemes which are defined in terms of linear algebra that were introduced by Rapoport and Zink to order to study local structures of integral models of certain Shimura varieties over \(p\)-adic fields. A basic requirement for a good integral model, or equivalently for the corresponding local model is flatness. In this paper the author studies the local model attached to a split even orthogonal group \(GO_{2n}\) with the Iwahori level structure. It has been known due to \textit{G. Pappas} [J. Algebr. Geom. 9, No. 3, 577--605 (2000; Zbl 0978.14023)] that the naive local model \(M^{\text{naive}}\) may not be flat in general and a modification is necessary. The desired local model \(M^{\text{loc}}\) may be defined to be the scheme-theoretic closure of the generic fiber in \(M^{\text{naive}}\); however one lacks the good description of this scheme as a functor. \textit{G. Pappas} and \textit{M. Rapoport} provided [J. Algebr. Geom. 12, No. 1, 107--145 (2003; Zbl 1063.14029); Duke Math. J. 127, No. 2, 193--250 (2005; Zbl 1126.14028); J. Inst. Math. Jussieu 8, No. 3, 507--564 (2009; Zbl 1185.14018)] various remedies for the non-flatness of the naive local model \(M^{\text{naive}}\). They defined a closed subscheme \(M^{\text{spin}}\subset M^{\text{naive}}\) by adding a so-called spin condition, and showed evidences of their conjecture: \(M^{\text{spin}}=M^{\text{loc}}\). In the paper under review the author shows that \(M^{\text{spin}}\) is topologically flat, that is, the underlying topological spaces of \(M^{\text{spin}}\) and \(M^{\text{loc}}\) are the same. The method is the same as that in \textit{U. Görtz}'s papers [Adv. Math. 176, No. 1, 89--115 (2003; Zbl 1051.14027); Math. Z. 250, No. 4, 775--790 (2005; Zbl 1085.14022)]. However, in the case of type \(D\), the closed fiber \(M^{\text{spin}}_k\) has two connected components that correspond to two dominant minuscule coweights \(\mu_1\) and \(\mu_2\) of \(GO_{2n}\). The author then carefully shows the equality of \(\mu\)-admissibility and \(\mu\)-permissibility for each \(\mu\in \{\mu_1,\mu_2\}\) which extends work of \textit{R. Kottwitz} and \textit{M. Rapoport} [Manuscr. Math. 102, No.4, 403--428 (2000; Zbl 0981.17003)]. Then it remains to treat a lifting problem for points in maximal cells. This paper is well-written. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Chia-Fu Yu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G18 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5903694 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Local models | |||
Property / zbMATH Keywords: Local models / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
orthogonal groups | |||
Property / zbMATH Keywords: orthogonal groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Iwahori level structure, topologically flatness | |||
Property / zbMATH Keywords: Iwahori level structure, topologically flatness / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2029354945 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0904.3548 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On local models with special parahoric level structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the flatness of models of certain Shimura varieties of PEL-type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the flatness of local models for the symplectic group. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing the alternating trace of Frobenius on the sheaves of nearby cycles on local models for \(\text{GL}_{4}\) and \(\text{GL}_{5}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological flatness of local models in the ramified case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Test functions for Shimura varieties: the Drinfeld case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4786353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alcoves associated to special fibers of local models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some Bruhat decomposition and the structure of the Hecke rings of \(p\)-adic Chevalley groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minuscule alcoves for \(\text{GL}_n\) and \(\text{GSP}_{2n}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local models for ramified unitary groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4498205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local models in the ramified case. I: The EL-case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local models in the ramified case. II: Splitting models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted loop groups and their affine flag varieties. With an appendix by T. Haines and M. Rapoport. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local models in the ramified case. III Unitary groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5465684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Period Spaces for "p"-divisible Groups (AM-141) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological flatness of local models for ramified unitary groups. II. The even dimensional case / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:35, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological flatness of orthogonal local models in the split, even case. I |
scientific article |
Statements
Topological flatness of orthogonal local models in the split, even case. I (English)
0 references
3 June 2011
0 references
Local models are schemes which are defined in terms of linear algebra that were introduced by Rapoport and Zink to order to study local structures of integral models of certain Shimura varieties over \(p\)-adic fields. A basic requirement for a good integral model, or equivalently for the corresponding local model is flatness. In this paper the author studies the local model attached to a split even orthogonal group \(GO_{2n}\) with the Iwahori level structure. It has been known due to \textit{G. Pappas} [J. Algebr. Geom. 9, No. 3, 577--605 (2000; Zbl 0978.14023)] that the naive local model \(M^{\text{naive}}\) may not be flat in general and a modification is necessary. The desired local model \(M^{\text{loc}}\) may be defined to be the scheme-theoretic closure of the generic fiber in \(M^{\text{naive}}\); however one lacks the good description of this scheme as a functor. \textit{G. Pappas} and \textit{M. Rapoport} provided [J. Algebr. Geom. 12, No. 1, 107--145 (2003; Zbl 1063.14029); Duke Math. J. 127, No. 2, 193--250 (2005; Zbl 1126.14028); J. Inst. Math. Jussieu 8, No. 3, 507--564 (2009; Zbl 1185.14018)] various remedies for the non-flatness of the naive local model \(M^{\text{naive}}\). They defined a closed subscheme \(M^{\text{spin}}\subset M^{\text{naive}}\) by adding a so-called spin condition, and showed evidences of their conjecture: \(M^{\text{spin}}=M^{\text{loc}}\). In the paper under review the author shows that \(M^{\text{spin}}\) is topologically flat, that is, the underlying topological spaces of \(M^{\text{spin}}\) and \(M^{\text{loc}}\) are the same. The method is the same as that in \textit{U. Görtz}'s papers [Adv. Math. 176, No. 1, 89--115 (2003; Zbl 1051.14027); Math. Z. 250, No. 4, 775--790 (2005; Zbl 1085.14022)]. However, in the case of type \(D\), the closed fiber \(M^{\text{spin}}_k\) has two connected components that correspond to two dominant minuscule coweights \(\mu_1\) and \(\mu_2\) of \(GO_{2n}\). The author then carefully shows the equality of \(\mu\)-admissibility and \(\mu\)-permissibility for each \(\mu\in \{\mu_1,\mu_2\}\) which extends work of \textit{R. Kottwitz} and \textit{M. Rapoport} [Manuscr. Math. 102, No.4, 403--428 (2000; Zbl 0981.17003)]. Then it remains to treat a lifting problem for points in maximal cells. This paper is well-written.
0 references
Local models
0 references
orthogonal groups
0 references
Iwahori level structure, topologically flatness
0 references
0 references
0 references