All Questions
1,203 questions
8
votes
1
answer
2k
views
About the Serre-Tate theorem
It is somehow a general principle that the (infinitesimal) local behavior of a representable moduli functor $X$ at some point $x$ is closely related to the deformation problem of the structure ...
- 1,305
5
votes
1
answer
571
views
Selmer of an abelian variety versus that of its dual.
What is the precise relationship between the Selmer group of an abelian variety and that of its dual? For instance, does the vanishing of one not imply the same for the other?
To fix ideas, let $A$ ...
- 1,141
4
votes
1
answer
280
views
isomorphism of extensions by abelian varieties
Let $A$ and $G$ be abelian varieties over $\mathbb{C}$. An element $P$ of $\text{Ext}(A, G)$ is an exact sequence
$0 \to G \to P \to A \to 0$,
here one can give $P$ the structure of an abelian ...
- 363
11
votes
2
answers
863
views
Valuations and separable extensions
Let $R$ be a valuation ring containing a field $k$, with residue field $F$ and quotient field $K$. Assume $F/k$ is separable. Is $K/k$ separable?
I have convinced myself that (for a positive answer) ...
- 19.6k
15
votes
4
answers
2k
views
Torsion points in Abelian varieties over number fields
Hello,
Suppose $A$ is an Abelian variety of dimension $g$ over a number field $k$. Then using height functions one can show that there are non-torsion points in $A(\bar k)$. This looks like an ...
- 1,362
13
votes
1
answer
675
views
Is an abelian variety with a Galois invariant, rank one submodule of its Tate module, CM?
Let $A$ be an absolutely simple abelian variety over a number field $K$. Assume that, for some prime $p$, the Tate module $T_p A$ has a submodule of rank one, invariant under the absolute Galois group ...
- 30.5k
5
votes
1
answer
796
views
moduli space of abelian varieties of CM-type
Fix a CM-field $K$ of degree $2g$, and a natural number $n$ which is a multiple of $g$. Write
$\tau_1, \tau_2, \ldots, \tau_g, \rho \tau_1, \rho \tau_2, \ldots, \rho \tau_g$
for the different ...
- 1,832
2
votes
1
answer
528
views
Is there an easy proof of the fact that the intermediate image functor respects weights?
It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially ...
- 16.9k
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
8
votes
3
answers
762
views
possible CM-types of abelian varieties
Fix a CM-field $K$ of degree $2g$. Let $A$ be a polarized abelian variety of dimension $n$ over $\mathbb{C}$, with an isomorphism $\theta : K \to End_{\mathbb{C}}(A) \otimes_{\mathbb{Z}} \mathbb{Q}$. (...
- 1,832
12
votes
1
answer
721
views
Galois action on one-dimensional quotients of l-adic cohomology
Let $A$ be an abelian variety of dimension $g$ over a number field $K$, and $\ell$ be a rational prime. Suppose that the Galois action on the $\ell$-adic cohomology $H^k(A, \mathbb{Z}_\ell) \otimes_{\...
- 1,832
5
votes
0
answers
129
views
global units on moduli spaces of abelian varieties
This is a question from a colleague.
Let $A_{g,d,n}$ be the coarse moduli space over $\mathbb Z$ (of the moduli stack, or assume $n\ge3$ if you like) of abelian schemes of relative dimension $g,$ ...
- 4,265
1
vote
2
answers
393
views
Could the Kunneth decomposition of a motif depend on the choice of $l$?
Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ${\...
- 16.9k
35
votes
3
answers
5k
views
In which ways can the isogeny theorem fail for local fields?
Fix a field $K$ with absolute Galois group $G$. By an isogeny theorem over $K$, I mean the statement that the map $\operatorname{Hom}(A,B)\otimes\mathbb{Z}_l \to \operatorname{Hom}_G(T_l A, T_l B)$ is ...
- 30.5k
11
votes
0
answers
576
views
What's known about the mod 2 reduction of the level l Jacobi modular equation?
Motivation:
Let $\ell$ be an odd prime. Let $A$ in ${\mathbb Z}/2[[x]]$ be $x+x^9+x^{25}+x^{49}+...$, and $B=A(x^\ell)$. One can use the level $\ell$ Jacobi modular equation to get a polynomial ...
- 5,422
3
votes
1
answer
288
views
Do $Q_l$-etale Euler characteristics of Chow motives coincide for all $l$?
I am interested in (Chow) motives over (algebraically closed) characteristic $p>0$ fields. For $H$ being $\mathbb{Q}_l$-adic cohomology, one can consider $Ch_l(M)=\sum (-1)^i\dim_{\mathbb{Q}_l} H^i(...
- 16.9k
0
votes
1
answer
175
views
An inseparable lift of a regular variety.
Let $X$ be a variety over an (imperfect) field $k$, that is regular as a scheme. Let $k'/k$ be an algebraic inseparable extension (I am interested in $k'$ being the perfection or the algebraic closure ...
- 16.9k
1
vote
1
answer
569
views
references for abelian schemes
Hi,
I have a very basic question.
I am looking for references explaining how to construct explicitily a Jacobian starting from a curve or examples of projective equations for an abelian scheme. I ...
- 141
6
votes
1
answer
305
views
What is the closure of product loci in A_g?
Let $A_g$ denote the moduli space of principally polarized abelian varieties of dimension $g$. For any partition of $g$, one can consider the corresponding locus inside $A_g$ of products of lower-...
- 40.3k
6
votes
1
answer
737
views
Tate models for semistable algebraic varieties with mixed reduction over a local field
It's known that if $A$ is an abelian variety of totally multiplicative reduction over a p-adic field K, then, after taking a finite field extension, it becomes isomorphic, as a rigid analytic group, ...
- 7,972
2
votes
0
answers
1k
views
deformation of abelian varieties
$k$ is a field of characteristic p, $C_k$ is the category of all artinian local rings with residue field an extension of $k$. $A$ is a dim-$g$ abelian variety over $k$, $L$ is a CM field with $[L:\...
- 1,091
31
votes
4
answers
5k
views
The Frobenius morphism
I found the following list on the "Frobenius Page" by David Ben-Zvi, described by the author as "an outdated collection of intuitive ways to think about raising to the p-th power".
Generates a ...
7
votes
1
answer
807
views
$2$-torsion line bundles on abelian varieties
Let $\mathcal{A}_{g,D}$ be the moduli space of abelian varieties of dimension $g$ and polarization $D$ of type $(d_1, \ldots, d_g)$.
Let $\mathcal{M}$ be the moduli space parametrizing pairs $(A, \...
- 66.3k
7
votes
1
answer
768
views
Abelian varieties and Selberg class
Hello everyone,
I would like to know whether, assuming Selberg's orthonormality conjecture, it would be possible to establish a "natural" correspondence between abelian varieties and functions ...
- 195
10
votes
2
answers
1k
views
Failure of Theorem of the Cube?
I am trying to understand the theory of cubical structures and am interested in knowing if a disconnected commutative group variety whose identity component is a semi-abelian variety satisfies the ...
- 3,284
6
votes
1
answer
2k
views
Abelian subvarieties of abelian varieties --- reference request
This question may be too naive, in which case I apologise in
advance. Anyway, it is a well-known fact (see e.g. Milne's notes)
that any abelian variety A has only finitely many direct factors
up to ...
user5117
2
votes
1
answer
646
views
Quotient by p-th roots of unity in characteristic p
Let $X$ be a variety over $k$ of characteristic $p>0$ (you can assume $k$ algebraically closed and $X$ normal) with an action of the group scheme of $p$-th roots of unity $\mu_p = {\rm Spec}\ k[\...
- 16.2k
6
votes
1
answer
276
views
Can the simplicity of abelian varieities be implied by the reduction
A is an abelian variety over number field K, with simple good reduction at a finite field $\kappa$, can we deduce that $A$ itself is simple?
- 1,091
15
votes
6
answers
3k
views
Generalizations of Belyi's theorem
Belyi's theorem states that the following properties of a nonsingular projective algebraic curve $X$ are equivalent:
1) $X$ is defined over $\overline{\mathbb{Q}};$
2) There exists a meromorphic ...
2
votes
0
answers
163
views
The automorphism group of a particular ppav
Let $E$ be the elliptic curve $y^2=x^3-x$ defined over $\mathbb F_5.$ It is ordinary with $j=-2$ and $End_{\mathbb F_5}(E)=\mathbb Z[i],$ where $i:(x,y)\mapsto(-x,2y).$ So $Aut_{\mathbb F_5}(E\times E)...
- 4,265
2
votes
2
answers
834
views
Shimura datum of family of fake elliptic curves
Suppose we have a PEL type $(H,\phi ,*;T,O,V)$ where H is a rational nonsplit quaternion algebra, $\phi$is an embedding of Q-algebra $\phi : H-->M(2,R)$, and * is a positive anti involution of H; ...
- 709
11
votes
0
answers
1k
views
Do the Standard Conjectures imply parts of the "Weil II" Riemann Hypothesis?
It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...
- 1,764
8
votes
1
answer
952
views
Rank 2 vector bundle on a product of elliptic curves
Let $E$, $F$ be two complex elliptic curves, and $A=E \times F$. Let us denote by
$\pi_E \colon A \to E, \quad \pi_F \colon A \to F$
the natural projections. For all $p \in F$ let us write $E_p$ ...
- 66.3k
6
votes
2
answers
1k
views
About isogenies of abelian varieties
Why it is true that, over an algebraically closed field, any abelian variety is isogenous to a principally polarized abelian variety?
- 103
5
votes
0
answers
530
views
Given two linear operators A and B over a finite field, is there a third operator C whose kernel is the intersection of kernels of A and B?
Let $V$ be a finite dimensional linear space over a finite field $k$. Let $A$ and $B$ be two endomorphisms of $V$.
Question 1. Is there an endomorphism $C$ of $V$, which is expressed in terms of ...
- 3,897
7
votes
2
answers
536
views
What are the polynomial relations between these characteristic 2 "thetas" ?
Suppose $\ell=2m+1$, $m>0$. Define $[i]$ in $\mathbb{Z}/2\mathbb{Z}[[x]]$ to be $$\sum_{n\equiv i\mod l} x^{n^2}.$$ Note that $[0]=1$, and that $[i]=[j]$ whenever $\ell$ divides $i+j$ or $i-j$.
...
- 5,422
5
votes
1
answer
842
views
an exercise about elliptic surface in Beauville's book
In Beauville's "Complex Algebraic Surfaces", given an elliptic surface $f : X \to C$ with a generic fiber $E$. Then either $\text{Alb}(X) \cong \text{Jac}(C)$ or there is an exact sequence of abelian ...
- 363
4
votes
1
answer
660
views
isogenies between abelian varieties that induce isomorphisms?
Let $\varphi : A \to B$ be an isogeny between 2 abelian varieties of dimension $g$. Are there known conditions for the $\ker\varphi$ so that this induces an isomorphism between $A$ and $B$? For ...
- 363
0
votes
0
answers
555
views
étale cohomology with values in the $\ell$-torsion of an Abelian scheme
Let $S/\mathbf{F}_q$ be a $d$-dimensional smooth projective variety and $A/S$ be an Abelian scheme. Is there an easy description of $H^0(S, A(\ell)(d-1))$?` ($A(\ell)$ = union of $A_{\ell^n}$)
- 227
2
votes
0
answers
321
views
Dimension of fibres of moment maps in characteristic $p$
Suppose $G$ is a connected semisimple linear algebraic group with Lie algebra $\mathfrak{g}$ and $X$ is a homogeneous $G$-space with isotropy subgroup $H$ (associated Lie algebra $\mathfrak{h}$) that ...
- 3,545
19
votes
1
answer
1k
views
Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?
I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
- 3,625
13
votes
1
answer
2k
views
Quotient of abelian variety by an abelian subvariety
Let $k$ be a field and $A$ an abelian variety over $k$. Suppose that $B$ is an abelian subvariety of $A$. Consider the following fact:
There exists an abelian variety $C$ over $k$ and a surjective ...
- 1,609
1
vote
1
answer
787
views
Morphism between polarized abelian varieties
Is it true that if an isogeny between two principally polarized abelian varieties respects the polarization, then it is in fact an isomorphism?
- 1,091
2
votes
0
answers
290
views
quasi-trigonal curves
I have read in the literature about quasi-trigonal curves. Such a curve C is a hyperelliptic curve X with two points p,q identified (basically a pinch). They seem to be pretty important in the theory ...
- 3,779
16
votes
1
answer
684
views
Characterizations of complex Abelian varieties (especially 3-folds) among projective nonsingular varieties?
If $X$ is a complex Abelian variety of dimension $g$, then
The canonical sheaf is trivial
$\dim {\rm H}^i(X; \mathcal{O}_X) = \binom{g}{i}$.
When $g =1,2$, then any connected, projective ...
- 10.7k
36
votes
1
answer
9k
views
Fontaine-Mazur for GL_1
For any number field $K$, the Fontaine-Mazur conjecture predicts that any potentially semistable $p$-adic representation of the absolute Galois group $G_K$ of $K$ that is almost everywhere unramified ...
- 21.3k
14
votes
2
answers
1k
views
Can a reductive group act non-linearly on a vector group?
Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$.
1. Some motivation
A vector group is an ...
- 3,246
8
votes
1
answer
1k
views
Monodromy groups of families of abelian varieties: a reference request
In Serre's letter to Vigneras of 2 Oct 1986, he summarizes a course he's giving in Paris, explaining how to control the image of the mod-l Galois representations attached to abelian varieties. In ...
- 19.2k
8
votes
0
answers
649
views
Automorphic representations attached to abelian varieties
Let $A$ be an abelian variety defined over $\mathbb{Q}$, of dimension $d$. It is widely expected that there is an automorphic representation $\pi_A$ of $GL(2d)/\mathbb{Q}$ whose L-function agrees ...
- 13.1k
8
votes
3
answers
570
views
Variations on a theme of O'Bryant, Cooper and Eichhorn concerning power series over $\mathbb Z/2\mathbb Z$
Define 2 power series over the field $\mathbb Z/2\mathbb Z$ by $f=1+x+x^3+x^6+\dots$, the exponents being the triangular numbers, and $g=1+x+x^4+x^9+\dots$, the exponents being the squares. Write $f/g$...
- 5,422