Number Theory [math.NT]

On permutation-invariant construction of glued lattices

math.NT

Given a permutation $\tau$ on $n$ letters, we consider lattices spanned by an orbit of one vector $\boldsymbol x$ in $\mathbb R^n$ under the action of $\tau$ by permutation of the coordinates. Such lattices generalize the important class of cyclic lattices and have previously been studied in~\cite{perm}, where a bound on their rank was established. We prove a sufficient condition on $\boldsymbol x$ for this bound to be achieved. We further investigate the structure of such permutation-invariant lattices, proving that they are glued by the permuted vector from the orthogonal cyclic blocks and giving a determinant formula for the lattice in terms of determinants of these blocks and the norm of the permuted vector. In the case $\boldsymbol x$ is an integer vector, these blocks are sublattices of the root lattices $A_k$ in respective dimensions with root lattices themselves and their glued direct sums also realizable by this construction. We also exhibit a glued construction of permutation-invariant algebraic integral lattices from collections of cyclic number fields. Finally, we prove a strengthened version of a previous result of~\cite{lf_ek} on a related construction of well-rounded lattices spanned by sets of algebraic conjugates.

Extreme value laws for intrinsic Diophantine approximation on spheres

math.NT

math.DS

We study intrinsic Diophantine approximation on the sphere $S^d$, measured by the quality of the best rational approximation available at a given height. We show that, for $d\geq 3$ and along sufficiently sparse sequences of heights, these quantities have a Weibull limit distribution and the associated counting functions are asymptotically Poissonian.

Eigenvectors of $p$-Curvature for Geometric Difference Equations

math.NT

math-ph

math.MP

math.RT

A qKZ-type additive discrete flat connection in characteristic $p$ has $p$-curvature operators. They are commuting automorphisms of the connection. We present a Bethe-ansatz-type construction of eigensections and eigenvalues of the $p$-curvature operators. An eigensection of $p$-curvature operators is a discrete hypergeometric sum over the finite lattice $\mathbb{Z}^r/p\mathbb{Z}^r$. Thus, the $p$-curvature eigensections are constructed by a finite, discrete analogue of a hypergeometric integral.

Galois deformation rings and modularity in the residually reducible case

math.NT

We prove some residually reducible $p$-adic Galois representations of number fields arise from modular forms. We study the universal deformation ring arising from deformations satisfying the Fontaine-Laffaille condition at primes over $p$. Under certain conditions, we establish the reduced universal deformation ring is a discrete valuation ring. The method uses pseudocharacters and certain bounds on Selmer groups, where the ideal of reducibility as defined by Bella\"iche and Chenevier is shown to be maximal and principal. A self-dual assumption is not needed in our argument. The main result on deformations applies to $n$-dimensional representations. In applications, a congruence between Hermitian modular forms due to Klosin is used with our results to prove modularity of some 4-dimensional $p$-adic representations of the imaginary quadratic field $\mathbf{Q}(i)$.

On The Cyclicity of Algebraic Lattices

math.NT

This work presents theoretical advances in the study of cyclic and quasi-cyclic lattices. First, we provide elementary facts regarding cyclic and quasi-cyclic lattices, and discuss about the cyclicity of some notable lattices. The main contributions of the paper is in the algebraic setting: we investigate cyclic lattices arising from $\mathbb{Z}$-modules in Galois number fields via the Minkowski embedding. We establish necessary and sufficient conditions for an algebraic lattice to be cyclic over both cyclic and general Galois number fields, expressed in terms of naturally associated groups. Moreover, we derive a necessary and sufficient condition for ideal lattices to be cyclic, depending on the factorization of the ideal in the underlying number field.

The large sieve for square moduli under Hooley's hypothesis $R^*$

math.NT

Let $S(Q,M,N,(a_n)):=\sum_{q\le Q}\sum_{(a,q)=1}|\sum_{M

Annular Frobenius Classification of p-adic Stieltjes--Schwarzian Equations

math.NT

We give explicit annular normal forms and classify Frobenius structures for $p$-adic Schwarzian equations defined by developing differentials. For a unit of the Robba ring, reduction of order expresses the associated module as a quadratic rank-one twist of a unipotent extension determined by the residue. Frobenius existence is characterized by a square-class condition. At odd primes, there are exactly four differential-module types, and a uniform dominant-monomial hypothesis gives a Frobenius formula in analytic families across the zero-residue locus. For rational nonintegral annular powers, we obtain a diagonal normal form and a congruence criterion at odd primes; both results hold at every prime when the unit factor is an explicit square. Applied to the reducible modular equations $\theta^2y-\ell^2E_4y/144=0$, with $\gcd(\ell,6)=1$, this gives exactly two annular types at every prime and determines the least $s\geq1$ for which Frobenius under $q\mapsto q^{p^s}$ exists. The subfamily $\ell=12n+1$ has a single annular type. Heine--Stieltjes residue cancellation and nondegenerate Jacobi configurations provide explicit examples. We also prove an obstruction to constant projective Frobenius equivariance of Robba-ring developing maps.

The integer group determinants for $\mathbb{Z}_p^n$

math.NT

We give new conditions on allowable powers of a prime $p$ dividing an integer group determinant for the group $\mathbb{Z}_p^n$, and show these conditions are sharp for $n\leq 5$. The values coprime to $p$ for these groups are already known; determining which multiples of allowable powers of $p$ occur is much more complicated. We show that all multiples of sufficiently large powers of $p$ occur as integer group determinants of $\mathbb{Z}_p^n$. We also provide a complete characterization for the group $\mathbb{Z}_3^3$, where particular arithmetic conditions are required for multiples of certain powers of $3$.

Difference of the Sum of All Odd and Even Overlined Parts of Overpartitions

math.NT

Recently, Garvan and Sarma studied sums of non-overlined parts in overpartitions and partitions without repeated odd parts. In this paper, we study the corresponding statistic for overlined parts. We define $\mathrm{OSOME}(n)$ as the sum of all odd overlined parts minus the sum of all even overlined parts in the overpartitions of $n$. We obtain a closed form for its generating function and use it to prove congruences by elementary $q$-series methods, the theory of half-integral weight modular forms, and known congruences for the overpartition function.

Frobenius Numbers Associated with Primitive Pythagorean Quadruples

math.NT

Let $(a,b,c,d) = \left(2mn, 2mp, m^2 - n^2 - p^2, m^2 + n^2 + p^2\right)$ be a primitive Pythagorean quadruple and let $S=\langle a, b, c, d\rangle$ be the numerical semigroup generated by $a,b,c,$ and $d.$ For convenience, we also let $Q = n^2 + p^2, \delta = \gcd(n,p),$ and $n = \delta n_0$ for some $n_0 \in \mathbb{Z}$. In this paper, we determine the Frobenius number of $S$ and derive an explicit formula in terms of $m$, $n$, and $p$ with the assumption that $m\geq 2Q$ for $\delta = 1$ and $m \geq \frac{2Q}{\delta} - 1$ for the remaining cases. The proof is based on an explicit complete residue system modulo $2mn$, a normalization procedure for arbitrary semigroup elements, and a lift-orbit description of boundary representatives.

Arithmetic structure of $L_2$-norms of ${\mathrm{SL}}_2(\mathbb{Z})$ matrices

math.NT

For a matrix $\gamma\in\mathrm{SL}_2({\mathbb Z})$, we define \[ {\mathcal R}(\gamma)=a_1^2+a_2^2+a_3^2+a_4^2, \qquad \text{where} \ \gamma=\begin{pmatrix}a_1&a_2\\ a_3&a_4\end{pmatrix}, \] and let $S_{\mathrm{sq}}(X)$ count the number of matrices $\gamma$ with $\|\gamma\|_\infty = \max\{|a_1|, |a_2|,|a_3|,|a_4|\} \leq X$ and such that ${\mathcal R}(\gamma)$ is squarefree. We prove that \[ S_{\mathrm{sq}}(X) = {\mathfrak S}_{\mathcal R}^{\mathrm{sq}}N(X) +O(X^{19/10+o(1)}), \quad \text{as}\ X\to \infty, \] where $N(X)=\#\{\gamma\in{\mathrm{SL}}_2({\mathbb{Z}}):\|\gamma\|_\infty\leq X\}$ and ${\mathfrak{S}}_{\mathcal{R}}^{\mathrm{sq}}$ is an explicit positive Euler product of local $p^2$-densities. The proof combines the $\delta$-method for small moduli with a sum-of-two-squares estimate for large square divisors. This complements a result of J. B. Friedlander and H. Iwaniec (2009) on prime values of ${\mathcal R}(\gamma)$, which, however, is conditional on a very strong form of the Elliott--Halberstam conjecture. We also show that ${\mathcal R}(\gamma)$ is squarefree and has at most $9$ prime divisors for at least $cN(X)/\log X$ matrices $\gamma\in\mathrm{SL}_2({\mathbb Z})$ with $\|\gamma\|_\infty\le X$, where $c>0$ is an absolute constant.

A Note On Certain Minimal Excludants Over Overpartitions

math.NT

math.CO

Let $\sigma\mathrm{Mex}(n)$ and $\sigma_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $\sigma_e\mathrm{Mex}(n)\equiv\sigma\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2},$ where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$. Furthermore, we prove the asymptotic behavior of $\sigma\mathrm{Mex}(n)$, $\sigma_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $\sigma\mathrm{Mex}(n)\sim 2\,\sigma_e\mathrm{Mex}(n).$

On low-discrepancy sequences and Poissonian pair correlation

math.NT

math.PR

Uniform distribution modulo 1 is a classical notion of pseudo-randomness for sequences in the unit interval, which is quantified in terms of the discrepancy. Sequences whose discrepancy is of the smallest possible asymptotic order are called low-discrepancy sequences. The Poissonian pair correlation is another notion of pseudo-randomness, which studies the distribution of the gaps between pairs of elements of the sequence on a local scale. It is known that Poissonian pair correlation implies uniform distribution mod 1, and that the opposite implication is not true in general. It has also been observed that classical examples of low-discrepancy sequences fail to have Poissonian pair correlation, and it has been speculated that the two properties might be irreconcilable due to the high degree of structural rigidity that is required for low-discrepancy behavior. As we prove in this paper, this is not the case: we construct an example of a low-discrepancy sequence with Poissonian pair correlation.

Higher Labute-Serre duality and Lyndon words

math.NT

Let $S$ be a free profinite group on a finite ordered basis $X$, and let $S^{(n,p)}$, $n=1,2,\ldots,$ denote its lower $p$-central filtration. There is a natural duality between $S^{(n,p)}/S^{(n+1,p)}$ and $H^2(S/S^{(n,p)},\mathbb{F}_p)$. These $\mathbb{F}_p$-linear spaces admit natural bases indexed by Lyndon words of length $\leq n$ in the alphabet $X$. These bases are known to be unitriangularly dual. We prove that they are much closer to being fully dual, by showing that the pairing between two basis elements vanishes unless the corresponding Lyndon words are permutations of one another. We further show that the value of the pairing is essentially independent of $n$.

Non-existence of sets with few special directions

math.NT

math.CO

Let $p$ be an odd prime and let $S\subseteq\mathbb{F}_p^2$ have cardinality divisible by $p$. We prove that, for all sufficiently large primes $p$, no such set has exactly four special directions, and obtain a conditional extension to larger numbers of special directions under an affine-independence assumption on the corresponding projection functions. A separate second-moment argument shows more generally that, for every fixed $k\ge4$, no subset of $\mathbb{F}_p^2$ has exactly $k$ special directions once $p$ is sufficiently large. In fact, the result holds uniformly for $k$ up to a positive constant times $\sqrt p/\log p$. In contrast, for multisets every prescribed collection of at most $p$ directions can occur as the set of special directions of a $\{0,1,2\}$-valued multiset on $\mathbb{F}_p^2$.

Real quadratic fields and finite quantum dilogarithms I

math.NT

math.QA

We prove that Stark-Shintani ray class invariants (Stark units) associated to real quadratic fields are algebraic numbers. These invariants are given by special values of Faddeev's modular quantum dilogarithm, introduced by Garoufalidis-Kashaev-Zagier. Our main discovery is that special values of modular quantum dilogarithm satisfy an explicit overdetermined system of polynomial equations, matching a variation on the defining equations of Andersen-Kashaev's notion of a quantum dilogarithm on a product of two cyclic groups. Solutions to this system of equations can be used to categorify fusion rings introduced by Izumi, and the algebraicity of the special values then follows by Ocneanu's rigidity theorem. As a byproduct, we obtain an explicit infinite family of irrational near-group fusion categories. As a further application, we prove a family of quadratic relations for Stark units recently conjectured by Appleby, Flammia, and Kopp motivated by Zauner's conjecture about SIC-POVMs (complex equiangular lines).

$\mathbf{Bad}(\mathbf{r};\mathbf{s})$ is Hyperplane Absolute Winning

math.NT

math.DS

Given an $m$-dimensional weight $\mathbf{r}$ and an $n$-dimensional weight $\mathbf{s}$, we prove that the set of $(\mathbf{r};\mathbf{s})$-badly approximable $m\times n$ matrices is hyperplane absolute winning on $\mathbb{R}^{m\times n}$. This fully answers a question \cite[Question 8.2 (iii)]{Kl} of D. Kleinbock in 1998.

An equivariant version of Gabber's lemma

math.AG

math.NT

math.RT

Let $G$ be a finite abelian group, and let $k$ be an infinite perfect field containing a primitive root of unity of order the exponent of $G$. We prove that the $G$-equivariant version of Gabber's presentation lemma proposed by Bachmann holds over $k$ if and only if $G$ is cyclic of $p$-power order, for some prime $p$.

On the Injectivity of Elementary Symmetric Partitions and the Multiset Recovery Problem

math.CO

math.NT

The elementary symmetric partition map $\pre_s$, introduced by Ballantine, Beck, and Merca, sends an integer partition to the summands in the evaluation of the $s$-th elementary symmetric polynomial at its parts. By encoding partition parts as prime-exponent valuation vectors, we connect $\pre_s$ to Leo Moser's additive Multiset Recovery Problem (1957) and prove that $\pre_s$ is unconditionally injective on partitions of length $n$ whenever $n$ lies outside the Moser root set $\mathcal{Z}_s$, with no size restrictions. Furthermore, under the equal-size constraint $|\lambda| = |\mu| = N$, we prove that $\pre_4$ is injective at the isolated singular length $n = 12$, and that every fiber of $\pre_3$ on $\Part_6(N)$ has cardinality at most $2$, completely excluding both triplets and quartets.

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

math.NT

v3

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

Reducible modular differential equations, Jacobi pole divisors, and supersingular lifts

math.NT

math.CA

v3

We study the reducible parameter values of a second-order modular differential equation for the full modular group and show that their pole data is controlled by a single polynomial linking three a priori different structures. The residue conditions for the associated weight two form are exactly the Stieltjes equilibrium equations for four shifted Jacobi families. This determines the poles uniquely and produces a canonical divisor on $X(1)$ supported on the elliptic arc. After the standard eta-normalization, with $\ell=6r$, the differential equation takes the Kaneko-Zagier form, and the same Jacobi polynomial is precisely the polynomial factor in its distinguished modular solution. When $\ell$ is prime, this polynomial is an $\ell$-integral characteristic-zero lift of the non-elliptic supersingular polynomial. Consequently, its splitting field over $\Q_\ell$ is unramified of degree at most two, with Frobenius cycle structure determined by the supersingular $j$-invariants. Complete splitting occurs exactly when every supersingular $j$-invariant in characteristic $\ell$ is defined over $\F_\ell$, equivalently when the Fricke quotient $X_0^+(\ell)$ has genus zero. These are Ogg's primes, which are exactly the prime divisors of the order of the Monster. A common singular Sturm-Liouville equation further gives strict interlacing for consecutive reducible parameters. Finally, we prove that the canonical representatives of the poles are transcendental although their $j$-invariants are algebraic, and determine their limiting distribution and endpoint scales on the modular arc.

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

math.NT

math.RT

v2

For irreducible generic representations $\pi_1$ and $\pi_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,\pi_1\times\pi_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

On optimization on ravine functions. Minkowski-Cohn moduli surface in Cohn parameterization

math.NT

v4

This paper presents a brief overview of ravine functions using the example of the Minkowski-Cohn moduli surface from the point of view of optimization on it. Elements of representation and solution of the minimization problem at a point are presented.

Multiplicative independence in the sequence of $k$-generalized Pell numbers

math.NT

v2

We study multiplicative dependence between terms of the \(k\)-generalized Pell sequence \((P_n^{(k)})_{n\ge 2-k}\), defined by the linear recurrence \[ P_n^{(k)}=2P_{n-1}^{(k)}+P_{n-2}^{(k)}+\cdots+P_{n-k}^{(k)}, \] with initial conditions \(P_0^{(k)}=\cdots=P_{-(k-2)}^{(k)}=0\) and \(P_1^{(k)}=1\). We prove that for every \(k\ge 2\) and all integers \(n>m\ge 2\), the equation \[ \bigl(P_n^{(k)}\bigr)^x=\bigl(P_m^{(k)}\bigr)^y \] has no solution in positive integers \(x,y\) with \(x

Exceptional Sets for Certain ${}_2F_1$ Hypergeometric Functions

math.NT

v2

For $a,b,c \in \mathbb{Q}$, the exceptional set associated to the Gauss hypergeometric function $_2F_1(a,b,c;z)$ is defined by $E(a,b,c) := \{ z \in \overline{\mathbb{Q}} \mid {}_2F_1(a,b,c;z) \in \overline{\mathbb{Q}} \}.$ In this paper, the exceptional sets $E(a,b,c)$ are determined explicitly for each $_2F_1(a,b,c;z)$ whose monodromy group is an arithmetic triangle group in Takeuchi's class I. The description is obtained via hypergeometric-modular identities together with transcendence results for periods of abelian varieties due to W\"ustholz, and classical result of Schneider on algebraic values of $j$-invariant of elliptic curves with complex multiplication.

Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves

math.NT

cs.LG

v2

We investigate the extent to which the coefficients $(w_1,w_2,w_3,w_4,w_6)$ of the reduced minimal Weierstrass model of an elliptic curve $E/\mathbb{Q}$ are determined by the Dirichlet coefficients $a_n(E)$ of its $L$-function, whose values at primes of good reduction are the Frobenius traces of $E$. We prove that $w_1$, $w_2$ and $w_3$ are given by explicit formulae in $a_2(E)$, $a_3(E)$ and $a_4(E)$, that $w_4$ modulo $5$ is then determined by $a_5(E)$, and that $w_6$ modulo $7$ is determined by $a_7(E)$ together with $w_1,w_2,w_3,w_4$. These formulae, which appear to be new, were discovered by training decision tree models on the LMFDB; we report the accompanying experiments and explore applications to computing tables of elliptic curves.

Well and badly approximable sets, and rapid winning

math.NT

math.DS

math.MG

v2

The set of $\tau$-approximable numbers, $\mathcal W(\tau)$, has genuinely fractional Hausdorff dimension, whereas the set of inhomogeneously badly approximable numbers, $\Bad^\gamma$, has full Hausdorff dimension. We determine the Hausdorff dimension of their intersection by introducing the $\Psi$-rapid game, a scale-sensitive refinement of the rapid game of Hatefi and Simmons (preprint 2024). For every approximation function $\psi$, we prove that $\mathcal W(\psi)\cap\Bad^\gamma$ is strong $\Psi$-rapid winning for a natural gauge $\Psi$ determined by $\psi$. Unlike Schmidt-type games, whose winning property always implies full Hausdorff dimension, the $\Psi$-rapid game is calibrated to a prescribed Diophantine scale, so that the resulting dimension bound depends explicitly on the decay of $\Psi$. In particular, for $\psi(q)=q^{-\tau}, \tau\ge1,$ we recover the exact Jarn\'ik--Besicovitch dimension, that is, $$ \HD\bigl(\mathcal W(\tau)\cap\Bad^\gamma\bigr)=\frac{2}{\tau+1}.$$

Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$

math.NT

math.CO

v3

Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $\Delta\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $\Delta$. We prove that \[ |A|\ll_{\Delta,d} N^d\exp\!\left(-c_{\Delta,d}\sqrt{\log N}\right) \] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of H\"older's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.

The Jensen--P\'{o}lya program and inequalities for arithmetic sequences

math.NT

v2

We develop an analytic framework to study hyperbolicity of Jensen polynomials and related inequalities for arithmetic sequences with general asymptotic growth. Our results provide partial converses to the Hermite--Jensen phenomenon of Griffin, Ono, Zagier, and the third author. As applications we prove several conjectures concerning log-concavity, higher-order Turan inequalities, Laguerre inequalities, infinite log-concavity, and Toeplitz determinants for partition-type functions.

Surjectivity of the Enots Wolley Sequence

math.NT

math.CO

v2

We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose an eligible integer is omitted, and let T be its finite set of prime divisors. There is a finite cutoff such that any maximal run of terms divisible by at least one prime of T and beginning after the cutoff starts with a term divisible by every prime of T and has length at most two. If infinitely many such runs occur, then terms divisible by some but not all primes of T can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite inequality at arbitrarily large scales: after discarding a negligible exceptional set, a weighted double count produces a fixed-factor excess of the former terms. Hence only finitely many such runs occur. Prime recurrence then forces every sufficiently late term to be divisible by some prime of T. Finally, a disjoint-cover argument rules out any finite eventual prime cover, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.

Conductor-Discriminant Inequality for Tamely Ramified Cyclic Covers I

math.AG

math.AC

math.NT

v2

We prove conductor-discriminant inequalities for all $\mathbb{Z}/n$-covers of $\mathbb{P}^1$ defined over discretely valued fields $K$ with excellent valuation ring $\mathcal{O}_K$ and perfect residue field of characteristic not dividing $n$, modulo some calculations appearing in work of the third author (arXiv:2609.20585). Specifically, when such a curve $X$ is given by $y^n = f(x)$ with $f(x) \in\mathcal{O}_K[x]$ and $n\mid\text{deg}(f)$, and if $\mathcal{X}$ is its minimal regular model over $\mathcal{O}_K$, then the negative of the Artin conductor of $\mathcal{X}$ is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$. This is a direct generalization of previous work of the first two authors on hyperelliptic curves, which in turn generalized work of Ogg, Saito, Liu, and the second author. When $f$ is monic, this strengthens a result of Kohls stating that the conductor exponent of the Jacobian of such a curve is bounded above by $(n-1)v_K(\text{disc}(\text{rad}(f)))$.

Conductor-Discriminant Inequality for Tamely Ramified Cyclic Covers II

math.AG

math.AC

math.NT

v2

Let $K$ be a Henselian discretely valued field with excellent ring of integers $\mathcal{O}_K$ and algebraically closed residue field $k$. Let $X\to\mathbb{P}^1_K$ be a cyclic cover of degree $n$ prime to the characteristic of $k$. In joint work with Obus and Srinivasan (arXiv:2609.20553), we define an integer called the conductor-discriminant contribution $\text{cdc}(y)$ associated to a multiplicity $2$ point $y$ of the branch divisor of the normalization in $K(X)$ of a regular $\mathcal{O}_K$-model $\mathcal{Y}$ of $\mathbb{P}^1_{K}$; modulo several key results about $\text{cdc}(y)$, we prove a conductor-discriminant inequality for $X$, extending previous work of Ogg, Saito, Liu, Srinivasan, and Obus$-$Srinivasan. In this companion paper, we supply the necessary technical results for $\text{cdc}(y)$. In particular, we show $\text{cdc}(y)$ is non-negative except under highly restrictive conditions on $n$ and the structure of the branch divisor at $y$. Moreover, if $\text{cdc}(y)$ is negative, we show the spectrum of the complete local ring of any point lying over $y$ under the normalization of $\mathcal{Y}$ in $K(X)$ is a rational double point. Along the way, we show the non-negativity of a related quantity, the conductor exponent-discriminant contribution $\text{cedc}(y)$, which is used in our joint work with Obus and Srinivasan to give a new proof of a result of Kohls.