All Questions
1,203 questions
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
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^{*}$?
- 3,472
5
votes
0
answers
562
views
Reduction of torsion points on Neron Model
Let $K/\mathbb{Q}_p$ be a finite extension with ring of integers $R$ and residue field $k$. Let $A/K$ be an abelian variety with Neron model $\mathcal{A}/R$. We denote by $\tilde{\mathcal{A}}/k$ the ...
- 421
0
votes
1
answer
151
views
Behaviour of (principal) polarizations of (singular) surfaces under birational maps
Assume we have two p.p. simple abelian surfaces $(A_i,D_i)$, i=1,2, over $\mathbb{C}$ with the following commutative diagram:
$\require{AMScd}
\begin{CD}
A_1 @>{birational}>> A_2\\
@V{2:1}VV ...
- 1,025
1
vote
0
answers
328
views
Connected component of Picard group of a genus $2$ curve and its Jacobian over an imperfect field
Let $H/k$ be a genus $2$ curve. Consider the function field of $H$ given by $k(H)$. Take the base extension of $H$ to $k(H)$, namely $\hat H:=H\otimes_k k(H)$. Consider the Jacobian $J$ of the curve $...
5
votes
2
answers
891
views
Image of abelian varieties
Let $k$ be an arbitrary field, and let $\varphi:A\to B$ be a morphism of abelian varieties over $k$.
If $k$ has characteristic zero, then $\varphi(A)$ has the structure of an abelian subvariety of $B$...
- 107
4
votes
2
answers
534
views
Curve through the 16 singular points of a Kummer surface
Let $X$ be an abelian surface over $\mathbb{C}$. Consider the Kummer surface $K$ associated to $X$, that is the quotient of $X$ by the action of involution on $X$, $x\mapsto -x$. Kummer surface is a ...
- 643
15
votes
0
answers
579
views
Geometry underlying a comparison of Dieudonné theories
Maybe these hypotheses aren't necessary, but for me $\mathbb G$ will be a smooth formal group of dimension 1 and finite height over a perfect field $k$.
There are several presentations of the ...
- 6,308
2
votes
0
answers
176
views
Trivial Tate modules
Let $A$ be an abelian group, and $p$ a prime.
I'll call $$T_p(A) := \text{Hom}_{\mathbf{Z}}(\mathbf{Q}_{p}/\mathbf{Z}_{p}, A).$$
If $A$ is finite, then $T_p(A)$ is trivial, but the converse is not ...
user119470
3
votes
0
answers
307
views
Isotrivial factors of Jacobian
Let $k$ be an algebraically closed field of positive characteristic that it is not the algebraic closure of a finite field. Fix a smooth proper $k$-curve $C$ and write $J_C$ for its Jacobian abelian ...
- 728
6
votes
1
answer
2k
views
Endomorphism Ring of Simple Abelian Varieties
I know that if $A$ is a simple abelian variety over a number field $k$ with all endomorphisms defined over $K$ then $\mbox{End}(A_K)\otimes \mathbb{Q}$ is a division algebra with a positive involution....
- 83
2
votes
0
answers
254
views
Global sections of higher direct images
If $f : X\to V$ is a smooth proper map of smooth schemes, what are the global sections of
$R^if_{fppf, *}\mu_p$
$R^if_{fppf, *}\mathbb{G}_{\rm m}$
I was reading Milne's book "Arithmetic duality", ...
user113393
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,010
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
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
4
votes
1
answer
272
views
Finiteness of cohomology with finite coefficients
Let $G$ be a finite abelian group and let $S$ be a variety over $\mathbb{F}_p$. It is natural (I think) to expect that the cohomology group $H^i(S,G)$ is finite. But with respect to which cohomology?
...
- 41
3
votes
0
answers
255
views
What are the easiest counterexamples to Serre-Lang over non-algebraically closed fields?
Let $k$ be a field of characteristic zero. Let $A$ be an abelian variety over $k$. Let $X\to A$ be a finite etale morphism with $X$ a connected (smooth projective) variety over $k$.
Then, choosing a ...
- 161
14
votes
1
answer
1k
views
Frobenius splitting of Fano varieties
Dear MO,
Question 1. Do you know of an example of a Fano variety which is not Frobenius split?
Background
(1) A variety $X$ in characteristic $p$ is called Frobenius split if there is a "$p$-th ...
- 16.2k
6
votes
0
answers
231
views
Faltings height variation "at place of bad reduction''
Is there any example in the literature where someone has considered the problem of bounding the variation of Faltings height at a place of bad reduction? Specifically, if $A_i$ for $i\in \{1,2\}$ are ...
- 443
0
votes
1
answer
354
views
Reference for Hodge loci on moduli space of principally polarised abelian varieties
Can someone suggest a reference to study Hodge locus, period mappings and period domains on moduli space of principally polarised abelian varieties?
More precisely, consider the moduli space of ...
- 1,981
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
6
votes
0
answers
154
views
Descent via an explicit isogeny (genus 2)
This question is related to a previous question posted by me here answered by Prof. M. Stoll. 5-Descent or ($\sqrt{5}$-Descent?) on certain genus 2 Jacobians.
Here I ask some technicalities of a ...
4
votes
1
answer
569
views
Lifting of Frobenius on semi-abelian varieties
Let $A$ be a semi-abelian variety over a field $k$($char\, k=p$). Namely, there is an exact sequence of group schemes $$0\to T\to A\to B\to 0$$ where $T$ is a torus, $B$ an abelian variety. Assume ...
- 7,377
4
votes
1
answer
272
views
How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic
Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
$$H^0(X,\...
- 49
5
votes
1
answer
524
views
Essential dimension and the moduli space of abelian varieties
The following problem is listed here: http://www-personal.umich.edu/~erman/Papers/Questions2.pdf and attributed to Vistoli:
Let $\mathcal A_g$ denote the moduli stack of principally polarized abelian ...
- 18.7k
9
votes
1
answer
546
views
Morphisms for good reduction are maps respecting filtration
Please see edits below!
So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models $\mathscr{A},\...
- 787
1
vote
0
answers
348
views
rigid analytic geometry positive characteristic
I am a beginning graduate student. I have the following basic question I am very confused about:
Suppose $C$ is a smooth geometrically irreducible curve over a finite field $\mathbb{F}_q$, $q=p^m$, $...
- 147
6
votes
0
answers
467
views
Torsionfree crystalline cohomology implies torsionfree etale cohomology?
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...
- 91
4
votes
0
answers
210
views
Universal vectorial bi-extension as a scheme
In 'The universal vectorial Bi-extension and p-adic heights' Coleman works with the pullback of the Poincaré biextension of an abelian variety A to its universal vectorial extension and claims this is ...
- 1,482
4
votes
0
answers
184
views
Weil Pairing and Galois descent
One way the Weil pairing for an Abelian Variety $A/k$ is phrased is the following (for simplicity, let me only deal with the multiplication by $m$ map ($[m]: A\to A$) instead of arbitrary isogenies):
...
- 7,746
5
votes
0
answers
243
views
Map associated to linear system onto curve is morphism
In Mumford's first paper on Surfaces in char $p$ [1], part 2 Step (II), he wants to show that, given an indecomposable curve of canonical type $D$ on a smooth projective surface $F$ with $p_g(F)=0, ...
- 61
6
votes
0
answers
394
views
Hrushovski's proof of the Manin-Mumford Conjecture
For my master's thesis, I am studying Hrushovski's model-theoretic proof of the Manin-Mumford Conjecture. Among the references I have used are the following:
Lecture notes 'Model Theory of Difference ...
- 61
1
vote
0
answers
150
views
Translates of a line bundle on a complex $n$-torus
Suppose $\mathbb T:=V/\Gamma$ is a complex $n$-torus (i.e., $V$ is an $n$-dimensional $\mathbb C$-vector space and $\Gamma$ is a rank $2n$ lattice in $V$). Fix a holomorphic line bundle $L\in\text{Pic}...
- 1,761
6
votes
2
answers
417
views
Distribution of dimensions of factors of the Jacobian of X_0(p)
Let X_0(p) be the modular curve of level p where p is prime. The Jacobian variety J_0(p) has a natural family of quotients defined over Q with dimensions summing to dim(J_0(p)), each quotient ...
- 7,072
12
votes
2
answers
1k
views
Weil Conjectures for nonprojective algebraic varieties
If we replace projective variety with algebraic variety in the statement of the Weil conjectures what happens? To me it seems the statement still makes sense. But is it still true?
- 1,462
3
votes
0
answers
176
views
Component groups of commutative group schemes
I'm interested in the following question.
Suppose $P$ is a smooth commutative group scheme over a global field $k$, such that $P$ is separated and locally of finite type.
Suppose, in addition, $P^0$ ...
user119470
7
votes
3
answers
908
views
Canonical liftings of endomorphisms of ordinary abelian varieties
I am looking for a reference to the following ``well known" fact.
Let $k$ be a perfect field of prime characteristic $p$ and $W(k)$ its ring of Witt vectors. Let $A_0$ be an ordinary abelian variety ...
- 5,050
1
vote
1
answer
427
views
Complex plane mod lattice to elliptic curve correspondence generalization
If we observe the correspondence
$$\mathbb{C}/\Lambda \rightarrow E: Y^{2} = X^{3} - \frac{g_{2}(\Lambda)}{4}X - \frac{g_{3}(\Lambda)}{4},$$
we see the relationship between weight 4 and weight 6 ...
- 1,441
6
votes
1
answer
367
views
Lifting of Frobenius on torsors over abelian varieties
This is related to my previous question Assume that $A$ is an abelian variety over a field $k$ of characteristic $p$, $\mathcal{L}$ is a line bundle on $A$. Assume that $A$ is ordinary and $\mathcal{L}...
- 7,377
0
votes
1
answer
97
views
Automorphisms of Lie algebra of type $A_5$ modulo its center in characteristic 2
Let $L$ be classical Lie algebra of type $A_5$ over field of characteristic 2; let $M$ be the quotient $L/Z(L)$ modulo its center $Z(L)$.
What about the group of automorphisms of M?
Does anybody ...
- 11
2
votes
1
answer
259
views
Isogeny from kernel in higher dimensional abelian varieties
Is there any kind of generalization of Vélu formulae for Jacobians?
The question technically is:
Given a hyperelliptic curve $H/\overline{\mathbb{F}}_q$ and its jacobian $J_H$ of dimension $2$, if $...
15
votes
0
answers
517
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
- 16.2k
5
votes
1
answer
514
views
Lifting torsors in characteristic $p$ to characteristic zero
Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...
- 151
2
votes
1
answer
298
views
supersingular Abelian scheme
By a supersingular Abelian scheme, I mean an Abelian scheme which is fibrewise a supersingular Abelian variety, i.e. isogenous to a product of supersingular elliptic curves (F. Oort, Subvarieties of ...
user19475
20
votes
2
answers
2k
views
Frobenius splitting and derived Cartier isomorphism
Let $X$ be a smooth algebraic variety over an algebraically closed field $k$ of characteristic $p>\dim X$. The motivation for my question comes from the following results.
1. If $X$ is Frobenius ...
- 16.2k
4
votes
1
answer
358
views
Examples of perfect pseudo algebraically closed fields in positive characteristic
Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
- 2,323
16
votes
3
answers
2k
views
On Category O in positive characteristic
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$. In the case that $k$ has characteristic 0, there has been intensive study of the BGG category O of representations of ...
- 3,637
11
votes
1
answer
730
views
What is the Brauer group of the moduli space of (p.p.) abelian varieties?
What is the Brauer group of the moduli space of principally polarized abelian varieties of a given dimension? I am primarily interested in the "open" moduli space, i.e. not a compactification. The ...
- 30.5k
0
votes
2
answers
336
views
Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point
Let me be more precise than the title. (This will be my last attempt to do something with abelian varieties. Sorry for all the basic questions. The answers have been great!)
Let $A$ be a simple ...
- 1,213
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