Number Theory [math.NT]

A problem of D. H. Lehmer in short intervals. II

math.NT

A problem of D. H. Lehmer suggests to study the number of integers, each of which has different parity from its multiplicative inverse modulo $q$. For large prime $q$, we obtain an asymptotic formula for the number of such integers up to $N$, where $N$ is a bit smaller than $q^{1/2}$. This beats the barrier $q^{1/2}$ in the prime modulus case. An estimate for the second moment of the error term on average over $q$ is also established. The main inputs are estimates for several bilinear forms with Kloosterman fractions.

Continued Fractions of Polynomial Type: Theory and Encyclopedic Dictionary

math.NT

After giving a number of properties of continued fractions of polynomial type, in particular focusing on convergence properties and Bauer-Muir-Ap\'ery acceleration techniques, we give a large list of continued fractions, both for specific real numbers, and for special functions, some extracted from a number of different sources, but most others being probably new. In addition to providing such a list, one of our main additions is to include the exact speed of convergence of these continued fractions (sometimes only up to a multiplicative constant), which is almost always omitted in the literature.

Four squares from three real polynomials

math.NT

We construct three nonconstant polynomials $a,b,c\in \mathbb{R}[X]$ such that \[ab+1,\qquad ac+1,\qquad bc+1,\qquad abc+1 \] are all squares in $\mathbb{R}[X]$. The entries in the construction are quadratic, so the construction has the smallest possible positive degrees. By composition with nonconstant polynomials, this gives infinitely many examples over $\mathbb{R}[X]$ with all entries nonconstant.

Normal numbers in sparse Cantor sets

math.NT

We consider Cantor-type sets of Hausdorff dimension zero, consisting of all numbers whose base-2 expansion can have a 1 only at positions belonging to a given sparse set (local count at least log k in every interval of length k). We prove that the measure induced by independent, non-identically distributed Bernoulli digits assigns full mass to numbers that are normal in every odd base. The proof extends Schmidt's 1960 method to this Hausdorff zero-dimensional setting, and we provide an explicit algorithmic construction of such numbers -- yielding the first known examples of numbers deterministic in base~2 yet normal in all odd bases. This work supports our broader conjecture that given determinism in one base, normality in all multiplicatively independent bases is prevalent.

Schwarz maps for modular curves

math.NT

math.AG

math.CV

We solve a classical problem posed by F. Klein and studied by A. Hurwitz concerning the construction of linear ordinary differential equations associated with modular transformations of fixed degree. For every odd integer $N\ge 3$ (respectively, even integer $N\ge 4$), we construct a canonical invariant model of the modular curve $X(N)=\mathbb{H}/\Gamma(N)$ (respectively, $X_H(N)=\mathbb{H}/H(N)$ where $H(N)=\Gamma(N)\cap\Gamma_0^0(2N)$), together with a linear ordinary differential equation with rational coefficients whose Schwarz map parametrizes this model and whose projective monodromy group is the finite quotient $PSL_2(\mathbb{Z})/\tilde{\Gamma}(N)$ (respectively, $PSL_2(\mathbb{Z})/\tilde{H}(N)$). The construction is expressed in terms of invariant projective geometry and Picard-Vessiot theory and yields equations that are canonical up to projective equivalence. In this framework, Hurwitz's classical equation for degree $7$ appears as a special case of a general mechanism. The results place Klein's question within the modern theory of algebraic linear ordinary differential equations and provide a uniform geometric realization of modular transformation groups as projective differential Galois groups. As an application, we construct an explicit example of a linear ordinary differential equation associated with $X(9)$.

$p$-adic Hahn series with sparse support

math.NT

math.CO

Let $p$ be a prime number. We introduce a sparseness condition on the supports of $p$-adic Hahn series, and prove that this condition implies transcendence over $\breve{\mathbf Q}_p$, the completed maximal unramified extension of $\mathbf{Q}_p$. As an application, we prove the order-type conjecture of $\mathbf{Q}_p$-algebraic $p$-adic Hahn series with bounded support under the condition that the support has only finitely many accumulation points. All results in this paper have been fully formalized in the Lean theorem prover (v 4.31.0), building over Mathlib.

Mordell Curves with Ordinates in Arithmetic Progression

math.NT

We show that Mordell curves with arithmetic progressions in the $y$-coordinate of length $7$ have not been ruled out by previous work, and we give non-isomorphic families of Mordell curves with $y$-arithmetic progressions of length $6$. We also construct parametric families of elliptic curves of moderate rank, with subfamilies possessing rational points in arithmetic progression.

Global geometrization of local smooth integral models in the Hitchin fibration for $\mathrm{GL}_n$: The Bass case

math.NT

math.AG

In previous joint work, we proposed a new method to study local orbital integrals for $\mathrm{GL}_n$ (where $n=3$ or in the Bass case), by employing a smoothening method of a certain scheme defined over a henselian ring. In this paper, we geometrize this local smoothening method within the framework of the global Hitchin fibration for $\mathrm{GL}_n$ in the Bass case. Consequently, we provide a closed formula for the $\ell$-adic cohomology of the compactified Jacobian of a spectral curve over a finite field with double singularities whose local rings are integral domains, provided that the normalization of a spectral curve is isomorphic to $\mathbb{P}^1$.

Ideal class monoids of cubic orders

math.NT

Let $R$ be an order in a number field, let $\overline{\mathrm{Cl}}(R)$ be its ideal class monoid, and let $\mathrm{Cl}(R)$ act on it by multiplication. The local-global product formula identifies the orbit set $\mathrm{Cl}(R)\backslash\overline{\mathrm{Cl}}(R)$ with a product of local orbit sets; in this sense, it is the genus set of fractional $R$-ideals. For a Gorenstein order $R$ in a cubic extension of number fields, we give a closed Euler product formula for the cardinality of this genus set. The local factors come from an explicit classification of local cubic overorders: for arbitrary local cubic orders, we parametrize all overorders, determine their inclusion relations, and identify the Gorenstein ones. As an application to Bhargava's parametrization of $2\times3\times3$ cubes, our formula gives the exact number of $\mathrm{Cl}(R)$-equivalence classes of integral $\mathrm{GL}_2(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)$-orbits whose associated cubic ring is the prescribed Gorenstein order $R$.

Analytic proofs of Andrews-Bachraoui identities related to two-color partitions with evens in one color

math.NT

Andrews and Bachraoui (\textit{Int. J. Number Theory} (2026)) studied the two-color partition function $F(n)$ of a non-negative integer $n$ wherein odd parts may appear in two colors (red and blue) and even parts appear in one color (blue). For any non-negative integer $n,$ they also considered some restricted versions of $F(n)$: $F_0(n)$: the number of partitions of $n$ counted by $F(n)$ such that the number of odd parts in red color is even; $F_1(n)$: the number of partitions counted by $F(n)$ such that the number of odd parts in red color is odd; $H(n)$: the number of partitions of $n$ counted by $F(n)$ such that the parts of the same color do not repeat. The main purpose of this paper is to present the analytic proofs of the $q$-series identities connected with $F(n)$ and $H(n),$ which appeared as open problems in the original paper. We also prove some congruences of $F_0(n)$ and $F_1(n)$ modulo $2,$ $4,$ and $8$ by using $ q $-series.

A proof of Andrews-El Bachraoui's conjecture on the parity of coefficients of a $q$-series

math.NT

Recently, Andrews and El Bachraoui studied a partition function $s_1(n)$ which counts the number of two-color partitions into distinct parts of $n$ whose smallest part occurs in one prescribed color only, while every larger part may occur in either color or in both colors. They obtained a complete description modulo 4 for $s_1(n)$. They also considered a $q$-series $T_{o}(q)$ which is the odd companion series of the generating function for $s_1(n)$. At the end of their paper, they presented a conjecture on the parity of the coefficients of $T_o(q)$. In this paper, we confirm this conjecture. Moreover,we establish an infinite family of congruences modulo 8 for the coefficients of $S_1(q)$ and prove that $s_1(n)/8$ takes integer values with natural density 1 for $n\geq 0$.

Some Comments on Regular Overpartitions modulo $2^k$

math.NT

math.CO

For coprime integers $\ell,\mu\ge 2$, Alanazi, Munagi, and Saikia (2026) studied $\overline{R}_{\ell,\mu}(n)$, the number of overpartitions of $n$ in which no part is divisible by $\ell$ or by $\mu$, together with the single-modulus analogue $\overline{R}_{\ell (n)$. We record a simple combinatorial mechanism that determines both functions modulo every power of $2$ in terms of the number of distinct part sizes of the underlying ordinary partition. We also deduce a clean characterization of $\overline{R}_{\ell}(n)$ and $\overline{R}_{\ell,\mu}(n)$ modulo $4$ in terms of perfect squares.

Extending Recent Arithmetic Properties of Overcubic Partition Tuples

math.NT

In recent years, several mathematicians have looked at a class of partitions called the overcubic partition $k$-tuples, for small values of $k$. They have proved several divisibility results satisfied by these partitions. We continue this study and prove a few infinite family of congruences. Our proofs use elementary techniques from $q$-series and number theory.

On capitulations of even $K$-groups and pseudo-null submodules in $\mathbb{Z}_p^d$-extensions

math.NT

The capitulations of ideals in $\mathbb{Z}_p^d$-extensions and pseudo-null submodules of the classical Iwasawa modules are closely related as evidenced in the works of Ozaki and Fujii. In this paper, we investigate the analogous situation for the even $K$-groups. As an application, we obtain a new sufficient condition for existence of non-trivial pseudo-null submodules in the classical Iwasawa modules.

On dynamical irreducible set of polynomials

math.NT

In this article, a necessary and sufficient condition is proved for the dynamical irreducibility of a family of polynomials over a finite field. Using this result, an explicit construction of a dynamically irreducible set of polynomials is given over the finite field $\mathbb{F}_{p^p}$ where $p$ is a prime. Moreover, the existence of dynamically irreducible sets of size at least $p^2$ is also established over every finite field $\mathbb{F}_q$ where $q$ is a $p$ power. Finally, a bound on the cardinality of the set is given that needs to be tested for the dynamical irreducibility of a set of polynomials.

$p$-adic Maass--Shimura operators on $\mu$-ordinary Igusa varieties

math.NT

math.AG

math.RT

For Shimura varieties of Hodge type, we optimally extend algebraic Maass--Shimura differential operators on $p$-integral nearly holomorphic automorphic forms to differential operators on $\mu$-ordinary Mantovan Igusa varieties. We then show that the rank one operators can be integrated to an action of an explicit formal group. Via $p$-adic Fourier theory, this provides a $p$-adic interpolation by extending the action of a symmetric algebra of differential operators to the algebra of functions on the Tate module of the dual $p$-divisible group. Passing to the generic fiber, we obtain an action of an explicit algebra of $p$-adic locally analytic functions, and we show that the action of the subalgebra of locally constant functions is equivalent to a natural Hecke action and thus preserves classical forms. In the ordinary case, we further show that the locally analytic action extends to nearly overconvergent automorphic forms. Our results extend, clarify, and recover prior constructions.

A higher Gross-Zagier type formula for moduli of shtukas at deeper level

math.NT

math.AG

We generalize the function field analogue analogue of the Gross-Zagier and Waldspurger formulae due to Yun and Zhang relating the (higher) derivative of an automorphic (base change) L-function to intersection numbers of Heegner-Drinfeld cycles on moduli spaces of shtukas to not necessarily square-free level. The main new input is the study of the geometry and cohomology of the appropriate ``integral models'' of moduli spaces of shtukas at deeper level.

Reduction Types of Genus 2 Curves

math.NT

math.AG

Tate produced a table for elliptic curves over local fields that beautifully summarises their arithmetic invariants in terms of the Kodaira type. We present an analogous set of tables for curves of genus 2. The invariants addressed include: reduction type of the minimal regular model, reduction type of the minimal regular model with normal crossings, N\'eron component group of the Jacobian, conductor exponent, valuation of the discriminant of a minimal Weierstrass model, and cluster pictures.

Practical Computations of the Mertens Function: $M(10^{24})$ and $M(10^{25})$

math.NT

The Mertens function is defined as $M(x)=\sum_{n\leq x}\mu(n)$, where $\mu(n)$ is the M\"obius function. This paper describes a practical implementation of the classical $O(x^{2/3+\varepsilon})$ algorithm for computing $M(x)$ at isolated values, together with the segmented M\"obius and Mertens sieve on which it relies. The implementation was used to compute $M(10^{24}) = 7189337839$ and $M(10^{25}) = -258560632948$, taking $7.0$ days and $34.6$ days, respectively. These computations extend the previous record of $M(10^{23})$ by two orders of magnitude. Run standalone, the segmented sieve computed all Mertens values through $10^{16}$ in approximately $7.4$ days, compared with the $7.5$-month runtime of the author's 2018 computation. In pursuit of the most practical isolated-value method, an optimized implementation of the asymptotically faster Helfgott-Thompson algorithm is also presented, running roughly four times faster than the original implementation. With both implementations optimized, the choice between methods depends on input size and hardware. The contribution is a reproducible computation and implementation study, rather than a new asymptotic algorithm.

A curious congruence modulo primes

math.NT

math.CO

For integers $l>0$ and $m\geqslant0$, we introduce the numbers $$S_l^{(m)}(n)=\sum_{k_1,\ldots,k_l\in\mathbb N\atop k_1+\cdots+k_l=n}\binom n{k_1,\ldots,k_l}^m \ \ (n=0,1,2,\ldots),$$ and prove that for any prime $p$ not dividing $l+1$ we have the congruence $$\sum_{n=1}^{p-1}\frac{(-1)^{mn}}{n^{m-1}}S_l^{(m)}(n)\equiv0\pmod p.$$ When $l=4$ and $m=2$, this yields the curious congruence $$\sum_{n=1}^{p-1}\frac{D(n)}n\equiv0\pmod p$$ for any prime $p\not=5$, where the Domb number $D(n)$ is given by $$D(n)=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}.$$

The $abc$ Conjecture Revisited

math.NT

We propose a new abc-type conjecture. We motivate the conjecture and illustrate its relevance through several applications. Our main result concerns the function $$ W(x,y) := \sum_{j = 1}^{y}\omega(x+j) \quad (y \in \mathbb{N},\ x \in \mathbb{Z}_{\ge 0}) $$ where $\omega(n)$ denotes the number of distinct prime divisors of $n$. The new conjecture implies that, for each fixed $y \in \mathbb{N}$, $$ \limsup_{x \to \infty} \frac{W(x,y)\log\log x}{\log x} = 1. $$

A problem of D. H. Lehmer in short intervals. I

math.NT

A problem of D. H. Lehmer suggests to study the number of integers, each of which has different parity from its multiplicative inverse modulo $q$. We obtain an asymptotic formula for the number of such integers in very short intervals as long as $q$ is squarefree and has good factorizations, using arithmetic exponent pairs to estimate incomplete Kloosterman sums. This improves an early result of Z. Zheng in the above special cases. We also prove a prime-variable version with the aid of an estimate for incomplete Kloosterman sums in prime variables, due to Bourgain.

Covers of Bruhat-Tits trees

math.RT

math.NT

Let $G$ be a locally compact group and let $\widetilde{G}$ be a central extension that splits over a maximal compact subgroup $K$ of $G$. We derive an explicit cocycle that lifts the natural action of $G$ on the homogeneous space $G/K$ to an action of $\widetilde{G}$. As an application, for a non-Archimedean local field $F$, we construct a connected locally finite tree on which the metaplectic covers of $\operatorname{GL}_2(F)$ act by automorphisms, providing a geometric analog of the Bruhat--Tits tree of $\operatorname{GL}_2(F)$. Furthermore, under suitable transitivity assumptions, we prove that $(\widetilde{G},\widetilde{K})$ is a Gelfand pair. Finally, we describe the associated parabolic and contraction subgroups with respect to $\widetilde{G}$ from the perspective of the geometry of the constructed tree.

Universality for cokernels of partially random integral matrices

math.PR

math.CO

math.NT

Given any $\varepsilon > 0$, let $M(n)$ be a random $n \times (n+u)$ matrix over $\mathbb{Z}_p$, with all entries independent and $\varepsilon$-balanced (lying in each residue class mod $p$ with probability at most $1-\varepsilon$). Wood proved that as $n \to \infty$ the distribution of $\mathrm{cok}(M(n))$ approaches Cohen and Lenstra's conjectured distribution of class groups. Given $\alpha,\beta >0$ such that $\alpha + \beta <1$, we prove that the distribution of $\mathrm{cok}(M(n))$ still approaches the Cohen--Lenstra distribution even if we weaken the hypothesis by allowing up to $\alpha n$ entries per column and up to $\beta n$ entries per row of $M(n)$ to not be $\varepsilon$-balanced. We also weaken the independence condition by allowing certain types of dependence between the entries of each column. In addition, we prove that, for any $\delta > 0$, the cokernels of random band matrices of width $\log(n)^{1+\delta}$ with $\varepsilon$-balanced entries in the band and arbitrary entries outside of it will also approach the Cohen--Lenstra distribution, which answers a question of Kang--Lee--Yu.

Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits

cs.LG

cs.AI

math.NT

math.RT

Transformers have demonstrated a remarkable ability to learn algorithmic reasoning, yet mechanistic analyses have mostly focused on globally invertible operations such as cyclic addition and group composition. In this work, we investigate how small transformers learn modular integer multiplication over composite moduli, a fundamentally non-invertible operation due to the presence of zero-divisors. We propose the monoid extension: a localized generalization of Group Composition via Representation (GCR) that suggests the learned computation does not rely on a single global representation space. Instead, the model partitions the input space into local hierarchical algebraic regions, where group-like structure survives and Fourier mechanisms can be applied. In transformers trained on square-free modular multiplication, we find that embeddings organize around these regions, attention exhibits class-sensitive routing and low-rank write directions, and local character features explain a large fraction of the model's output logits. Our results suggest that representation-theoretic mechanisms previously identified for group operations can extend beyond groups to more general structures.

Small Matrices with Large Inverses: Unimodular $4 \times 4$ Cases

math.CO

cs.DM

math.NT

How close to singularity can an $n \times n$ unimodular matrix be? For ternary cases as $n$ increases, exact expressions are unlikely, but upon fixing $n=4$ and assessing $(2k+1)$-ary cases as $k$ increases, we make significant progress; similarly for $(k+1)$-ary cases of $4\times 4$ nonnegative unimodular matrices.

Monogenicity and 2-torsion in the class group of number fields of odd degree

math.NT

v3

We study the average $2$-torsion in the class group of monogenised fields of odd degree. Bhargava--Hanke--Shankar have recently shown that for a fixed signature, the average number of non-trivial $2$-torsion elements in the class group of monogenised cubic fields is exactly twice the value predicted by the Cohen--Lenstra--Martinet--Malle heuristic over the full $S_3$ family. For any odd degree $n \ge 3$ and signature, we prove that the average number of non-trivial $2$-torsion elements in the class group of monogenised fields is at most twice the value predicted by the Cohen--Lenstra--Martinet--Malle heuristic over the full $S_n$ family. Conditional on a tail estimate for $n \ge 5$, this establishes that the doubling phenomenon discovered by Bhargava--Hanke--Shankar persists across all odd degrees and signatures.

Doubly-weighted zero-sum constants

math.NT

v4

Let $A,B\subseteq\mathbb Z_n$ be given and $S=(x_1,\ldots, x_k)$ be a sequence in $\mathbb Z_n$. We say that $S$ is an $(A,B)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ and $b_1,\ldots,b_k\in B$ such that $a_1x_1+\cdots+a_kx_k=0$ and $b_1a_1+\cdots+b_ka_k=0$. We show that if $S$ has length $2n-1$, then $S$ has an $(A,B)$-weighted zero-sum subsequence of length $n$. The constant $E_{A,B}$ is defined to be the smallest positive integer $k$ such that every sequence of length $k$ in $\mathbb Z_n$ has an $(A,B)$-weighted zero-sum subsequence of length $n$. A sequence in $\mathbb Z_n$ of length $E_{A,B}-1$ which does not have any $(A,B)$-weighted zero-sum subsequence of length $n$ is called an $E$-extremal sequence for $(A,B)$. We determine the constant $E_{A,B}$ and characterize the $E$-extremal sequences for some pairs $(A,B)$. We also study the related constants $C_{A,B}$ and $D_{A,B}$ which are defined in the article.

Maximal Fuchsian subgroups of the $d=2$ Bianchi group

math.NT

math.GT

v2

Let $\Gamma$ denote the $d = 2$ Bianchi group $\operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$. We give an explicit description of all conjugacy classes of maximal nonelementary Fuchsian subgroups of $\Gamma$ as integral orders of certain indefinite quaternion algebras over $\mathbb{Q}$. Using this description, we also provide the covolumes corresponding to each conjugacy class. As an application, we compute the limit $\lim_{x\to\infty} \frac{\Pi(x)}{x}$ where $\Pi(x)$ counts the number of primitive totally geodesic immersed surfaces in $\Gamma\backslash\mathbb{H}^3$ with areas less than $x$.

Irrationality of rapidly converging series: a problem of Erd\H{o}s and Graham

math.NT

math.CA

v3

Answering a question of Erd\H{o}s and Graham, we show that the double exponential growth condition $\limsup_{n\to\infty}a_n^{1/\phi^n}=\infty$ for a strictly increasing sequence of positive integers $\{a_n\}_{n=1}^\infty$ is sufficient for the series $\sum_{n=1}^\infty 1/(a_n a_{n+1})$ to have an irrational sum; here $\phi$ denotes the golden ratio. We also provide a positive generalization to $\sum_{n=1}^\infty 1/(a_n^{w_0}\cdots a_{n+d-1}^{w_{d-1}})$, and a negative result showing that some of its instances are essentially optimal. The original problem was autonomously solved by the AI agent \emph{Aletheia}, powered by Gemini Deep Think, while the remaining material is largely a product of human-AI interactions.

On modular forms of rational weight satisfying the canonical second-order linear modular differential equation

math.NT

v2

In this paper, we completely classify the rational weights $k$ for which the Kaneko-Zagier (KZ) differential equation admits a fundamental system of solutions consisting of modular forms for a principal congruence subgroup $\Gamma(N)$. By transforming the KZ equation into a hypergeometric differential equation, we study the global analytic continuation of its solutions, adopting an approach analogous to Stiller's work on Picard-Fuchs equations. We explicitly construct the monodromy representation matrices corresponding to the elements of the principal congruence subgroups and completely determine the algebraic conditions under which these connection matrices commute. Leveraging these stringent commutativity constraints, we prove that the weights $k$ yielding modular solutions are strictly limited to $k \equiv 1/2, 7/2, 1, 2, 3 \pmod{6}$ and $k = (6n+1)/5$, thereby demonstrating that no modular solutions exist beyond those previously discovered by Kaneko and Koike. Furthermore, the commutative algebras generated by these connection matrices reveal a profound analogy with commuting transfer matrices in quantum integrable systems.

Divided differences and complex variations of multiple zeta-star values

math.NT

v2

The derived set of multiple zeta-star values is the half-line $[1,+\infty)$. In this paper, we study the corresponding limiting set for finite multiple star harmonic sums. Using the theory of divided differences, we construct a natural complex analytic interpolation of finite multiple star harmonic sums. For real $s>1$, we analyze the range of this interpolation in detail and prove a finite zeta-star correspondence. In the complex case, we formulate an injectivity conjecture, which may be viewed as the complex variation of zeta-star correspondence for multiple zeta-star values.

A Gaussian-Perron Prime-Side Defect and Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

math.NT

v2

We introduce a Gaussian--Perron prime-force defect that compares a smoothed prime-side logarithmic force with the logarithmic derivative of the Riemann zeta function. The construction turns the explicit formula into a local diagnostic for zero geometry. Its kernel produces an error-function prime weight and an anisotropic zero-side damping law, with an explicit boundary separating amplified and suppressed nonlocal zero contributions. We prove an exact zero-side formula, derive a universal selected-zero profile on the logarithmic scale, and formulate a finite-window damping certificate for non-selected residues. Under explicit damping, pole, and contour-regularity hypotheses, these ingredients localize the full defect near a selected zero. Assuming the Riemann Hypothesis and the stated pole-damping condition, the full defect near each fixed simple critical-line zero has the selected-zero profile up to an exponentially small nonlocal remainder. The framework provides a local diagnostic for zero geometry associated with the Riemann zeta function.

Perfectoid pure singularities

math.AG

math.AC

math.NT

v2

Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call perfectoid pure. We also study a related a priori weaker condition which asks that $R$ is pure in its absolute perfectoidization, a condition we call lim-perfectoid pure. We show that both these notions coincide when $R$ is LCI. Mixed characteristic analogs of $F$-injective and Du Bois singularities are also explored. We study these notions of singularity, proving that they are weakly normal and that they are Du Bois after inverting $p$. We also explore the behavior of \claperfdpure singularities under finite covers and their relation to log canonical singularities. Finally, we prove an inversion of adjunction result in the LCI setting, and use it to prove that many common examples are perfectoid pure.

Topological Vector Spaces

math.AG

math.FA

math.NT

v3

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full subcategories, both the category of (topologically) bounded algebraic Vector Spaces and the category of perfect complexes on the Fargues-Fontaine curve. Vector Spaces coming from $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties are examples of sheaves belonging to the former category.