Diophantine equations, elliptic curves, Mordell conjecture, Arakelov theory, Iwasawa theory, ...

learn more… | top users | synonyms

3
votes
0answers
51 views

Regular minimal model of $X_0(p^2)$

Consider the compactified modular curve $X_0(p^2)$ and the corresponding algebraic curve over $\mathbb{Q}$. My questions are the following: Where do the cusps of $X_0(p^2)_{\mathbb{Q}}$ live? That ...
11
votes
1answer
409 views

Elements of arbitrary large order in the first Galois cohomology of an elliptic curve

Let $E$ be an elliptic curve over $k=\mathbb{Q}$. Consider $H^1(k,E)$. In this answer Daniel Loughran writes: "I'm pretty sure that this cohomology group has elements of arbitrarily large order". I ...
8
votes
1answer
192 views

Algebraic points of uniformly bounded degree on an algebraic variety

Let $k$ be a perfect field, and let $\bar k$ be a fixed algebraic closure of $k$. Let $\overline{X}$ be a nonempty smooth algebraic variety over $\bar k$. Does there exist a natural number ...
7
votes
1answer
205 views

Archimedean fibers “intersecting” curves on arithmetic surfaces

Let's fix a number field $K$ with its ring of integers $O_K$. Moreover consider an arithmetic surface $f:S\to \text{Spec } O_K$. For every archimedean place $\sigma$ in $K$, $K_\sigma$ is the ...
10
votes
0answers
696 views

Is it worth the efforts to read books/papers written in Weil's algebraic geometry language

There is much important work written in Weil's language of algebraic geometry rather than schemes (besides Weil himself, I can think of Shimura, Neron immediately). My question is: is it worth the ...
5
votes
1answer
240 views

Average size of $p$-part of the Tate-Shafarevich group for elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve defined over $\mathbb{Q}$. For a given prime $p$, the $p$-Selmer group $\operatorname{Sel}_p(E)$ of $E$ and the $p$-part of the Tate-Shafarevich $Ш_E[p]$ group ...
0
votes
0answers
77 views

Fastest algorithm to compute isogeny

Let $E/GF(p)$ and $E'/GF(p')$ are two isogenous elliptic curves($\#E=\#E'$). We know that there exist the map $$\psi : E \to E'$$ Suppose that we haven't any information about degree of $\psi$. ...
7
votes
1answer
245 views

Morphisms for good reduction are maps respecting filtration

Please see edits below! So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models ...
2
votes
0answers
73 views

Split multiplicative galois representation and specialization

My questions stems from my attempt to understand the paper of Greenberg and Stevens about the Mazur-tate-Teitelbaum conjecture (you can find the paper here). To understand this question you probably ...
7
votes
0answers
176 views

A Hartogs-type criterion for flatness

Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two. Now, let $Y$ be a smooth quasi-affine connected variety ...
4
votes
0answers
202 views

Equations for Elliptic Curves

An elliptic curve $C$ over a field $k$ is a smooth, genus 1 curve defined over $k$ with an associated $k$-rational point. If char$(k) \ne 2$, we can show that $C$ has a model of the form $y^2 = f(x)$ ...
3
votes
0answers
110 views

How to Taylor series expand at the prime at infinity

Given a rational number, one can find a Taylor series expansion with respect to any $p$-adic valuation, as covered in Gouvea's introductory text on $p$-adic numbers. My question is how does one do ...
4
votes
1answer
133 views

Congruence Primes and Modular Degrees

Let $\mathcal{S}=S_2(\Gamma_0(N) \cap \mathbf{Z} [[ q ]]$ be the set of cusp forms of weight $2$ on $\Gamma_0(N)$ with integral coefficients. Let $f \in \mathcal{S}$ be a normalized newform, so it ...
5
votes
0answers
78 views

Reference request: "effective'' semistable reduction

I am looking for the origin of the following idea: suppose $m$ and $n$ are relatively prime integers $\geq 3$. Let $E$ be an elliptic curve over a number field $K$. Let $L/K$ be a finite extension ...
1
vote
0answers
77 views

Intersection of modular polynomial roots

Let $l,l'$ and $p$ be three distinct prime numbers and $\Phi_k(X,Y)$ is $k$-th modular polynomial defined over $GF(p)$. Suppose that we know $\Phi_l(X,j)$ and $\Phi_{l'}(X,j)$ have two roots. Is this ...
11
votes
5answers
1k views

How much do I need to learn algebraic geometry to understand arithmetics over number fields

I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...
12
votes
0answers
241 views

Is the Dieudonne module actually a cohomology group?

One often times thinks of the Dieudonne module $M(X)$ of a $p$-divisible group (say over $k$, a perfect characteristic $p$ field) as being some sort of cohomology theory $$M:\left\{p\text{- divisible ...
1
vote
0answers
87 views

Weil restriction of fiber products

Let $X,Y,Z$ be smooth geometrically integral proper varieties over a field $K$ where $K/k$ is a finite extension of a number field $k$. Let $R|_{K/k}$ denote the Weil restriction. Suppose we have ...
2
votes
1answer
107 views

Is torsion submodule of a $p$-adically complete and separated $\mathbb{Z}_{p}$-module closed?

I was asking to myself the following question. Consider a $p$-adically complete and separated topological algebra $R$ over $\mathbb{Z}_{p}$. As $\mathbb{Z}_{p}$ is a domain, we know that the ...
6
votes
1answer
256 views

Smoothness of the “Archimedean special fiber” in Arakelov geometry

If $X$ is a scheme over, let's say, $\mathbb{Z}_p$, one can consider its special fiber obtained by reduction modulo $p$ ans it certainly makes sense to ask if this special fiber is smooth or not. ...
8
votes
1answer
228 views

Tube of a mod p point on a smooth Z_(p)-scheme

Let $R$ be a smooth, integral, finite-type $\mathbb{Z}_{(p)}$-algebra of relative dimension $n$ and $\overline{f} \colon R \to \mathbb{F}_p$. Then Hensel's lemma tells us that this lifts to a map $R ...
2
votes
0answers
69 views

the least point on a variety over a finite field

Let $p$ be a large prime parameter and $V\subseteq \mathbb{P}^n_{\mathbb{F}_p}$ a variety defined over the finite field $\mathbb{F}_p$ with bounded degree and dimension (w.r.t. $p$). Assume that $V$ ...
10
votes
1answer
297 views

Examples of étale covers of arithmetic surfaces

Define an arithmetic scheme $X$ to be a separated, integral scheme, flat and finite type over $\mathbb{Z}$. I am interested in obtaining examples of finite étale covers of arithmetic schemes. I am ...
28
votes
2answers
3k views

Have there been any updates on Mochizuki's proposed proof of the abc conjecture?

In April 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 ...
13
votes
0answers
284 views

Vanishing of rigid cohomology for affine varieties

Let $k$ be a perfect field of positive characteristic and denote by $K$ the field of fractions of the ring of Witt vectors over $k$. Question: If $X$ is an affine variety over $k$, do the rigid ...
5
votes
1answer
152 views

If $G$ is absolutely simple simply connected, why is G(F_v) quasisimple for almost every valuation v?

Let $G$ be an absolutely simple simply connected and connected algebraic group defined over a global field $k$ with ring of integers $\mathcal{O}$. Fix an embedding of $G$ into $GL_n$. Given $v$ a ...
0
votes
0answers
132 views

A definition of arithmetic divisor with conic singularities?

I have a question related to the preprint "Heights and metrics with logarithmic singularities" by G. Freixas i Montplet. Let $X$ be an arithmetic variety with arithmetic divisor $D$ how can we ...
1
vote
0answers
444 views

Calabi-Yau theorem on Arithmetic Variety

Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$. Let $\omega$ be a Kaehler current of $\mathcal X(\mathbb C)$. ...
3
votes
0answers
159 views

splitting property of etale covering

Theorem (Global Splitting): Let $X$ be an integral separated normal scheme flat and of finite type over $\mathbb Z$. Let $\phi: Y\rightarrow X$ be a connected etale covering which splits completely ...
3
votes
0answers
162 views

Computing intersection number of two arithmetic line bundles

I have some questions in Arithmetic Arakelov geometry Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and ...
18
votes
1answer
545 views

Is hyperelliptic cryptography “practical”?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...
9
votes
0answers
130 views

Does the Tate pairing agree with the Brauer-Manin pairing

Let $X$ be a proper, smooth, geometrically integral variety over a field $k$. Let $A$ be (the identity component of) its Picard variety and let $B$ be (the identity component) of its Albanese variety. ...
1
vote
1answer
201 views

Finding cyclic subgroups of points on elliptic curves for isogeny based cryptography

Isogeny based cryptography is one of the newest post-quantum cryptography. Hardness of this system is based on finding isogeny between two elliptic curves. Also this is a theorem: Elliptic curves ...
5
votes
2answers
310 views

Lifting the Hasse invariant mod $2$

Katz defines in Section 2.0 $p$-adic properties of modular schemes and modular forms the Hasse invariant as a mod $p$ modular form $A$ of weight $p-1$. In other words, it is a section of ...
10
votes
0answers
110 views

Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...
1
vote
1answer
213 views

Solving Non-Linear Equations over a Finite Field of a Large Prime Order

I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...
11
votes
1answer
710 views

What is the first cohomology $H_{fppf}^{1}(X, \alpha_{p})$?

Let $X$ be a smooth projective curve of genus $g>1$ over an algebraically closed field $k$ of characteristic $p>0$. Let $\alpha_{p}$ be the group scheme of the kernel of $F: \mathbb{G}_{a} ...
2
votes
2answers
372 views

Rational points on towers of curves

Let $\ldots \to X_n \to X_{n-1} \to \ldots \to X_0$ be etale maps between smooth projective curves of genera $g(X_n)>1$, all defined over a fixed number field $K$. By Faltings' Theorem, we know ...
4
votes
1answer
116 views

Exceptional specializations of Galois groups in the Hilbert Irreducibility Theorem

Suppose $f(x,t)\in\mathbb{Q}(t)[x]$ is an irreducible polynomial with Galois group G. For any rational number $a$ we may consider the polynomial $f(x,a)\in\mathbb Q[x]$ and its corresponding Galois ...
10
votes
1answer
423 views

Galois representations for the curve $y^{2} = x^{3} - x$

Let $E / \mathbb{Q}$ be the elliptic curve given by $y^{2} = x^{3} - x$. I would like to know explicitly what the field of all $2$-power torsion looks like, as well as the image in ...
4
votes
0answers
121 views

Ranks of elliptic curves over Q(t)

I have an elliptic curve $E/\mathbb{Q}(t)$, and I want to compute its rank. Does knowing the rank over $\mathbb{F}_p(t)$ for some prime of good reduction give a bound on the rank over ...
19
votes
2answers
715 views

Rational points on the “quintic circle” $x^5 + y^5 = 7$

I suspect that the curve $x^5 + y^5=7$ has no $\mathbb Q$ points, and a brief computer search verifies this hypothesis for denominators up to $10^4$. What techniques can be used to show that there are ...
10
votes
2answers
570 views

BSD and congruent numbers

Let $n$ be a positive integer, and let $E_n$ denote the elliptic curve $y^2=x^3-n^2x$. By work of Tunnell, it's known that if $E_n$ satisfies the BSD conjecture, then there is an algorithm to decide ...
4
votes
1answer
210 views

Checking whether two rational points of infinite order are generating the torsion free part of an elliptic curve

Let an elliptic curve be given. As the title says I want to know if we can show that two independent points $P$ and $Q$ are generators of the torsion free part of $E$. For instance let ...
4
votes
1answer
213 views

Examples of perfect pseudo algebraically closed fields in positive characteristic

Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
5
votes
1answer
154 views

curve over higher dimensional basis with 0-dimensional locus of bad reduction

Is there an example of a flat proper relative curve $X/S$ with geometrically connected fibres and with $\mathrm{dim} S > 1$ and $S$ regular and connected with $0$-dimensional locus of bad reduction ...
12
votes
1answer
526 views

Arithmetical results to help study arithmetic geometry?

I'm very keen to deepen my understanding of arithmetic and diophantine problems. In the past I studied some algebraic, analytic and sieve based number theory. Recently I've been reading Weil - Basic ...
2
votes
0answers
67 views

Shortest paths stepping on rational points of height $h$

Q. Do shortest paths walking between rational points of height $h$ ever properly cross themselves? Explaining this question takes a bit of definitional exposition. First, I copy definitions ...
10
votes
1answer
305 views

Integral points on elliptic curves of the form $y^2=x^3+px$

As the title says. Can we determine all the integral points on elliptic curves of the form $$y^2=x^3+px$$ for a prime $p$? If yes, can someone explain me how? A good reference would also be ...
5
votes
1answer
166 views

Compact hyperbolic 3-manifolds with prescribed quaternion algebra, quaternion parameters as ramification condition

What is an interesting class of examples of hyperbolic 3-manifolds, each of which satisfies the following conditions? 1. It is compact 2. Its trace field contains a unique imaginary quadratic ...