# Questions tagged [shimura-varieties]

The shimura-varieties tag has no usage guidance.

116
questions

**6**

votes

**0**answers

110 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 ...

**1**

vote

**0**answers

176 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 ...

**2**

votes

**1**answer

124 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 ...

**10**

votes

**0**answers

114 views

### Moduli-space interpretation of a morphism of unitary Shimura varieties

Let $G$ be the quasi-split unitary similitude group $GU(2, 1)$, for some choice of imaginary quadratic field $E$; and let $T = GU(1)$ be the torus $Res_{E/Q}\mathbf{G}_m$. Then there's a morphism $\...

**4**

votes

**0**answers

106 views

### Moduli interpretation of Hirzebruch-Zagier divisors

In their famous 1976 paper, Hirzebruch and Zagier define certain divisors $T_N$ on the Hilbert modular surface corresponding to the group $\text{SL}_2(\mathcal{O}_F)$ for $F=\mathbb{Q}(\sqrt{p})$. ...

**8**

votes

**1**answer

273 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 ...

**5**

votes

**0**answers

80 views

### Is the cohomology of Hilbert modular surfaces spanned by special cycles?

We consider the Hilbert modular surface $X$ that parametrize abelian surface with real multiplication by $\mathcal{O}_F$ and $\mathfrak{a}$-polarization, where $F$ is a real quadratic field with ...

**1**

vote

**0**answers

80 views

### versal deformation ring of a p-divisible group with some tensors

I'm trying to read Kisin's paper about the Integral model of Shimura varieties. In section five he discusses versal deformation ring of a p-divisible group. Assume that $K$ is a number field with ...

**1**

vote

**1**answer

146 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 ...

**6**

votes

**1**answer

329 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-...

**3**

votes

**1**answer

169 views

### Quotienting $G(\mathbb{Q})_{+}$ by $G^{\text{sc}}(\mathbb{Q})$ and inner forms

Let $G/\mathbb{Q}$ be a connected reductive group, let $G^{\text{ad}}$ be the adjoint group, let $G^{\text{der}}$ be the derived group and let $\rho\colon G^{\text{sc}} \to G^{\text{der}}$ be the ...

**1**

vote

**0**answers

114 views

### Closed embeddings of Shimura varieties

In Deligne's "Travaux de Shimura" the author proves in Proposition 1.15 (notation from the paper):
For an inclusion of Shimura data $(G^1,h^1)\hookrightarrow(G^2,h^2)$ and any open compact $K^1\...

**4**

votes

**1**answer

186 views

### Definition field of weight homomorphism and moduli interpretation of Shimura varieties

In "Canonical models of Shimura curves" by J.S. Milne (avaliable at https://www.jmilne.org/math/articles/2003a.pdf), he explains the definition of quaternion Shimura curve, and explains the modern ...

**1**

vote

**0**answers

108 views

### Picard rank of Shimura varieties

Let $D$ be a bounded symmetric domain and $\Gamma\subset Aut(D)$ an arithmetic subgroup of automorphisms of $D$. Write $X=\Gamma\backslash D$, it is a connected Shimura variety. Suppose that $X$ is ...

**4**

votes

**0**answers

150 views

### Dependence of X in definition of Shimura variety

(Disclaimer: this question is related to this question, but is different enough that it warrants (in my opinion) a separate question)
Let $G$ be a connected reductive group over $\mathbb{Q}$. To $G$ ...

**11**

votes

**0**answers

597 views

### What is known at $\ell = p$ about realizing Jacquet-Langlands & local Langlands as the cohomology of Lubin-Tate space with level structure?

Background:
(Mostly my paraphrased interpretation of the introduction of Strauch's Deformation spaces of one-dimensional formal
modules and their cohomology, with additional details from Carayol's ...

**1**

vote

**1**answer

183 views

### Hodge variation

I am reading Milne's online book of Shimura Varieties https://www.jmilne.org/math/xnotes/svi.pdf, I confused by a Definition of Hodge variation. On page 29, it was said something is called Hodge ...

**16**

votes

**0**answers

537 views

### Shimura varieties and connected components

Let $G$ be a connected reductive algebraic group over $\mathbf{Q}$. I've seen two slightly different definitions in the literature of the Shimura variety of level $U$, for $U \subseteq G(\mathbf{A}_{\...

**4**

votes

**0**answers

188 views

### Higher dimensional generalization of an identity between traces of Hecke operators and number of elliptic curves over finite fields?

In http://www.math.ubc.ca/~behrend/ladic.pdf, the author uses his generalization of Lefschetz trace formula to smooth algebraic stacks to prove an interesting identity (Proposition 6.4.11.):
$\sum_{k}...

**16**

votes

**3**answers

1k 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 ...

**1**

vote

**0**answers

106 views

### Tate module is canonically isomorphic to a $\mathbb Z_p$-lattice on Shimura Variety of Hodge Type

Let $(G, X)$ be a Shimura datum of Hodge type. Suppose that $K \le G(\mathbb A_f)$ is such a compact open subgroup that its $p$th component $K_p = \mathcal G(\mathbb Z_p)$ is a hyperspecial subgroup ...

**4**

votes

**0**answers

293 views

### What is the analogy between the moduli of shtukas and Shimura varieties?

I have heard that moduli spaces of shtukas are supposed to be the analogue of Shimura varieties in the setting of function fields. Could someone more knowledgeable about these objects explain how this ...

**3**

votes

**0**answers

359 views

### Shimura varieties of Hodge type

I am trying to understand the theory of integral model of Shimura variety of Hodge type, like for example in Kisin's paper "Integral models for Shimura varieties of abelian type".
I understand that ...

**1**

vote

**1**answer

391 views

### Points of infinite level modular curve

Let us consider the anticanonical adic tower of modular curves which is described in Peter Scholze's paper "On torsion in the cohomology of locally symmetric varieties", and let us call $\mathcal{X}_{\...

**2**

votes

**2**answers

182 views

### Involution on false elliptic curve

Let B be a indefinite quaternion algebra with discriminant $d>1$, maximal order $\mathcal{O}$ and standard involution $'$, then there exists $t\in{B}$ such that $t^2=-d$ and a new involution on B ...

**3**

votes

**1**answer

249 views

### Possible groups appearing in a Shimura datum

Let $\mathbb{S}:=\text{Res}_{\mathbb{C}/\mathbb{R}} \mathbb{G}_{m}$ be the Deligne torus. My question is the following: is there a sort of classification of real reductive algebraic groups $G$ for ...

**3**

votes

**1**answer

144 views

### What role do $(\mathfrak{g},K)$- modules play in the construction of automorphic vector bundles

Looking at the connection between modular forms as sections and automorphic representations it is to me somewhat clear why automorphic representations are (demanded to be) admissible $G(\mathbb{A}^\...

**6**

votes

**0**answers

240 views

### What is the difference between Kisin's and Vasiu's work on models of Shimura varieties?

My research is related to integral model of Shimura varieties. I realized there are two approaches building models for varieties of pre-abelian type and abelian type. I want to know what their ...

**2**

votes

**0**answers

96 views

### Compactification of symmetric spaces

Let $G = GL_n$. In the literature, I see that the symmetric space associated to $G$ is of the form $G(\mathbb{R})/K_\infty$ with $K_\infty = O(n) Z(\mathbb{R})^\circ = O(n) \mathbb{R}^\times_{+}$. ...

**3**

votes

**2**answers

368 views

### What is wrong with this modification of the definition of Shimura datum?

The definition of a "connected Shimura datum" (as in Milne's notes) is a pair $(G, X)$, where $G$ is a reductive algebraic group and $X$ is a $G(\mathbb{R})$-conjugacy class of morphisms
$$
x: \mathbb{...

**2**

votes

**0**answers

165 views

### Orbits under an algebraic group inside a Shimura variety

Let $(G,X)$ be a Shimura datum, $K$ a compact open subgroup of $G(\mathbb A_f)$. Let $H\subset G$ be a $\mathbb Q$-subgroup. Choose a point $x\in X$. What can be said about the orbit $H(\mathbb R)\...

**11**

votes

**0**answers

297 views

### Mysterious “raison d'être” of filtrations of congruence subgroups

I wonder for long why congruence subgroups seem to arise so naturally in certain filtrations. Everything below is on a local field $F_p$.
Filtration for $GL_n$. Casselman and later Jacquet, Piatetski-...

**2**

votes

**0**answers

132 views

### Relation between a conjecture of Pink and semi-abelian varieties

A conjecture of Pink says that in a mixed Shimura variety, every Hodge-generic point is Galois generic (conjecture 6.8 of "A Combination of the Conjectures of Mordell-Lang and Andr\'e-Oort). One can ...

**27**

votes

**0**answers

993 views

### A modern perspective on the relationship between Drinfeld modules and shtukas

Shtukas were defined by Drinfeld as a generalization of Drinfeld modules. While the relationship between the definitions of Drinfeld modules and shtukas is not obvious, one does have a natural ...

**5**

votes

**0**answers

208 views

### On toroidal compactifications of Hilbert Kuga-Sato varieties

Let $F$ be a totally real field of degree d. There are Hilbert modular varieties over $\mathbb{Q}$ that paramatrize abelian varieties of dimension d with an action of $\mathcal{O}_F$ the ring of ...

**5**

votes

**0**answers

311 views

### Is there a concrete way to show the existence of canonical model for non-modular Shimura curves?

I am trying to read Carayol's article on the construction of Galois representations associated to Hilbert modular forms (http://archive.numdam.org/article/CM_1986__59_2_151_0.pdf). The main geometric ...

**4**

votes

**0**answers

199 views

### On the class of Shimura data of Hodge type that cover a given Shimura datum of abelian type

A Shimura datum $(G,X)$ is of Hodge type if there exists an injective morphism of Shimura data $(G,X) \hookrightarrow (\mathrm{GSp}_{2g}, \mathfrak{H}^{\pm})$, for some integer $g$.
Let $(G',X')$ be ...

**1**

vote

**1**answer

212 views

### supersingular Abelian scheme

By a supersingular Abelian scheme, I mean an Abelian scheme which is fibrewise a supersingular Abelian variety, i.e. isogenous to a product of supersingular elliptic curves (F. Oort, Subvarieties of ...

**7**

votes

**0**answers

344 views

### Galois representations in cohomology of quaternion Shimura varieties

Let $F$ be a totally real field, and $E \subseteq F$ a subfield. Choose a quaternion algebra $B$ over $F$ satisfying the following condition:
there is a distinguished infinite place $\tau$ of $E$ ...

**5**

votes

**1**answer

547 views

### What is the maximal order of the automorphism group of a given Shimura variety?

Background:
Given an elliptic curve $E$, it seems that $max(ord(Aut(E)))$ over the prime 2 is 24, and $(max(ord(Aut(E)))$ over the prime 3 is 12.
The endomorphism algebra of an elliptic curve over $...

**4**

votes

**1**answer

262 views

### Albanese of Siegel modular variety $\mathcal{A}_2$

Jacobian varieties of Shimura curves are very interesting objects. For one thing they provide a geometric relation between elliptic curves and modular forms of weight 2 (say we are over $\mathbb{Q}$). ...

**0**

votes

**1**answer

159 views

### Units in indefinite quaternionic algebra

This is the opposite to my last question case.
Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ unramified in at least one infinite place of $F$. Let $\mathcal{O}⊂R$ be an ...

**10**

votes

**1**answer

486 views

### Does every Shimura variety contain a generic point defined over a number field?

This question is related to my previous question, to which I got a partial answer.
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive ...

**11**

votes

**2**answers

548 views

### Abelian variety with prescribed endomorphism ring

Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive 8-th root of unity. Let $\Lambda={{\mathbb{Z}}}[\zeta_8]$ denote the ring of ...

**1**

vote

**1**answer

86 views

### Tangent spaces of an indecomposable family of abelian varieties (parametrized by a Hodge type Shimura variety)

Let $G$ be a $\mathbb{Q}$-subgroup of $\mathrm{GSp}_{2g}$, reductive and defines a Shimura subdatum of $(\mathrm{GSp}_{2g},\mathfrak{H}_g)$. Let $V$ be the natural representation of $\mathrm{GSp}_{2g}$...

**1**

vote

**0**answers

244 views

### Siegel domains and the Baily-Borel compactification of $\mathcal{A}_2$

Consider the connected, almost simple, algebraic group $Sp_4$ over $\mathbb{Q}$ (embedded canonically in $GL_4$). For the following facts, I refer the reader to Murnaghan, Linear Algebraic Groups, ...

**6**

votes

**0**answers

242 views

### drinfeld shtukas over higher dimensional spaces

Everytime I encounter Drinfeld Shtukas, the definition begins with vector bundles over a curve $X$ over a finite field. My question is: why the restriction to curves? Is there any interest or results ...

**3**

votes

**1**answer

326 views

### p-adic modular forms, Hecke algebra, deformation theory and modular curves.

Let $h^{ord}(N,\mathcal{O})$ be the $p$-ordinary Hecke algebra, and $\mathfrak{m}$ be a maximal ideal of the semi local ring $h^{ord}(N,\mathcal{O})$ corresponding to a residual representation $\bar{\...

**2**

votes

**0**answers

229 views

### algebraic representation over $\mathbb{C}$

In reading the Harris-Taylor book, I encounter expressions like "Let $\xi$ be an algebraic representation of $G$ over $\mathbb{C}$". What does this mean? Here $G$ is a reductive group over $\mathbb{Q}$...

**2**

votes

**1**answer

458 views

### Confusion about a result on Shimura and Teichmüller curves

It is shown by M. Moeller (M. Moeller, Shimura- and Teichmüller curves) that there are only 2 Shimura and Teichmüller curves in the moduli space of curves $M_g$, namely, the ones given by $y^4=x(x-1)(...