All Questions
Tagged with nt.number-theory ag.algebraic-geometry
1,746 questions
14
votes
8
answers
2k
views
Applications of the idea of deformation in algebraic geometry and other areas?
The idea of proving something by deforming the general case to some special cases is very powerful. For example, one can prove certain equalities by regarding both sides as functions/sheaves, and show ...
1
vote
0
answers
144
views
Elliptic curves whose $2,3,5$-parts of Sha are large
Let $E$ be an elliptic curve, and $\text{Sha}(E)$ its Shafarevich-Tate group which measures the failure of the local-to-global principle for the curve. It is conjectured that $\text{Sha}(E)$ is a ...
- 26.9k
2
votes
0
answers
148
views
Can there exist different smooth, proper schemes over the p-adics with the same generic fiber? [duplicate]
Can there exist smooth, proper $X_1,X_2/\mathbb Z_p$ such that their generic fibers are isomorphic but their reductions mod $p$ are not? Are there examples if we insist that the special fibers are ...
- 7,746
4
votes
1
answer
366
views
Splitting the Witt vectors of $\overline{\mathbb{F}_p}$
Let $\overline{\mathbb{F}_p}$ be the algebraic closure of $\mathbb{F}_p$. Let $W({-})$ denote the functor of taking $p$-typical Witt vectors. Then the extension $\mathbb{F}_p\rightarrow \overline{\...
- 2,052
28
votes
3
answers
2k
views
Is there an algebraic curve over Q which is not modular?
Every elliptic curve $E/\mathbf Q$ is modular, in the sense that there exists a nonconstant morphism $X_0(N) \to E$ for some $N$.
It is tempting to extend this definition in a naïve way to an ...
- 3,910
18
votes
4
answers
621
views
What are immediate applications of the classification of connected reductive groups?
After years of putting it off, I finally sat down, read, and understood the classification of connected reductive groups via root data.
That's a non-trivial theory! I'm hoping that now that I am done ...
- 557
24
votes
3
answers
4k
views
How are motives related to anabelian geometry and Galois-Teichmuller theory?
In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
- 3,309
33
votes
5
answers
8k
views
Why no abelian varieties over Z?
Motivation
I learned about this question from a wonderful article Rational points on curves by Henri Darmon. He gives a list of statements (some are theorems, some conjectures) of the form
the set $\{...
- 15.1k
73
votes
2
answers
8k
views
The inverse Galois problem and the Monster
I have a slight interest in both the inverse Galois problem and in the Monster group. I learned some time ago that all of the sporadic simple groups, with the exception of the Mathieu group $M_{23}$, ...
- 4,994
1
vote
0
answers
95
views
An elliptic threefold and the Mordell–Weil lattices of its reductions
Let $T\!: y^2 = x^3 + a(t, s)x + b(t, s)$ be an elliptic threefold over a finite field $\mathbb{F}_q$ of characteristic $p > 3$. In other words, we have an elliptic curve over the function field $\...
- 1,833
9
votes
2
answers
518
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
4
votes
1
answer
315
views
Criteria for Zariski density of subgroups of reductive groups
Let $G$ be a reductive group over a number field $K$. Let $\Gamma\subset G(K)$ be a subgroup.
My extremely naive question is - When can you deduce that $\Gamma$ is Zariski-dense? I'm looking for ...
- 7,527
48
votes
4
answers
4k
views
Fermat's last theorem over larger fields
Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here $\...
- 11.3k
5
votes
3
answers
448
views
Variation of centraliser in $\operatorname{GL}(n,\mathbb{Z})$
$\DeclareMathOperator\GL{GL}$Let $n$ be a positive integer $\geq 2$. The setting is that $K \in \GL(n,\mathbb{Z})$, and people are interested in understanding the centralizer:
$$
C(K)=\{ B \in \GL(n,\...
- 145
19
votes
1
answer
419
views
Varieties with the same number of $\mathbb{F}_p$-points for all but finitely many primes
If two varieties over $\mathbb{Q}$ have the same number of $\mathbb{F}_p$-points for all but finitely many primes do they have the same number of $\mathbb{F}_{p^n}$-points for all $n>1$ and for all ...
- 325
26
votes
5
answers
3k
views
Existence of zero cycles of degree one vs existence of rational points
Let $k$ be a field (I'm mainly interested in the case where $k$ is a number field, however results for other fields would be interesting), and $X$ a smooth projective variety over $k$.
By a zero ...
- 21.3k
3
votes
1
answer
261
views
Examples of non-singular hypersurfaces exhibiting Hasse principle failures
Suppose that $f\in \mathbb{Z}[x_1,\dots,x_n]$ and $f$ is a homogenous polynomial of degree $d$. Can we always construct $f$ such that the hypersurface $S_f=\{x \in \mathbb{Z}^n:f(x)=0\}$ exhibits the ...
- 107
0
votes
1
answer
370
views
Systems of equations for elliptic curves without $3$-torsion
In his YouTube video New rank records for elliptic curves having rational torsion, Noam Elkies uses systems of equations at 6:16 and 8:38 to present $\mathbb{Z}/3\mathbb{Z}$ curves of rank 14 and rank ...
- 913
0
votes
0
answers
125
views
Is there a kind of uniqueness of Poincaré duality? [duplicate]
There is a related question. I would like to know if there is a more intrinsical way to show this. I want to know if we can get this through the uniqueness of Poincaré duality or the comparison ...
- 121
10
votes
4
answers
1k
views
Possible groups of K-rational points for elliptic curves over arbitrary fields
It is known that the group $C(\Bbb R)$ has at most two connected components, and the connected component of the identity is isomorphic to $U(1)$ as a topological group (trivially) and $C(\Bbb Q)$ is ...
- 3,738
28
votes
2
answers
5k
views
Status of (global) Langlands conjecture for $\mathrm{GL}_2$ over $\mathbb{Q}$
$\DeclareMathOperator\GL{GL}$Apologies if this question has already been dealt with on MO. I am wondering about the status of the global Langlands conjectures for $\GL_2$ over the rational numbers. ...
- 283
5
votes
1
answer
402
views
Extending rational to integral points
Let $p: \mathcal{X} \rightarrow \text{Spec } \mathcal{O}_K$ be a normal proper Artin stack with finite diagonal. A $K$-rational point is by definition a section $x: \text{Spec}(K) \rightarrow \mathcal{...
- 502
5
votes
3
answers
932
views
Automorphy of mixed Tate motives over $\mathbb{Z}$
Deligne, Goncharov and Levine have constructed a Tannakian category of mixed Tate motives, MTM($\mathcal{O}_{K,S}$), over the ring of integers of a number field $K$ unramified outside a finite set of ...
- 1,267
2
votes
1
answer
323
views
Coprime multivariate polynomials
Let ${\bf R}$ be a gcd domain, $n \geq 2$, $k \in \mathbb{N}^*$, and $f,g \in
{\bf R}[X_1,\ldots,X_n]$. Supposing that $f$ and $g$ are coprime in ${\bf R}[X_1,\ldots,X_n]$, that is, $\gcd(f,g)=1$, ...
8
votes
0
answers
516
views
Galois rigidity for ℙ¹ with infinitely many punctures
A well-known result (due first to Nakamura I think) is that given a number field $K$, and a variety $U = \mathbb P^1 \setminus (\text{finitely many points})$ over $K$, the étale fundamental group of $...
- 159
2
votes
1
answer
326
views
$2$-isogenous to a curve in the Tate normal form
It is well-known that an elliptic curve $E$ that has a point of order $2$ and is represented as $E=[0,a,0,b,0]$ has a $2$-isogenous curve $E^\prime=[0,-2a,0,a^2-4b,0]$, see e.g. p. 507 in
A. Dujella, ...
- 913
1
vote
0
answers
113
views
Counting Points on a Plane Curve
I want to find the number of points of $\displaystyle \mathcal{C}_{h} \cap A^{2}( F_{q})$, (char(F) is not equal to 2,3), where $\displaystyle h$ is a rational function defined as $\displaystyle h( x) ...
- 11
3
votes
1
answer
256
views
Rationalizing and minimizing elliptic curve coefficients
I am working on elliptic curves with torsion group $\mathbb{Z}/14\mathbb{Z}$ over quadratic fields. The curves are constructed using the model $E_1=[0,a,0,b,0]$ following the formulas on p. 13 of
L. ...
- 913
25
votes
1
answer
1k
views
How is Borger's approach to $\mathbb{F_{1}}$ related to previous approaches (e.g. Deitmar's)?
The "traditional" approach to the so-called "field with one element" $\mathbb{F}_{1}$ is by using monoids, or, to put it in another way, by forgetting the additive structure of ...
- 3,309
15
votes
0
answers
2k
views
A question on Fargues-Scholze
As far as I understand it, the main goal of the recent work of Fargues and Scholze on the geometrization conjecture is to show that the local Langlands conjecture of a local field is equivalent to the ...
- 4,418
7
votes
0
answers
451
views
Is it unconditionally known that abc conjecture can't fail on a variety?
Background: this question gives the identity:
$$(x+z)^5+(y-z)^5 = (-3 x + 4 y)^2 (x + y)^3 + (x+y) f(x,y,z)$$
The curve $C : f(x,y,z)=0$ is genus 1, have infinitely many rational and integral points ...
- 25.4k
4
votes
1
answer
204
views
Groups suitable for algebraic group factorizations of integers
Quoting Wikipedia on Algebraic-group factorisation algorithm
Algebraic-group factorisation algorithms are algorithms for factoring an integer N by working in an algebraic group defined modulo N whose ...
- 25.4k
4
votes
1
answer
344
views
Tannakian fundamental group of automorphic representations
Let $\mathcal{C}_{\mathrm{aut}}(G, F)$ be the category of automorphic representations of a connected reductive group $G$ over a number field $F$.
If this is a Tannakian category, it has an associated ...
- 87
-1
votes
1
answer
186
views
Public key cryptography based on non-invertible matrices, part II
Closely related to this question
and extending comment
of R. van Dobben de Bruyn.
Working over $\mathbb{F}_p$ and all matrices of square $n \times n$.
Alice chooses invertible $X_A$ and non-...
- 25.4k
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$)?
- 41
4
votes
0
answers
244
views
Torsionness of the kernel of the pullback map of Picard groups of a normalization map
Let $X$ be a (irreducible) projective variety over a number field $k$, $\pi: \tilde X \to X$ be its normalization, and $\pi^{*}: \mathrm{Pic}(X) \to \mathrm{Pic}(\tilde X)$ be the corresponding map of ...
- 151
32
votes
1
answer
8k
views
$p$-adic Hodge Theory for rigid spaces, after P. Scholze
I was going over P. Scholze's paper on $p$-adic Hodge Theory for rigid analytic varieties.
This question is around the "Poincaré Lemma" in the paper.
Throughout, let $X$ be a proper smooth rigid ...
user113453
4
votes
1
answer
411
views
Z2xZ6 elliptic curves with missing generators
By implementing the techniques described in and similar to
A. Dujella, J. C. Peral, Elliptic curves with torsion group Z/8Z or Z/2Z x Z/6Z, arXiv, Number Theory [math.NT] (2013), arXiv:1306.0027v1
A....
- 913
41
votes
2
answers
3k
views
Perfectoid universal covers
It is often said, with varying degrees of rigor or enthusiasm, that every rigid space (say over $\mathbb{C}_p$) has a pro-etale cover which is 'topologically trivial' in some sense. For example, this ...
- 843
1
vote
3
answers
383
views
What heuristic suggest for the number of solutions of $x^n+y^n=A$?
For integers $x,y,n,A$ with $n>1$ and $A>0$ we are interested
how many solutions $x^n+y^n=A$ has for fixed $n$ and infinitely many
$A$.
What is unconditionally known $n=2$ or $n=3$ the number of ...
- 25.4k
7
votes
3
answers
401
views
On $\{P(x)+Q(y):\ x,y=0,\ldots,p-1\}$ with $p$ prime
QUESTION: Is my following conjecture (formulated in 2016) true? How to solve it?
Conjecture. For any non-constant polynomials $P(x)，Q(x)\in\mathbb Z[x]$, there is a positive integer $N(P,Q)$ ...
- 15.6k
9
votes
2
answers
2k
views
Any simple concrete proof of Faltings theorem?
Are there simple proofs of some concrete special cases of Faltings's theorem? Any help would be appreciated.
- 3,094
9
votes
0
answers
274
views
$y^3=x^4+x+1$, and rational points on rank 2 Picard curves
What are (a) integer, (b) rational solutions to the equation
$$
y^3 = x^4 + x + 1 ?
$$
There are obvious solutions $(x,y)=(-1,1)$ and $(0,1)$, are they the only ones?
Context: There are a lot of ...
- 7,182
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 ...
- 349
101
votes
2
answers
11k
views
Riemann hypothesis via absolute geometry
Several leading mathematicians (e.g. Yuri Manin) have written or said publicly that there is a known outline of a likely natural proof of the Riemann hypothesis using absolute algebraic geometry over ...
- 5,232
41
votes
2
answers
9k
views
What should I read before reading about Arakelov theory?
I tried reading about Arakelov theory before, but I could never get very far. It seems that this theory draws its motivation from geometric ideas that I'm not very familiar with.
What should I read ...
26
votes
7
answers
6k
views
When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve?
David's question Families of genus 2 curves with positive rank jacobians reminded me of a question that once very much interested me: when is a product of elliptic curves isogenous to the jacobian of ...
- 4,593
2
votes
1
answer
167
views
Existence of reduced norms for CSAs using fpqc descent
Let $k$ be a field and $A$ be a central simple algebra over $k$. It's known that $A$ has a splitting field (i.e. a field $K/k$ such that $A_K\cong M_n(K)$ for some $n$) which is finite and Galois.
...
- 711
3
votes
0
answers
175
views
Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology
Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...
- 863
2
votes
1
answer
273
views
Does $L$-functions of elliptic curves over $\mathbb{Q}$ being meromorphic obviously imply modularity?
If I somehow know that for each elliptic curve over $\mathbb{Q}$ the $L$-function has a meromorphic continuation to the whole plane can I easily deduce modularity from that?
If not is there a way to ...
- 441