All Questions
2,494 questions
3
votes
1
answer
260
views
Etale cohomology of relative elliptic curve
Let $E_a: y^2 = x(x-1)(x-a)$ be a smooth proper relative elliptic curve over $\text{Spec}(A)$, with $a\in A$, and assume $\text{Spec}(A)$ is a $\text{Spec}(\mathbb{Q}_p)$-scheme.
Let $R^1f_*\mathbb{Q}...
- 2,907
1
vote
1
answer
142
views
Grössencharakter or Galois representation associated to a CM elliptic curve in characteristic $p$
When $E$ is an elliptic curve over a number field $L$, with complex multiplication by a maximal order in an imaginary quadratic field $K$, Silverman’s Advanced Topics in the Arithmetic of Elliptic ...
- 531
0
votes
1
answer
111
views
Kernel of restriction in étale cohomology of curves over number fields
Let $X$ be a smooth projective curve defined over a number field $K$. Let $\overline{K}$ denote the algebraic closure of $K$, and set $\overline{X} := X\otimes \overline{K}$. Denote by $\iota: \...
- 2,907
4
votes
1
answer
291
views
Effective version for Silverman’s specialization theorem
In his paper, Silverman proves Theorem C (page 208, the indexes of the pages don't match the file), which says that the set $$\{t\in C^0(\bar{K})\mid \sigma_t \text{ is not injective}\}$$ is a set of ...
- 463
7
votes
0
answers
148
views
Is the $\ell$-adic cohomology ring of a cubic threefold a complete invariant?
The only interesting $\ell$-adic cohomology of a smooth cubic threefold $X$ is $H^3(X,\mathbb{Z}_{\ell}(2))$, which is isomorphic as a $\mathrm{Gal}_k$-module to $H^1(JX,\mathbb{Z}_{\ell}(1))^{\vee}$ ...
- 679
3
votes
0
answers
336
views
The local global principle for differential equations
Are there any good reference to tackle the problem below?
Or, are there any know result?
Problem
Let $f_1...f_n\in \mathbb{Z}[x_1,..,x_n]$ and $V:\mathbb{R}^n\rightarrow \mathbb{R}^n$ be a vector ...
- 328
3
votes
1
answer
212
views
Isocrystal with no $F$-structure
$\DeclareMathOperator\Isoc{Isoc}$Let $X_k$ be a quasiprojective $k$ scheme, with $k$ finite, and let $X_K$ be the rigid analytic space lifting it to the fraction field of its Witt ring, which I denote ...
- 2,907
4
votes
0
answers
129
views
How does one compute the group action of the automorphism group on integral cohomology?
Suppose I have a curve $X$ (for concreteness, we can take $X$ to be a smooth, projective curve over a finite field $\mathbb F_q$, and even more concretely consider the family of curves described by ...
- 7,746
3
votes
0
answers
141
views
Monodromy action on the period domain in the Lawrence-Venkatesh paper
Let $Y\longrightarrow X$ be a smooth proper map of smooth quasiprojective schemes over $\mathbb{Z}_p$.
In Lawrence and Venkatesh's paper on Mordell-Weil, the authors consider the $p$-adic period map: $...
- 2,907
3
votes
0
answers
157
views
Examples of curves $C$ with $\operatorname{Jac}(C) \cong E^3$, $E$ a CM elliptic curve
Let $k$ be a field of your choice— I'm particularly interested in algebraically closed fields. Are there explicit examples of curves over $k$ whose Jacobian is isogenous to the product of three copies ...
- 531
5
votes
0
answers
211
views
Motivic $L$-functions came from automorphic representations
Langlands in his 1978 ICM talk made a conjecture that all motivic $L$-functions should arise as automorphic $L$-functions. A part of this conjecture, namely for some Hasse-Weil $\zeta$ functions is a ...
- 617
4
votes
1
answer
335
views
Equivalence between vector bundles with integrable connections to isocrystals
Let $k$ be a perfect field, $W(k)$ its Witt ring, and $K$ the fraction field of $W(k)$. Let $X_k$ be a smooth proper curve over $k$, and let $X_K$ be the schematic generic fibre of a smooth proper ...
- 2,907
70
votes
7
answers
28k
views
Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
In August 2012, a proof of the abc conjecture was proposed by Shinichi Mochizuki. However, the proof was based on a "Inter-universal Teichmüller theory" which Mochizuki himself pioneered. It was known ...
1
vote
0
answers
117
views
Second group cohomology of a twisted fundamental group
Let $X$ be a smooth hyperbolic projective curve defined over $\mathbb{Z}[1/S]$, where $S$ is a finite set of primes, and let $\pi:=\pi_1^{\text{ét}}(X, \overline{b})$ denote its étale fundamental ...
- 2,907
7
votes
1
answer
630
views
Cubic twist of elliptic curves and its rank
Let $E/\mathbb{Q}$ be an elliptic curve defined by $E: y^2 = x^3 + b$ (where $b \in \mathbb{Q}$).
Let $E_D$ be an elliptic curve defined by $E_D: y^2 = x^3 + bD^2$.
$E$ and $E_D$ are isomorphic over $\...
- 1,541
2
votes
1
answer
154
views
Non-torsion points of Tate curves
Let $E$ be a Tate curve over a $p$-adic field $K$. Then there exists $q \in K^*$ with the valuation $v(q)>0$ such that $E(\overline{K})= \overline{K}^*/\left< q \right>$. So it is easy to see ...
- 247
4
votes
1
answer
478
views
Is there an elliptic curve analogue to the 4-term exact sequence defining the unit and class group of a number field?
Let $K$ be a number field. One has the following exact sequence relating the unit group and ideal class group $\text{cl}(K)$:
$$1\to \mathcal{O}_K^\times\to K^\times \to J_K\to \text{cl}(K)\to 1$$
...
- 221
3
votes
0
answers
177
views
A relative Abel-Jacobi map on cycle classes
I have a question about relativizing a classical cohomological construction that I think should be easy for someone well versed in such manipulations.
Background:
Suppose $X$ is a smooth projective ...
- 7,746
0
votes
0
answers
78
views
Bounding the dimension of $H^1(G, V\otimes V^{\vee})$
Let $G_S$ denote the Galois group of the maximal extension of $\mathbb{Q}$ unramified away from a finite set of primes, $S$. Let $V$ be a finite dimensional, $G_S$-representation over $\mathbb{F}_p$ (...
- 2,907
2
votes
0
answers
101
views
Action of monodromy on the $p$-adic period domain in Lawrence-Venkatesh
In here, I asked various questions related to Lawrence and Venkatesh's work on the Mordell-Weil conjecture, which failed to receive any answers.
This is my attempt to try and focus the question.
In ...
- 2,907
2
votes
0
answers
175
views
Bounding dimensions of Galois cohomology
Let $G$ be the absolute Galois group of the rationals, and $V$ a finite dimensional $p$-adic representation.
Is there a way to provide a general bound on $H^i(G, V)$ in terms of $\dim_{\mathbb{Q}_p} V$...
- 2,907
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
3
votes
0
answers
84
views
Practical way of computing bitangent lines of a quartic (using computers)
Are there known practical algorithms or methods to calculate the bitangent lines of a quartic defined by $f(u,v,t)=0$ in terms of the 15 coefficients? Theoretically you can set up $f(u,v,-au-bv)=(k_0u^...
- 101
11
votes
1
answer
390
views
Does every finite affine plane have the doubling property?
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 42k
2
votes
1
answer
148
views
Galois action on étale path torsors
TLDR: How is the Galois action on étale path torsors defined?
Let $X$ be a smooth proper scheme, over a field $k$, and let $x,y\in X(k)$ be a pair of points. Let $\pi_1^{\text{ét}}(\overline{X},\...
- 2,907
4
votes
0
answers
249
views
Is it always true that the complement of an ample divisor is affine?
Consider a proper and integral scheme $X\rightarrow\operatorname{Spec}(A)$ over a Noetherian ring $A$ and $D\in\operatorname{Div}(X)$ an effective ample Cartier divisor on $X$. Is it true that its ...
- 41
3
votes
1
answer
230
views
"General position" on $\mathbb{P}^1\times\mathbb{P}^1$
On $\mathbb{P}^2$ we have the notion of general positions: no 3 points on a line, no 6 on a conic, etc. In particular, blowing up points (up to 8) in general positions give ample anti-canonical class, ...
- 101
8
votes
0
answers
221
views
Elkies' family of elliptic curves of rank 19
There is a widely cited fact that Elkies had found that infinitely many curves of rank 19 in 2006, in "Z^28 in E(Q), etc. Email to the number theory mailing list
at [email protected]&...
- 161
14
votes
0
answers
1k
views
Summary of why Wiles' method does not work for general Fermat curves
It is by now extremely well known that Sir Andrew Wiles proved the Taniyama-Shimura conjecture, and therefore, through the Frey-Hellegouarch curve, that for $n \geq 5$ the only integer solutions to ...
- 27k
2
votes
0
answers
270
views
Proof of Remark 6.14(b) of Milne's Arithmetic duality theorems'
Let $E/\mathbb{Q}$ be an elliptic curve.Let $\operatorname{Sha}(E/\Bbb{Q})$ be a Tate-Shafarevich group.
Milne's 'Arithmetic Duality Theorems' Remark 6.14(b) describe the following exact sequence.
...
- 1,541
1
vote
0
answers
127
views
Multiplicities of Galois representations in the semisimplification of the reduction of a Tate module
Let $C$ be a smooth proper curve, of genus $g$ over a number field $K$. Let $v$ be a prime of good reduction for $C$ above $p>2$, and let $T_pJ$ denote the $p$-adic Tate module of $J$, the Jacobian ...
- 2,907
1
vote
1
answer
120
views
Frobenius action on the trivial connection
Let $F$ denote the absolute Frobenius acting on a smooth quasiprojective scheme $X$ over a finite field $k$.
Denote the trivial connection on $\mathcal{O}_X$ by $d$. Denote its pullback by Frobenius ...
- 2,907
9
votes
1
answer
426
views
Is there a known elliptic curve, $E/\Bbb{Q}$, such that the rank of $E_D/\Bbb{Q}$ is bounded by some constant $M$, for all integers $D \in \Bbb{Z}$?
Let $E/\Bbb{Q}$ be an elliptic curve defined over $\Bbb{Q}$.
Let $E_D$ be a quadratic twist of $E$ also defined over $\Bbb{Q}$.
Is there a known elliptic curve, $E/\Bbb{Q}$, such that the rank of $E_D/...
- 1,541
5
votes
1
answer
452
views
Cohomology of Shimura varieties before and after completion at some prime
Let $(G,X)$ be a Shimura datum with reflex field $E\subset \mathbb C$. For any neat open compact subgroup $K \subset G(\mathbb A_f)$, let $\mathrm{Sh}_K$ denote the associated Shimura variety. It is a ...
- 769
3
votes
1
answer
152
views
Examples of curves with fixed genus, number of rational points, and large Jacobian rank
I am asking whether there are known constructions for curves with the following criteria: curves $C$ defined over $\mathbb{Q}$ with genus $g \geq 2$, $|C(\mathbb{Q})| \leq 1$, $C$ is locally soluble, ...
- 27k
3
votes
0
answers
82
views
When is a coherent sheaf on an algebraizable space algebraizable?
Let $\mathcal{X}$ denote an algebraizable rigid analytic space over $\text{Spm}(\mathbb{Q}_p)$,
i.e. there exists a finite type $\mathbb{Q}_p$-scheme $X$ such that $\mathcal{X}$ is its rigid ...
- 2,907
10
votes
1
answer
523
views
A projective plane in the Euclidean plane
Problem. Is there a subset $X$ in the Euclidean plane such that $X$ is not contained in a line and for any points $a,b,c,d\in X$ with $a\ne b$ and $c\ne d$, the intersection $X\cap\overline{ab}$ is ...
- 42k
2
votes
0
answers
141
views
A relative cycle class map
Suppose I have a smooth projective morphism $p: X \to S$ between varieties, and a relative cycle $Z \subset X \to S$ which is assumed to be as nice as can be (rquidimensional with fibers of dimension $...
- 7,746
2
votes
0
answers
113
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
- 305
4
votes
1
answer
184
views
Meaning of dagger cohomology $H^{1 \dagger}(G^\dagger)$ in "Frobenius and Monodromy Operators" by Coleman and Iovita
Let $G$ be an abelian variety with good reduction over a finite extension $K$ of $\mathbb{Q}_p$. In equation (2.4) on page 179 of my edition of "The Frobenius and monodromy operators for curves ...
- 658
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
3
votes
1
answer
364
views
Height pairing and the Néron model of an elliptic curve
I have a question on Joseph Silverman's book ``Advanced topics in the arithmetic of elliptic curves’’ (1999 printing). I asked him; he answered that he doesn't know off-hand and suggested that I put ...
- 532
0
votes
1
answer
232
views
Variants of the classical Satake classfication
Let us fix a connected split reductive group $G$ over a local non-archimedean field $K$ with maximal torus $T$, then most notes including that of [Gross] describes as a consequence of the Satake ...
- 831
0
votes
1
answer
353
views
Tate–Shafarevich group and $\sigma \phi(C)=-\phi \sigma(C)$ for all $C \in \operatorname{Sha}(E/L)$
$\DeclareMathOperator\Sha{Sha}\DeclareMathOperator\Gal{Gal}$Let $L/K$ be a quadratic extension of number field $K$.
Let $\sigma$ be a generator of $\Gal(L/K)$.
Let $E/K$ be an elliptic curve defined ...
- 1,541
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
2
votes
1
answer
300
views
An example of a geometrically simply connected variety with infinite Brauer group (modulo constants)
$\DeclareMathOperator\Br{Br}$Let $X$ be a smooth, geometrically integral, geometrically simply connected variety over a numberfield $k$. Is it possible to have $\Br(X)/{\Br(k)}$ being an infinite ...
- 177
3
votes
0
answers
230
views
A Brauer group of a double covering of a "well-understood" variety
Let $k$ be a field (it is possible to assume that $k = \mathbb{Q}$ or $= \overline{\mathbb{Q}}$) and $X, Y$ nice varieties over $k$.
Let $f \colon Y \to X$ be a finite flat surjective morphism of ...
- 1,364
3
votes
0
answers
192
views
Congruences between Eisenstein series and cusp forms
Let $k\geq 4$ be an even integer. Let $p>k$ be a prime
such that $p\mid B_k$, the $k$th Bernoulli number. Then there is a primitive cusp form $f=\sum_{n\geq1}c(n, f)q^n$
of weight $k$ and level $1$ ...
- 347