All Questions
481 questions with no upvoted or accepted answers
1
vote
0
answers
125
views
Different ways to construct the isogeny category of abelian varieties
Let $k$ be a field and let $\mathbf{AV}_{/k}$ be the category of abelian varieties over $k$. I'm interested in different definitions of the isogeny category of $\mathbf{AV}_{/k}$.
Of course, the ...
- 804
1
vote
0
answers
213
views
Exterior power of Hodge structures
Let $V$ be a $\mathbb{Q}$-vector space and suppose there is a decomposition of $V_{\mathbb{C}}:=V \otimes_{\mathbb{Q}} \mathbb{C}$ into two $\mathbb{C}$-sub-vector spaces i.e., $V_{\mathbb{C}} \cong V^...
- 1,593
1
vote
0
answers
102
views
About Definition 2 in Roĭtman's Paper
Let $A(X)$ be the Chow group of $0$-cycles on a nonsingular irreducible projective variety $X$ over an uncountable algebraically closed field of characteristic zero.
In Definition 2 of Roĭtman's paper ...
- 519
1
vote
0
answers
97
views
$p$-power torsion points of abelian varieties along $p$-adic Lie extensions
Let $p$ be a prime and $K$ be a number field. Let $K_\infty$ be a uniform $p$-adic Lie extension of dimension $l$ over $K$ with unique intermediate fields $K_n$ of degree $p^{nl}$ over $K$. We ...
- 81
1
vote
0
answers
164
views
From a factor of automorphy on an abelian variety to a divisor
Given a complex abelian variety $A = V/\Gamma$ (for $\Gamma$ being a lattice in the complex vector space $V$), one knows how to describe a holomorphic line bundle in terms of factors of automorphy: By ...
- 12.1k
1
vote
0
answers
78
views
Elliptic fibrations on some Kummer surface in characteristic $2$
In the question I ask about one elliptic fibration on the surface
$$
K\!: y^2 + x_1x_2y = (x_1x_2)^2(x_1 + x_2 + 1) + (x_1 + x_2)^2.
$$
over a finite field $\mathbb{F}_q$ of characteristic $2$ such ...
- 1,833
1
vote
0
answers
242
views
Harmonic forms on a complex torus
Let $T=\mathbb{C}^3/\Lambda$ be a complex torus of our interest and $L$ be a holomorphic line bundle on $T$, I am interested in $H^{0,2}_{\bar\partial_L}(T,L)$, i.e., the $(0,2)$ harmonic forms taking ...
- 954
1
vote
0
answers
213
views
Isogeny and canonical isomorphism of global highest differential forms
Let $A$ and $B$ be Abelian Varieties of dimension $d$ over a local field $K$. Let $\phi : A \rightarrow B$ be an isogeny and $\phi^{\prime}$ its dual.
Recall that one has a canonical isomorphism $...
1
vote
0
answers
51
views
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
Let $\mathbb{F}$ be a finite field and let $q$ be its number of elements. Let $(C,\mathcal{O}_C)$ be a geometrically irreducible smooth projective curve over $\mathbb{F}$ and let $K=\mathbb{F}(C)$ be ...
- 1,479
1
vote
0
answers
192
views
Integer solutions of Diophantine equation $y^2= 1+4n^{\underline k} $
I am looking for the integer solutions for the diophantine equation $y^2 =4n(n-1)(n-2)\cdots (n-k+1)+1$ for a given $k$ where $n>k+1>5$.
In other words,
$$y^2=1+4n^{\underline k},\tag{I}$$
where ...
1
vote
0
answers
96
views
Polarization of Prym varieites
I'm trying to understand polarization and rational Hodge structure of spectral curves and Prym varieties.
Excuse me that this is similar to my previous question.
I want to prove the following,
Let $X$...
- 297
1
vote
0
answers
153
views
A map on Jacobians coming from a correspondence explicitly
From this question, we know that every map of the form $J(C) \to J(C)$ for a curve $C$ and it's jacobian $J(C)$ comes from a correspondence between $C\times C$ and in fact we can take this ...
- 7,746
1
vote
0
answers
504
views
The Picard scheme of an ordinary singular curve
Let $k$ be an algebraically closed field, $C$ a proper reduced connected scheme over $k$ of dimension 1, whose singularity is at worse ordinary, $\pi : \tilde{C} \to C$ the normalization of $C$ and $...
- 1,364
1
vote
0
answers
100
views
When a CM abelian variety has complex multiplication by $\mathcal{O}_E$?
I'm reading Milne's note, Complex Multiplication. There are many properties, such as Shimura-Taniyama Formula provided that $A$ is an abelian variety with complex multiplication by $\mathcal{O}_E$. So ...
- 59
1
vote
0
answers
299
views
Application of Galois descent
I not understand an assumption done at the beginning of the proof of Rigidity lemma in Moonens and van der Geers book about Abelian variaties (page 12). Here is it:
Question: Why the assumption $k= \...
- 5,996
1
vote
0
answers
194
views
Nef divisors on abelian varieties are pullbacks of ample ones
It is well known that for any polarization ( that is, ample line bundle) $L$ on an abelian variety $A$, there is an isogeny $\phi\colon A \to B$ to another abelian variety with a principal ...
1
vote
0
answers
325
views
Compatiblity of completion and fibre products. (Formal completion and formal groups)
Let $S$ be a scheme (not necessarily locally noetherian), $X$ a smooth separated group scheme over $S$, and $\hat{X}$ be the formal completion along with the identity section.
Then does the group ...
- 1,364
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
1
vote
0
answers
157
views
Application of Stein factorisation: rigidity lemma
Let $X,Y$ Noetherian schemes and $f:X \to Y$ proper map. The Stein factorisation factorizes $f$ as $X \xrightarrow{g} Spec \text{ } f_* \mathcal{O}_X \xrightarrow{h} Y$ with $h$ finite and $g$ has ...
- 5,996
1
vote
0
answers
75
views
Is there a non-singular irreducible genus $2$ curve $C/\mathbb{F}_p$ and two $\mathbb{F}_p$-coverings $C \to E$, $C \to E^{(1)}$ of some degree $n$?
Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$), $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$)
$$
E\!:y_1^2 = ...
- 1,833
1
vote
0
answers
256
views
Deformation of $p$-divisible group
To try to understand the deformation of $p$-divisible group more explicit, I am thinking given a connected $p$-divisible group $G_0$ on $\overline{\mathbb{F}_q}$, Choose a deformation $G$ of $G_0$ ...
- 397
1
vote
0
answers
524
views
List of Automorphism groups of Abelian Varieties for Dummies
(%Edited after abx comment%)
I seek explicit linear integral representations $\rho: Aut(X,\omega) \to Sp_{2g}(\mathbb{Z})$, when $(X,\omega)$ is complex $g$-dimensional PPAV. I prefer explicit ...
- 2,274
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
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
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
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
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
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 $...
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
1
vote
0
answers
162
views
Theta functions, a natural basis.
Let $L$ be the principal polarization of an abelian variety $A$. Some people say that the theta functions with characteristics form a natural basis of the global section $\Gamma(A,L^{\otimes n})$ for $...
- 11
1
vote
0
answers
67
views
Basis of homomorpshims of abelian varieties with minimal degree
Let $A, B$ be simple abelian varieties of dimension $g$ defined over a finite field $k$. We know that $Hom_k(A, B)$ is a free $\mathbb{Z}$-module of dimension $2g$.
Is it always possible to have a $\...
- 389
1
vote
0
answers
187
views
Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two
What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
- 1,702
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
- 2,323
1
vote
0
answers
118
views
Poincare complete reducibility with an endomorphism ring
Let $A$ be an abelian variety over a field of characteristic $0$ and let $R \subset \mathrm{End}(A)$ be a (commutative, if that matters) subring. Suppose that $B \subset A$ is an $R$-stable abelian ...
- 2,663
1
vote
0
answers
102
views
Base locus of the Eigen spaces of global sections of totally symmetric line bundle
Let $X$ be an abelian surface over complex numbers. Let $L$ be a totally symmetric line bundle of type $(r,r)$ for $r\geq 2$.
The involution $i$ on $X$ gives an action on $H=H^0(X,L)$ thus giving a ...
- 179
1
vote
0
answers
189
views
Mumford's claim on the quasi-projectiveness of the coarse moduli of ppav over $\mathbb{Z}$
In paragraph 3 of chapter 7 of Mumford's Geometric Invariant Theory, the author proves that the coarse moduli space $A_{g,d,n}$ of abelian varieties of dimension $g$, with a degree $d^2$ polarization ...
user85435
1
vote
0
answers
117
views
Need information about particular kind of quotients of semisimple algebraic groups by free abelian discrete subgroups
Let me start with the simplest version of the question since already there I don't know anything.
For a complex number $q$, consider the quotient space $X_q:=\mathrm{SL}_2(\mathbb C)\left/\left\{\...
- 18.4k
1
vote
0
answers
140
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.
Now,...
- 3,779
1
vote
0
answers
147
views
Ampleness of the Canonical Bundle for Siegel Modular Varieties
Background
Throughout I only work with varieties over $\mathbb{C}$.
For $p$ a prime number, Let $Y(p)$ denote the modular curve parametrizing elliptic curves together with full $p$-torsion structure,...
- 2,834
1
vote
0
answers
120
views
Vanishing theorems that work in positive characteristic
Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...
- 1,981
1
vote
0
answers
284
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 \...
- 21
1
vote
0
answers
155
views
$k$-isogenies and $k$-subgroups of abelian varieties
Let $k$ be a field of char0, with algebraic closure $\bar{k}$. Let $A$ be an abelian variety over $k$ of positive dimension and let $d\geq 1$ be an integer.
Let $S(A,k,d)$ be the set of abelian ...
1
vote
0
answers
211
views
Bound for field of definition (vs field of moduli) of an abelian variety
Let $A$ be a principally polarised abelian variety over $\mathbb{C}$ of dimension $g$.
Let $K$ be the field of moduli of $A$.
Proposition. $A$ has a model defined over an extension $L$ of $K$ such ...
- 1,500
1
vote
0
answers
102
views
do commutative groups torsors have a point in an Abelian extension of the base field?
Let $A$ be a principal homogeneous space for a commutative algebraic group defined over a field $k$ that contains all roots of unity. Is it true that $A$ has a $K$-point for an extension $K \supset k$ ...
- 4,070
1
vote
0
answers
301
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
- 165
1
vote
0
answers
271
views
Existence of a point on the Shimura variety of PEL-type correponding to a specific abelian variety
I have been puzzle by the following question for a while. Suppose that we have an a Shimura variety $Sh(G,h_0)$ given by some datatum $(L, V, \psi, h_0)$ such as in Section 4.9 of "Travaux de Shimura"...
- 570
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
1
vote
0
answers
335
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
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
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