All Questions
Tagged with nt.number-theory ag.algebraic-geometry
1,746 questions
10
votes
3
answers
1k
views
What's the number of solutions of the quadratic equation $x_1^2+\dots+x_m^2=0$ over finite ring $\mathbb{Z}/p^n$?
I want to calculate the number of solutions to the quadratic equation $$x_1^2+\dots+x_m^2=0$$ where $m$ is odd (a given number) and $x_i\in\mathbb{Z}/p^n$ for a given prime number $p$ and a given ...
user178596
0
votes
0
answers
182
views
Does a $p$-adic power series $F(x,y)=\sum_{i,j \geq 0}b_{ij}x^iy^j \in \mathbb Z_p[[x,y]]$ have finitely many zeros in $\mathfrak{m}_{\mathbb C_p}$?
Let us consider the $p$-adic field $\mathbb Q_p$ with ring of integers $\mathbb Z_p$ and maximal ideal $\mathfrak{m}$.
Then any $p$-adic power series $f(x)=\sum_{n>0}a_nx^n \in \mathbb Z_p[[x]]$ ...
- 930
7
votes
1
answer
548
views
Étale fundamental group of rigid analytification
Let $X$ be a quasi-projective variety over a $p$-adic field. Denote by $X^{an}$ its rigid analytification. Does $\pi_1^{et}(X)=\pi_1^{et}(X^{an})$?
- 429
6
votes
0
answers
221
views
Motives in tropical geometry
Is there a notion of motives in tropical geometry? Similar like the notion introduced by Grothendieck in algebraic geometry.
- 163
1
vote
0
answers
191
views
Vanishing of the local étale cohomology sheaf (?)
Let $X$ be a locally noetherian regular scheme, and let $Z$ be a closed subscheme of $X$ whose codimension $d > 0$ at every point.
Let $U$ be the complement of $Z$ in $X$.
For a sheaf $\mathscr{F}$ ...
- 185
10
votes
0
answers
2k
views
Roadmap for p-adic Hodge theory
I'd like to be able to start studying p-adic Hodge theory and hope that by posing this question, I can be better prepared to work towards it. I ask for a roadmap because I understand that I have a lot ...
- 544
2
votes
1
answer
131
views
Adjacent reducible polynomials
Let $P[X_1, X_2, \ldots, X_N]$ be a reducible polynomial in $\mathbb{Z}[X_1, X_2, \ldots, X_N]$ such that $P[X_1, X_2, \ldots, X_N] + 1$ is also reducible. What (if anything) can we say about $P$?
One ...
- 1,703
2
votes
0
answers
137
views
Tangential basepoint of a log singular local system
Consider the Legendre family $f: X\longrightarrow Y = \mathbb{P}^1\setminus\{0,1,\infty\}$, defined over $K = \mathbb{Q}/\mathbb{Q}_p$.
having fibre above $t\in Y$, the elliptic curve $E_t := y^2 = x(...
- 2,907
86
votes
4
answers
15k
views
Etale cohomology -- Why study it?
I know (at least I think I know) that some of the main motivating problems in the development of etale cohomology were the Weil conjectures. I'd like to know what other problems one can solve using ...
- 2,799
15
votes
1
answer
340
views
Are there only finitely many $m$ such that $m$ is the number of elliptic curves with a given conductor?
Let $f:\mathbb{N}\to\mathbb{N}$ be the map sending $n$ to the number of isomorphism classes of elliptic curves over $\mathbb{Q}$ with conductor $n$.
Is $f(\mathbb{N})$ finite?
- 183
23
votes
2
answers
3k
views
How can I see the relation between shtukas and the Langlands conjecture?
The following bullet points represent the very peak of my understanding of the resolution of the Langlands program for function fields. Disclaimer: I don't know what I'm writing about.
Drinfeld ...
- 317
43
votes
1
answer
4k
views
A mysterious connection between Ramanujan-type formulas for $1/\pi^k$ and hypergeometric motives
The question below is the follow-up of this question on MathOverflow.
Motivation: As is stated in the former question, those identities(formula (35)-(44)) of $1/\pi$ attributed to Ramanujan are ...
- 3,337
19
votes
1
answer
1k
views
Deligne's letter to Bhargava from March 2004
I am quite interested in moduli spaces for Rings and Ideals, a letter from Deligne to Bhargava is cited in Melanie Wood's thesis Moduli spaces for Rings and Ideals (pdf), studying the minimal free ...
- 461
11
votes
2
answers
679
views
Z/8Z elliptic curve with a missing generator
We are searching for the rank $6$ elliptic curves with the torsion subgroup $\mathbb{Z}/8\mathbb{Z}$ using the families similar to Allan MacLeod's as described in
A. J. MacLeod, A Simple Method for ...
- 913
5
votes
2
answers
391
views
Abelian variety with CM defined over real numbers
Is there an abelian variety $A/\mathbb R$ of dimension $n$ such that $End_{\mathbb R}(A)\otimes \mathbb Q$ contains a field $K$ of degree $[K:\mathbb Q]=2n$? ($End_{\mathbb R}(A)$ is the ring of $\...
- 73
10
votes
1
answer
462
views
Homomorphisms between Oort–Tate group schemes
Let $R$ be a complete local $\mathbf{Z}_p$-algebra, for some prime $p$. In the 1970 paper Group schemes of prime order by Oort and Tate, they write down an explicit finite flat group scheme $G_R(a, b)$...
- 37k
25
votes
8
answers
3k
views
Relatively concise English expositions of the proofs of the various Weil conjectures
Where can I find relatively concise (i.e. not excessively wordy and waxing poetic about history and intuitions and such, doesn't spend an eternity carefully developing various parts of the theory of ...
user97565
1
vote
0
answers
141
views
Height on $\mathbb G^n_m$ and Néron–Tate heights
Let $A$ be an abelian variety over $\overline{\mathbb{Q}}$ and let $L$ be a line bundle on $A$. Then a Néron–Tate height $\hat h_L$ can be defined by taking a model $\mathcal A$ of $A$ (over the ring ...
- 321
5
votes
1
answer
372
views
Number of points on schemes modulo $p^k$
Let $X$ be a finite type scheme over $\mathbb{Z}_p$ for some prime $p$. Assume that $X_{\mathbb{Q}_p}$ is smooth of dimension $n$, but not necessarily irreducible. Then is
$$X(\mathbb{Z}/p^k\mathbb{Z})...
- 21.3k
4
votes
0
answers
252
views
Lifting the connected-etale sequence of the $p$-torsion of an elliptic curve
Suppose that $R$ is a complete DVR with characteristic 0 fraction field $K$, maximal ideal generated by $p$ and characteristic $p>0$ residue field $k$ which is algebraically closed. Suppose that $\...
- 305
3
votes
2
answers
382
views
Localization at multivariate monic polynomials
Let $R$ be a ring and consider a monomial order $<$ on $R[X_1,\ldots,X_n]$. A nonzero polynomial $f \in R[X_1,\ldots,X_n]$ is said to be monic if its leading coefficient with respect to $<$ is $...
6
votes
2
answers
268
views
Curve with a rational point but no new points in number fields of low degree
Given an integer $d\geq 2$ is there an algebraic curve $C/\mathbb{Q}$ with $C(\mathbb{Q})\neq\emptyset$ and the natural map $C(\mathbb{Q})\to C(F)$ bijective for all number fields of degree at most $d$...
- 61
4
votes
1
answer
394
views
Reductive subgroups of $\mathrm{GL}_2$ over an algebraically closed field of characteristic zero
I am reading a very nice paper of Newton and Thorne, Symmetric power functoriality for holomorphic modular forms, and there is an argument concerning the (Zariski-closure of) image of certain $p$-adic ...
- 241
6
votes
1
answer
566
views
Public key cryptography based on non-invertible matrices?
Added Wed 13 Apr 2022
I have written a short note with experimental data,
which shows not all pseudo keys are good keys.
Public key cryptography based on non-invertible matrices
We got public key ...
- 25.4k
4
votes
1
answer
354
views
Can a general quintic be solved using inverse beta regularized function?
Tyma Gaidash has recently posted solutions to some quintics in terms of Inverse Beta Regularized function. He also found the closed form for the equation $\cos x=x$ using the same Inverse Beta ...
- 10.1k
2
votes
1
answer
259
views
Rational points on a special class of surfaces
Consider a smooth surface of the following form
$$
S = \{f(x,y,t) = p_0(t)x^2+p_1(t)xy+p_2(t)x+p_3(t)y^2+p_4(t)y+p_5(t) = 0\}\subset\mathbb{A}^3
$$
over $\mathbb{Q}$, and set
$$
U_S = \{t' \in \mathbb{...
- 8,998
14
votes
2
answers
571
views
Number of d-Calabi-Yau partitions
This problem arises from algebraic geometry/representation theory, see https://arxiv.org/pdf/1409.0668.pdf (chapter 2).
We call a partition $p=[p_1,...,p_n]$ with $2 \leq p_1 \leq p_2 \leq ... \leq ...
- 26.5k
3
votes
1
answer
296
views
$p$-power torsion of semiabelian variety
Let $K$ be a finite extension field of $\mathbb{Q}_p$. Let us consider a semiabelian variety $G$ defined over $K$, i.e there exists an extension of an abelian variety $B$ and a torus $T$ defined over $...
- 247
5
votes
0
answers
192
views
On the elementary proof of Dirichlet theorem on arithmetic progressions
In [Cassels, JWS, Rational quadratic forms, p. 333], the autor says: "In fact the elementary proof of Dirichlet's theorem [Selberg (1949)] makes essential use of the existence of genera".
In ...
4
votes
1
answer
571
views
Relation between stacky curves and "M-curves"
A tame stacky curve over a field $k$ is a geometrically connected proper smooth DM stack of dimension 1 which has a dense open substack which is a scheme, and whose automorphism group of each ...
- 1,364
32
votes
9
answers
5k
views
Do there exist modern expositions of Klein's Icosahedron?
Reading Serre's letter to Gray
, I wonder if now modern expositions of the themes in Klein's book
exist. Do you know any?
- 10.8k
5
votes
1
answer
377
views
When $p(x)^2 \mid f(g(x))$?
Let $f(x),g(x),p(x)$ be non-constant polynomials with rational coefficients.
Is it true that for all $f$ exist $g,p$ such that $p(x)^2 \mid f(g(x))$?
Partial results:
$f(g(x))$ is divisible by square ...
- 25.4k
3
votes
1
answer
384
views
Overconvergent modular forms and the level at $p$
I am a little bit confused about the basic theory of overconvergent modular forms, so here is a question that I think will be straightforward for those who know the theory but would help me a lot.
The ...
- 241
9
votes
1
answer
472
views
Why is the category of motives generated by varieties?
I'm reading Ayoub's paper Motifs des varietes analytiques rigides, but I'm not quite familiar with motives. In this paper, he defines the category of motives to be $\mathbf{RigDM}^{\rm eff}_{\rm Nis}(...
- 91
1
vote
0
answers
137
views
What is the lattice of the field $\mathbb Q_p(\sqrt[p^5-1]{p^2})$?
Let $p$ be odd prime and $\mathbb Q_p$ be the $p$-adic field. Consider the field extension $K=\mathbb Q_p(\sqrt[(p^5-1)]{p^2})$ of $\mathbb Q_p$ of degree $\frac{p^5-1}{2}$.
My question:
I want see ...
- 930
4
votes
0
answers
211
views
Rational solutions to Catalan's equation
Famous Catalan's conjecture, now a theorem proved by Mihăilescu, states that the only solution in the natural numbers of the equation
$$
x^{a}-y^{b}=1.
$$
for $a, b > 1$ and $x, y > 0$ is $x = 3,...
- 7,182
8
votes
2
answers
703
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$ ...
- 1,742
2
votes
0
answers
147
views
Can we say anything about the zeros and Galois group of the polynomial $(x^p-a)^{p^2}-p^{p^2+1}x+p^{p^2} a=0$?
Let $p$ be an odd prime number and $\mathbb Q_p$ be the $p$-adic number field. Let $K=\mathbb Q_p(a)$ be the extension by $a=p^{\frac{p^2+1}{p^3-1}}$.
Consider the polynomial $f(x)=(x^p-a)^{p^2}-p^{p^...
- 930
3
votes
1
answer
466
views
Pushforward of functions on a frame bundle
Apologies in advance for the long setup and question.
Let $L \to X$ be a line bundle. We may take its frame bundle $p \colon Fr(L) \to X$, a $\mathbb{G}_m$-torsor. We have
$$ p_*\mathcal{O}_{Fr(L)} =...
- 949
27
votes
3
answers
3k
views
Where's the best place for an algebraic geometer to learn some algebraic number theory?
There are lots of introductions to number theory out there, but typically they are streamlined to assume as little prerequisite knowledge as possible. I'm looking for a text which does the opposite -- ...
- 64k
7
votes
1
answer
502
views
When must a set of sections which is Zariski dense in the generic fiber also be dense in some special fiber?
Let $f : X\rightarrow S$ be a flat finite type morphism of schemes with $S$ integral and Noetherian. Let $\eta\in S$ be the generic point.
Let $\{\sigma_i\}$ be a collection of sections of $f$ (...
- 7,527
6
votes
1
answer
247
views
Sets of $\mathbb{F}_p$-points of closed subvarieties of $\mathbb{A}^n$
Let $p$ be a prime and let $n\geq 2$ be an integer.
The set $\mathbb{A}^n(\mathbb{F}_p)$ has $p^n$ elements so it has $2^{p^n}$ subsets. How many of those subsets are of the form $V(\mathbb{F}_p)$ ...
- 103
1
vote
1
answer
180
views
On integral points of $f(x,y)=z g(x,y)$
Let $f(x,y),g(x,y)$ be polynomials with integer coefficients.
Consider the surface
$$ f(x,y)=z g(x,y) \qquad (1)$$
(1) has parametrization over the rationals given by
$z=\frac{f(x,y)}{g(x,y)}$.
Q1 ...
- 25.4k
1
vote
4
answers
717
views
Given an integer $N$, find solutions to $X^3 + Y^3 + Z^3 - 3XYZ \equiv 1 \pmod{N}$
Given an integer $N > 0$ with unknown factorization, I would like to find nontrivial solutions $(X, Y, Z)$ to the congruence $X^3 + Y^3 + Z^3 - 3XYZ \equiv 1 \pmod{N}$. Is there any algorithmic way ...
- 1,703
16
votes
1
answer
2k
views
Proof of main theorems in étale cohomology theory
(In this question, $p$ can be $0$.)
I'm curious if theorems on étale cohomology can be proved by easier way.
For example, proper base change theorem. This theorem can be stated as the following way.
...
user196717
2
votes
0
answers
142
views
Upper bound for the torsion subgroup of an elliptic curve over arbitrary number fields
Let $K$ be a finite extension of $\mathbb{Q}$ of degree $d$ and let $E(K)$ be an elliptic curve over the field $K$ with coefficients in $K$. Let us fix $d$ and vary over all the possible $K$, in turn ...
- 565
6
votes
0
answers
590
views
Affine GIT quotients and the excursion algebra in Fargues–Scholze
Some background:
Let us fix a non-archimedean local field $E$ with residue characteristic $p$, and let $G$ be some connected reductive group over $E$. In [FS, §VIII.1.1] the authors define a moduli ...
- 777
22
votes
6
answers
8k
views
A finitely generated $\mathbb{Z}$-algebra that is a field has to be finite
I was trying to understand completely the post of Terrence Tao on Ax-Grothendieck theorem. This is very cute. Using finite fields you prove that every injective polynomial map $\mathbb C^n\to \mathbb ...
- 14.3k
3
votes
0
answers
210
views
How to find rational points on genus 2 rank 2 curves such as $y^2=x^6-4x+4$?
The question is in the title. The motivation comes from trying solving Diophantine equations in order, see Can you solve the listed smallest open Diophantine equations? . Because there is an algorithm ...
- 7,182
5
votes
1
answer
467
views
Weak Mordell-Weil for EC using Chevalley-Weil theorem
I am reading the book Applications of Diophantine Approximation to Integral Points and Transcendence by Zannier and Corvaja and, after their proof of the Chevalley-Weil theorem, in Example 3.8 they ...
- 233