All Questions
1,203 questions
18
votes
1
answer
2k
views
Embedding abelian varieties into projective spaces of small dimension
Given a (complex) abelian variety $A$ of a fixed dimension $g$, let $d(A)$ be the dimension of the smallest complex projective space it embeds into.
Is $d(A)$ uniform over all abelian varieties of a ...
- 2,818
4
votes
0
answers
122
views
dual of quotient abelian variety
Let $A$ be an complex abelian variety and $S\subset A$ a finite subgroup.
How to calculate the dual abelian variety of $A/S$?
- 1,891
5
votes
0
answers
568
views
Eisenbud-Goto conjecture in Positive Characteristic
Eisenbud-Goto conjecture predicted that the Castelnuovo-Mumford regularity
${\rm reg}(X)$ of a non-degenerate projective variety $X\subset \mathbb{P}^N$
is bounded by the $\deg(X)-{\rm codim}(X,\...
- 45.7k
3
votes
0
answers
151
views
Variety Isomorphism Problem for Abelian Surfaces
This is a special case of this question, where it is asked whether there exists an algorithm to determine whether two varieties are isomorphic. There, an answer by Bjorn Poonen explains how to solve ...
- 437
6
votes
1
answer
535
views
Quaternion algebra actions on $\ell$-adic cohomology
Let $E$ be a supersingular elliptic curve over $\mathbf{F}_p$, and $H$ its endomorphism algebra $\text{End}(E)\otimes_{\mathbf{Z}}\mathbf{Q}$, a quaternion algebra (non split at $p$ and $\infty$).
...
- 149k
3
votes
0
answers
135
views
Is the generalized Kummer threefold rational in characteristics 3?
Let $E_i\!: y_i^2 = x_i^3 - x_i$, $i = 1, 2, 3$ be three copies of the supersingular elliptic curve in characteristics $3$. Consider on $E_i$ the following automorphism of order $3$:
$$
\sigma(x_i,...
- 1,833
5
votes
0
answers
206
views
Intermediate Jacobian of abelian varieties
Is the intermediate Jacobian of an abelian variety again an abelian variety?
- 1,593
10
votes
1
answer
563
views
Are there infinitely many real multiplication fields of abelian surfaces over $\mathbb Q$?
Do there exist infinitely many real quadratic fields $F$ such that there is an abelian surface $A$ over $\mathbb Q$ whose ring of endomorphisms, tensored with $\mathbb Q$, is $F$?
Do there exist ...
CommunityBot
- 1
2
votes
0
answers
60
views
A conjectural formula for the "minimal degree function", $k\rightarrow d\min(k)$, attached to recursion, $f\rightarrow A(f)$, in char $3$
THE RECURSION: $f\rightarrow A(f)$
$A: t(\mathbb{Z}/3)[t^3]\rightarrow t(\mathbb{Z}/3)[t^3]$ is the $\mathbb{Z}/3$-linear map with $A(t)=0, A(t^4)=t, A(t^7)=t^4$, and $A((t^9)f)=(2t^9)A(f)+(t^3)A((t^...
- 3,209
7
votes
2
answers
1k
views
How does one compute induced representations for modular representations?
The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its character)...
- 111
4
votes
0
answers
115
views
Abelian variety over Q with many roots of unity
Given an abelian variety $A$ over the rational integers $\mathbb{Q}$, and a prime $p$, we know that $\mathbb{Q}(\zeta_p)$ is contained in $\mathbb{Q}(A[p])$, the $p$-division field of $A$, and where $\...
- 8,945
9
votes
1
answer
381
views
Lifting of families of curves to characteristic 0
Let $k$ be a finite field, $X_0$ be a smooth affine variety over $k$ and $C\rightarrow X$ a smooth projective family of curves of genus $\geq 2$.
By a result of Elkik we can always lift $X_0$ to a ...
- 4,111
1
vote
0
answers
128
views
Point Counts on $G$-torsors over Finite Fields
Let's assume we have a $G$-torsor $X_{1} \to X_{2}$, where $G$ is a finite abelian group, and both $X_{1}$ and $X_{2}$ are defined over $\text{Spec}(\mathbb{Z})$. Is there an easy way to compute $\#...
- 1,701
18
votes
1
answer
1k
views
Torsion points of abelian varieties in the perfect closure of a function field
The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer.
Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ...
- 728
1
vote
0
answers
78
views
Roots of unity and coordinates of points in abelian varieties
We consider an abelian variety $A$ defined over the rational numbers $\mathbb{Q}$. For a torsion point $P\in A(\bar{\mathbb{Q}})$, consider the field $\mathbb{Q}(P)$ obtained by adjoining to $\mathbb{...
- 389
2
votes
0
answers
89
views
Weil pairings on abelian varieties restricted to subgroups of a given order
Let $A$ be an abelian variety of dimension $g$ defined over a number field $K$. Suppose $A$ has a principal polarization and $\ell$ is a prime number. We have a Weil pairing:
$$
e_\ell: A[\ell]\times ...
- 389
2
votes
1
answer
153
views
Pull-back of polarization
Let $(X, L)$ and $(Y, M)$ be two polarized abelian varieties .
According to Birkenhake C. and Lange H. in Complex Abelian Varieties a homomorphism of polarized abelian varieties $f:(Y, M)\...
- 2,384
3
votes
1
answer
159
views
why the division field of an abelian variety contains a cyclotomic field?
Given an abelian variety $A$ defined over $\mathbb{Q}$, for a positive integer (we can suppose prime) $\ell$, let $A[\ell]$ denote the group
of points of $A$ that are annihilated by $\ell$, the ...
- 45.7k
8
votes
1
answer
168
views
Index of the endomorphism ring of an abelian surface
For an abelian surface $A/\mathbb{Q}$ such that $R:=\mathrm{End}_{\mathbb{Q}}(A)$ is an order in a real quadratic field $K$ (so a $\mathrm{GL}_2$-type surface), is there a bound on the index $[O_K : R]...
- 20.8k
2
votes
0
answers
263
views
Polarization of the Jacobian in Torelli's theorem
I'm studying an example in book Yuji Shimizu and Kenji Ueno. Advances in Moduli Theory. Translations of Mathematical Monographs, vol. 206, that shows the importance of isomorphism as principally ...
- 560
14
votes
1
answer
584
views
Is the complement of an affine open in an abelian variety ample?
Let $U$ be an affine open subscheme of an abelian variety $A$ over $\mathbb{C}$. Is $A-U$ an ample divisor?
If $\dim A =1$ this is true.
If $\dim A = 2$, the complement is a divisor $D_1+\ldots + ...
- 4,111
7
votes
1
answer
496
views
analogue of Theorem of Mattuck for Abelian varieties over $\mathbf{F}_q(\!(t)\!)$
By a theorem of Mattuck [Abelian Varieties over $p$-Adic Ground Fields, Annals of Mathematics, Second Series, Vol. 62, No. 1 (Jul., 1955), pp. 92-119], for an Abelian variety $A$ of dimension $g$ over ...
CommunityBot
- 1
15
votes
2
answers
596
views
When is the etale cohomology of $\mathrm{Sym}^n(X)$ isomorphic to the $\Sigma_n$-invariants in the étale cohomology of $X^n$?
Suppose $X$ is a smooth projective variety defined over an arbitrary algebraically closed field $k$, and consider the action of $\Sigma_n$ on the $n$-fold product $X^n$. Is it true that $H_{\acute{e}t}...
- 156k
12
votes
2
answers
883
views
Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$
This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...
- 245
5
votes
0
answers
267
views
Principally Polarized CM Abelian Variety
I am interested in considering examples of abelian varieties that are principally polarized with CM in dimension three. However, I am struggling to construct or find even a single instance.
In ...
- 51
9
votes
1
answer
430
views
Existence of certain endomorphism of supersingular elliptic curve
Let $E$ be a supersingular elliptic curve over an algebraically closed field $K$ of characteristic $p$. Let $R = \operatorname{End}(E)$ be its ring of endomorphisms. Then, it is known $R \otimes_{\...
- 5,392
19
votes
1
answer
977
views
Lang's Jacobian identity: slicker, elementary proof?
In Jeffrey Lang, A Jacobian identity in positive characteristic, J. Commut. Algebra, Volume 7, Number 3 (2015), pp. 393--409, the following result is proven:
Theorem 1. Let $p$ be a prime. Let $\...
- 85.6k
10
votes
2
answers
614
views
Do abelian varieties have Neron models over arbitrary valuation rings?
Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$. Let $A$ be an abelian variety over $K$. Does $A$ have a Neron model?
If $\mathcal{O}_K$ is a discrete valuation ring, then this is ...
- 5,019
18
votes
1
answer
1k
views
A linear algebra problem in positive characteristic
Let $A$ be a symmetric square matrix with entries in $\mathbb{Z}/p\mathbb{Z}$ for a prime $p$ such that all of its diagonal entries are nonzero. Does there exists always a vector $x$ with all ...
- 156k
4
votes
0
answers
275
views
Symmetric power contained in tensor power?
Let $V$ be an $R$-module. Traditionally the symmetric algebra $S(V)$ is defined as a quotient of the tensor algebra $T(V)$, by the ideal generated by all $a\otimes b-b\otimes a$.
Can $S^n(V)$ also be ...
- 2,519
6
votes
0
answers
123
views
Good reduction of abelian varieties over valuation rings via coverings
Let $\mathcal{O}_K$ be a valuation ring with fraction field $K$, and let $A$ be an abelian variety over $K$.
Suppose that there is a smooth proper scheme $\mathcal{X}$ over $\mathcal{O}_K$ whose ...
- 233
79
votes
12
answers
13k
views
Is there a high-concept explanation for why characteristic 2 is special?
The structure of the multiplicative groups of $\mathbb{Z}/p\mathbb{Z}$ or of $\mathbb{Z}_p$ is the same for odd primes, but not for $2.$ Quadratic reciprocity has a uniform statement for odd primes, ...
- 6,237
12
votes
0
answers
593
views
What is known about abelian varieties with several principal polarizations?
Let ``the simple case" be when the polarized abelian variety does not break up into a product of polarized abelian varieties.
I am trying to get an idea of what is known about abelian varieties with ...
- 3,539
18
votes
1
answer
1k
views
Do all simple factors of jacobians of curves come from correspondences?
For this question I will let the overly ambiguous word curve mean: smooth projective and connected curve over $\mathbb C$ (or equivalently a smooth compact Riemann-Surface).
Let $C$ be a curve over ...
- 28.8k
2
votes
1
answer
231
views
Why are modular curves non-trivial covers of the $j$-line
This is a very soft question.
Let $n\geq 1$ and let $Y(n)$ be the (open) modular curve associated to $\Gamma(n)\subset SL_2(\mathbb{Z})$. Interpreted correctly, $Y(n)\to Y(d)$ is finite etale, ...
- 45.7k
0
votes
0
answers
105
views
isomorphic abelian varieties
Let $A$ and $B$ be isogenous abelian varieties defined over a field $k$.
Suppose $A(L)\cong B(L)$ for all finite extensions $L$ of $k$. Does this imply that $A\cong B$?
It would be different if we ...
- 389
1
vote
0
answers
174
views
abelian variety over a regular extension of a field
I want to read Manin proof of Mordell Conjecture over function fields.I understand most of the article but I have problems with "kernel theorem"and it's proof:
consider $A$ is an abelian variety over ...
- 1,093
24
votes
4
answers
2k
views
Is every abelian variety a subvariety of a Jacobian?
Let $k$ be an infinite field and $A$ be an abelian variety over $k$. Can $A$ be embedded into a Jacobian variety $J$ over $k$?
In these notes by William Stein this is stated without proof in remark 1....
- 728
3
votes
0
answers
147
views
Parallel transport for variety over finite field
I was wondering: Given a variety over a finite field, say the projective plane or sphere over $\mathbb{F}_q$. Then I can try to define parallel transport along (geodesic) curves. In particular, I can ...
- 13k
6
votes
2
answers
323
views
Abel-Jacobi map for Mumford curves analytically
Let $K$ be a field equipped with a non-Archimedean absolute value, let $\Gamma$ be a Schottky group in $PGL_2(K)$, and let $X_\Gamma$ be the associated Mumford curve, which is a proper smooth rigid ...
- 1,386
11
votes
0
answers
382
views
What are the possible bad reductions for an abelian variety of dimension $g$ and a maximal endomorphism ring?
Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added ...
- 13.8k
13
votes
0
answers
348
views
An example of curves with the same Jacobian, but different Jacobian automorphism groups (wrt their respective canonical principal polarizations)?
I am trying to understand examples of differing curves with the same Jacobian, and the quirks of the Jacobian.
Here is my question: What is an example where $Aut(Jac(X, a))$ and $Aut(Jac(X', a'))$ ...
- 3,539
1
vote
0
answers
78
views
Numerical equivalent positive non-degenerate divisor induced projective embedding involves Veronese map?
This is a part of material I do not understand from "Analytic Theory of Abelian Varieties" by Swinnerton-Dyer.
Let $A=\mathbb{C}^n/\Lambda$ be an abelian variety with positive-definite Hermitian form ...
- 7,127
2
votes
1
answer
522
views
1-dimensional p-divisible groups, level structures and Cartier divisors
I am confused about the 1-dimensionality of $p$-divisible groups and its role in defining level structures.
Here's how I view/understand/not understand things:
If a $p$-divisible group arises from a ...
- 371
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; ...
- 3,704
5
votes
1
answer
219
views
Largest ranks achieved by abelian varieties of fixed dimension
This is a follow-up to this earlier question on elliptic curves: Largest rank assumed by infinitely many elliptic curves
Let $g \geq 1$ be an integer. For each $g$, what is known about the largest ...
- 11.3k
5
votes
0
answers
197
views
Semisimplicity of the p-adic étale Tate module over $F_p(t)$
Let $k$ be a finitely generated field of positive characteristic p.
Let $A$ be an abelian variety over $k$ and write $T_p(A)$ for the $p$-adic étale Tate module of $A$. Is it known if the natural ...
- 728
2
votes
0
answers
78
views
Singularities of quotient of a vector bundle by a lattice
Let $V$ be a complex vector bundle of rank $g$ over an open unit disc $\Delta$ and $H$ be a integral local system of rank $2g$ over $\Delta$ i.e., for every $t \in \Delta$, $H_t \cong \mathbb{Z}^{2g}$....
- 1,593
4
votes
0
answers
293
views
Derived categories of coherent sheaves and degenerations of abelian varieties
By the work of Burban-Drozd (https://projecteuclid.org/euclid.dmj/1076621984), we know what happens to the derived category of coherent sheaves when an elliptic curve degenerates into a nodal curve or ...
- 3,187
3
votes
1
answer
434
views
Intersections with a Power of an Ample Divisor on an Abelian Variety
Let $A$ be a $g$-dimensional, complex abelian variety, let $H$ be an ample divisor, let $D\in Pic^0(A)$, and let $0\leq k\leq g$.
Question 1: Does $D^k\neq 0\in CH^k(A,\mathbb{Q})$ imply that $H^{g-k}...
- 419