The shimura-varieties tag has no wiki summary.

**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

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

609 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

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

**10**

votes

**1**answer

263 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

**0**answers

426 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

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

**8**

votes

**1**answer

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

**7**

votes

**2**answers

367 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

**2**answers

380 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

**0**answers

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

**6**

votes

**2**answers

837 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

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

**6**

votes

**1**answer

188 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

681 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

243 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

165 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

793 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

548 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

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

**5**

votes

**1**answer

788 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

416 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

634 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

108 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

706 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

295 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

155 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

**0**answers

88 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

139 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

136 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

251 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

531 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

177 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

275 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

445 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

152 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

536 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

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

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

**3**

votes

**0**answers

138 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

90 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

467 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

228 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

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

**2**

votes

**0**answers

180 views

### Bruhat Tits buiding to visualize closed points of affine flag varieties?

In his survey "affine springer fibers and affine Deligne-Lusztig varieties", Goertz gives us a tutorial session on how to use Bruhat Tits buildings to visualize subsets of affine Grassmannians or of ...

**2**

votes

**0**answers

229 views

### Is the Picard number bounded by $b_2$ in positive characteristic?

We know that for a smooth projective variety $X$ over an algebraically closed field of characteristic 0 (for example $k=\mathbb{C}$), $\rho(X)\leq b_2(X)$. What about in positive characteristic? Is ...

**2**

votes

**0**answers

342 views

### what are the possible CM-fields of PEL type shimura varieties ?

In the paper "Travaux de Shimura" section 6, Deligne had defined a PEL- type shimura variety, for the following datum $(F,E,D,\psi)$, with $F$ a totally real cubic field, and $E$ a imaginary ...