All Questions
1,203 questions
4
votes
1
answer
639
views
Conductor of abelian varieties
Let $A$ be a non-zero abelian variety defined over a number field $F$. Let $v$ be a finite place of $F$, and let $f_v(A)$ be the usual conductor exponent of $A$ at $v$ (defined e.g. on p.500 of the ...
24
votes
3
answers
3k
views
Products of primitive roots of the unity
Let $m>2$ be an integer and $k=\varphi(m)$ be the number of $m$-th primitive roots of the unity. Let $\Phi = \{ \xi_1, \ldots, \xi_{k/2}\} $ be a set of $k/2$ pairwise distinct primitive $m$-th ...
25
votes
0
answers
1k
views
Status of the Euler characteristic in characteristic p
In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes:
Enfin signalons que la situation en caractéristique positive est loin
d'être aussi ...
1
vote
1
answer
375
views
Nef classes on abelian varieties in positive characteristic
Thomas Bauer shows in http://arxiv.org/pdf/alg-geom/9712019v1.pdf that for a complex abelian variety a nef line bundle is numerically equivalent to an effective divisor (this is shown in Lemma 1.1). ...
2
votes
2
answers
203
views
Ramification in Division field of Abelian Varieties II
This is a follow-up question after this
The set-up is almost the same as before,
Let $k$ be a number field, $p$ be a rational prime. Let $A$ be an abelian variety over $k$ which has a good ...
0
votes
0
answers
124
views
field of definition of abelian varieties with extra endormorphism
Let $A$ be a complex abelian variety such that $\mathrm{End}(A)$ is strictly bigger than $\mathbb{Z}$.
Question: Is is true that $A$ is defined over $\overline{\mathbb{Q}}$?
This is of course what ...
1
vote
1
answer
708
views
Can the Albanese map be anything?
Sorry for the vague title. This question is about the Albanese map from the variety $M$ of canonically polarized varieties to the set of abelian varieties. (The variety $M$ is not of finite type...)
...
8
votes
2
answers
2k
views
etale cohomology of an abelian variety and its dual
Let $A$ an abelian variety over a field $k$ and $A^{*}$ the dual abelian variety.
How can we relate the étale cohomology of $A$ with etale cohomology of $A^{*}$?
2
votes
0
answers
412
views
a reference for Kummer theory, with proofs ?
What is a standard reference for Kummer theory of semi-Abelian varieties ?
I need a complete exposition with detailed proofs. Also in prime characteristic,
although I am not sure what the statement ...
1
vote
0
answers
211
views
Bound for field of definition (vs field of moduli) of an abelian variety
Let $A$ be a principally polarised abelian variety over $\mathbb{C}$ of dimension $g$.
Let $K$ be the field of moduli of $A$.
Proposition. $A$ has a model defined over an extension $L$ of $K$ such ...
1
vote
0
answers
102
views
do commutative groups torsors have a point in an Abelian extension of the base field?
Let $A$ be a principal homogeneous space for a commutative algebraic group defined over a field $k$ that contains all roots of unity. Is it true that $A$ has a $K$-point for an extension $K \supset k$ ...
5
votes
1
answer
1k
views
Simple abelian varieties over non algebraically closed fields.
I was wondering what people would normally mean by a simple abelian variety $A$ where $A$ is defined over a field $k$ that is not algebraically closed.
The definition I found in for example on the ...
1
vote
1
answer
2k
views
When is an ample line bundle on an abelian variety base point free?
So, any line bundle $L$ on an abelian variety $X$ determines a type $(d_1,\ldots,d_g)$ where $d_i|d_{i+1}$. It's well known that if $d_1\geq 3$ then $L$ defines an embedding, that if $L$ has no fixed ...
5
votes
2
answers
586
views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
2
votes
0
answers
255
views
Lang isogeny for group stacks
Let $G$ be a commutative algebraic group stack over $\mathbb{F}_q$ (I don't really care about the precise definition: I'm secretly thinking about the Picard stack of a projective curve). To what ...
6
votes
1
answer
923
views
Prym varieties as Jacobian varieties
A generic abelian variety of dimension 2 or 3 is a jacobian of a curve.
Is there a canonical way to determine a curve whose jacobian is a prym variety of a unramified double cover of a curve of genus ...
0
votes
1
answer
178
views
Ramification in Division field of Abelian Varieties
This might be a very simple question, and that might be the reason that I could not find any reference on this.
My question is
Let $A$ be an abelian variety defined over a number field $k$, and $N$...
0
votes
1
answer
221
views
Is the stabilizer of an irreducible subvariety of an abelian variety irreducible ?
Let $A$ be a (semi-)abelian variety over an algebraically closed field $K$, and $X$ be a closed irreducible subvariety. Can $X$ have a non-trivial finite stabilizer ? By stabilizer, I mean the closed ...
4
votes
0
answers
136
views
A subring of the Serre Swinnerton -Dyer ring of level N modular power series
Suppose ell is prime and (N,ell)=1. Consider those power series over Z that are expansions at infinity of modular forms for gamma_0 (N) of weight a multiple of ell-1. I'll say that an element of (Z/...
2
votes
2
answers
628
views
Is the moduli space of ppAVs smooth?
Let $A_g$ be the moduli space of principally polarised abelian varieties of dimension $g$ over the complex numbers. (EDIT: I mean the coarse moduli space.) Is this smooth?
Since $A_g$ is the ...
4
votes
1
answer
369
views
Gauss mapping in finite characteristic
Suppose that $X\subset\mathbb P^n$ is a $d$-dimentional smooth projective variety (not a linear subspace) over an algebraically closed field. If $\gamma\colon X\to\mathrm{Gr}(d,\mathbb P^n)$ is Gauss ...
2
votes
0
answers
606
views
Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces
Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
6
votes
1
answer
485
views
Local Norm Mapping for Abelian Varieties
Let $A/K$ be an abelian variety defined over a nonarchimedean local field $K$ of characteristic $0$ and let $L$ be a finite extension of $K$. Consider the norm map $$A(L)\xrightarrow{N_{L/K}}A(K)$$ I ...
4
votes
0
answers
814
views
Adjunction Formula for Weil Divisors on a Normal Variety X
Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
2
votes
0
answers
212
views
About Alexeev and Nakamura's paper "on Mumford's construction of degenerating abelian varieites"
Is there anyone familiar with this paper? It seems to me it contains "some" typos and even some small elementary mistakes, which makes my reading very slow. Of course the key reason for my slow ...
4
votes
1
answer
867
views
Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms
Q: Is there a simple proof of the fact that the Weil restriction of an abelian scheme along a finite étale morphism is an abelian scheme ?
Details: Let $S$ be a scheme and $f:S'\rightarrow S$ a ...
5
votes
2
answers
2k
views
Moduli Spaces of Higher Dimensional Complex Tori
I know that the space of all complex 1-tori (elliptic curves) is modeled by $SL(2, \mathbb{R})$ acting on the upper half plane. There are many explicit formulas for this action.
Similarly, I have ...
1
vote
0
answers
271
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 Shimura"...
5
votes
0
answers
387
views
Are these empirical discoveries about the Serre Swinnerton-Dyer ring of prime level modular power series actual theorems?
In this question Joel Bellaiche constructed an algebra, M, of modular forms for
gamma_0 (N) in finite characteristic (which he called p, but I'll call ell) and asked to know its structure. Matt ...
31
votes
1
answer
5k
views
Modern proof of Serre's open image theorem?
Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic Curves'...
4
votes
1
answer
717
views
Tate conjecture for abelian varieties over a finitely generated extension of an algebraically closed field
Let $K$ be a finitely generated extension of an algebraically closed field of characteristic zero, and $A,B$ abelian varieties over $K$.
Then is $Hom_K(A,B)\otimes \mathbb{Z_l} \cong Hom_{Gal(\bar{K}...
1
vote
0
answers
376
views
Nef and effective classes on abelian varieties
Is there any characterization of rational nef classes that don't come from effective $\mathbb{Q}$-divisors on abelian varieties? Is there any result along the lines of "Any nef $\mathbb{Q}$-divisor is ...
2
votes
1
answer
303
views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector field on a log ...
1
vote
0
answers
336
views
The formal Group of the dual Abelian Variety
For an abelian variety $A$ with formal group $F$, how is the formal group $F^\ast$ of the dual abelian variety $A^{\vee}$ related to $F$? In general, for a formal group $F$, is there a concept of dual ...
7
votes
0
answers
286
views
Level p characteristic 2 modular forms and thetas
BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for gamma_0(p). In ...
15
votes
1
answer
1k
views
Status of Grothendieck's conjecture on homomorphisms of abelian schemes
In [1] Grothendieck posits the following:
Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, $...
2
votes
1
answer
307
views
On a Strongly F-regular Pair (X, \Delta)
Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
8
votes
0
answers
503
views
Points of minimum Arakelov height and harmonic arithmetical varieties
Added. (28/2) To put it less pompously (and more vaguely, less concretely), I wanted to relate the impression that it is the general rule that an Arakelov (i.e., geometric) height on an arithmetical ...
2
votes
1
answer
381
views
Is the canonical height of a totally p-adic point on an abelian variety bounded away from zero?
Inspired by the result of Schinzel and Smyth that a totally real number other than $0$ and $\pm 1$ has height at least $\frac{1}{2}\log \Big( \frac{1+\sqrt{5}}{2} \Big) = 0.240659\ldots$, Bombieri and ...
4
votes
1
answer
796
views
Deformation space of non-ordinary abelian varieties
It is a well known result of Serre and Tate that if $A$ is an ordinary abelian variety over a field $k$ of characteristic $p>0$, then the deformation space $\mathcal{M}$ of $A$ to an abelian ...
12
votes
1
answer
594
views
The torsion point count in higher dimension
It is an easy consequence of the Serre open image theorem that for the torsion point count on elliptic curves, the following possibilities arise.
If $E/\bar{\mathbb{Q}}$ is an elliptic curve without ...
9
votes
1
answer
1k
views
For which fields does the isogeny theorem hold
Let $k$ be a field. We say that the isogeny theorem holds over $k$ if, for any abelian variety $A$ over $k$, there are only finitely many $k$-isomorphism classes of abelian varieties $B$ over $k$ ...
3
votes
0
answers
312
views
field of definition of isogenies of abelian varieties
Let $A$ be an abelian variety over a field $k$, and let $N$ be a finite subgroup of $A$. Suppose that $N$ is also defined over $k$, or at least that all Galois automorphisms fixing $k$ leave $N$ ...
0
votes
1
answer
350
views
Reference for Complex Abelian Varieties
I am looking for a reference which explains how theta functions, algebraically independent meromorphic functions, and line bundles all fit together in the context of complex tori. More explicitly, ...
5
votes
2
answers
335
views
Theta group representation
Let $(X,L)$ be a polarized abelian variety over $k=\overline{k}$, and let $K(L)$ be the kernel of the isogeny $X\to X^\vee$ that sends $x$ to $t_x^*L\otimes L^{-1}$. The theta group $\mathscr{G}(L)$ ...
12
votes
0
answers
433
views
Average ranks of abelian surfaces
Most people nowadays believe that over a fixed global field, $50$% of the elliptic curves have $0$ rank, $50$% have rank $1$, and $0$% have higher rank. A significant advance in this direction has ...
2
votes
1
answer
434
views
Weil reciprocity on abelian varieties and biextensions?
I was once told, by someone who would likely be right about such things, that the version of Weil reciprocity for abelian varieties (as in Lang, Abelian Varieties) should come out of consideration of ...
2
votes
0
answers
489
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 ...
6
votes
1
answer
1k
views
Abelian varieties with given endomorphism algebra
I am confused by a statement in the very classical paper of A. A. Albert "On the construction of Riemman matrices II", Ann. Math. 1935, Thm 16. If I understand what he saying, the theorem says that ...
10
votes
1
answer
570
views
Commutativity of the Chow ring in positive characteristic
I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$.
On p. 2, he writes the following ...