All Questions
1,203 questions
3
votes
1
answer
642
views
Decomposition theorem for polarized abelian varieties in positive characteristic
In characteristic zero we have the following decomposition theorem for polarized abelian varieties: it gives an isomorphism between a PPAV and a product of PPAV's of lower dimension and is valid (as ...
- 614
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,905
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 ...
- 663
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 ...
- 5,422
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 ...
- 656
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 ...
- 11
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$, $...
- 1,376
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$. ...
- 165
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 ...
- 13.8k
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$ ...
- 1,298
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, ...
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 ...
- 5,422
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 ...
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 ...
- 13.8k
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)$ ...
- 663
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 ...
- 13.8k
2
votes
1
answer
1k
views
On morphisms to projective space arising from a linear system
Context: This question arose as I was reading the proof of Application 6.1 in Mumford's Abelian Varieties. However, I have extracted all of the relevant information below so this question should ...
- 23
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 ...
- 30.5k
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 ...
- 40.3k
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 ...
- 709
7
votes
1
answer
425
views
showing that abelian varieties are de Rham *without* showing that they are crystalline
If $X$ is a smooth projective variety over a $p$-adic field $K$, then Faltings' Theorem says that the etale cohomology of $X_{\overline{K}}$ is crystalline.
There have been various steps towards this ...
- 287
4
votes
3
answers
890
views
the dual abelian scheme
There are plenty of sources discussing dual abelian varieties, but I'm looking for a reference that discusses the construction and properties of the dual abelian scheme. I'm willing to accept general ...
- 287
1
vote
0
answers
220
views
Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q
Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
- 407
4
votes
1
answer
998
views
Dimension of irreducible representations in characteristic p
Hi, I know that over $\mathbb{C}$ the dimension of an irreducible representation of a finite group $G$ must divide the order of the group. I've read somewhere that if $p$ does not divide the order of ...
- 407
8
votes
0
answers
244
views
Corresponding notion of unramified for motives (or de Rham cohomology)
The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if $X$...
- 381
2
votes
0
answers
377
views
Which curves cut the Hyperelliptic locus?
Consider the moduli space $\mathcal{A}_{g,n}$ of abelian varieties with some level $n \geq 3$ structure. For simplicity, we just denote it by $\mathcal{A}_{g}$ and drop $n$. Denote the locus of ...
- 637
8
votes
1
answer
2k
views
Poincaré line bundle
I am being stuck by the proof of the existence of Poincaré line bundle of complex torus in Griffiths-Harris. Here is the question:
Let $M$ be a complex torus and $M'$ be the complex torus dual to $M$...
- 750
4
votes
0
answers
289
views
Does the Albanese map satisfy Torelli's theorem
Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
- 381
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$ ...
- 295
28
votes
3
answers
2k
views
Intuitive pictures in characteristic p
This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...
- 2,215
1
vote
0
answers
259
views
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
Who knows references about this?
In particular, let us work over a trait $S=\mathrm{Spec} R$, where $R$ ...
- 997
0
votes
0
answers
150
views
descent of a complex of sheaves
Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely.
Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$
Let $K\in D_{c}^{\leq 0}(X,\bar{...
- 3,472
1
vote
1
answer
806
views
complex multiplication
For an abelian variety $A$, it is said to be have $complex \ multiplication$ if $\mathrm{End}(A) \otimes_{\mathbb{Z}} \mathbb{Q}$ contains a number filed $F$ of degree $2 \cdot \mathrm{dim} (A)$. (...
- 1,109
5
votes
1
answer
865
views
Properties of subvarieties of a simple abelian variety
Let $A$ be a simple abelian variety over a field $k$. (For simplicity, we assume char $k =0$.)
Let $X$ be a smooth projective geometrically connected variety over $k$ of positive dimension.
Suppose ...
- 295
10
votes
2
answers
897
views
What are some consequences of the Mumford-Tate conjecture?
Let $A/K$ be an abelian variety over a number field. On the one hand we have the singular cohomology group
$$V := H^1(A(\mathbb{C}),\mathbb{Q})$$
with respect to some fixed embedding $K \subset \...
- 2,827
0
votes
0
answers
440
views
Foliations in positive characteristic
Ekedahl wrote about foliations in positive characteristic, over the field $\mathbb{Z}/p\mathbb{Z}$ as a subsheaf of the tangent sheaf, that are closed with respect to involution and $p$-power.
My ...
- 1
4
votes
0
answers
249
views
Ordinary vs Non-ordinary for GL(2)-type Abelian Surfaces over Q
Let $A_f$ be an abelian surface over $\mathbf{Q}$ of $\mathbf{GL}_2$-type arising from a weight $2$ cuspidal eigenform $f\in S_2(\Gamma_0(N))$. What is known (or expected to be true) for the size of ...
- 2,406
4
votes
1
answer
434
views
(3,3) abelian surface and k3 surfaces
SOrry for the very specific question, but curiosity bites....
So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...
- 3,779
4
votes
0
answers
218
views
p-divisible group over an algebraically closed field of characteristic p arises from abelian variety
It may be trivially true or trivially false, just a quick ask, if $k=\overline{k}$ and char k = p>0, X is a p-divisible group over $k$, suppose the Newton polygon of $X$ is symmetric, then there ...
- 51
10
votes
0
answers
516
views
About the Bloch conjecture on entire curves
The Bloch conjecture states the following:
Bloch's conjecture. Let $X$ be a compact complex Kähler variety such that the irregularity $q = h^0(X,\Omega^1_X)$ is larger than the dimension $n = \dim X$....
- 7,902
4
votes
0
answers
320
views
Dieudonné modules over rings of charateristic zero
Dear Colleagues,
would appreciate if you could recommend references, if such a theory exits, for the following question.
Let $A$ be an Abelian scheme over $\text{Spec}(R)$, where $R$ is a subring of ...
- 185
3
votes
0
answers
936
views
Grothendieck-Messing theory
Hello,
I would like to work out some examples of deformation of isogenies via Grothendieck-Messing theory. Let's take an easy example: Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$ and ...
- 31
6
votes
1
answer
404
views
Genus 2 curves vs Abelian surfaces
In the Satake compactification of abelian surfaces we have the following degeneration of a family of abelian surfaces in $\mathbf{H}_2$
$lim_{t \to \infty}\begin{pmatrix} it & b \\\ b & \tau\...
- 453
3
votes
3
answers
557
views
Another question related to the isogeny theorem for elliptic curves
I was reading the following question: About isogeny theorem for elliptic curves and was interested in the following statement at the end of Torsten Ekedahl's answer:
"Note also that the situation is ...
- 1,905
9
votes
1
answer
629
views
On simple factors of modular jacobians: endomorphism ring and simplicity of mod p reduction
Let $A_f$ be the abelian variety over $\mathbf{Q}$ arising as a $\mathbf{Q}$-simple factor of the Jacobian $J_0(N)$ of the modular curve associated to a normalized newform $f$ of weight $2$ on the ...
- 2,406
4
votes
2
answers
402
views
Defining isogenies over smaller fields
I'm having some issues with abelian varieties and fields of definition. This already became clear in my previous question on Jacobians. Here's another question. If somebody can explain some nice facts ...
- 1,213
7
votes
2
answers
494
views
Jacobians defined over smaller fields
Let $L/K$ be an extension of number fields.
Let $X$ be a curve over $L$ which can not be defined over $K$. Let $J(X)$ be the Jacobian of $X$ over $L$.
In general, the Jacobian $J(X)$ probably doesn'...
- 1,213
12
votes
2
answers
1k
views
Modularity of higher dimensional abelian varieties
In another question I asked about strategies for giving an effective version of the Shafarevich conjecture for abelian varieties over $\mathbb{Q}$.
For elliptic curves, one can give a proof using ...
- 7,072
1
vote
0
answers
192
views
"Higher" Tangent spaces in char-p geometry - definition?
Hi, everyone!
I have some construction that requires exact definition.
I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
- 1,422
32
votes
4
answers
5k
views
Over which fields does the Mordell-Weil theorem hold?
According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties ...
- 20.8k