All Questions
1,203 questions
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$).
...
user132229
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 ...
- 149k
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^...
- 5,422
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 $\...
- 389
10
votes
0
answers
295
views
Relation between Faltings height and height on moduli space
Let $E$ be an elliptic curve over a number field $K$. The difference between the semistable Faltings height $h_F(E)$ of $E$ and the height $h(j_E)$ of the $j$-invariant of $E$ can be bounded in terms ...
- 101
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
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 ...
- 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)\...
- 560
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 ...
- 389
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]...
- 173
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 + ...
- 233
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}...
- 233
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
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 ...
user19475
9
votes
1
answer
415
views
Analogue of the original Birch–Swinnerton-Dyer conjecture for abelian varieties
$\newcommand{\Q}{\Bbb Q}
\newcommand{\N}{\Bbb N}
\newcommand{\R}{\Bbb R}
\newcommand{\Z}{\Bbb Z}
\newcommand{\C}{\Bbb C}
\newcommand{\F}{\Bbb F}
\newcommand{\p}{\mathfrak{p}}
$
Let $A$ be an abelian ...
- 1,742
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_{\...
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 $\...
- 33.8k
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
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 ...
- 4,484
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
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 ...
- 233
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, ...
- 29
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
2
votes
1
answer
451
views
Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic
Let $X$ be a projective 3-fold in characteristic $p>0$. Let $(X, D)$ be a klt pair, and $D'$ a $\mathbb{R}$-Cartier divisor such that $D'=A'+B'$, where $A\geq 0$ is an ample $\mathbb{Q}$-divisor ...
- 313
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
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 ...
- 1,846
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....
- 373
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
6
votes
1
answer
193
views
Restricted Lie algebras with no nonzero proper restricted subalgebras
Let $L\neq 0$ be a restricted Lie algebra over a field $F$ of characteristic $p>0$. If $F$ is algebraically closed, then it is known that $L$ has no nontrivial restricted subalgebras if and only ...
- 630
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 ...
- 299
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
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 ...
- 27k
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
5
votes
2
answers
281
views
Singular abelian surfaces that can be defined over $\mathbb Q$
An abelian surface $A$ is called singular if it has maximal Picard number $\rho(A) = 4$.
By work of Shioda-Mitani, any singular abelian surface $A$ is the product $A = E_1 \times E_2$ of two ...
7
votes
0
answers
262
views
Factors of the Jacobian of modular curves
Let $J_1(p)$ be the Jacobian of the modular curve $X_1(p)$ for p an odd prime. We know that $J_1(p)$ is isogenous to a direct sum of abelian varieties $\oplus_{f}A_f$ where the sum runs over Hecke/...
5
votes
1
answer
208
views
A generalization of Witt's theorem for quaternion algebra isomorphism
Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
- 375
4
votes
0
answers
468
views
Quaternion algebras in characteristic 2
Let $k$ be a field and let $Q$ be a quaternion algebra over $k$.
It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
- 375
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}...
- 776
3
votes
1
answer
531
views
Can an abelian variety dominate a variety of general type?
Let $X$ be a projective (not necessarily smooth) normal variety of general type over $\mathbb{C}$. Let $A$ be an abelian variety and let $A\to X$ be a surjective morphism.
Is $X$ zero-...
- 41