The shimura-varieties tag has no usage guidance.

**33**

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

561 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

775 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

291 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

254 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

447 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

298 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

365 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

386 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

637 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

415 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

135 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

864 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

470 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

208 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

792 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

270 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

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

**6**

votes

**0**answers

189 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

825 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

**2**answers

168 views

### Reflex fields of Shimura varieties

I am currently learning the theory of Shimura varieties. Out of curiosity, is it known which number fields can occur as reflex fields? More precisely, can one find, for any number field, a positive ...

**5**

votes

**1**answer

571 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

823 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

440 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

663 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

112 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

717 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

300 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

175 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

436 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

109 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

150 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

144 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

261 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

545 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

179 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

290 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

456 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

165 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

240 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

**1**answer

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

**3**

votes

**0**answers

116 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

150 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

105 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

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