Number Theory [math.NT]

Areal Weil Heights

math.NT

In 2008, Pritsker introduced the areal Mahler measure, which is defined using an integral over the unit disk, as opposed to the classical Mahler measure which is defined using an integral over the unit circle. In this paper we introduce areal Weil heights, which generalize the areal Mahler measure to the adelic setting. We use the framework of adelic heights established by Favre and Rivera-Letelier and we construct a $p$-adic analog for the area measure on a disk in $\mathbb{C}$. For areal Weil heights we prove an analog of Kronecker's theorem, which characterizes their small points and essential minima. Furthermore, we determine equidistribution theorems for areal Weil heights. In some cases, they have a unique limiting distribution for small points, while in others there are infinitely many limiting distributions. We conclude with examples. In one of our examples, we determine for which radii $r$ there exist sequences of conjugate sets of algebraic integers which uniformly distribute to the disk $D(0,r) \subset \mathbb{C}$, and we compute the limiting height for such sequences.

Equidistribution of polynomial sequences in function fields: resolution of a conjecture

math.NT

Let $\mathbb F_q$ be the finite field of $q$ elements having characteristic $p$, and denote by $\mathbb K_\infty=\mathbb F_q((1/t))$ the field of formal Laurent series in $1/t$. We consider the equidistribution in $\mathbb T=\mathbb K_\infty/\mathbb F_q[t]$ of the values of polynomials $f(u)\in \mathbb K_\infty [u]$ as $u$ varies over $\mathbb F_q[t]$. Let $\mathcal K$ be a finite set of positive integers, and suppose that $\alpha_r\in \mathbb K_\infty$ for $r\in \mathcal K\cup \{0\}$. We show that the polynomial $\sum_{r\in \mathcal K\cup\{0\}}\alpha_ru^r$ is equidistributed in $\mathbb T$ whenever $\alpha_k$ is irrational for some $k\in \mathcal K$ satisfying $p\nmid k$, and also $p^vk\not\in \mathcal K$ for any positive integer $v$. This conclusion resolves in full a conjecture made jointly by the third, fourth and fifth authors.

Unbounded average Selmer ranks of elliptic curves in torsion families

math.NT

Let $M$ and $N$ be positive integers for which the modular curve $X_1(M,MN)$ has genus $0$, and let $p$ be a prime divisor of $MN$. This article gives asymptotic lower bounds for the average size of the $p$-Selmer group of elliptic curves over a number field, with torsion subgroup $\mathbb{Z}/M\mathbb{Z} \oplus \mathbb{Z}/MN\mathbb{Z}$. In many cases, it is shown that this average is unbounded.

Polynomial densities and Heilbronn's criterion

math.NT

Heilbronn gave a sufficient condition for a number field with a totally ramified prime to fail to be norm-Euclidean. We say that Heilbronn's criterion applies to a polynomial $f$ if it applies to the number field $K=\mathbb{Q}[x]/(f)$ generated by $f$. Suppose $n\geq 3$ is odd and $p\geq 5$ is prime with $\gcd(p-1,n)=1$. Let $\mathcal{F}_{p,n}$ denote the collection of monic polynomials $f\in\mathbb{Z}[x]$ of degree $n$ that are Eisenstein at the prime $p$. We order our polynomials by the natural height $\mathrm{Ht}(f)$. Define $\delta_{p,n}(X)$ to be the proportion of polynomials $f\in\mathcal{F}_{p,n}$ with $\mathrm{Ht}(f)\leq X$ for which Heilbronn's criterion applies. One has $$\liminf_{X\to\infty}\delta_{p,n}(X)\geq \max\left\{\frac{2}{27}\,,\;1-\varepsilon(p)\right\}\,,$$ where $\varepsilon(p)\to 0$ and is effectively computable. In particular, the lower density tends to $1$ as $p\to\infty$ uniformly in $n$. We also give a version of this result where we weaken the condition on $\gcd(p-1,n)$. As a corollary, we show that given an integer $n\geq 2$, a positive proportion of Eisenstein polynomials of degree $n$ fail to generate norm-Euclidean fields.

Counting appearances of integers in sets of arithmetic progressions

math.NT

math.CO

The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes. Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.

Distributions of Integral Points and Dedekind Zeta Values

math.NT

We study the distribution of integral matrices with a fixed characteristic polynomial. When the polynomial is irreducible, we determine the leading term of the distribution in terms of zeta functions of orders. The proof is based on an equidistribution property of orbits, a reformulation of the distribution into orbital integrals via the strong approximation with Brauer-Manin obstruction and the Tate-Nakayama duality, endoscopic fundamental lemma, and a critical input that links orbital integrals to residues of zeta functions of orders.

A note on the Cram\'er-Granville model

math.NT

We show the existence of a set $A\subseteq \mathbb{Z}_{\geq 2}$ satisfying the estimates of the Bateman--Horn conjecture, Goldbach's conjecture, and also \[ \#\{p\leq x \text{ prime} ~|~ p\in A\} \gg x(\log\log x)/(\log x)^2. \]

The splitting fields and Generators of Shioda's elliptic surfaces $y^2=x^3 +t^{m} +1$ (I)

math.NT

math.AG

The splitting field of an elliptic surface $\mathcal E$ defined over ${\mathbb Q}(t)$ is the smallest subfield $\mathcal K$ of $\mathbb C$ such that ${\mathcal E}({\mathbb C}(t))\cong {\mathcal E}({\mathcal K}(t))$. In this paper, we determine the splitting field ${\mathcal K}_m$ and a set of linearly independent generators for the Mordell--Weil lattice of Shioda's elliptic surface with generic fiber given by ${\mathcal E}_m: y^2=x^3 +t^{m} +1$ over ${\mathbb Q}(t)$ for positive integers $1\leq m\leq 12$.

On Properly $\theta$-Congruent Numbers Over Real Number Fields

math.NT

The notion of $\theta$-congruent numbers generalizes the classical congruent number problem. Recall that a positive integer $n$ is $\theta$-congruent if it is the area of a rational triangle with an angle $\theta$ whose cosine is rational. Das and Saikia [2] established criteria for numbers to be $\theta$-congruent over certain real number fields and concluded their work by posing four open questions regarding the relationship between $\theta$-congruent and properly $\theta$-congruent numbers. In this work, we provide complete answers to those questions. Indeed, we remove a technical assumption from their result on fields with degrees coprime to $6$, provide a definitive answer for real cubic fields without congruence restrictions, extend the analysis to fields of degree~$6$, and examine the exceptional cases $n=1, 2, 3$ and $6$.

Topological flatness of orthogonal spin local models

math.NT

Let $p$ be an odd prime and $F$ be a complete discretely valued field with residue field of characteristic $p$. For any parahoric level structure of the split even orthogonal similitude group $\operatorname{GO}_{2n}$ over $F$, we prove a preliminary form of the Pappas-Rapoport flatness conjecture: the associated spin local model is topologically flat.

Symplectic Kloosterman Sums for $\operatorname{Sp}(2n)$ with Powerful Moduli

math.NT

We prove a non-trivial bound for $\operatorname{Sp}(2n)$ Kloosterman sums of moduli not equal to a prime multiple of the identity. These sums are attached to Siegel modular forms on the group $\operatorname{Sp}(2n)$ and appear in the corresponding Petersson formula. We give an application to equidistribution of coprime symmetric pairs.

On the flatness of spin local models for split even orthogonal groups

math.NT

Let $F$ be a complete discretely valued field with ring of integers $\mathcal{O}$ and residue field of characteristic $p>2$. Let $G=\operatorname{GO}_{2n}$ denote the split orthogonal similitude group over $F$. For any parahoric level structure, we prove that the associated spin local model for $G$ is a flat $\mathcal{O}$-scheme with reduced special fiber, provided either $p$ is sufficiently large or $n\leq 4$. This partially confirms a conjecture of Pappas and Rapoport. As a corollary, we obtain a flat (integral) moduli space of PEL-type D under the same assumptions.

$\mathcal{M}$-points of bounded height on toric varieties

math.NT

math.AG

We establish an asymptotic formula for the number of $\mathcal{M}$-points of bounded height on split toric varieties, for the height induced by any big and nef divisor class. This formula establishes new cases of the extension of Manin's conjecture to $\mathcal{M}$-points, as introduced by the author. As a special case of our result, we strengthen the results obtained by Pieropan and Schindler on Campana points of bounded height on toric varieties. As another special case, we obtain an asymptotic for the number of weak Campana points of bounded height, which is novel even for projective space. We illustrate our result by giving an asymptotic for the number of points on projective space of bounded height for which the product of coordinates is powerful.

Multiple polylogarithms at non-positive indices and combinatorics of Magnus polynomials

math.CO

math.NT

In this paper we investigate multiple polylogarithms with non-positive multi-indices (nonpositive MPLs) from a combinatorial and algebraic viewpoint. By introducing a correspondence between non-positive multiple polylogarithms and Magnus polynomials in a free associative algebra, we obtain an explicit Magnus-type representation of products of mono-indexed non-positive MPLs. The main identity (Theorem A) expresses such a product as a single non-positive MPL indexed by a Magnus polynomial, which may be regarded as a M\"obius inversion of the expansion formula due to Duchamp-Hoang Ngoc Minh-Ngo. Moreover, we study the effects of permuted indices and show that certain differences of Magnus polynomials belong to the kernel of the linear map ${\rm Li}^-_{\bullet}$ , leading to new functional equations among non-positive MPLs of the same weight and depth. These results clarify the combinatorial structure underlying non-positive MPLs and reveal a close connection with the Magnus expansion in non-commutative algebra.

On a problem of Erd\H{o}s and Ingham

math.CA

math.NT

We give a short and elementary argument answering a question of Erd\H{o}s and Ingham negatively. Erd\H{o}s and Ingham showed that a Tauberian estimate they considered was equivalent to the non-vanishing of $1+\sum_{k}a_k^{-1-it}$ for any real number $t$ and any sequence $1<\cdots$ of positive integers such that $\sum_k a_k^{-1}<\infty$. We disprove this statement. In fact, we show that for any complex number $\lambda$ and any non-zero real number $t$, there exists a sequence $1<\cdots$ of positive integers such that $\sum_k a_k^{-1}<\infty$ and $\sum_k a_k^{-1-it} = \lambda$.

$\mathbf{A}_{\text {inf}}$ has uncountable Krull dimension

math.NT

math.AC

v4

Let $\mathcal{O}_E$ be a complete discrete valuation ring and $R$ be a perfect ring in characteristic $p$, we also assume $R$ is a complete valuation ring whose valuation group is of rank one and non-discrete, we prove the Krull dimension of the ring $W_{\mathcal{O}_E}(R)$ of $\mathcal{O}_E$-Witt vectors over $R$ is at least the cardinality of the continuum.

Functional equation for LC-functions with even or odd modulator

math.NT

math.CV

v2

In a recent work, we introduced \textit{LC-functions} $L(s,f)$, associated to a certain real-analytic function $f$ at $0$, extending the concept of the Hurwitz zeta function and its formula. In this paper, we establish the existence of a functional equation for a specific class of LC-functions. More precisely, we demonstrate that if the function $p_f(t):=f(t)(e^t-1)/t$, called the \textit{modulator} of $L(s,f)$, exhibits even or odd symmetry, the \textit{LC-function formula} -- a generalization of the Hurwitz formula -- naturally simplifies to a functional equation analogous to that of the Dirichlet L-function $L(s,\chi)$, associated to a primitive character $\chi$ of inherent parity. Furthermore, using this equation, we derive a general formula for the values of these LC-functions at even or odd positive integers, depending on whether the modulator $p_f$ is even or odd, respectively. Two illustrative examples of the functional equation are provided for distinct parity of modulators.

The orbit method in number theory through the sup-norm problem for $\operatorname{GL}(2)$

math.NT

v2

The orbit method in its quantitative form due to Nelson and Venkatesh has played a central role in recent advances in the analytic theory of higher rank $L$-functions. The goal of this note is to explain how the method can be applied to the sup-norm problem for automorphic forms on $\operatorname{PGL}(2)$. Doing so, we prove a new hybrid bound for newforms $\varphi$ of large prime-power level $N = p^{4n}$ and large eigenvalue $\lambda$. It states that $\| \varphi \|_\infty \ll_p (\lambda N)^{5/24 + \varepsilon}$, recovering the result of Iwaniec and Sarnak spectrally and improving the local bound in the depth aspect for the first time in this non-compact setting. We also provide an exposition of the microlocal tools used, illustrating and motivating the theory through the classical case of $\operatorname{PGL}(2)$, following notes and lectures of Nelson and Venkatesh.

A guide to Tauberian theorems for arithmetic applications

math.NT

v2

A Tauberian theorem deduces an asymptotic for the partial sums of a sequence of non-negative real numbers from analytic properties of an associated Dirichlet series. Tauberian theorems appear in a tremendous variety of applications, ranging from well-known classical applications in analytic number theory, to new applications in arithmetic statistics, group theory, and the intersection of number theory and algebraic geometry. The goal of this article is to provide a useful reference for practitioners who wish to apply a Tauberian theorem. We explain the hypotheses and proofs of two types of Tauberian theorems: one with and one without an explicit remainder term. We furthermore provide counterexamples that illuminate that neither theorem can reach an essentially stronger conclusion unless its hypothesis is strengthened.

On effective mean-values of arithmetic functions

math.NT

v5

Let $r,\,f$ be multiplicative functions with $r\geqslant 0$, $f$ is complex valued, $|f|\leqslant r$, and $r$ satisfies some standard growth hypotheses. Let $x$ be large, and assume that, for some real number $\tau$, the quantities $r(p)-\Re\{f(p)/p^{i\tau}\}$ are small in various appropriate average senses over the set of prime numbers not exceeding $x$. We derive from recent effective mean-value estimates an effective comparison theorem between the mean-values of $f$ and of $r$ on the set of integers $\leqslant x$. We also provide effective estimates for certain weighted moments of additive functions and for sifted mean-values of non-negative multiplicative functions.

The Hardy--Ramanujan inequality for sifted sets and its applications

math.NT

v3

The well-known Hardy--Ramanujan inequality states that if $\omega(n)$ denotes the number of distinct prime factors of a positive integer $n$, then there is an absolute constant $C>0$ such that uniformly for $x\ge2$ and $k\in\mathbb{N}$, \[\#\{n\le x\colon\omega(n)=k\}\ll\frac{x(\log\log x+C)^{k-1}}{(k-1)!\log x}.\] A myriad of generalizations and variations of this inequality have been discovered. In this paper, we establish a weighted version of this inequality for sifted sets, which generalizes an earlier result of Hal\'asz and implies Timofeev's theorems on shifted primes. We then explore its applications to a variety of intriguing problems, such as large deviations of $\omega$ on subsets of integers, the Erd\H{o}s multiplication table problem, divisors of shifted primes, and the image of the Carmichael $\lambda$-function. Building on the same circle of ideas, we also generalize Troupe's result on the normal order of $\omega(s(n))$ for the sum-of-proper-divisors function $s(n)$, confirming for the first time the weighted version of a special case of a 1992 conjecture by Erd\H{o}s, Granville, Pomerance, and Spiro.

Positivity of partial sums of a random multiplicative function and corresponding problems for the Legendre symbol

math.NT

v2

Let $f(n)$ be a random completely multiplicative function such that $f(p) = \pm 1$ with probabilities $1/2$ independently at each prime. We study the conditional probability, given that $f(p) = 1$ for all $p < y$, that all partial sums of $f(n)$ up to $x$ are nonnegative. We prove that for $y \ge C \frac{(\log x)^2 \log_2 x}{\log_3 x}$ this probability equals $1 - o(1)$. We also study the probability $P_x'$ that $\sum_{n \le x} \frac{f(n)}{n}$ is negative. We prove that $P_x' \ll \exp \left( - \exp \left( \frac{\log x \log_4 x}{(1 + o(1)) \log_3 x} \right) \right)$, which improves a bound given by Kerr and Klurman. Under a conjecture closely related to Hal\'asz's theorem, we prove that $P_x' \ll \exp(-x^{\alpha})$ for some $\alpha > 0$. Let $\chi_p(n) = \left( \frac{n}{p} \right)$ be the Legendre symbol modulo $p$. For a prime $p$ chosen uniformly at random from $(x, 2x]$, we express the probability that all partial sums of $\frac{\chi_p(n)}{n}$ are nonnegative in terms of the probability that partial sums of $\frac{f(n)}{n}$ are nonnegative.

Linear Combinations of Logarithms of $L$-functions over Function Fields at Microscopic Shifts and Beyond

math.NT

v3

In the function field setting with a fixed characteristic, it was proven by the second and third authors that the values $\log \big|L\big(\frac12, \chi_D\big)\big|$ as $D$ varies over monic and square-free polynomials are asymptotically Gaussian distributed on the assumption of a low lying zeros hypothesis as the degree of $D$ tends to $\infty$. For real distinct shifts $t_j$ all of microscopic size or all of nonmicroscopic size relative to the genus, we consider linear combinations of $\log\big|L\big(\frac12+it_j, \chi_D\big)\big|$ with real coefficients, and separately, of $\arg L\big(\frac12+it_j, \chi_D\big).$ We provide estimates for their distribution functions under the low lying zeros hypothesis. We similarly study distribution functions of linear combinations of $\log\big|L\big(\frac12+it_j, E\otimes \chi_D\big)\big|$, and separately $\arg L\big(\frac12+it_j, E\otimes\chi_D\big)$, for quadratic twists of elliptic curves $E$ with root number one as the conductor gets large. As an application of these results, we prove a central limit theorem for the fluctuation of the number of nontrivial zeros of such $L$-functions from its mean, and thus recover previous results by Faifman and Rudnick. Correlations of such fluctuations are in harmony with the results of Bourgade, Coram and Diaconis, and Wieand for zeros of the Riemann zeta function and for eigenangles of unitary random matrices.

The $\rho$-Schwartz space

math.NT

math.RT

v2

Let $G$ be a reductive group over a local field $F$ and let $\rho:{}^LG \to \mathrm{GL}_{V_{\rho}}(\mathbb{C})$ be a representation of its $L$-group satisfying suitable assumptions. Braverman, Kazhdan and Ng\^o conjectured that one has a Schwartz space $\mathcal{S}_{\rho}(G(F))$ of functions on $G(F)$ that admits a Fourier transform and satisfies certain desiderata. We prove a large portion of this conjecture. More precisely, we construct these Schwartz spaces over non-Archimedean local fields and construct an approximation to them over Archimedean fields. Our methods are spectral in nature.

Euclidean Algorithms for Ideal Classes in Biquadratic fields: A Genus-Theoretic Perspective

math.NT

v2

We study Euclidean ideal classes in real biquadratic fields and obtain unconditional existence results via genus theory. Lenstra showed (assuming the Generalized Riemann Hypothesis) that a number field with unit rank at least one admits a Euclidean ideal precisely when its class group is cyclic; subsequent work has aimed to remove the GRH hypothesis in special families. Focusing on real biquadratic fields $K=\mathbb{Q}\left(\sqrt{d_1},\sqrt{d_2}\right)$ with $2\nmid d_1d_2$, we prove that if the class group $\mathrm{Cl}_K$ is cyclic and the Hilbert class field $H(K)$ is abelian over $\mathbb{Q}$, then $K$ contains a Euclidean ideal class (unconditionally). We also analyse the distribution of genus numbers in a natural family of biquadratic fields and, using these statistics, show that the set of biquadratic fields admitting a Euclidean ideal has density zero.

Generalized discrete Markov spectra

math.NT

math.CO

v2

In this paper, we generalize the special subset of the Markov-Lagrange spectrum (and the Markov spectrum) called the discrete Markov spectrum. The discrete Markov spectrum is defined in terms of the Markov numbers, which arise as positive integer solutions to the Markov equation $x^2 + y^2 + z^2 = 3xyz.$ Using the tool called snake graphs, originating from cluster algebra theory, we first reconstruct proofs of its properties in a combinatorial framework and then extend it to the generalized setting. We then introduce the generalized discrete Markov spectrum, defined analogously via the generalized Markov numbers, which arise as positive integer solutions to the generalized Markov equation $x^2 + y^2 + z^2 + k_1 yz + k_2 zx + k_3 xy = (3 + k_1 + k_2 + k_3) xyz.$ We prove that this generalized spectrum is contained in the Markov-Lagrange spectrum and thus the Markov spectrum.

Expository notes on Spectral Reciprocity with Explicit Transform

math.NT

v2

We assemble three basic analytic inputs -- the Kuznetsov trace formula on $\mathrm{SL}_2(\mathbb Z)$ with explicit continuous spectrum, the $\mathrm{GL}_3$ Voronoi formula, and $t$-aspect second-moment bounds for $L(1/2+it,\varphi)$ -- into a single framework for a smoothed $\mathrm{GL}_3$ spectral average. For a fixed Hecke-Maass cusp form $\varphi$ on $\mathrm{SL}_3(\mathbb Z)$, we evaluate a weight-$0$ spectral average of $L(1/2,\varphi\times f_j)$ over the $\mathrm{GL}_2$ Maass spectrum. In the Kuznetsov normalization where the diagonal transform has density $t\tanh(\pi t)$, the diagonal contributes exactly $2\mathcal H_0[h]$; the off-diagonal and the continuous spectrum are bounded with power savings consistent with the currently best unconditional second-moment bounds in the $\mathrm{GL}_3$ $t$-aspect. The argument is organized into a sequence of steps: normalizations and approximate functional equations, insertion into Kuznetsov, Voronoi summation on $\mathrm{GL}_3$, a bilinear estimate for the off-diagonal, evaluation of the diagonal and the Eisenstein contribution, moment refinements and parameter optimization, and finally plateau-smooth spectral windows and standard generalizations.

Tropical Dynamics of Markov Surfaces

math.DS

math.GT

math.NT

v2

We discuss the algebraic dynamics on Markov cubics generated by Vieta involutions, in the tropicalized setting. It turns out that there is an invariant subset of the tropicalized Markov cubic where the action by Vieta involutions can be modeled by that of $(\infty,\infty,\infty)$-triangle reflection group on the hyperbolic plane. This understanding of the tropicalized algebraic dynamics produces some results on Markov cubics over non-archimedean fields, including the existence of the Fatou domain and finitude of orbits with rational points having prime power denominators.

A question of Erd\H{o}s and Graham on Egyptian fractions

math.CO

math.NT

v2

Answering a question of Erd\H{o}s and Graham, we show that for each fixed positive rational number $x$ the number of ways to write $x$ as a sum of reciprocals of distinct positive integers each at most $n$ is $2^{(c_x + o(1))n}$ for an explicit constant $c_x$ increasing with $x$.

Liminal ${\rm SL}_2\mathbb{Z}_p$-representations and odd-th cyclic covers of genus one two-bridge knots

math.GT

math.NT

v4

Let $p$ be a prime number and let $K$ be a genus one two-bridge knot. In the spirit of arithmetic topology, we observe that if $p$ divides the size of the 1st homology group of some odd-th cyclic branched cover of the knot $K$, then its group $\pi_1(S^3-K)$ admits a liminal ${\rm SL}_2\mathbb{Z}_p$-character, where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers. In addition, we discuss the existence of liminal ${\rm SL}_2\mathbb{Z}_p$-representations and give a remark on a general two-bridge knot. In the course of argument, we also point out a constraint for prime numbers dividing certain Lucas-type sequences by using the Legendre symbols.

Classification of Hyperbolic Dehn fillings II: Quadratic case

math.GT

math.NT

v3

This paper is subsequent to [5]. In this paper, we extend the classification of hyperbolic Dehn fillings with sufficiently large coefficients by addressing the remaining case not covered in [5]. Specifically, by considering the case in which the two cusp shapes lie in the same quadratic field, we obtain the complete classification under a mild assumption satisfied by most manifolds. The content of this paper is not limited to the classification of hyperbolic Dehn fillings. Along the way, we also classify key types of automorphisms of the holonomy variety of a two-cusped hyperbolic $3$-manifold and uncover an intriguing hidden structure in the complex volume of certain manifolds. Concrete examples illustrating these phenomena were discovered by S. Oh, and we elaborate on them in this paper. All the results presented here appear to be effective. In the third paper of this series, joint with S. Oh, we will provide examples confirming the optimality of our results.

Baily--Borel compactifications of period images and the b-semiampleness conjecture

math.AG

math.CV

math.NT

v2

We address two questions related to the semiampleness of line bundles arising from Hodge theory. First, we prove there is a functorial compactification of the image of a period map of a polarizable integral pure variation of Hodge structures for which the Griffiths bundle extends amply. In particular the Griffiths bundle is semiample. We prove more generally that the Hodge bundle of a Calabi--Yau variation of Hodge structures is semiample subject to some extra conditions, and as our second result deduce the b-semiampleness conjecture and the existence of a functorial Hodge-theoretic compactification of moduli spaces of polarized Calabi--Yau varieties. The semiampleness results (and the construction of the Baily--Borel compactifications) crucially use o-minimal GAGA, and the deduction of the b-semiampleness conjecture uses work of Ambro and results of Koll\'ar on the geometry of minimal lc centers to verify the extra conditions.

On path integrals for wave functions taking $p$-adic values

math-ph

math.MP

math.NT

v3

In this paper, we construct a $p$-adic path integral via $p$-adic multiple integrals. This integral describes the evolution of a wave function $\Psi(x)$, which is defined as a map from a domain in $\mathbb{C}_{p}$ to $\mathbb{C}_{p}$. We also compute the Feynman propagator for free particles, demonstrating that the result obtained is similar to the classical counterparts.

The de Jong fundamental group of $\mathbb{P}^1_C$ depends on $C$ and is not always topologically countably generated

math.AG

math.NT

v3

For $C/\mathbb{Q}_p$ complete and algebraically closed, we show that the de Jong fundamental group $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ depends on $C$ and, if $C$ has cardinality $>2^{\mathbb{N}}$, that it is not topologically countably generated. The result and proofs generalize to any connected rigid analytic variety with a non-constant map to $\mathbb{P}^n_C$.

The de Jong fundamental group of a non-trivial abelian variety is non-abelian

math.AG

math.NT

v3

We show that the de Jong fundamental group of any non-trivial abelian variety over a complete algebraically closed extension $C/\mathbb{Q}_p$ is non-abelian. Generalizing an argument for $\mathbb{P}^1_C$, we also show that the de Jong fundamental group of any connected rigid analytic variety over $C$ admitting a non-constant map to $\mathbb{P}^n_C$ (e.g., an abelian variety) depends on $C$ and is big.