Skip to main content

Questions tagged [shimura-varieties]

Filter by
Sorted by
Tagged with
1 vote
0 answers
82 views

Galois group of shimura varieties with different level structure

Let $(G,X)$ be a shimura data, and $K$ an open compact neat subgroup of $G(\mathbb A_f)$. Suppose $K'\subset K$ is open and normal, then, I see in many references that the finite etale cover $Sh(G,X)_{...
Richard's user avatar
  • 785
5 votes
1 answer
264 views

Central isogeny, Shimura varieties and exceptional cases

For a simple complex Lie algebra $\mathfrak g$, its weight lattice is not equal to the root lattice (i.e. the center of its simply connected form is a non-trivial finite group) iff $\mathfrak g$ is of ...
Zhiyu's user avatar
  • 6,622
4 votes
0 answers
242 views

What do we do when $G$ doesn't have a Shimura variety?

Let $G$ be a reductive group. If one can associate to $G$ a Shimura datum $(G,X)$, then the étale cohomology of the associated Shimura variety $\operatorname{Sh}(G,X)$ is a strong tool for the ...
Loading's user avatar
  • 57
0 votes
0 answers
41 views

Descend local system to the canonical model of Shimura varieties

Suppose $(G,X)$ is a Shimura data, and $E$ be its reflex field. In page 33 of this paper, it constructs an etale local system on the canonical model $\mathrm{Sh}(G,X)_{K,E}$ (variety over $E$) for any ...
Richard's user avatar
  • 785
1 vote
0 answers
182 views

"Reflex field" for $\mathbb H/\Gamma$ for $\Gamma$ non-congruence

Suppose $\Gamma$ is a non-congruence arithmetic subgroup of $PGL_2(\mathbb Z)$, and $\mathbb H$ is the upper half plane of $\mathbb C$. Then by Belyi's theorem we know $\mathbb H/\Gamma$ is an ...
Richard's user avatar
  • 785
1 vote
1 answer
203 views

Is $\mathcal H/\Gamma$ defined over a number field when $\Gamma$ is not congruent?

Let $\mathcal H$ denote the upper half plane of complex numbers, and $\Gamma$ an arithmetic subgroup of $\operatorname{SL}_2(\mathbb Z )$ (not necessarily congruent). I wonder whether $\mathcal H/\...
Richard's user avatar
  • 785
1 vote
0 answers
125 views

When is a vector bundle on a Shimura variety an automorphic vector bundle?

Let $(G, X)$ be a Shimura datum, let $K \subset G(\mathbb{A}_f)$ be an open compact subgroup, and denote by $\text{Sh}_K(G,X)$ the Shimura variety whose complex points are given by $G(\mathbb{Q})\...
ChimiSeanGa's user avatar
3 votes
0 answers
79 views

Reference request for unitary Shimura varieties

Let $K$ be an imaginary quadratic field and let $X$ be the Shimura variety associated to the unitary group $U(m,n)$ over $K$ (after a suitable choice of PEL datum). Is there a reference that explains ...
Adithya Chakravarthy's user avatar
17 votes
3 answers
2k views

Are some congruence subgroups better than others?

When I first started studying modular forms, I was told that we can consider any congruence subgroup $\Gamma\subset\operatorname{SL}_2(\mathbb{Z})$ as a level, but very soon the book/lecturer begins ...
Coherent Sheaf's user avatar
1 vote
0 answers
88 views

Identification of different components of Hilbert modular surface?

I'm wondering whether the different components of the Hilbert modular surface can be (naturally?) identified with each other, or if they're at least abstractly isomorphic. (I'd also be interested in ...
xir's user avatar
  • 2,054
2 votes
1 answer
119 views

Why automorphism group of a Hermitian symmetric domain has trivial center?

Definition: A Hermitian symmetric domain is a Hermitian manifold that is connected, homogeneous, has a symmetry at some point (by homogenity hence every point), and has negative curvature. I want to ...
Richard's user avatar
  • 785
1 vote
1 answer
154 views

Divisors on product abelian fourfolds

Given a principally polarized abelian surface $A$ with CM of signature $(1,1)$ by an imaginary quadratic number field $K$, I am interested in studying the Néron-Severi group $\text{NS}(A\times A)$. ...
Fra's user avatar
  • 91
1 vote
0 answers
136 views

Notion of "Hodge bundle" for abelian type Shimura varieties

For a Siegel type Shimura datum $(\text{GSp}_{2g}, \mathcal{H}^{\pm})$ and level $K$, we construct the Shimura variety $S_{g,K} := \text{Sh}_K(\text{GSp}_{2g},\mathcal{H}^{\pm})$. We have a universal ...
ChimiSeanGa's user avatar
2 votes
0 answers
233 views

Representability of moduli problem of elliptic curves with complex multiplication

I'd like to know whether the moduli problem for elliptic curves with complex multiplication by a fixed imaginary quadratic number field $K$ (and with suitable level structure to be picked) is ...
Fra's user avatar
  • 91
1 vote
0 answers
133 views

Fundamental set for families of abelian varieties

I'm considering the universal family of principally polarized g-dimensional abelian varieties with level N-structure. Let's briefly recall the usual construction as a quotient of $\mathbb{C}^g \times \...
user494203's user avatar
5 votes
1 answer
452 views

Cohomology of Shimura varieties before and after completion at some prime

Let $(G,X)$ be a Shimura datum with reflex field $E\subset \mathbb C$. For any neat open compact subgroup $K \subset G(\mathbb A_f)$, let $\mathrm{Sh}_K$ denote the associated Shimura variety. It is a ...
Suzet's user avatar
  • 769
2 votes
0 answers
193 views

Real structure(s) of a Shimura curve ("complex conjugation" of abelian surfaces)

For a complete lattice $L \subseteq \mathbb{C}^2$ let $A_L$ denote the complex abelian algebraic surface that is isomorphic (as a complex manifold) to the complex torus ${\mathbb{C}^2}/{L}$ (this ...
DGrimm's user avatar
  • 103
6 votes
1 answer
684 views

Definition of locally symmetric space of reductive groups

This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless. In my attempt to study Shimura varieties, I came across ...
Coherent Sheaf's user avatar
6 votes
1 answer
786 views

B. W. Jordan's thesis on arithmetic of Shimura curves

I'm looking for Bruce W. Jordan's thesis: On the diophantine arithmetic of Shimura curves. Thesis, Harvard University, 1981. I could not find the pdf at the following site. https://www.math.harvard....
k.j.'s user avatar
  • 1,364
2 votes
1 answer
277 views

Understanding an example of abelian-type Shimura varieties

I'd like some help understanding the idea of abelian-type Shimura varieties. In paricular, I understand an abelian-type Shimura datum $(G,X)$ generally parameterizes non-rational Hodge structures ...
xir's user avatar
  • 2,054
2 votes
0 answers
259 views

The group of the modular automorphisms of the Shimura curves

Let $B$ be a rational indefinite division quaternion algebra, $(X,G)$ the Shimura datum associated with $B$ (i.e., $X$ is the upper half plane and $G(R) = (B \otimes_\mathbb{Q} R)^*$ for a ring $R/\...
k.j.'s user avatar
  • 1,364
0 votes
0 answers
74 views

Embeddings of unitary groups over $\mathbb{Q}$

$\DeclareMathOperator\GU{GU}$$\DeclareMathOperator\GL{GL}$I'm a bit confused by the following situation: suppose we have an Hermitian vector space $V=K^3$ of matrix $$ J=\begin{pmatrix}& & \...
Fra's user avatar
  • 91
2 votes
0 answers
82 views

Is there any work on the intersection loci of the universal theta divisor with torsion sections?

Let $Y$ be a Siegel modular variety of some non-stacky level and genus $g$, carrying over it a universal principally polarized family of dimension-$g$ abelian varieties $A\to Y$. Inside $A$, with fine ...
xir's user avatar
  • 2,054
3 votes
0 answers
161 views

Redefining connected Shimura datum

Firstly, let us fix a semisimple reductive linear algebriac group $G$ over $\mathbb{Q}$. I am interested in seeing if I can bring the definition of connected Shimura datum (which is defined using some ...
Coherent Sheaf's user avatar
2 votes
1 answer
203 views

Reference for isomorphism between parabolic and cuspidal cohomology of the Siegel variety

I'm asking for a reference where I can find proof of isomorphism $$H^{3}_{\text{cusp}}(Y(U),F_{\lambda})\simeq H^{3}_{\text{par}}(Y(U),F_{\lambda}),$$ where $Y(U)$ is the level $U$ shimura variety of $...
Marsault Chabat's user avatar
2 votes
0 answers
201 views

Shintani's unpublished paper on automorphic forms

I'm trying to find Shintani's preprint: Shintani T., On automorphic forms on unitary groups of order 3, unpublished, 1979. It seems to be impossible to find, even though several authors quote it. I ...
Fra's user avatar
  • 91
1 vote
1 answer
150 views

Is Krämer's local model for ramified unitary groups isomorphic to the blow-up of Pappas' flat model at the singular point?

I am reading the following two papers: Pappas, On the arithmetic moduli schemes of PEL Shimura varieties, 1999 (it seems to be difficult to find online nowadays - only a .ps file remains available), ...
Suzet's user avatar
  • 769
4 votes
0 answers
191 views

Several L-functions but one Galois representation: How to choose

Let $\mathbf{G}$ be a reductive group which enjoys all the nice properties a reducive group can dream of. Fix $(\mathbf{G},X)$ a Shimura datum associated with it and assume that if $K\leq\mathbf{G} $ ...
Marsault Chabat's user avatar
5 votes
1 answer
365 views

modularity lifting theorems for non-compact unitary groups

I am reading David Geraghty's paper, 'Modularity lifting theorems for ordinary Galois representations'(https://link.springer.com/article/10.1007/s00208-018-1742-4) and I have a related question, which,...
Zhan's user avatar
  • 63
3 votes
1 answer
207 views

Why do we ask Shimura datum to have Hodge weight $(-1,1),(0,0),(1,-1)$?

Why do we ask Shimura datum to have Hodge weight $(-1,1),(0,0),(1,-1)$? I know it's related to the decomposition of a complex Lie algebra $\frak{g}_{\mathbb{C}}=\frak{t}\oplus\frak{p}^{+} \oplus \frak ...
Marsault Chabat's user avatar
4 votes
0 answers
226 views

The coarse moduli schemes of the "Shimura stacks" are the canonical models of the corresponding Shimura varieties

Let $F$ be a number field, $B$ a central simple algebra over $F$, $*$ a positive involution on $B$ which fixes $F$, and $O_B$ a maximal $O_F$-order of $B$ which is stable under $*$. Assume that $(B, *)...
k.j.'s user avatar
  • 1,364
21 votes
1 answer
2k views

Cohomology of Shimura varieties and coherent sheaves on the stack of Langlands parameters

In Zhu's Coherent sheaves on the stack of Langlands parameters theorem 4.7.1 relates the cohomology of the moduli stack of shtukas to global sections of a certain sheaf on the stack of global ...
Anton Hilado's user avatar
  • 3,309
7 votes
1 answer
916 views

Why are Shimura varieties the "right" objects?

So this is probably blasphemist to ask and I've resisted asking this for a while. Essentially my question is why are locally symmetric spaces/Shimura varieties the "right" object to study ...
curious math guy's user avatar
3 votes
1 answer
359 views

Description of a Shimura variety

Let $(G, X)$ be a Shimura datum and let $U \subseteq G(\mathbb A_f)$ be an open compact subgroup. By the general theory of Shimura varieties, we get a corresponding algebraic variety $Y(U)$ defined ...
dekimashita's user avatar
1 vote
0 answers
96 views

Are the irreducible components appearing in the resolution of singularities of a Hilbert modular surface defined over $\mathbb{Q}$?

It seems to me that this is claimed in van der Geer's "Hilbert modular surfaces" on p. 245 at the beginning of XI.2 (without justification). My current state of belief/knowledge: The ...
dfn's user avatar
  • 93
4 votes
0 answers
172 views

The notion of border for (complex and non-archimedean) analytic spaces and schemes

Is a manifold with corner an analytic space (just show that $\left[0, +\infty \right)^{n}$ is an analytic space, which seems obvious but maybe I'm wrong...) EDIT: as noted in the comments some complex ...
Marsault Chabat's user avatar
1 vote
0 answers
255 views

Why does Deligne's construction of the Galois representation attached to the new cuspidal forms require that the Kuga-Sato manifold be regular?

The origin of this question is related to the construction of Galois representations of Deligne attached to $f$ a new cuspidal form (of weight $k\geq 2$). To do this, we consider the fiber product $k$-...
Marsault Chabat's user avatar
16 votes
3 answers
2k views

Tower of moduli spaces in Scholze's theory

My question is related to another one I read here in Overflow. I am reading Scholze's papers about moduli spaces of $p$-divisible groups and elliptic curves, and I am very interested in the formal ...
A. Walker's user avatar
  • 161
1 vote
0 answers
186 views

Moduli interpretation for integral models of PEL Shimura variety at parahoric level?

Kottwitz has built canonical integral models for a large family of PEL Shimura varieties, associated to a certain reductive group $G$ over $\mathbb Q$, when the structure level has the form $K = K_pK^...
Suzet's user avatar
  • 769
5 votes
0 answers
422 views

A local model of a Shimura variety and a local Shimura variety

I have a question about the book on p-adic geometry by Scholze and Weinstein. There are two ‘local theories of Shimura varieties’ written in it. The one is a local model of a Shimura variety. This is ...
Takahiro Matsuda's user avatar
3 votes
1 answer
275 views

complement of "good reduction" points in p-adic shimura varieties

assume that $X$ is Siegel Shimura variety defined over $\mathbb{Z}_p$, you can take its p-adic formal completion $\mathfrak{X}$,and than take it's adic generic fiber $\mathcal{X}$ and get an adic ...
ali's user avatar
  • 1,093
8 votes
1 answer
552 views

Artin reciprocity via Shimura varieties

The point of Shimura varieties, as far as I've understood it, is that for a given Shimura datum $(G,D)$, there exist models, by which I mean that for congruence subgroups $\Gamma$ there exists a ...
curious math guy's user avatar
6 votes
1 answer
711 views

On the moduli stack of abelian varieties without polarization

(I am especially interested in abelian surfaces and characteristic 0). How bad is the moduli stack of abelian varieties (with no polarization or level structure)? Is it an Artin stack? DM (Deligne-...
Asvin's user avatar
  • 7,746
3 votes
0 answers
188 views

Does the construction of arithmetic toroidal compactification of $A_{g}$ depend on semistable reduction theorem?

If there is a good theory of arithmetic toroidal compactification over $\mathbb{Z}_{p}$ of the Siegel modular variety with deep enough level structure, then it seems like semistable reduction theorem ...
GTA's user avatar
  • 1,024
44 votes
4 answers
3k views

Are there motives which do not, or should not, show up in the cohomology of any Shimura variety?

Let $F$ be a real quadratic field and let $E/F$ be an elliptic curve with conductor 1 (i.e. with good reduction everywhere; these things can and do exist) (perhaps also I should assume E has no CM, ...
Kevin Buzzard's user avatar
5 votes
0 answers
192 views

Heuristics for the very little torsion in the cohomology of Shimura variety

Consider the following statement which is a part of Conjecture 1.3 in the paper titled "The asymptotic growth of torsion homology for arithmetic groups" authored by N. Bergeron and A. ...
random123's user avatar
  • 443
4 votes
0 answers
141 views

Explicit toroidal compactification of Hilbert modular varieties

Hirzebruch's construction of toroidal compactification of Hilbert modular surfaces is explicit, namely one can explicitly choose rational polyhedral cone decomposition in a sort of optimal way using ...
GTA's user avatar
  • 1,024
1 vote
0 answers
293 views

Shimura varieties which are not of abelian type but has a good modular description

Deligne's idea was that Shimura varieties should be understood as moduli space of motives(with extra structures). lot's of Shimura varieties of abelian type can be understood as moduli space of ...
ali's user avatar
  • 1,093
9 votes
0 answers
170 views

Is there a classification of non-simple Jacobians?

An abelian variety in the interior of the Torelli locus is non-decomposable, but it could possibly be non-simple (i.e. isogenous to a product of abelian varieties with lower dimension). For certain ...
Ryan Keast's user avatar
1 vote
1 answer
441 views

About the type of a polarization of an abelian variety

The following is a question I posted about a week ago on Maths stackexchange there, but it didn't bring any discussion nor comment. For this reason I am posting it here also. Let $X$ be an abelian ...
Suzet's user avatar
  • 769