Number Theory [math.NT]

Vanishing Coefficients in Products of Quintuple Products

math.NT

Explicit arithmetic progressions modulo primes $p \equiv 1 \pmod{4}$ are derived in which the coefficients in the expansions of products of quintuple products vanish. In particular, if $p = m^{2} + n^{2}$, and $b$ is a positive integer, and $$\sum_{n=0}^{\infty} a_{n}q^{n} = \frac{(q^{2bm},q^{p-2bm};q^{2bn},q^{p-2bn};q^p)_{\infty}}{(q^p,-q^{b m},-q^{p-bm},-q^{bn},-q^{p-bn};q^p)_{\infty}^2},$$ we determine $\alpha = \alpha(m,n,p)$ such that $a_{pt+ \alpha}=0$. Our results are proven using involutive transformations on integer lattices.

Tamagawa number formula for Jacobians

math.NT

We give a product formula for the Tamagawa numbers of Jacobians over a discrete valuation field with perfect residue field k. It comes as a product of four terms - unipotent, toric, arithmetic and (somewhat intricate) cohomological. It is proved by (1) extending the classical flow-cut construction from semistable to arbitrary curves, which, by Raynaud's results, gives the formula when k is algebraically closed; (2) observing that this formula respects the natural metric on the edges of the dual graph, which allows to quotient out the Galois action; (3) extending Bosch-Liu's description of the cohomological term when k is finite. In particular, this answers a question of Bosch-Liu, and gives an alternative description of Poonen-Stoll's cohomological obstruction in terms of characters.

A mod $p$ determinant criterion for Cohen--Lenstra convergence of random $p$-adic matrices with prescribed zero patterns

math.NT

We study the distribution of cokernels of Haar-random matrices over the $p$-adic integers with prescribed zero patterns, motivated by the Cohen--Lenstra heuristics. A central feature of our approach is that the asymptotic cokernel distribution is governed by the reductions modulo $p$ of these matrices, viewed as random matrices over the finite field $\mathbb{F}_p$. For several families of support patterns arising from stair-shaped zero regions, including general stair-shaped patterns, band matrices, and matrices with two symmetric stair-shaped zero regions, we show that convergence of the cokernel distribution to the Cohen--Lenstra distribution is equivalent to an asymptotic nonsingularity condition over $\mathbb{F}_p$. We further propose a conjecture for general support patterns and give examples showing that analogous rank-$r$ criteria fail for $r\ge 1$.

Note on the Equivalence of Costas Polynomials and Orthomorphisms

math.NT

We establish an equivalence between the existence of Costas polynomials and the existence of a special kind of orthomorphism such that their compositions are also orthomorphisms. Computations are easier over these orthomorphisms. We provide a lower bound for the number of Costas polynomials and derive some of their properties. We show that Costas polynomials, by virtue of being multiplicative analogs of planar polynomials, can also be used to construct complete families of mutually orthogonal Latin squares.

Multi-scale properties of continued fraction sets

math.NT

math.CA

math.DS

We survey the dimension theory of sets of real numbers with regular continued fraction expansion restricted to a non-empty and possibly infinite subset $\mathcal{D}\subset\mathbb{N}$.

Connection between the Riemann zeta-function and random matrices via hyperfunctions

math.NT

Bohr pioneered the study of the statistical behavior of the Riemann zeta-function. A classical result by Bohr and Jessen revealed that the values of the Riemann zeta-function to the right of the critical line behave like a random variable. We now propose to extend Bohr's theory to the stage of hyperfunctions. In this paper, we introduce two random hyperfunctions: one is associated with the values of the Riemann zeta-function on the critical line, and the other is associated with the characteristic polynomial of a random matrix from the circular unitary ensemble. We then derive a relationship between these random hyperfunctions which is consistent with the Keating-Snaith conjecture on the moments of the Riemann zeta-function.

On the factorizations of integers via division algorithms for polynomials

math.NT

We introduce and study several conditions related to the factorization problem of composite numbers. For this purpose, we employ cyclotomic polynomials, Sylvester resultants, and the Fermat equation. We show that the existence of a specific solution to the Fermat type equation in positive characteristic $p$ implies polynomial-time factorization of a composite natural number that is a multiple of $p$. We also show that such solutions do not exist for many semi-prime integers.

Twisted Moments of Rankin-Selberg $L$-functions in the Prime-Power Level Aspect

math.NT

We compute the twisted first and second moments of the shifted central values of the Rankin-Selberg $L$-functions given by $L\left(\frac12+\omega, f\otimes g\right)$ as $f$ varies over primitive forms of prime power level $p^\nu$ with $\nu \geq 3$. Here $\omega$ is a bounded shift and $g$ is a fixed primitive form of level relatively prime to $p$.

Exact output statistics of Icart's encoding in the exceptional \(j=0\) case

math.NT

cs.IT

math.AG

math.IT

Icart's encoding is a classical deterministic map from finite fields to elliptic curves and a basic ingredient in early hash-to-curve constructions. We determine the exact one-output distribution of this map in the exceptional \(j=0\) case. More precisely, for \[ E_{0,b}:Y^2=X^3+b,\ q\equiv2\pmod3, \] we compute the complete fibre distribution of \(f_{0,b}:\mathbb F_q\to E_{0,b}(\mathbb F_q)\). This gives closed formulae for the image size, total variation distance from uniform, collision probability, power sums, entropy measures and basic batch statistics. We also derive the exact second moment of all nontrivial character sums of the output distribution. Via the Weil pairing, this becomes an exact energy formula for pairing-character tests on the supersingular \(j=0\) family whose odd prime order subgroups have embedding degree two.

Gaps in Multiplicative Sidon Sets II

math.NT

math.CO

With $\rho = \frac{13-\sqrt{69}}{10} \approx 0.47$, it was recently established that there exist multiplicative Sidon sets (sets without any non-trivial solutions to $ab = cd$) in $\{1, 2, \ldots, n\}$ with maximal gap size $\ll_{\varepsilon} n^{\rho + \varepsilon}$. Here we improve upon this result and show that one can take $\rho = \frac{10}{33} \approx 0.303$ instead.

Erd\H{o}s-Kac theorems for discriminants of number fields

math.NT

math.PR

The classical Erd\H{o}s-Kac theorem gives a central limit theorem for the number of prime divisors of a random integer. We prove an analog for the number of ramified primes in a random $G$-extension of a number field when $G$ is abelian. This builds on previous work of Lemke Oliver and Thorne in the cases $G = S_d$ ($2 \le d \le 5$), and provides the first examples where local ramification events at distinct primes are not independent. We develop probability results that can be used "out of the box" to prove Erd\H{o}s-Kac theorems for sequences of ideals in a number field, subject to Tauberian hypotheses involving finite sums of Euler products.

On the Absolute Geometry of $\operatorname{Spec}\mathbf{Z}$

math.AG

math.NT

A guiding principle in P. Scholze's $p$-adic geometry asserts that the points of $\operatorname{Spec}\mathbf{Z}$ over an algebraically closed perfectoid field of characteristic $p$ are classified, up to equivalence, by its untilts. In this paper, we give a concrete geometric realization and a generalization of this paradigm. We construct the absolute $\mathbf{F}_1$-arithmetic curve $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ by pulling back the $\mathbf{F}_1$-structure sheaf of the arithmetic site to $\operatorname{Spec}\mathbf{Z}$. We demonstrate that $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ provides a common geometric origin for fundamental structures in $p$-adic Hodge theory, complex analytic geometry, and the adelic scaling site. The moduli space of points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over an arbitrary perfectoid field, modulo intrinsic symmetries, canonically parameterizes the space of all perfectoid fields with the same tilt, providing a universal, characteristic-independent geometric realization of Scholze's heuristic. Evaluating the points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over the field $\mathbf{C}$ of complex numbers reveals, at each prime $p$, that the non-trivial points canonically form two principal homogeneous spaces (torsors) over the Weil groups $W_p=\mathbf{Q}_p^\times$ and $W_\infty=\mathbf{C}^\times$. Quotienting the archimedean orbit by the discrete Frobenius symmetries yields the complex Tate curve with modulus $q=p^{-1}$. We show that this elliptic curve canonically decomposes as the product of its real locus, which exactly recovers the adelic periodic orbit $C_p=\mathbf{R}_+^\times/p^\mathbf{Z}$, and a $p$-independent phase space that emerges naturally as a real analogue of the Fargues--Fontaine curve.

On periods and Jacobians of Heisenberg curves

math.AG

math.NT

Heisenberg curves are cyclic covers of Fermat curves that also arise as non-abelian covers of the projective line, branched over three points by the discrete Heisenberg group modulo an integer. As normal Belyi covers, these are curves with many automorphisms in the sense of Oort, who questioned whether such curves have CM Jacobians. In 1986, Ihara proposed using towers of curves to study the pro-$\ell$ Galois representation associated with the thrice-punctured projective line. To study the kernel of this representation, he suggested using Heisenberg curves, but it was unknown to him at the time whether their Jacobians lacked complex multiplication. In this paper, for any odd prime $\ell$, we prove that Heisenberg curves of level $\ell^n\neq 3$ do not have CM Jacobians. Thus, we resolve the missing part of Ihara's original argument and in doing so we provide an infinite family of new counterexamples to Oort's question.

Almost Sure Bounds for Discrepancies of Linear Forms on the Circle

math.NT

v2

As a generalization of irrational rotations and a dual case of higher-dimensional Kronecker sequences, we study the discrepancy of sequences of linear forms on the circle. Given irrationals $\alpha_1,\dots,\alpha_d$, consider the set of $N^d$ points $\{k_1\alpha_1+\cdots+k_d\alpha_d \mod 1 : 1\le k_j\le N\}$. We prove that for a full-measure set of vectors $(\alpha_1,\dots,\alpha_d)\in\mathbb{R}^d$, the maximal discrepancy of these points relative to intervals in $[0,1)$ has the optimal principal order $(\log N)^d$, up to powers of $\log\log N$. This result provides a nearly sharp dual analogue, in the setting of linear forms, to Beck's celebrated theorem on multidimensional Kronecker sequences (Ann. of Math., 1994). The proof combines Fourier analysis, metric multiplicative Diophantine estimates, and a duality argument which reduces certain lattice-counting errors to Beck's discrepancy theorem.

Asymptotics of Schwartz functions

math.NT

math.RT

v5

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

Effective bounds for adelic Galois representations attached to elliptic curves over the rationals

math.NT

math.AG

v4

Given an elliptic curve $E$ defined over $\mathbb{Q}$ without complex multiplication, we provide an explicit sharp bound on the index of the image of the adelic representation $\rho_E$. In particular, if $\operatorname{h}_{\mathcal{F}}(E)$ is the stable Faltings height of $E$, we show that $[\operatorname{GL}_2(\widehat{\mathbb{Z}}) : \operatorname{Im}\rho_E]$ is bounded above by $10^{21} (\operatorname{h}_{\mathcal{F}}(E)+40)^{4.42}$, and, for $\operatorname{h}_{\mathcal{F}}(E)$ tending to infinity, by $\operatorname{h}_{\mathcal{F}}(E)^{3+o(1)}$. We also classify the possible (conjecturally non-existent) images of the representations $\rho_{E,p^n}$ whenever $\operatorname{Im}\rho_{E,p}$ is contained in the normaliser of a non-split Cartan. This result improves previous work of Zywina and Lombardo.

On additive convolution sum of arithmetic functions and related questions

math.NT

v2

Ingham studied two types of convolution sums of the divisor function, the shifted convolution sum $\sum_{n \le N} d(n) d(n+h)$ and the additive convolution sum $\sum_{n < N} d(n) d(N-n)$ for integers $N, h$ and derived their asymptotic formulas as $N \to \infty$. There have been numerous works extending Ingham's result on the shifted convolution sum, but only little has been done towards the additive convolution sum. In this article, we extend the classical result of Ingham to derive an asymptotic formula with an error term of the sub-sum $\sum_{n < M} d(n) d(N-n)$ for certain integers $M \le N$. This involves careful choice of an applicable range of $M$. We also study the convolution sum $\sum_{n < M} f(n) g(N-n)$ for certain arithmetic functions $f$ and $g$ with absolutely convergent Ramanujan expansions, which in turn leads us to a well-established prediction of Ramanujan.

Counting elliptic curves over $\mathbb{Q}$ with bounded naive height

math.NT

math.AG

v2

In this paper, we give exact and asymptotic formulas for counting elliptic curves $ E_{A,B} \colon y^2 = x^3 + Ax + B $ with $ A, B \in \mathbb{Z} $, ordered by naive height. We study the family of all such curves and also several natural subfamilies, including those with fixed $ j $-invariant and those with complex multiplication (CM). In particular, we provide formulas for two commonly used normalizations of the naive height appearing in the literature: the calibrated naive height, defined by \[ H^{\mathrm{cal}}(E_{A,B}) := \max\{ 4|A|^3, 27B^2 \}, \] and the uncalibrated naive height, defined by \[ H^{\mathrm{ncal}}(E_{A,B}) := \max\{ |A|^3, B^2 \}. \] In fact, we prove our theorems with respect to the more general naive height $H_{\alpha, \beta}(E_{A,B}) := \max\{ \alpha |A|^3, \beta B^2 \}$, defined for arbitrary positive real numbers $\alpha, \beta \in \mathbb{R}_{> 0}$. As part of our approach, we give a completely explicit parametrization of the set of curves $ E_{A,B} $ with fixed $ j $-invariant and bounded naive height, describing them as twists of the curve $ E_{A_j, B_j} $ of minimal naive height for the given $ j $-invariant. We also include tables comparing and verifying our theoretical predictions with exact counts obtained via exhaustive computer searches, and we compute data for CM elliptic curves of naive height up to $ 10^{30} $. Code in SageMath is provided to compute all exact and asymptotic formulas appearing in the paper.

Divisibility by $p$ for Markoff-like Surfaces

math.NT

math.DS

math.RA

v3

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.

Separable Pseudo-reductive Bands with Applications to Rational Points

math.NT

math.AG

v2

We extend the Galois-theoretic Borovoi-Springer interpretation of algebraic bands to a class of \'etale-locally represented bands on the fppf site of an arbitrary field $k$, which we call separable bands. Next, a band represented \'etale-locally over $k$ by a pseudo-reductive group is shown to be globally representable when $[k : k^p] = p$, with counterexamples in general. When $k$ is a global or local field, we deduce a generalization of Borovoi's abelianization theory to separable bands represented by smooth connected algebraic groups. As an application, we prove that the Brauer-Manin obstruction is the only obstruction to both the Hasse principle and weak approximation on a homogeneous space of a pseudo-reductive group (more generally, of a smooth connected affine algebraic group with split unipotent radical) having a smooth connected geometric stabilizer.

Unimodular Fake Mobius Functions

math.NT

v3

Let $\mathbb{S}^1$ denote the unit circle. We introduce and develop the analytic and bias theory of unimodular fake M\"obius functions, i.e. multiplicative functions $\mathfrak{f}:\mathbb{N} \to \mathbb{S}^1 \cup \{0\}$ whose prime-power values are prescribed by a fixed sequence $\{\varepsilon_k\}_{k\ge1}$ via the rule $\mathfrak{f}(p^k)=\varepsilon_k$ for every prime $p$ and every $k\ge1$. A key feature of these functions is that their Dirichlet series admit a factorization into complex powers of the Riemann zeta function. Our main analytic result is an explicit formula for the smoothed summatory function $\sum_{n\ge1}\mathfrak{f}(n)e^{-n/x}$, consisting of a leading main term together with a sequence of lower-order terms. The formula may be viewed as an extension of the Selberg-Delange method and is expected to be of independent interest. As an application, we introduce a notion of bias at a natural scale and obtain an explicit criterion distinguishing persistent bias, apparent bias, and no bias for unimodular fake M\"obius functions.

Deterministic methods for finding elements of large multiplicative order

math.NT

v2

We revisit the problem of rigorously and deterministically finding elements of large order in the multiplicative group of integers modulo a natural number $N$. Solving this problem is an essential step in several recent deterministic algorithms for factoring $N$, including the currently fastest ones. In 2018, the second author gave an algorithm that for a given target order $D \geq N^{2/5}$, finds either an element of order exceeding $D$, or a nontrivial divisor of $N$, or proves that $N$ is prime. The running time was \[ O\left(\frac{D^{1/2}}{(\log \log D)^{1/2}} \log^2 N \right) \] bit operations, asymptotically the same as the cost of computing the order of a single element using Sutherland's optimisation of the classical babystep-giantstep method. Subsequent work by several authors weakened the hypothesis $D \geq N^{2/5}$ to $D \geq N^{1/6}$. In this paper, we show that the hypothesis may be dropped altogether. Moreover, if $N$ is prime, we can guarantee returning an element of order exceeding $D$, rather than a proof that $N$ is prime.

Arithmetic Information of Rational Elliptic Surfaces, and Shioda's Rank 68 Elliptic Surface

math.NT

v2

The field of definition of the Mordell-Weil group of an elliptic surface $E \rightarrow \mathbb{P}^1$ defined over $\mathbb{Q}$ is the smallest number field $k$ such that all of its $\Bar{\mathbb{Q}}(t)$-rational points are defined over $k(t)$. In this paper, we present an algorithm, implemented in \Magma{}, which can determine arithmetic information, including the field of definition, associated to any rational elliptic surface. As an application of this, we also demonstrate that the field of definition of Shioda's rank $68$ elliptic surface given by $y^2 = x^3 + t^{360} + 1$ is a number field of degree $829,440$.

The Smallest Invariant Factor of Elliptic Curves, and Coincidences

math.NT

v2

For an elliptic curve E over Q and a natural number j, Cojocaru has shown that there is an explicit constant C_E,j giving (under GRH) the density of primes p of good reduction such that the smallest invariant factor of E(F_p) is j. For E without complex multiplication, we study the question of when C_E,j is positive (a necessary and, on GRH, sufficient condition for there to be infinitely many such p), strengthening a result by Kim. Our arguments are group-theoretic using the image of the adelic Galois representation of E. Experimentally, C_E,j appears to vanish only when there is a coincidence of division fields; we document a number of families of such coincidences arising from abelian division fields.

Low-Lying Zeros on the Critical Line for Families of Dirichlet $L$-Functions

math.NT

v4

In this paper, we establish a new lower bound for the number of low-lying zeros of Dirichlet $L$-functions $L(s, \chi)$ on the critical line within extremely short intervals. Specifically, for a sufficiently large prime $P$ and real number $T \in [a_1/\sqrt{\log P}, 1]$, we prove that the sum of the number of zeros on the critical line $N_0(T, \chi)$ over characters $\chi \bmod P$ satisfies $$ \sum_{\chi \bmod P} N_0(T, \chi) \gg T^2 P\sqrt{\log P} .$$ Traditional approaches encounter significant technical barriers in this short-interval regime. The Levinson method fails due to its own inherent limitations in handling such restricted intervals , while standard applications of the Selberg mollifier are hindered by the emergence of complex, inseparable cross-terms that are difficult to evaluate. To overcome these obstacles, we introduce a novel analytic framework utilizing high-dimensional Mellin transforms. This approach systematically manages the multi-variable series generated by the mollifier calculations. By explicitly resolving these cross-term obstructions, we extract the localized lower bound, providing a robust method that circumvents the short-interval bottleneck and offers potential applicability to the zero statistics of higher-rank $L$-function families.

A proof of the $4,7$ cases of Sylvester's conjecture on cube sums

math.NT

v3

In this paper, we prove that every prime $p$ which is congruent to $4,7$ modulo $9$ is the sum of two rational cubes. This is $2/3$ of Sylvester's conjecture which has a history of nearly 150 years since 1879. In the proof, we use recent progress on Full BSD conjecture of rank $0$ elliptic curves in \cite{BF} to deduce that the Manin-Stevens constants of some families of elliptic curves are units. We also use recent solutions of Unbounded Denominators Conjecture in \cite{CDT} to prove that some cubic roots of modular functions are invariant under some congruence subgroups. Instead of using the Unbounded Denominators Conjecuture, we also give another conditional proof assuming the GRH for number fields or Artin's primitive root conjecture for arithmetic progressions.

On periods of Elliptic curves

math.NT

v2

Let $E$ be an elliptic curve over $\mathbb{Q}$ having split multiplicative reduction at a prime number $p$. We describe the tame part of the $\mathcal{L}$-invariant of $E$ at $p$ in terms of automorphic $p$-adic periods introduced in the work of Darmon. More precisely, we prove an equality of refined $\mathcal{L}$-invariants using twisted versions of refined exceptional zero conjectures. When the conductor of the elliptic curve is exactly $p$ and the automorphic period is attached to an optimal embedding of conductor $1$ then we prove this equality unconditionally by using the work of de-Shalit.

A Fibonacci theorem for Collatz trajectories via modular graph structure

math.NT

v2

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers in $\{1,\ldots,2^m\}$ have the property that their orbit under $T$ avoids the residue class $4\pmod6$ during steps $2,\ldots,m$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(\varphi/2)^m$, $\varphi=(1+\sqrt{5})/2$. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $\varphi$, against $\rho(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $\Psi_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ onto the directed paths of length $m$ in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<\varphi<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.

Almost perfect nonlinear power functions with exponents expressed as fractions

cs.IT

cs.CR

cs.DM

math.CO

math.IT

math.NT

v3

Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $\Delta_a f \colon F \to F$ with $(\Delta_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $\Delta_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.

Taylor conditions over finite fields

math.AG

math.NT

v3

We extend Poonen's Bertini theorem over finite fields to Taylor conditions arising from locally free quotients of the sheaf of differentials on projective space. This is motivated by a result of Bilu and Howe in the motivic setting that allows for significantly more general Taylor conditions.

Generalized Perfect Matrices

math.MG

math.NT

v2

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a full-dimensional closed convex cone K, by introducing a K-copositive minimum and perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.