All Questions
2,495 questions
5
votes
2
answers
283
views
Rank of jacobians of twists of hyperelliptic curves of genus one
For $a,b \in \mathbb{Z}$ we define the binary quartic form
$$\displaystyle F_{a,b}(u,v) = a(u^2 - v^2)^2 + 4bu^2 v^2.$$
We shall assume throughout that the discriminant
$$\Delta(F_{a,b}) = 4096a^2 b^2 ...
- 2,616
6
votes
1
answer
249
views
Can we construct a dessin of any genus with a cyclic automorphism group of any order?
We consider a dessin d'enfant $D$ as a bipartite graph $D$ on a complex oriented surface $S$, such that the complement $S \backslash D$ is homotopic to a collection of disks.
Definition: Let an ...
- 28.9k
5
votes
1
answer
420
views
Lifting $\mathfrak{sl}_2$-triples
Let
$k$ be an algebraically closed field,
$G$ a (smooth, connected) reductive algebraic group over $k$,
$H$ a (smooth, connected) reductive group of semisimple rank 1, and
$T$ a maximal torus in $H$.
...
- 631
1
vote
0
answers
152
views
Image of pullback for Brauer groups
If a have a dominant morphism $\pi:X \rightarrow \mathbb{P}^{1}$ where $X$ is a projective, geometrically integral $k$-scheme. Then this gives rise to a pullback map
\begin{align*}
\pi^{*}:\text{Br}(k(...
- 481
5
votes
0
answers
303
views
2-descent on elliptic curves, and units modulo squares of units
Setup: Let $p$ be a prime, let $f(x) \in \mathbb{Q}_p[x]$ be a separable monic cubic polynomial cutting out the maximal order $\mathcal{O}_{K_f}$ in the etale algebra $K_f := \mathbb{Q}_p[x]/(f(x))$, ...
7
votes
0
answers
167
views
Simultaneous reductions of elliptic curves: same number of points $|E(\Bbb F_p)| = |E'(\Bbb F_p)|$ for some prime $p$?
$
\newcommand{\End}{\mathrm{End}}
\newcommand{\Gal}{\mathrm{Gal}}
\newcommand{\kb}{\overline{k}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\Q}{\mathbb{Q}}
$
Let $E,E'$ be ...
- 1,742
2
votes
0
answers
85
views
Are there non-trivial $\mathbb{F}_q$-covers of the j-invariant 0 elliptic curve by a hyperelliptic or cyclic trigonal curve?
Consider the ordinary elliptic curve $E\!: y^2 = x^3 + b$ (of $j$-invariant $0$) over a finite field $\mathbb{F}_q$ such that $\sqrt{b}, \sqrt[3]{b} \not\in \mathbb{F}_q$. Also, for any $n \in \mathbb{...
- 1,833
3
votes
0
answers
151
views
Computing the group structure of $J(\mathbb{F}_q)$
Let $k$ be a finite field, $X/k$ a smooth curve, $f$ a polynomial of 2 variables which gives an affine model of $X$ and $J$ its Jacobian.
Then how can I compute $J(k)$?
If $X$ is a hyperelliptic curve,...
- 1,364
2
votes
1
answer
608
views
Do we have Hodge symmetry for char $p$?
Let $X$ be a smooth projective variety over a field $k$. Let $h^{p,q}=dim_k H^q(X,\Omega_{X/k}^p)$ be the Hodge numbers.
If $k$ is of char $0$, by Lefschetz principle, we always have Hodge symmetry, i....
- 28.8k
8
votes
2
answers
704
views
Isomorphic endomorphism algebras implies isogenous (for abelian varieties over finite fields)?
$\newcommand{\F}{\mathbb{F}}
\newcommand{\End}{\mathrm{End}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}$
I would like to know if the following is true:
Proposition A : Let $A_1, A_2$ ...
- 5,050
7
votes
0
answers
181
views
In what sense do the real and complex places correspond to setting q equal to 1 or -1?
It often happens that if we have a scheme $X/\mathbb Z$ (or an open subset thereof) and we denote by $p(q) = X(\mathbb F_q)$, then $p(1)$ and $p(-1)$ compute the euler characteristic of $X(\mathbb C)$ ...
- 7,746
2
votes
1
answer
348
views
What is a generic pencil?
In Voisin book "Hodge theory and Complex Algebraic Geometry 2". There is the following corollary
Corollary 2.10. If $X\subset \mathbb{P}^N$ is a smooth projective complex variety, then a ...
- 35.2k
1
vote
0
answers
255
views
Construction of the Hilbert Scheme
I am reading the book "Rational Curves on Algebraic Varieties" of János Kollár. Definition-Proposition 1.2, begin like this:
Let $g:Y\rightarrow Z$ be a projective morphism and $\mathcal{O}(...
- 519
4
votes
1
answer
322
views
Understanding full set of sections as in Katz-Mazur
I was reading this question, specifically Brian's answer. In particular I am having a bit of trouble digesting the following sentence:
Being a "full set of sections" of $Z/S$ is something which is ...
- 63.9k
4
votes
1
answer
309
views
Torsion points on $E/\mathbb{Q}$ with large coordinates
Let $E/\mathbb{Q}$ be an elliptic curve with finitely many rational points.
What are some examples where at least one rational point has large coordinates (compared to the height of $E$)?
- 35.5k
0
votes
1
answer
212
views
Common prime of the finite number of order of imaginary quadratic field
This is from Silverman's 'the arithmetic of elliptic curves', exercise 5.5.
Let $K$ be an imaginary quadratic field, and let $R_1...R_n$ be orders in $K$.
I would like to prove that there are more ...
- 28.2k
3
votes
0
answers
208
views
Schemes with common zeta function
If $S_\zeta$ is the set of all separated schemes of finite type over $\mathbb{Z}$ that have the same arithmetic zeta function $\zeta$, what more can we say about $S_\zeta$ assuming it is non-empty?
- 31
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 28.2k
13
votes
0
answers
786
views
Seek for a algebro-geometric proof: the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective
It is a well-known fact that the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective.
What I want is a proof by method of algebraic geometry. ...
- 1,168
2
votes
0
answers
209
views
Is there a smooth proper family whose fibers are not Mazur-Ogus?
Set $K$ to be a number field, denote by $\mathcal{O}_K$ the integer ring of $K$. My question is the following:
Is there a smooth proper family $X \to \mathcal{O}_K$ whose fibers are not Mazur-Ogus?
- 519
7
votes
0
answers
197
views
Zariski dense $K$-points for any non-trivial finite Galois extension $K/\mathbb{Q}$
Let $V$ be a smooth $\mathbb{Q}$-variety. Assume that for any non-trivial finite Galois extension $K/\mathbb{Q}$ the $K$-points are Zariski dense in $V$. Must $V$ have a $\mathbb{Q}$-point then?
- 89
9
votes
2
answers
910
views
Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump
Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
- 2,607
6
votes
1
answer
309
views
An explicit equation of the canonical morphism $X_1(N) \to X_0(N)$
I know there are some research about explicit equations for affine models in $\mathbb{A}^2$ of many modular curves over $\mathbb{Q}$, for example of $X_i(N), X(N)$ (where $i = 0, 1, 2$) for small $N$.
...
- 20.8k
5
votes
4
answers
1k
views
The integral closure $\overline{\mathbb{Z}}$ and the group $\overline{\mathbb{Z}}^{\times}$
Let $\mathbb{Q}$ be the field of rational numbers, and let $\overline{\mathbb{Q}}$ be its algebraic closure. Assume $\overline{\mathbb{Z}}$ is the integral closure of $\mathbb{Z}$ in $\overline{\...
- 20.8k
0
votes
0
answers
75
views
An invariant subspace under $G_Q$ action , and BSD-rank
Let $E/Q$ be an elliptic curve. $E(\bar{Q})$ is a complicated abelian group, which equals to all closed points of $\bar{E}$, and also, a $G_Q$-Galois module. Its torsion part, $E(\bar{Q})_{tor}$ is a ...
- 547
6
votes
2
answers
533
views
Künneth formula for de Rham cohomology with respect to an integrable connection
I am reading through https://stacks.math.columbia.edu/tag/0FM9 which proves that for $X,Y$ schemes over some base $S$ and $X \times _S Y \overset{p}{\rightarrow} X$ resp. $X \times _S Y \overset{q}{\...
- 1,144
10
votes
1
answer
564
views
Fargues's Theorem for $Spa(C,C^+)$ (rather than $Spa(C,O_C)$
$\DeclareMathOperator\Spa{Spa}$Fargues's Theorem for $\Spa(C,O_C)$ states that the category of (mixed characteristic) shtukas with one paw at $x_C$ is equivalent to the category of Breuil-Kisin-...
- 435
4
votes
0
answers
277
views
Explicit computations of the fundamental groups of perfectoid spaces
If $X$ is a perfectoid space then it has the same étale site as its tilt $X^\flat$. This means that the fundamental groups (suitably defined) of $X$ and $X^\flat$ are isomorphic.
Can you give ...
- 41
2
votes
0
answers
243
views
Cartier operator and logarithmic differentials
Let $k$ be an algebraically closed field of characteristic $p$, let $C$ be a curve over $k$ and let $\omega$ be a meromorphic differential form on $C$. If $\omega$ gets mapped to itself by the Cartier ...
- 75
3
votes
0
answers
539
views
A question on the Bombieri-Lang conjecture
Let $X$ be a variety of general type, defined over a number field $K$. Then the Bombieri-Lang conjecture asserts that the set of rational points $X(K)$ (or $X(L)$ for any finite extension $L/K$) is ...
- 27k
3
votes
2
answers
426
views
Galois stable elements of the Picard group of a curve and the rational divisors
Let $C$ be a (smooth,proper) curve over a field $k$. Let $\operatorname{Div}_C(k)$ be the free abelian group generated by the closed points of $C/k$ and $k(C)^\times$ be the group of rational ...
- 1,000
6
votes
0
answers
438
views
Brauer-Manin obstruction to surfaces of Kodaira dimension 1
Roughly speaking, the Kodaira dimension is an invariant of a variety that corresponds to curvature. One can show that curves of genus $\geq 2$ have Kodaira dimension 1 using Riemann-Roch. In Corollary ...
- 998
1
vote
0
answers
152
views
Rational points on towers of surfaces
Take infinitely many 2-variable polynomials $p_k(X,Y)\in \mathbb{Q}[X]$ ($k\in \mathbb{N}$) and let $S_n$ be the surface given by $p_1(X,Y)=Z_1^2,\dots, p_n(X,Y)=Z_n^2$
Assume that no $p_k$ equals the ...
- 2,959
1
vote
1
answer
190
views
Complexity of a Diophantine equation having $\leq1$ solutions
We are provided a single Diophantine equation
$$f(x_1,\dots,x_n)=0$$
having degree $\geq2$ and having the promise it has $\leq1$ solutions in the set $\{0,\dots,m-1\}^n$ and $t$ is the number of terms ...
- 13.9k
19
votes
1
answer
2k
views
Perfectoid approach to resolution of singularities in char $p$
Since perfectoid techniques have built a bridge between char $0$ and char $p$ worlds, it is conceivable that they can be applied to resolution of singularities in char $p$ using their successful ...
- 21.3k
8
votes
1
answer
317
views
What's the average order of the reduction of a section of an elliptic curve
Suppose $E$ is an elliptic curve over $\mathbb Q$ and $x \in E(\mathbb Q)$ is not torsion. We can reduce $x \pmod p$ for a prime $p$ of good reduction and it will have some order $n_p$ in the group $E(...
- 5,089
3
votes
1
answer
475
views
To identify $p$-adic Tate module $T_p(G)$ of $p$-divisible group $G$ in the category $\text{Rep}_{\mathbb{Q}_p}(G_{K_\infty})$
Let $k$ be a perfect field of characteristic $p>0$, $W=W(k)$ its ring of Witt vectors, $K_0=W(k)[\frac{1}{p}]$ and, $K/K_0$ be a totally ramified extension. Let $\pi \in K$ be an uniformizer.
...
- 166
4
votes
1
answer
638
views
perfect fields in positive characteristic
Let $k$ be an infinite perfect field in positive characteristic $p$, i.e. every element of $k$ is a $p$th power. I am interested in properties of finite fields that can be extended to $k$. For example:...
- 168
2
votes
0
answers
381
views
A computation of the rank of the Jacobian of a hyperelliptic curve over a number field using MAGMA
In this paper,
the authors says that, in order to show the rank of a Jacobian over $\mathbb{Q}$ is 0, they use the L function.
In the section 3.3, the authors compute the rank of the Jacobian of $X_1(...
- 1,364
3
votes
0
answers
306
views
Why the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$?
According to both sagemath and Magma the curve $x^2+y^2+y+1=0$ has only one point over $\mathbb{F}_{3^7}$.
The projective closure has only one point too.
Q1 What hypothesis are missing to not violate ...
- 25.4k
9
votes
2
answers
520
views
Chevalley-Warning-Ax for double covers
Let $f(x_1,\ldots,x_n)$ be a polynomial of degree $d$ with coefficients in the finite field $\mathbb F_q$ and let $V(f)\subseteq\mathbb F_q^n$ be its set of zeroes. Assume $d<n$. Then Chevalley ...
- 15.5k
5
votes
0
answers
328
views
Ramification behavior of field given by adjoining $p$-torsion point on formal group of abelian variety
Setup. Let $p > 2$ be a prime, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and fix an algebraic closure $\overline{K}$ of $K$. Let $A/K$ be an abelian variety ...
- 998
3
votes
1
answer
418
views
Mordell–Weil rank of some elliptic $K3$ surface
Consider a finite field $\mathbb{F}_q$ such that $q \equiv 1 \pmod3$ (i.e., $\omega \mathrel{:=} \sqrt[3]{1} \in \mathbb{F}_q$ for $\omega \neq 1$) and an element $b \in (\mathbb{F}_q^*)^2 \setminus (\...
- 13k
3
votes
1
answer
309
views
Integral models and adelic points
Let $k$ be a number field and denote by $\Omega _k$ the set of places of $k$, by $\Omega _\infty$ the set of archimedean places of $k$, and by $S$ a nonempty finite subset of $\Omega _k$ such that $\...
- 1,093
1
vote
1
answer
154
views
The orders of $\mathbb{F}_{p^n}$- rational points of a fixed abelian variety and MAGMA computation
Let $A$ be an abelian variety over $\mathbb{F}_p$.
Then of course for every natural number $i$, we have that $\# A(\mathbb{F}_{p^i})$ divides $\# A(\mathbb{F}_{p^{i+1}})$.
But MAGMA says this is false:...
- 875
4
votes
1
answer
479
views
Frobenius actions on de Rham cohomology of ordinary elliptic curves
In appendix 2 of Katz's "p-Adic properties of modular schemes and modular forms", he describes a certain "Frobenius" endomorphism on the de Rham cohomology of ordinary elliptic ...
- 37k
18
votes
1
answer
3k
views
Conjectures of Peter Scholze about q-de Rham complex: examples
Peter Scholze formulated several conjectures about $q$-de Rham complex in the paper
Canonical $q$-deformations in arithmetic geometry, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 5, pp 1163–...
- 21.3k
13
votes
2
answers
950
views
Is there an $\mathbb{R}$-valued cohomology theory for varieties over $\mathbb{F}_p$?
If $E$ is a supersingular elliptic curve over $\mathbb{F}_{p^m}$ with $m\geq 2$ its endomorphism ring is a maximal order in a quaternion algebra ramified at $p$ and $\infty$ so there can't be a Weil ...
- 21.3k
10
votes
1
answer
592
views
Brauer-Manin obstruction on an open subset of an elliptic curve
First a disclaimer. This is an old question that I considered years ago and that I recently remembered. Since I am no longer in active research it may be considered as 'idle curiosity', although I ...
- 63.9k
4
votes
2
answers
362
views
Does this modified Hasse principle hold for curves?
Let $C$ be a curve over $\mathbb Q$ with a point $P$ on $Pic^1$. For each $\mathbb Q$-rational point $Q$, $Q-P$ is a point on the Jacobian $J$. We can use the map $H^0(\mathbb Q, J) \to H^1(\mathbb Q,...
- 28.8k