We gratefully acknowledge support from
the Simons Foundation and member institutions.

Number Theory

New submissions

[ total of 16 entries: 1-16 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 23 Sep 20

[1]  arXiv:2009.10313 [pdf, ps, other]
Title: Explicit two-cover descent for genus 2 curves
Comments: 13 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

Given a genus 2 curve $C$ with a rational Weierstrass point defined over a number field, we construct a family of genus 5 curves that realize descent by maximal unramified abelian two-covers of $C$. Each of the genus 5 curves is equipped with a natural map to a genus 1 curve over an extension of the base field. All the constructions of this paper are accompanied by explicit formulas and implemented in Magma and/or Sage. We use these algorithms to provably compute the set of rational points of some genus 2 curves over $\mathbb{Q}$ of Mordell-Weil rank 2 or 3 (conditional on GRH in some cases).

[2]  arXiv:2009.10431 [pdf, ps, other]
Title: The Neukirch-Uchida theorem with restricted ramification
Authors: Ryoji Shimizu
Comments: 27 pages
Subjects: Number Theory (math.NT)

Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we prove the following generalization of the Neukirch-Uchida theorem under some assumptions: "For $i=1,2$, let $K_i$ be a number field and $S_i$ a set of primes of $K_i$. If $G_{K_1,S_1}$ and $G_{K_2,S_2}$ are isomorphic, then $K_1$ and $K_2$ are isomorphic." The assumptions include: $K_i$ is Galois over $\mathbb Q$ for $i = 1,2$; the Dirichlet density of $S_i$ is not zero for at least one $i$; and so on. A key step of the proof is to recover group-theoretically the $l$-adic cyclotomic character of an open subgroup of $G_{K,S}$ for some prime number $l$.

[3]  arXiv:2009.10433 [pdf, ps, other]
Title: Towards algebraic iterated integrals on elliptic curves via the universal vectorial extension
Comments: 12 pages; for proceedings of workshop "Various aspects of multiple zeta values", RIMS, Kyoto, Japan, 18th-22nd. November. 2019
Journal-ref: RIMS Kokyuroku, no. 2160 (2020), 114--125
Subjects: Number Theory (math.NT)

For an elliptic curve $E$ defined over a field $k\subset \mathbb C$, we study iterated path integrals of logarithmic differential forms on $E^\dagger$, the universal vectorial extension of $E$. These are generalizations of the classical periods and quasi-periods of $E$, and are closely related to multiple elliptic polylogarithms and elliptic multiple zeta values. Moreover, if $k$ is a finite extension of $\mathbb Q$, then these iterated integrals along paths between $k$-rational points are periods in the sense of Kontsevich--Zagier.

[4]  arXiv:2009.10485 [pdf, ps, other]
Title: Optimal bases for direct images of $p$-adic differential modules over discs
Comments: 30 pages; comments are welcome
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

Let $(k,|\cdot|)$ be a complete and algebraically closed valued field extension of $(\mathbb{Q}_p,|\cdot|_p)$. Given a finite morphism $\varphi:\mathscr{D}_1\to \mathscr{D}_2$ of unit discs over $k$, a differential module $(M,D)$ on $\mathscr{D}_1$ and a point $b\in \mathscr{D}_2(k)$, we construct explicitly an optimal basis of space of horizontal elements for the direct image $\varphi_*(M,D)$ at $b$ in terms of the suitable chosen optimal bases of $(M,D)$ at preimages of $b$ by $\varphi$ and ramification properties of the morphism.

[5]  arXiv:2009.10512 [pdf, ps, other]
Title: On Vlasenko's formal group laws
Authors: Dingxin Zhang
Subjects: Number Theory (math.NT)

Given a Laurent polynomial over a ring flat over \(\mathbb{Z}\), Vlasenko defines a formal group law. We identify this formal group law with a coordinate system of a formal group functor, prove its integrality. When the Hasse--Witt matrix of the Laurent polynomial is invertible, Vlasenko defines a matrix by taking a certain \(p\)-adic limit. We show that this matrix is the Frobenius of the Dieudonn\'e module of this formal group modulo \(p\).

[6]  arXiv:2009.10546 [pdf, other]
Title: On the distribution of lattice points on hyperbolic circles
Comments: 22 pages, 3 figures
Subjects: Number Theory (math.NT)

We study the fine distribution of lattice points lying on expanding circles in the hyperbolic plane $\mathbb{H}$. The angles of lattice points arising from the orbit of the modular group $PSL_{2}(\mathbb{Z})$, and lying on hyperbolic circles, are shown to be equidistributed for generic radii. However, the angles fail to equidistribute on a thin set of exceptional radii, even in the presence of growing multiplicity. Surprisingly, the distribution of angles on hyperbolic circles turns out to be related to the angular distribution of $\mathbb{Z}^2$-lattice points (with certain parity conditions) lying on circles in $\mathbb{R}^2$, along a thin subsequence of radii. A notable difference is that measures in the hyperbolic setting can break symmetry - on very thin subsequences they are not invariant under rotation by $\frac{\pi}{2}$, unlike the Euclidean setting where all measures have this invariance property.

[7]  arXiv:2009.10572 [pdf, ps, other]
Title: High Order Elements in Finite Fields Arising from Recursive Towers
Subjects: Number Theory (math.NT)

In [BCG$^+$09], some recursive equations of a tower of fields corresponding to modular curves are used to produce high multiplicative order elements in finite field extensions. In this paper we use purely algebraic conditions to find several towers of fields producing high order elements in $\mathrm{GF}(q,2^n)$, for odd $q$, and in $\mathrm{GF}(2,2 \cdot 3^n)$, for $n \ge 1$. Such towers are given recursively in the form $x_{n}^2 + x_{n} = v(x_{n - 1})$, for odd $q$, or $x_{n}^3 + x_{n} = v(x_{n - 1})$, for $q=2$, where $v(x)$ is a polynomial of small degree over the prime field $\mathrm{GF}(q,1)$ and $x_n$ belongs to the finite field extension $\mathrm{GF}(q,2^n)$, for $q$ odd, or to $\mathrm{GF}(2,2\cdot 3^n)$, respectively. The lower bounds of the orders of the groups generated by $x_n$, or by the discriminant $\delta_n$ of the polynomial, are similar to [BCG$^+$09].

Cross-lists for Wed, 23 Sep 20

[8]  arXiv:2009.09951 (cross-list from math.AG) [pdf, other]
Title: Calabi-Yau threefolds over finite fields and torsion in cohomologies
Comments: Comments welcome!
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

We study various examples of Calabi-Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi-Yau threefolds to characteristic zero. We also compute the p-adic cohomologies of some Calabi-Yau threefolds constructed by Cynk-van Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These examples and computations answer some outstanding questions of B. Bhatt, T. Ekedahl, van der Geer-Katsura and Patakfalvi-Zdanowicz, and shed new light on the Beauville-Bogomolov decomposition in positive characteristic. Our tools include p-adic Hodge theory as well as classical algebraic topology. We also give potential examples showing that Hodge numbers of threefolds in positive characteristic are not derived invariants, contrary to the case of characteristic zero.

Replacements for Wed, 23 Sep 20

[9]  arXiv:1706.03302 (replaced) [pdf, ps, other]
Title: On existential definitions of C.E. subsets of rings of functions of characteristic 0
Comments: Major revisions with improvement in the strength of several results
Subjects: Number Theory (math.NT); Logic (math.LO)
[10]  arXiv:1903.03361 (replaced) [pdf, ps, other]
Title: Comparison of relatively unipotent log de Rham fundamental groups
Comments: Reviewed version after a referee report
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[11]  arXiv:1911.09486 (replaced) [pdf, ps, other]
Title: Algébricité modulo p, séries hypergéométriques et structures de Frobenius forte
Comments: in French
Subjects: Number Theory (math.NT)
[12]  arXiv:2003.12166 (replaced) [pdf, other]
Title: A generalization of primitive sets and a conjecture of Erdős
Comments: 13 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[13]  arXiv:2009.08622 (replaced) [pdf, ps, other]
Title: Conjecture: 100% of elliptic surfaces over $\mathbb{Q}$ have rank zero
Authors: Alex Cowan
Subjects: Number Theory (math.NT)
[14]  arXiv:1908.11244 (replaced) [pdf, ps, other]
Title: Substitutive systems and a finitary version of Cobham's theorem
Comments: 23 pages. v2: incorporates referee's comments, updated references, to appear in Combinatorica
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Number Theory (math.NT)
[15]  arXiv:2002.00455 (replaced) [pdf, ps, other]
Title: Random walks on tori and normal numbers in self similar sets
Comments: Theorem 5 in the old version about equidistribution of orbits in fractals has been generalized to the case of different linear contractions which are integer powers of the same linear contraction. We also allow the linear contraction to be non-diagonal, thus we allow some self-affine fractals as well
Subjects: Dynamical Systems (math.DS); Number Theory (math.NT); Probability (math.PR)
[16]  arXiv:2002.11445 (replaced) [pdf, ps, other]
Title: On faces of quasi-arithmetic Coxeter polytopes
Comments: 14 pages, 3 figures; ancillary files available at this https URL
Subjects: Geometric Topology (math.GT); Group Theory (math.GR); Metric Geometry (math.MG); Number Theory (math.NT)
[ total of 16 entries: 1-16 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2009, contact, help  (Access key information)