The shimura-varieties tag has no wiki summary.

**8**

votes

**1**answer

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

**10**

votes

**1**answer

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

**1**

vote

**1**answer

234 views

### The special point count on Shimura varieties

This, in view of the analogies between CM points on Shimura curves and torsion points on elliptic curves, is a sequel to an earlier question I had asked: The torsion point count in higher dimension .
...

**2**

votes

**1**answer

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

**6**

votes

**0**answers

148 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}, ...

**2**

votes

**1**answer

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

**1**

vote

**0**answers

65 views

### Ampleness of the Canonical Bundle for Siegel Modular Varieties

Background
Throughout I only work with varieties over $\mathbb{C}$.
For $p$ a prime number, Let $Y(p)$ denote the modular curve parametrizing elliptic curves together with full $p$-torsion ...

**3**

votes

**1**answer

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

**1**

vote

**1**answer

295 views

### Shimura varieties of type C

Are there Shimura Varieties of Hodge-type which are not of PEL-type? I'd like to assume that the derived group is of type C.

**9**

votes

**1**answer

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

**5**

votes

**0**answers

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

**9**

votes

**0**answers

415 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, ...

**3**

votes

**1**answer

422 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

**2**answers

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

**2**

votes

**0**answers

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

**11**

votes

**1**answer

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

**4**

votes

**0**answers

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

**7**

votes

**0**answers

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

**8**

votes

**1**answer

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

**3**

votes

**0**answers

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

**6**

votes

**1**answer

233 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

**1**answer

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

**0**

votes

**1**answer

174 views

### Are period domains ever contractible

Which simply-connected period domains are contractible?
Examples. Siegel upper-half space? Poincare upper-half plane? Universal cover of a Shimura variety?
Are these contractible?

**1**

vote

**0**answers

152 views

### Existence of a point on the Shimura variety of PEL-type correponding to a specific abelian variety

I have been puzzle by the following question for a while. Suppose that we have an a Shimura variety $Sh(G,h_0)$ given by some datatum $(L, V, \psi, h_0)$ such as in Section 4.9 of "Travaux de ...

**3**

votes

**0**answers

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

**6**

votes

**1**answer

181 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$ ...

**2**

votes

**0**answers

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

**4**

votes

**0**answers

131 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}$. ...

**1**

vote

**0**answers

108 views

### Removing finitely many points from a Shimura curve

Let $X$ be a compact Shimura curve. If we remove finitely many points from this curve, do we neccessarily get a "non-compact Shimura curve"? I have some reasons to believe that the answer is negative, ...

**7**

votes

**2**answers

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

**3**

votes

**1**answer

464 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

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

**1**

vote

**2**answers

447 views

### How do you find the genus of a Fuchsian group derived from a quaternion algebra?

Let $G$ be a Fuchsian group with normalizer $N(G)$ inside $PSL(2,13)$
Due to the Hurwitz formula, it suffices to find a presentation of $G$ of the form:
$$\langle ...

**6**

votes

**0**answers

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

**0**

votes

**0**answers

279 views

**5**

votes

**1**answer

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

**4**

votes

**1**answer

292 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

**0**answers

243 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)$ ...

**6**

votes

**2**answers

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

**2**

votes

**0**answers

308 views

### Different approaches to Shimura varieties

I have just started taking a look at some introductory papers about Shimura varieties, after a friend of mine suggested me to do so. They seem to be a sort of very interesting and many-sided topic, ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

172 views

### symplectic representations: when could the center act trivially?

I'm considering a problem about symplectic representation of real reductive group, which fits more or less into the setting of symplectic representations discussed in Milne's survey ''Shimura ...

**5**

votes

**0**answers

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

**13**

votes

**2**answers

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

**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)$?

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

**4**

votes

**0**answers

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

**5**

votes

**1**answer

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

**3**

votes

**0**answers

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

**4**

votes

**0**answers

175 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)$ ...