All Questions
1,203 questions
3
votes
0
answers
301
views
Galois invariant of Tate module
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $V$ be a de Rham representation of $G_K=\operatorname{Gal}(\overline{K}/K)$. By Corollary 3.8.4 of Bloch and Kato - L-functions and Tamagawa ...
- 247
3
votes
1
answer
259
views
Stabilizers in abelian varieties are also abelian? reference request
Let $K$ be a field of characteristic $0$ (number fields is a sufficient generality), $A/K$ an abelian variety, and $X\subseteq A$ a closed reduced subscheme.
I am looking for a reference for the ...
- 28.8k
11
votes
2
answers
1k
views
Representations of $\mathrm{SL}(2)$ in characteristic 2
$\DeclareMathOperator\SL{SL}$In characteristic zero one can use the Clebsch-Gordan rule to decompose tensor products of $\SL(2)$-modules. In characteristic $p$, things are more complicated.
I am ...
- 63.9k
3
votes
1
answer
459
views
Frobenius functor and length of local cohomology
Let $(R,\mathfrak{m})$ be a Noetherian local ring of positive prime characteristic $p$ and let $F$ be the Frobenius functor. Write $d$ for dimension of $R$. Assume that for some $0\leq i< d $ the ...
- 2,821
4
votes
0
answers
215
views
Reference request: Radicial morphisms & Jacobson-Bourbaki correspondence
My name is Chemy (Przemysław). I am a PhD student at UvA (Amsterdam), and I work on projects related to foliations in algebraic geometry in positive characteristic. Therefore I am avidely reading two ...
- 485
2
votes
1
answer
690
views
Restricted universal enveloping algebra of Abelian p-Lie algebra
Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$.
Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
- 4,492
1
vote
1
answer
125
views
The upper bound of number of the automorphism of principal polarization of abelian variety over algebraically closed field
I would like to find a upper bound of principal polarization of abelian variety in the following stiution:
Suppose $A$ is an abelian variety over a $char=0$ algebraically closed field. And for any two ...
- 2,616
4
votes
0
answers
209
views
𝔾ₘ extensions vs line bundles over abelian varieties
Given a complex polarized abelian variety $V$, we can define a map $$\operatorname{Ext}^1\left(V, \mathbb{G}_m\right) \to \operatorname{Pic}\left(V\right)$$
by viewing an extension as a $\mathbb{G}_m$-...
- 834
1
vote
1
answer
386
views
Cohomology of the dual Abelian variety
I am interested in the (degree $1$) Betti cohomology of the dual $A^\vee$ of an Abelian variety $A$ (say, over $\overline{\mathbb{Q}}$). We can even assume $A$ to be an elliptic curve, if this makes ...
CommunityBot
- 1
4
votes
1
answer
362
views
Type vs degree of a polarized abelian variety
Let $(A,L)$ be a polarized abelian variety. I know that the degree of the polarization is the Euler characteristic of $L$, so that
$d = \chi(L) = \dim H^0(A,L)$
since $L$ is ample.
I've read in a lot ...
- 1,803
2
votes
0
answers
191
views
Picard and Rosati for elliptic curves
I would like to ask for confirmation whether the following argument is correct.
We work over an algebraically closed field $k$ of characteristic $0$. For an elliptic curve $E$, the Picard variety, or ...
- 533
6
votes
1
answer
506
views
Degree-2 étale covers of curves in characteristic 2 vs torsion points on the Jacobian
It can be found, at Hartshorne exercise 4.2.7 for example, that in the case where $\operatorname{char}(k) \neq 2$ we have a nice correspondence between etale degree 2 covers of a curve $C$ and 2-...
- 12.9k
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
3
votes
0
answers
149
views
What direction does the derivation of an inseparable algebraic variable point in?
I've been thinking about the geometry of inseparable field extensions lately, since I'm studying smoothness in commutative rings in an advanced topics course this semester. I've generally come to the ...
- 1,969
3
votes
1
answer
129
views
Schur multiplier of finite-dimensional simple Lie algebras in positive characteristic
The Schur multipliers of finite simple groups are known and easily accessible:
https://en.wikipedia.org/wiki/List_of_finite_simple_groups
Moreover, as a consequence of the second Whitehead's Lemma, if ...
- 5,878
4
votes
1
answer
419
views
Tate-Shafarevich groups under finite Galois field extensions
Suppose $L/F$ is a finite Galois extension of number fields. Let $E$ be an elliptic curve over $F$ and $E_L$ its base change to $L$.
Do we have that $\text{Sha}(E/F)$ is finite if and only if $\text{...
- 8,945
3
votes
1
answer
446
views
Galois cohomology of abelian varieties
Suppose $A$ is an abelian variety over a number field $K$ and call $M$ the maximal torsion free quotient of $A(\overline{K})$ equipped with its Galois action.
For the first Galois cohomology of $M$, ...
- 1,424
6
votes
1
answer
643
views
Classification of simple Lie algebras over finite fields
Classification of simple (or simple-restricted) Lie algebras over algebraically closed fields in positive characteristic is studied for a long time. Today, we know all finite-dimensional simple (or ...
- 5,878
2
votes
0
answers
194
views
Examples of semi-abelian schemes over a curve
Let $C$ be a nice curve, i.e. $C$ is a smooth, projective, geometrically integral scheme of dimension $1$ over a field $k$. For example, (assuming the characteristic of $k$ is neither 2 or 3) an ...
- 12.9k
2
votes
0
answers
171
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
- 103
3
votes
0
answers
209
views
Endomorphisms ring of complex abelian variety under isogenies
I’m trying to understand if over $\mathbb{C}$ two abelian varieties have the same complex multiplication if and only if they are isogenous. Is it true?
If it is true this means that if I consider $A$ ...
- 14.2k
27
votes
4
answers
3k
views
Have people successfully worked with the full ring of differential operators in characteristic p?
This question is inspired by an earlier one about the possibility of using the full ring of differential operators on a flag variety to develop a theory of localization in characteristic $p$. (Here ...
- 1,228
8
votes
0
answers
261
views
Simultaneous rank jumping of elliptic curves over number fields
Here's something fun that I've been wondering about for a while out of curiosity. It has to do with the rank $\mathrm{rk}(E(K))$ of an elliptic curve $E$ over a number field $K$, and especially how it ...
- 9,497
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^...
- 12.9k
4
votes
1
answer
268
views
Is Galois representation induced by semistable elliptic curve semistable?
$\DeclareMathOperator\Gal{Gal}\DeclareMathOperator\Aut{Aut}$Let $E$ be a semi stable elliptic curve. Let $\overline{\rho_\ell}: \Gal(\overline{\Bbb Q}/\Bbb Q)\to \Aut (E[l]) $ be mod $\ell$ ...
- 10.9k
3
votes
1
answer
230
views
Universal covering of abelian variety
Let $A$ be an abelian variety over a field $K$. It is shown that its $p$-adic Tate module $T_p(A)= \varprojlim_{n} A[p^n](\overline{K}) \cong Hom(\mathbb{Q}_p/\mathbb{Z}_p,A(\overline{K})= \...
- 1,424
4
votes
1
answer
198
views
Simple restricted but not restricted simple Lie algebras
Let $F$ be a field which has a positive characteristic $p \ge 2$ and $(\mathfrak{g},[p])$ be a restricted Lie algebras over a field $F$ where $[p]$ is a $p$-th power map on $\mathfrak{g}$. $(\mathfrak{...
- 5,878
2
votes
1
answer
185
views
Finite, normal subgroups of reductive groups in positive characteristic
Consider the following statement about a connected, reductive group $G$ over a field $k$:
Every finite, normal subgroup $N$ of $G$ is central.
In characteristic $0$, this is true, and the proof is ...
- 12.9k
2
votes
0
answers
2k
views
What's the best reference for Abelian varieties?
I am curious about learning about Abelian varieties, specifically how they are in some ways generalizations of elliptic curves.
I know of the two sources: https://www.jmilne.org/math/CourseNotes/AV....
- 63.9k
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
5
votes
0
answers
268
views
Why is the Jacobian of a curve "irreducible" as a principally polarized abelian variety?
In J.P. Murre's "Reduction of the proof of the non-rationality of a non-singular cubic threefold to a result of mumford", in the proof of Theorem 3.11 he remarks that "the Jacobian of a ...
- 679
9
votes
1
answer
732
views
A question about $p$-adic monodromy of abelian varieties
Let $S_0$ be a smooth (projective?) and (geometrically) connected scheme over a finite field of characteristic $p$ and let $S$ be its base change to an algebraic closure of the finite field. Let $\pi:...
- 188
3
votes
1
answer
272
views
Product of Abelian varieties with complex multiplication
We take Abelian varieties $A_1, A_2,\dotsc,A_n$ over a number field.
If $A_1, A_2,\dotsc,A_n$ have complex multiplication, then does the product $A_1\times A_2 \times \dotsb \times A_n$ have complex ...
- 41
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
- 63.9k
1
vote
1
answer
243
views
Characterization of an Abelian surface
I have a smooth projective surface $X$, and two flat family of elliptic curves on it: $E_{1,t}$ and $E_{2,t}$, (I don't know what either $t$ runs through!) such that
(1), for any i={1，2}, the closed ...
- 921
16
votes
2
answers
1k
views
Is the tangent space functor from PD formal groups to Lie algebras an equivalence?
The previous version of this question was rather badly broken, and I hope this version makes some sense.
There have been a few questions on MathOverflow about how much representation-theoretic ...
- 35.5k
3
votes
0
answers
230
views
Toric degeneration of Kummer Surface
I am wondering if there are any explicit examples of a toric degeneration of a Kummer surface (e.g. as a family of projective varieties say), and what the central fibre can look like? (I am working ...
- 205
4
votes
0
answers
231
views
How big are small inverse powers of 2 mod powers of 3?
Let $a \bmod b$ take value as an integer in $[0, b)$. For any $T \ge 1$, for what $R \in [0, 3^n)$ is
$$\min \{2^{-t}\bmod 3^n: t =1, \dotsc, T\} := \min A_T > R?$$
When $T$ is fixed as $n$ ...
- 459
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
5
votes
1
answer
184
views
Do you know explicit examples of superelliptic curves $y^{\ell} = g(x)$ (for some prime $\ell > 3$) covering some elliptic curves?
For every elliptic curve $E$ Icart in $\S 2$ of the paper explicitly constructs a superelliptic curve $S\!: y^3 = f(x)$ and a cover $\varphi\!: S \to E$. Do you know explicit examples of superelliptic ...
- 1,833
10
votes
0
answers
438
views
Boundary of Siegel modular variety
The moduli space of curves has a compactification whose boundary can be understood as the product of moduli spaces of curves of lower genus. Therefore (perhaps naively) one might hope that there ...
CommunityBot
- 1
6
votes
0
answers
173
views
Orlik-Solomon algebra and hyperplane complements in positive characteristic
Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$.
Given a ring $R$ ...
- 728
11
votes
4
answers
3k
views
What does ramification have to do with separability?
Does ramification have anything to do with inseparability? It feels like an extension of Q in which p ramifies should somehow correspond to an extension of F_p(t). Does totally ramified <--> purely ...
- 411
6
votes
0
answers
113
views
$S_n$-invariant polynomials on the dual of reflection representation
Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
- 1,336
21
votes
5
answers
5k
views
Mirror symmetry mod p?! ... Physics mod p?!
In his answer to this question, Scott Carnahan mentions "mirror symmetry mod p". What is that?
(Some kind of) Gromov-Witten invariants can be defined for varieties over fields other than $\mathbb{C}$...
- 35.5k
3
votes
1
answer
673
views
Endomorphisms of abelian varieties with real multiplication
Let us work over $\mathbb{C}$ to make life easier.
I've came across to the following definition. Let $F$ be a totally real number field of degree $g$, with ring of integers $\mathcal{O}_F$. An ...
- 959
4
votes
1
answer
364
views
The numbers of isomorphism classes of abelian variety over finite fields
It is known that there are only finitely many isomorphism classes of abelian variety over a finite field. I am curious about the exact number of these isomorphism classes.
Explicitly, fix $g$, let $\...
- 547
5
votes
0
answers
117
views
Extension of a multiple of a rational point to an integral point of a semiabelian scheme
Let $\cal A$ be a smooth commutative group scheme over $S$, where $S$ is the spectrum of a discrete valuation ring with fraction field $K$ and residue field $k$. Suppose that $A:={\cal A}_K$ is an ...
- 3,076
10
votes
2
answers
1k
views
Geometry of Albanese image
Let $X$ be a compact Kähler manifold and $alb \colon X \to \mathrm{Alb}(X)$ be the Albanese morphism. I am interested in a number of questions about relations between the geometry of $X$ and the ...
- 988
3
votes
2
answers
396
views
Abelian varieties corresponding to Hodge substructures
In an exercise of Voisin book, says:
Let $j:C\rightarrow S$ the inclusion of a smooth curve on a smooth connected projective surface. Set
$H=ker(j_*:H^1(C,\mathbb{Z})\rightarrow H^3(S,\mathbb{Z}))$.
...
- 1,908