All Questions
Tagged with nt.number-theory ag.algebraic-geometry
1,746 questions
1
vote
0
answers
133
views
Fundamental set for families of abelian varieties
I'm considering the universal family of principally polarized g-dimensional abelian varieties with level N-structure. Let's briefly recall the usual construction as a quotient of $\mathbb{C}^g \times \...
- 73
5
votes
0
answers
197
views
Bezout-type theorem for $p$-adic analytic plane curves
Let $p$ be a prime, and let $f,g \in \mathbb{Z}_p[[x,y]]$ be power series convergent on all of $\mathbb{Z}_p$. Suppose that the intersection of the analytic plane curves cut out by $f$ and $g$ is ...
6
votes
1
answer
354
views
Exactness of the Weil restriction functor $\mathrm{Res}_{X/k}$
Question. Let $X$ be an Artinian scheme over a perfect field $k$. Consider the abelian category $\mathcal{C}$ of affine commutative group schemes of finite type. Is the Weil restriction $\mathrm{Res}_{...
- 199
1
vote
0
answers
121
views
Solution formula in an explicit equation over $\mathbb{F}_p^3$
I'm looking into a formula involving prime numbers $p \geq 7$ and an equation's solutions. The equation in question is:
$$z^2 = (x^2 - 4x)(y^2 - 4y)((x + 1 - y)^2 - 4x),$$
where $(x,y,z)\in \mathbb{F}...
- 71
11
votes
1
answer
814
views
Gerbes over finite fields
Let $k$ be a field with algebraic closure $\bar{k}$.
Recall that a gerbe over $k$ is an algebraic stack $\mathcal{G}$ over $k$ such that the groupoid $\mathcal{G}(\bar{k})$ is connected. We say that $\...
- 21.3k
8
votes
0
answers
530
views
An algebraic version of the implicit function theorem for integers
$ \def \x {\boldsymbol x}
\def \a {\boldsymbol a}
\def \Z {\mathbb Z} $
The famous version of the implicit function theorem (IFT) starts with the assumption of continuous differentiability on the ...
- 346
6
votes
0
answers
563
views
Genus of a number field
I'm reading Algebraic Number Theory by Neukirch. In chapter 3, he defines the genus of a number field as
$$ g = \log \frac{ |\mu (K)| \sqrt{|d_K|}}{2^{r} (2\pi)^{s}} $$ where $|\mu(K)|$ is its ...
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
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
2
votes
1
answer
299
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
5
votes
1
answer
388
views
Fermat cubic hypersurfaces over finite fields
Consider the Fermat cubic
$$
X = \{x_0^3+\dots +x_n^3 = 0\}\subset\mathbb{P}^n_{\mathbb{F}_{q}}
$$
over a finite field $\mathbb{F}_{q}$ with $q$ elements.
If $q \equiv 2 \mod 3$ then the projection $\...
- 8,998
5
votes
0
answers
556
views
Theorem 7.11 in Scholze's $p$-adic Hodge Theory
I was trying to understand the statement and proof of Theorem 7.11 in Scholze's paper "$p$-adic Hodge Theory for Rigid-Analytic Varieties". I'll reproduce part of the statement below:
Let $...
- 51
2
votes
1
answer
223
views
Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring
Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
- 423
14
votes
1
answer
612
views
What are the rational solutions to $y^4=x^3+x+1$?
What are the rational solutions to $y^4=x^3+x+1$?
This equation is interesting because it has substitution $y^2=z$ that reduces it to elliptic curve $z^2=x^3+x+1$. Sometimes, the existence of such ...
- 7,182
3
votes
0
answers
198
views
Mordell–Weil and infinitely divisible elements in a Picard group
In Voevodsky's "Étale Topologies of Schemes over Fields of Finite Type over $\mathbb{Q}$"
(see here) the main theorem is Theorem 3.1 which says
Let $X$ and $Y$ be schemes of finite type over ...
- 544
2
votes
0
answers
136
views
Similar to a $d$-twist but over a cubic field
This question could be related to my old and Duality's newer questions.
I am building a $\mathbb{Z}/9\mathbb{Z}$ elliptic curve $E$ over $\mathbb{Q}$:
$$E: y^2+(t^3-3t^2+1)xy + t^3(t-1)^3y=x^2$$
For $...
- 913
0
votes
1
answer
126
views
Integer quadratic representation subject to discriminant minimization algorithm
Let $f(x)=ax^2+bx+c$ and $f(x)=n$. Is there an algorithm to choose $a,b,c$ such that the discriminant is minimized? Where $a,b,c,n,x$ are all integers.
More concretely, is there an algorithm to find $...
6
votes
0
answers
219
views
Ranks of elliptic curves over cubic fields
We are writing a paper on the ranks of elliptic curves over cubic fields. The curves of different torsion subgroups are created by the formulas in Jeon et al. and by our new parametrizations.
D. Jeon,...
- 913
0
votes
1
answer
662
views
What is this three dimensional curve that looks like an infinity sign called?
What is this three dimensional curve that looks like an infinity sign called? (Is there a known parametric equation for it?)
It was generated with this Sagemath - script, where you can zoom in 3d in ...
- 3,064
39
votes
6
answers
6k
views
Using algebraic geometry to understand class field theory
In Algebraic Number Theory, S. Lang says "[a geometrical approach] allows one to have a much clearer insight into the whole class field theory, since the existence theorem and
the reciprocity law ...
- 711
12
votes
2
answers
2k
views
What is the Perrin-Riou logarithm (or regulator)?
Recently I've been rewatching some recordings of old talks on L-functions and explicit reciprocity laws (in particular, the series of talks by Loeffler and Zerbes given at this workshop at the CRM in ...
- 3,309
7
votes
2
answers
641
views
Existence of rational points on a generalized Fermat quartic
Question: Do there exist integers $(x,y,z)\neq (0,0,0)$ such that
$$
13x^4+11y^4=8z^4 ?
$$
Some motivation: This is currently the smallest (in a sense defined here On the smallest open Diophantine ...
- 7,182
2
votes
0
answers
52
views
Infinitely many coprime solutions of $F(x,y)= k(a_1 x + a_2 y)^2 z^2$?
This might be related to an open problem.
Let $F(x,y)$ be homogeneous degree 4 squarefree polynomial
with integer coefficients and
$h(x,y)=a_1 x + a_2 y$ and $\gcd(F,h)=1$ and $k$ be integer.
Consider ...
- 25.4k
4
votes
1
answer
916
views
Does this conic have a rational point?
Consider the conic
$$C = \{X^2+uY^2+vZ^2=0\}\subset\mathbb{P}^2_{\mathbb{Q}(u,v)}$$
over the function field $\mathbb{Q}(u,v)$.
Does $C$ have a $\mathbb{Q}(u,v)$-rational point?
- 8,998
2
votes
1
answer
150
views
How to get a ball in the nonvanishing locus of a polynomial in $\mathbb Z_p[x_1,\cdots,x_n]$ canonically?
Suppose $f\in \mathbb Z_p[x_1,\cdots,x_n]$, and consider $D(f):=\{(𝑥_1,…,𝑥_𝑛)∈ℤ^𝑛_𝑝:𝑓(𝑥_1,…,𝑥_𝑛)≠0\}\subset \mathbb Z_p^n$. How to calculate a radius $r$ from the datum of $f$ such that $D(f)$...
- 775
0
votes
1
answer
745
views
A RKHS interpretation of the Rydberg formula for hydrogen and an application for physics?
I was thinking if it is possible to define an inner product between two small physical objects with a positive definite kernel and was led to look at the Rydberg formula:
The Rydberg formula for ...
- 3,064
2
votes
1
answer
184
views
Lazard module structure of rings with formal elliptic curve
Recently in algebraic topology I was working with a certain graded ring $R$ equipped with an elliptic curve $C$. Now completion at the identity gives a 1-dimensional formal group $G$. This induces a ...
- 23
4
votes
1
answer
237
views
Points on affine hypersurface over finite field
I am interested in the hypersurface $X\subset\mathbb{A}^4_{\mathbb{F}_{5^n}}$ defined by
$$
X = \{x^3 + 3xy^2 + z^3 + 3zw^2 + 1 = 0\}
$$
over a finite field $\mathbb{F}_{5^n}$ with $5^n$ elements. Via ...
- 8,998
6
votes
0
answers
310
views
Geometry of syntomic cohomology
Deligne cohomology has a geometric interpretation. For example, $H^{2}_{\mathcal{D}}(X,\mathbb{Z}(1))$ is identified with the group $H^{1}(X,\mathcal{O}_{X}^{\ast})$ of isomorphism classes of line ...
- 1,404
2
votes
0
answers
151
views
Compatibility of system of $\ell$-adic representations associated to Voevodsky motives
Let $M$ be an object of Voevodsky's category $DM_{gm}(K,\mathbb{Q})$ for a number field $K$. For each prime number $\ell$, there is an $\ell$-adic realization $M_{\ell}$ in the bounded derived ...
- 15.4k
13
votes
1
answer
982
views
Why is the definition of the adic spectrum $\operatorname{Spa}\,(A,A^+)$ the "right" definition?
I'm currently going through a number of expository accounts of Huber's adic spaces in order to start understanding perfectoid spaces and I'd like to understand the motivation behind the definition of ...
- 544
2
votes
0
answers
136
views
Parametrizing "ternary cubic equals a square"
I am interested in an equation of the form
$$\displaystyle y^2 = f(x_1, x_2, x_3),$$
where $f \in \mathbb{Z}[x_1, x_2, x_3]$ is a ternary cubic form. In particular, I am looking for an analogue of the ...
- 26.9k
3
votes
1
answer
233
views
Galois action on automorphisms of a curve
Let $C$ be a smooth projective curve defined over a local field $K/\mathbb{Q}_p$. Denote by $\text{Aut}(C)$ the geometric automorphism group of $C$, which consist of isomorphisms of $C\times_{\text{...
- 2,907
3
votes
0
answers
288
views
Is the weight-monodromy conjecture known for unramified representations?
Let $X$ be a smooth proper variety over a number field $K$, $v$ a place of $K$ lying over a prime number $p \neq \ell$, and $V := H^n(X_{\overline{K}};\mathbb{Q}_{\ell})$. Suppose $V$ is unramified at ...
- 15.4k
5
votes
2
answers
349
views
Geometric interpretation of Iwasawa algebras: $\mathbb{Z}_p[[T]]$ as a disk?
I am a student learning Iwasawa theory. I am so sorry if this post is too trivial for this site. I posted it on math.stackexchange yesterday but obtained no responce.
A quite basic object is the ...
- 639
12
votes
1
answer
942
views
Comparing singular cohomology with algebraic de Rham cohomology
Let $X$ be a smooth projective variety over a number field $K$. Then there are two cohomology groups we can attach to $X$: the algebraic de Rham cohomology group
$H^k_{\text{dR}}(X/K), $
which is a ...
- 1,949
30
votes
4
answers
3k
views
Motivation for zeta function of an algebraic variety
If $p$ is a prime then the zeta function for an algebraic curve $V$ over $\mathbb{F}_p$ is defined to be
$$\zeta_{V,p}(s) := \exp\left(\sum_{m\geq 1} \frac{N_m}{m}(p^{-s})^m\right). $$
where $N_m$ is ...
- 901
1
vote
1
answer
259
views
Conceptual explanation for extra/missing $p$ solutions to $x^2+y^2=a \pmod p$ at $a=0$
Throughout, $p$ will denote a prime integer, and $k$ an arbitrary integer.
I have worked through V. Lebesgue's proof of quadratic reciprocity outlined by Keith Conrad in this MO thread, and I feel ...
- 833
4
votes
1
answer
334
views
Polynomial that is not always a square over $\mathbb{Z}_p$
Let $p > 3$ be prime. Is is true that there exists $x \in \mathbb{Z}_p$ such that
$$
(1+x^2)^3-1
$$
is not a square in $\mathbb{Z}_p$? In particular, when $-1$ is not a square in $\mathbb{Z}_p$, ...
- 43
3
votes
0
answers
118
views
A question on the averages of Kloosterman sums
Sorry to disturb. Recently, I encountered a puzzle on the sums involving two Kloosterman sums. That is,
For any $h, q_1,q_2\in \mathbb{N}$ with $(q_1,q_2)=1$ and $Q>1$, how two get a bound
$$\sum_{...
- 563
0
votes
2
answers
228
views
$y^3=x^4+x$, and computing all rational points on rank $0$ Picard curves
What are the rational solutions to the equation
$$
y^3 = x^4 + x,
$$
in particular, are there any (finite) solutions other than $(x,y)=(0,0)$ and $(-1,0)$?
Context: This is the simplest-looking ...
- 7,182
5
votes
0
answers
454
views
Is 136 a difference of two rational fourth powers?
There is a rich literature that studies which small positive integers are the sums of two rational fourth powers, see e.g. Section 6.6 of Henri Cohen's book Volume I: Tools and Diophantine Equations. ...
- 7,182
7
votes
0
answers
140
views
Quasisplit forms of wonderful varieties
I will assume that $k$ is a characteristic $0$ non-archimedean field. A classical result of Tits [T] states that a quasisplit connected reductive group $G$ over $k$ is classified up to strict isogeny ...
- 121
2
votes
1
answer
333
views
Equivalence between twists of a curve and torsors of its automorphism group
Let $X$ be a curve defined over a number field $K$, and let $G_K$ be the absolute Galois group of $K$. Let $\text{Aut}(X)$ be the group of $\overline{K}$-defined automorphisms of $X$, and consider the ...
- 2,907
4
votes
1
answer
182
views
Primes of bad reductions for quotients of elliptic curves
Let $E$ be an elliptic curve over a number field $K$ and $p$ a prime. Suppose that $E$ has a $K$-rational $p$-torsion, which gives the short exact sequence $0\to\mathbb{Z}/p\to E[p]\to\mu_p\to0$ of ...
- 1,428
2
votes
1
answer
277
views
Understanding an example of abelian-type Shimura varieties
I'd like some help understanding the idea of abelian-type Shimura varieties. In paricular, I understand an abelian-type Shimura datum $(G,X)$ generally parameterizes non-rational Hodge structures ...
- 2,044
6
votes
1
answer
649
views
Need for Drinfeld modules compared to elliptic curves over function field
In a sense ever since they were invented that Drinfeld modules and later shtukas are the "right" objects to study and play the role of elliptic curves over function fields by virtue that ...
- 4,418
11
votes
0
answers
374
views
Example of abelian variety over finite field which doesn't lift
What is an example of an abelian variety over a finite field $\mathbb{F}_p$ which doesn't lift to $\mathbb{Z}_p$? This question seems to hint that they should exist, but no example is given.
Note that ...
- 21.3k
0
votes
0
answers
140
views
Roots in indefinite lattice of K3 surfaces
Anyone who likes $K3$ surfaces cares about lattices of the form $$ (2d)\cdot y^2 - 2x \cdot z$$ (namely the mukai pairing on $H^*_{alg}(K3)$ of picard $1$ with polarization $d$).
Inside we have ...
- 303
3
votes
0
answers
302
views
What are the unsolved problems in Formal groups and $L$-functions?
In the 1st page of the introduction of Hazewinkel's Formal Groups and Applications book, there are two ways of constructing formal groups (law):
$\bullet$ Given a Lie group $G$, one can define a ...
- 930