# Tagged Questions

**4**

votes

**0**answers

92 views

### On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface.
Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also
there are results ...

**1**

vote

**0**answers

51 views

### symmetric theta structures and arithmetic subgroups

A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface.
...

**2**

votes

**1**answer

97 views

### Degree of a smooth curve in an abelian variety

Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$.
Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in ...

**3**

votes

**0**answers

153 views

### Uniruled degenerations of abelian varieties

Suppose I have a smooth projective variety $X$ over $\mathbb{C}$ with $K_X$ semiample, and consider the fiber space $f:X\to Y$ given by $|\ell K_X|$, for some $\ell>0$ large, where $Y$ is a normal ...

**4**

votes

**0**answers

135 views

### Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...

**1**

vote

**1**answer

131 views

### Divisors on an abelian surface

Let $A$ be an abelian surface given by the quotient of a product of two generic elliptic curves $E_1 \times E_2$ by the product $T_1 \times T_2$ of two translations by $2$-torsion points. Then $A$ ...

**0**

votes

**1**answer

176 views

### About Weil's proof of “Weil conjectures for curves and abelian varieties”

I know that the Weil's proof of the Weil conjectures for curves and abelian varieties is made under the lenguage of his "Foundation of algebraic geometry", however in "Polarizations and Grothendieck's ...

**1**

vote

**1**answer

138 views

### Why is the Tate local duality pairing compatible with the Cartier duality pairing?

This question is a follow up to Why is the norm map dual to restriction under Tate local duality?
Let $A$ and $B$ be dual abelian schemes over a base scheme $S$. For an integer $n \ge 1$, consider ...

**14**

votes

**2**answers

473 views

### Why polarization of abelian varieties?

Maybe this question is not suitable for here, but I don't think I would receive a satisfactory answer in Math StackExchange.
I could never understand the intuition behind polarization of abelian ...

**0**

votes

**1**answer

96 views

### rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...

**0**

votes

**0**answers

72 views

### the CM type of a CM abelian variety

Let $(A, F, i)$ be a CM abelian variety, by which I mean an abelian variety $A$ defined over $\overline{\mathbb{Q}}$, say of dimension $n$, a CM number field $K$ of degree $2n$ and an embedding $i: F ...

**2**

votes

**2**answers

367 views

### Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then
Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$?
Next
...

**0**

votes

**2**answers

198 views

### Absolute Hodge implies Galois invariant?

Let $X$ be an Abelian variety defined over a number field $K$, suppose that it has a good reduction over a fine place $\mathfrak{p}$ of $K$. Let $G_{\mathfrak{p}}$ be the local Galois group for ...

**1**

vote

**1**answer

160 views

### Rigidity lemma over non-algebraically closed field

I would like to extend the rigidity lemma (as in Mumford's "Abelian varieties") to the case in which the base field $k$ is not algebraically closed.
I found a suitable proof in the draft of "Abelian ...

**1**

vote

**2**answers

123 views

### kernel of isogeny becomes constant after base change

Let $S = Spec(O_K)$ be the spectrum of the rings of integers of a number field $K$. Let $A/S \setminus T$ be an Abelian scheme over an open subscheme $S \setminus T \subseteq S$. Does the kernel of ...

**2**

votes

**1**answer

226 views

### Are Abelian varieties (sometimes) globally $F$-split?

As defined by Karen Smith here, beginning of section 3? If $E$ is an elliptic curve, then it is when $E$ is ordinary. I wonder about higher dimension cases. Any references would be greatly ...

**0**

votes

**1**answer

124 views

### Linear system on an abelian surface

On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$.
For $g_a(C) > 2$, if ...

**3**

votes

**0**answers

93 views

### Ampleness of Hodge bundles over complex curves

Let $C$ be a smooth, proper and connected curve over
the complex numbers $\bf C$. Let ${\cal G}\to C$ be a smooth group scheme over $C$ and let $\epsilon_{\cal G}:C\to{\cal G}$ be its
zero-section. ...

**9**

votes

**1**answer

279 views

### Motives over finite field not generated by hyperelliptic curves

So the question is that, over a finite field, does there exist an abelian variety $A$ for which there does not exist a generically one-to-one morphism from a hyperelliptic curve $C$ to $A$.
p.s. A ...

**7**

votes

**1**answer

404 views

### The Tate conjecture for abelian varieties

Let $k$ be a number field. Recall that Faltings proved the famous Tate conjecture, which states that for any abelian variety $X$ over $k$ and any prime $\ell$, the natural map
$$\mathrm{End}(X) ...

**10**

votes

**0**answers

228 views

### Lifting Abelian Varieties to p-adic fields

Assume I have an abelian variety $A$ over a finite field $k$ of characteristic $p$. Work of Norman and Oort (1980) says I can lift $A$ to an abelian variety $\mathscr{A}$ over some characteristic ...

**2**

votes

**1**answer

189 views

### Canonical lifts from $\mathbb F_q$ and CM-theory

One knows that (ordinary) Jacobians of hyperelliptic curves over a finite field $\mathbb F_q$ (mostly of genus 1 (elliptic curves) and 2) are extensively studied by cryptographers, as a platform for ...

**6**

votes

**1**answer

226 views

### Are there perverse sheaves on abelian varieties with small Euler characteristic?

Let $A$ be a simple abelian variety of dimension $g$. Let $K$ be an irreducible perverse sheaf on $A$. We know that $\chi(A,K)\geq 0$. (Corollary 1.4 of Franecki and Kapranov.) How small can ...

**0**

votes

**2**answers

130 views

### Poincaré bundle and Weil pairing for Abelian schemes

In which situations is there a PoincarĂ© bundle for Abelian schemes? In [Mumford, Abelian varieties] only the case of Abelian varieties is treated.
The same question for the Weil pairing ...

**3**

votes

**2**answers

178 views

### abelian varieties with the same CM type are isogenous

Does anybody have a reference for the following fact?
All abelian varieties with complex multiplication and same CM type are isogenous over $\overline{\mathbb{Q}}$?
Here abelian variety with ...

**1**

vote

**1**answer

149 views

### Algebraic Hodge decomposition of CM abelian varieties

On p. 205 of Katz's paper entitled "p-adic L-functions for CM fields" Katz says that
"Shimura's algebraicity theorem, in our context, is an easy consequence of the fact that Hodge decomposition of ...

**2**

votes

**1**answer

120 views

### Potential good reduction of abelian varieties

In Corollary 3 on page 498 of the article "Good reduction of abelian varieties" it says that, under some specified conditions, the minimal subextension $L/K$ of $\overline{K}/K$ over which an abelian ...

**1**

vote

**0**answers

80 views

### A question on Kähler differentials and cotangent spaces on schemes

I have the following question (should be easy for those who know something about the field):
On page 92 (97 of the old edition) of Mumford's book "Abelian varieties", the author talks about an ...

**4**

votes

**1**answer

139 views

### Conductor CM abelian variety

This is probably well known but I am not an expert in the subject.
Given an abelian variety $A$ of dimension $g$ with CM by $O_K$ where $K$
is a CM field of degree $2g$, let $N_A$ be the norm of the ...

**6**

votes

**0**answers

136 views

### where do CM abelian varieties get good reduction?

Let $A$ be an abelian variety over $\overline{\mathbb{Q}}$ and assume that $A$ has complex multiplication by the ring of integers of a CM field $K$. Then $A$ has potentially good reduction, that is: ...

**11**

votes

**3**answers

624 views

### Why study CM abelian varieties?

I know that abelian varieties of CM type have central importance in algebraic geomtry and number theory. There are many conjectures and concepts related to them like Andre-Oort, Coleman conjecture, ...

**0**

votes

**0**answers

165 views

### Hodge structure of abelian surfaces

In my case, I have an abelian surface $A$ of (2,8)-polarization, and I have some finite group (may not be abelian group) $G$ acting on $A$ without fixed point. I want to understand when there is a ...

**3**

votes

**1**answer

155 views

### Covering of Abelian variety by product of elliptic curves

Let $A$ be an complex abelian variety of dimension $n$. Is it possible to find $n$ elliptic curves $E_1,\dots,E_n$ such that the product $E_1\times \dots \times E_n$ of the elliptic curves etale ...

**4**

votes

**0**answers

89 views

### Effect of Hecke transform on the Mumford-Tate group

Let $Sh_{K}(G,X)$ be a Shimura variety and $Z\subset Sh_{K}(G,X)$ be a special subvariety. $Z$ is given by a Shimura sub-datum $(H,Y)$ with $H\subset G$ an algebraic subgroup which I call the ...

**8**

votes

**0**answers

131 views

### Are automorphisms of abelian varieties detected by the formal group?

Let $A$ be an abelian variety of dimension $g$ over an algebraically closed field $k$.
Assume $k$ has characteristic $p$ and denote by $A(p)$ the $p$-divisible group of dimension $g$ associated with ...

**10**

votes

**0**answers

359 views

### Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac ...

**6**

votes

**1**answer

349 views

### What is the motivation for defining the conductor of an abelian variety?

Let $K$ be a $p$-adic field, and let $A$ be an abelian variety over $K$. The conductor of the abelian variety is often defined as $2u+t+\delta$, where $u$, $t$ and $\delta$ are invariants related to ...

**4**

votes

**0**answers

105 views

### Are torsion points in a semi-abelian variety over $\mathbb C_p$ bounded?

Let $A$ be a semi-abelian variety defined over (a subfield of) $\mathbb C_p$. Consider its $p$-adic topology with some (non-canonical) metric. Can we bound the distance of torsion points to $0$ with ...

**5**

votes

**1**answer

191 views

### Picard number of principally polarized abelian varieties

Let $A$ be an abelian variety of dimension $n$. Over $\mathbb{C}$, at least, it is known that the Picard number (that is, the rank of the Neron-Severi group of $A$) is less than or equal to $n^2$, ...

**4**

votes

**1**answer

266 views

### Fourier-Mukai transform for abelian varieties

Let $A$ be an abelian variety over $\mathbb{C}$, $L$ be a very ample line bundle on $A$, then the dual abelian variety is $\hat{A} \cong A/K(L)$ with $K(L)$ the kernel of surjective morphism $A \to ...

**5**

votes

**2**answers

159 views

### can all CM types be realized by Jacobians?

The question is kind of self contained, but let me develop a bit further.
Assume K is a CM field of degree $2g$, that is, a quadratic imaginary extension of a totally real field. A CM type of $K$ is ...

**3**

votes

**2**answers

346 views

### Faltings height of a CM abelian variety

Let A be a CM abelian variety, say simple of dimension g, with $End(A) = O_K$, where $K$ is a CM field
of degree $2g$.
Is there an upper bound for the Faltings height $h(A)$ in terms of the ...

**2**

votes

**1**answer

338 views

### Connected cycles of Shimura curves in $A_{g}$ not contained in larger Shimura subvarieties

Is there always a finite family of Shimura curves $(C_{i})$ in $A_{g}$ the moduli space of principally polarized abelian varieties of dimension $g(\geq 2)$, such that the union $\cup C_{i}$ is ...

**1**

vote

**0**answers

110 views

### algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields

(transcendence of canonical heights)
Is the NĂ©ron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...

**0**

votes

**1**answer

345 views

### Minimal polynomial of symmetric endomorphism on abelian variety

Let $(A,\Theta)$ be a principally polarized abelian variety over an algebraically closed field $k$, and let $f$ be a symmetric endomorphism of $A$ (that is, $f^\dagger=f$ where $\dagger$ denotes the ...

**0**

votes

**2**answers

235 views

### Picard number of abelian variety [closed]

I would like references or a result about the computation of the picard number of the jacobian of an algebraic curve.
What about the special case when the picard number of the Jacobian is one (is ...

**0**

votes

**1**answer

135 views

### Isogeny of abelian varieties

Suppose we have a curve $X$ (of genus $\geq 3$), and we know that $\{\phi_i : X \to E_i\ \textrm{ for } i = 1, ..., r\}$ are covers of degrees $d_i$ (with the $d_i$'s not necessarily all equal), ...

**1**

vote

**0**answers

110 views

### stably birational abelian varieties are isomorphic

Can anybody help me to prove the following result:
Proposition. Let $A$ and $B$ be abelian varieties over a field $k$ of characteristic zero. Assume that $A \times \mathbb{P}_k^n$ and $B \times ...

**2**

votes

**1**answer

116 views

### Dual of a Complex 2-Torus

Is a complex torus $A$ of dimension 2 always isomorphic to its dual torus (i.e. the torus obtained by taking the dual lattice), or are there counterexamples to this?

**5**

votes

**0**answers

145 views

### Kernels and cokernels for morphisms of abelian schemes up to isogenies

For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. ...