The shimura-varieties tag has no usage guidance.

**31**

votes

**3**answers

2k 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, ...

**15**

votes

**2**answers

2k views

### A route towards understanding Shimura varieties?

I'm in the embarrassing situation that I want to ask a question that
was already asked, but (for complicated reasons) never answered. I'd
like to try with a blank slate.
Shimura varieties show ...

**14**

votes

**3**answers

1k views

### Constructing coherent sheaves on Shimura varieties.

Let me first run through the setting of my question in an example I understand well; that of modular curves. If $Y_1(N)$ denotes the usual modular curve over the complexes, the quotient of the upper ...

**11**

votes

**1**answer

504 views

### Concrete Examples of Shimura Surfaces

First a disclaimer: I am at best a part-time arithmetic geometer, so please accept my apologies when I am too naive or get something wrong.
From time to time I have tried to learn something about ...

**11**

votes

**1**answer

1k views

### Which Shimura varieties are known to be automorphic?

This seems like something that should be well-known, but as an outsider to the field, I'm having trouble locating precise statements.
Hasse-Weil zeta functions of Shimura varieties should be ...

**11**

votes

**1**answer

681 views

### Moduli space of motives vs moduli space of varieties

A (projective) abelian variety $A$ over the complex numbers is determined by $H^1(A,\mathbb{Z})$ together with its Hodge structure and polarization. This miracle means that one can parametrise ...

**10**

votes

**1**answer

277 views

### higher dimensional analogues of the Manin-Drinfeld theorem

The Manin-Drinfeld theorem asserts that a divisor on the compact modular curve $X_0(N)$ which is supported on the cusps is torsion.
Equivalently, if $Y_0(N)$ is the open modular curve, the mixed ...

**9**

votes

**1**answer

246 views

### Shimura surfaces that do not contain a Shimura curve

Let $S$ be a Shimura surface i.e. a Shimura variety with $dimS=2$. Does $S$ necessarily contain a Shimura curve? I know that probably the answer is No, but do not have an explicit example. What is the ...

**9**

votes

**0**answers

437 views

### Langlands program beyond CM fields?

I apologize since this is a quite vague question. And I am personally at an expert in these fields at all.
It seems to me that there are two main directions of the Langlands program, namely, ...

**8**

votes

**1**answer

269 views

### Do all 0-dimensional Shimura Varieties show up (as CM points) in $\mathcal{A}_g$?

Question: Let $S$ be a 0-dimensional Shimura variety. Does $S$ necessarily admit a morphism (in the category of Shimura varieties) to $\mathcal{A}_g$ for some $g\geq 1$? Here $\mathcal{A}_g$ is the ...

**8**

votes

**0**answers

352 views

### A frustrating cohomology class on the moduli of abelian surfaces

Here's a very frustrating question that I have been stuck on for some time. I believe that my question could fit in a general framework of what happens when you restrict $L^2$-cohomology classes on a ...

**7**

votes

**2**answers

372 views

### Zograf's bound on the index of a modular curve for Shimura curves

I've been reading Voight's paper on Shimura curves and it prompted the following question; see http://www.cems.uvm.edu/~voight/articles/shimura-clay-proceedings-071707.pdf for which notes I'm talking ...

**7**

votes

**1**answer

585 views

### Adelic formulations of complex multiplication and modular curves

In modular curves and modular forms, there is an adelic formulation, in which smaller open subgroups of some adelic group relate to higher level structure. As we know, higher level structure ...

**7**

votes

**2**answers

396 views

### Non emptyness of ordinary locus for PEL type Shimura varieties

We let $B$ be a simple algebra over $\mathbb Q$, with the usual notations for PEL type Shimura varieties. In his paper "Ordinariness in good reductions of Shimura varieties of PEL-type" (available ...

**7**

votes

**1**answer

109 views

### Matsushima-Murakami Isomorphism for $L^2$-cohomology

Let $\mathbf{G}$ be a reductive connected linear algebraic group over a totally real global number field, say $\mathbb{Q}$. Let $\mathbb{A}=\mathbb{R}\times\mathbb{A}_f$ be the ring of rational adele.
...

**6**

votes

**2**answers

851 views

### modularity of algebraic varieties

Hello,
Are there any examples of varieties which are not Shimura varieties or abelian varieties
and whose L-functions have been shown to be a product of automorphic L-functions?
Thanks.
N

**6**

votes

**1**answer

453 views

### different Shimura data with common underlying group?

A pure Shimura datum is of the form $(G,X)$ with $G$ a connected reductive $\mathbb{Q}$-group, and $X$ a homogeneous space under $G(\mathbb{R})$, subject to Deligne's conditions in terms of Hodge ...

**6**

votes

**1**answer

195 views

### p-rank stratification in unitary Shimura variety

Let $K$ be a quadratic extension of $\mathbb Q$ and let $p \neq 2$ be a prime that is inert in $K$. Let $X$ be the Shimura variety associated to the unitary group $\operatorname{U}(2,1)$ over $K$ ...

**6**

votes

**1**answer

738 views

### Automorphisms of Generic Abelian Varieties

Automorphism groups of elliptic curves are very well understood. Of course, every elliptic curve has the automorphism $[-1]$ of order $2$. If we are over a (algebraically closed) field, this is the ...

**6**

votes

**1**answer

252 views

### monodromy of Gauss-Manin over a Shimura variety

This is probably a difficult question. I would like to understand some particular cases and get some references. The rough question is the following:
Let $X$ be a PEL Shimura variety and $\pi: ...

**6**

votes

**0**answers

175 views

### Is there an integral pairing between quaternionic Hecke algebras and cusp forms?

Let $F$ be a totally real number field with integers $\mathcal{O}_F$ and $B$ a quaternion algebra over $F$ split at exactly one infinity place.Fix $n\geq 1$ and like in the special case $F=\mathbb{Q}, ...

**6**

votes

**0**answers

814 views

### How do you get algebraic models for modular/shimura curves?

I've got a few questions related to a paper by Lei Yang - "Exotic Arithmetic Structure on the First Hurwitz Triplet" http://arxiv.org/pdf/1209.1783v3.pdf
We know that there are exactly three Hurwitz ...

**5**

votes

**1**answer

557 views

### Is the Galois x Hecke action on cohomology of Shimura varieties semi-simple?

Given a reductive group $G/\mathbf Q$ (+ additional data), and a compact open subgroup $K\subset G(\mathbf A^\infty)$, there is a standard construction that produces a Shimura variety $S$ and if we ...

**5**

votes

**1**answer

803 views

### Generalizing Eichler-Shimura to higher dimension, again

This question is related to
Intuition behind the Eichler-Shimura relation?
and
L-functions and higher-dimensional Eichler-Shimura relation
Answering the first question above, Matt Emerton gives a ...

**5**

votes

**1**answer

424 views

### Mumford-Tate groups of abelian varieties with potentially good reduction everywhere

Let $A$ be an abelian variety defined over a number field, and let $MT(A)$ be its Mumford-Tate group. It is a conjecture of Morita that if $MT(A)$ is anisotropic-mod-center (that is, it has no ...

**5**

votes

**1**answer

641 views

### Are all Shimura Varieties Special Subvarieties of the Siegel modular Variety?

Given a Shimura variety $S$, is it possible to imbed $S$ as a special Subvariety
of the Siegel modular variety $A_{g,N}$, for some $g$ and level $N$? I expect that the answer is yes, essentially since ...

**5**

votes

**0**answers

109 views

### Effect of Hecke transform on the Mumford-Tate group

Let $Sh_{K}(G,X)$ be a Shimura variety and $Z\subset Sh_{K}(G,X)$ be a special subvariety. $Z$ is given by a Shimura sub-datum $(H,Y)$ with $H\subset G$ an algebraic subgroup which I call the ...

**5**

votes

**0**answers

713 views

### Motivic Galois group and Shimura varieties

Hi,
Suppose that one has a Shimura variety $Sh(G,X)$ where $(G,X)$ is the corresponding Shimura datum and suppose that it can be interpreted as a moduli space of motives (e.g. PEL type Shimura ...

**4**

votes

**1**answer

296 views

### semisimplicity of automorphic Galois representations

Is it known that the Galois representation constructed by Harris and Taylor in their book is semisimple? I can't see this proven in the book, but on the other hand, everywhere else the representation ...

**4**

votes

**1**answer

165 views

### Subgroups of $Sp_{2g}$ giving rise to Shimura data

Consider the Shimura datum $(GSp_{2g},\mathcal{H}_g)$. Let $G$ be a reductive $\mathbb{Q}$-subgroup of $Sp_{2g}$. I want to know under what condition there exists a point $x\in\mathcal{H}_g$ such that ...

**4**

votes

**1**answer

431 views

### Connected cycles of Shimura curves in $A_{g}$ not contained in larger Shimura subvarieties

Is there always a finite family of Shimura curves $(C_{i})$ in $A_{g}$ the moduli space of principally polarized abelian varieties of dimension $g(\geq 2)$, such that the union $\cup C_{i}$ is ...

**4**

votes

**0**answers

101 views

### Uniqueness of cohomological holomorphic discrete series representation

In Claus Sorenson's PhD thesis, he proves a theorem about level lifting of paramodular forms whose associated automorphic representation has component $\pi_{\infty}$ that is the "cohomological ...

**4**

votes

**0**answers

144 views

### Shimura varieties and Maximal conditions

Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...

**4**

votes

**0**answers

141 views

### Asymptotics of arithmetic Fuchsian groups and Shimura curves.

I'm interested in what is known/expected about some families of arithmetic Fuchsian groups. Here is the simplest family that I'm interested in: Let $E = Z[\omega]$, where $\omega = e^{2 \pi i / 3}$. ...

**4**

votes

**0**answers

255 views

### false elliptic curves and principal polarizations

Hi,
Let $\Delta$ be a quaternion algebra over $\mathbf Q$ and let $\mathcal O_\Delta$ be a maximal order in $\Delta$.
Recall that a false elliptic curve over a field $K$ is a pair $(A/K,i)$ ...

**4**

votes

**0**answers

536 views

### base change and Langlands' combinatorial exercise

Hi,
Is it correct that Langlands' combinatorial exercise (as he terms it in his paper
"Shimura varieties and the Selberg trace formula") is to establish base change identities between orbital ...

**4**

votes

**0**answers

178 views

### vanishing of automorphic bundles

Let $S _K = S_K(G,X)$ be a Shimura variety of dimension $n$. Let $\xi$ be a (finite-dimensional) representation of $G$, which gives rise (by a construction of Harris) to an automorphic bundle $V(\xi)$ ...

**3**

votes

**2**answers

280 views

### isogeny and congruence subgroup

Let $G_1$ and $G_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G_1\to G_2$, with finite kernel contained in the center of $G_1$.
By ...

**3**

votes

**1**answer

451 views

### What is the image of complex conjugation under Siegel Galois representations?

Let $G$ be the reductive group $\operatorname{GSp}_{4}$. Let $\pi$ be a smooth admissible cuspidal representation of $\operatorname{GSp}_{4}(\mathbb{A}^{(\infty)})$ of dominant weight. Assume, for ...

**3**

votes

**1**answer

158 views

### On Universal Abelian surfaces over a Shimura curve.

Let ${\cal O}, {\cal O}'$ be two order in ${\mathrm M}_2({\Bbb R})$ that are sets of all $2 \times 2$ matrices over real number ${\Bbb R}$. Assume that we have the relation ${\cal O}' = a{\cal ...

**3**

votes

**1**answer

606 views

### State of the art for integral models of PEL type Shimura varieties with deep level structure

The theory of PEL type Shimura varieties is nowadays well developed, but it is not easy to be updated with the latest results. Here I am particularly interested in integrals models. Let me describe ...

**3**

votes

**1**answer

181 views

### Paper of Boutot-Carayol in `Courbes modulaires et courbes de Shimura'

I am trying to obtain a copy of the following
J.-F. Boutot and H. Carayol, Uniformisation p-adique des courbes de Shimura: les
théorèmes de Čerednik et de Drinfel'd , Astérisque No. 196-197 ...

**3**

votes

**1**answer

382 views

### Imaginary quadratic field contained in Hecke orbit field?

Let $\tau$ in the upper half plane lie in an imaginary quadratic field $K$.
Then is $K \subset \mathbb{Q}(\{j(g \tau) \ | \ g \in GL_2^+(\mathbb{Q}) \})$?
(here $j$ is the modular $j$-function, and ...

**3**

votes

**0**answers

106 views

### Classification of compact Shimura curves

Is there a classification that determines all isomorphism classes of compact Shimura curves at least Shimura curves in $A_g$? I did not find this in the literature and appreciate any helpful ...

**3**

votes

**0**answers

142 views

### Ampleness on the P^1 bundle over Siegel threefold

I am looking at the Shimura variety for $\mathrm{GSp}_4(\mathbb Q)$, with hyperspecial level structure at $p$. Let $X$ denote the special fiber over $\mathbb F_p$. For simplicity, let us pretend ...

**3**

votes

**0**answers

98 views

### Newton point and Newton polygon stratifications

Let $k$ be a field of characteristic $p>0$, with absolute Galois group $\Gamma$. Let $Y$ be a Shimura variety of PEL type, defined over $k$, with associated reductive (connected) quasisplit group ...

**3**

votes

**0**answers

337 views

### Cyclotomic fields and singular moduli

Let $\mu$ be the roots of unity and $S$ be the image under the modular $j$-function of all imaginary quadratic $\tau$. Then what is $\mathbb{Q}(\mu)\cap\mathbb{Q}(S)$?

**3**

votes

**0**answers

479 views

### choice of local system in Deligne's construction of $l$-adic Galois representations

Hello,
Deligne famously constructed $l$-adic representations of $G_\mathbf Q = Gal(\overline{\mathbf Q}/\mathbf Q)$ starting form cusp modular forms of weight $k$ by looking inside the cohomology ...

**2**

votes

**1**answer

236 views

### Is the ordinary locus affine?

Let $p$ be a prime number and let $Y$ over $\mathbb F_p$ be a Siegel modular variety, with minimal compactification $X$. It is well known that $X^{\operatorname{ord}}$, the ordinary locus of $X$ is ...

**2**

votes

**1**answer

225 views

### surjective homomorphism with compact kernel (Milne's note on Shimura varieties)

I'm reading Milne's Introduction to Shimura varieties (http://www.jmilne.org/math/xnotes/svi.pdf) and there is something I don't get.
Let $G$ be a connected semisimple algebraic group $G$ over ...