A new criterion for the absolute irreducibility of multivariate polynomials over finite fields

2026-02-02T03:22:53Z

A key property of an algebraic variety is whether it is absolutely irreducible, meaning that it remains irreducible over the algebraic closure of its defining field, and determining absolute irreducibility is important in algebraic geometry and its applications in coding theory, cryptography, and other fields. Among the applications of absolute irreducibility are bounding the number of rational points via the Weil conjectures and establishing exceptional APN and permutation properties of functions over finite fields. In this article, we present a new criterion for the absolute irreducibility of hypersurfaces defined by multivariate polynomials over finite fields. Our criterion does not require testing for irreducibility in the ground or extension fields, assuming that the leading form is square-free. We just require multivariate GCD computations and the square-free property. Since almost all polynomials are known to be square-free, our absolute irreducibility criterion is valid for almost all multivariate polynomials.

Lifting systems for finite length modules

2026-02-01T21:12:21Z

This paper is concerned with lifting modules along a surjective map of noetherian local rings, say $\varphi \colon R \twoheadrightarrow S$. A finitely generated $R$-module $L$ is a naive lift of an $S$-module $M$ if $L \otimes_R S \cong M$. We are concerned with the maximum depth and dimension among all naive lifts of $M$, which we call the liftable depth and liftable dimension, respectively, of $M$ along $\varphi$. We approach this via a notion of lifting systems that we introduce in this paper. We then provide a necessary and sufficient condition for a module of finite length to lift and Serre lift to a regular local ring in terms of lifting systems.

Borel-Weil factorization for super Grassmannians

2026-01-31T23:24:46Z

This article deals with computing the cohomology of Schur functors applied to tautological bundles on super Grassmannians. We show that in a range of cases, the cohomology is a free module over the cohomology of the structure sheaf and that the space of generators is an irreducible representation of the general linear supergroup that can be constructed via explicit multilinear operations. Our techniques come from commutative algebra: we relate this cohomology calculation to Tor groups of certain algebraic varieties.

Perfectoid towers generated from prisms

2026-01-31T02:43:18Z

We present a unified construction of perfectoid towers from specific prisms which covers all the previous constructions of (p-torsion-free) perfectoid towers. By virtue of the construction, perfectoid towers can be systematically constructed for a large class of rings with Frobenius lift. Especially, any Frobenius lifting of a reduced $\mathbb{F}_p$-algebra has a perfectoid tower.

Lengths of irreducible decompositions of numerical semigroups

2026-01-30T23:46:40Z

A numerical semigroup is an additive subsemigroup of the natural numbers that contains zero and has finite complement. A numerical semigroup is irreducible if it cannot be written as an intersection of numerical semigroups properly containing it. It is known that every numerical semigroup can be decomposed as an intersection of irreducible numerical semigroups, but there can be multiple such decompositions, even when irredundancy is required. In this paper, we study the set of all decomposition lengths of a given numerical semigroup. It is conjectured that the set of decomposition lengths is always an interval; we prove this conjecture for numerical semigroups whose smallest positive element is at most six. Additionally, we examine a class of numerical semigroups that was recently shown to achieve arbitrarily large minimum decomposition length, and construct a family of irreducible decompositions whose lengths form a large interval.

Radicals and Nilpotents in Equivariant Algebra

2026-01-30T18:16:21Z

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

Noetherianity for powers of algebraic representations

2026-01-30T17:09:51Z

Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We show that this result extends to powers of algebraic representations of the orthogonal and the symplectic groups. This work is a natural follow-up to arXiv:2212.05790 and to arXiv:1708.06420.

Asymptotic vanishing of cohomology in triangulated categories

2026-01-30T10:48:17Z

Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key applications are also given.

Cyclotomic Factors and LRS-Degeneracy

2026-01-29T20:55:19Z

We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is "LRS-degenerate" iff it has two distinct roots $α, β$ such that $β= ζα$ for some root of unity $ζ$. All three algorithms are based on "intelligent brute force". The first two produce the indexes of the cyclotomic polynomials; the third produces a list of degeneracy orders. The algorithms are implemented in CoCoALib.

Geometric configuration of integrally closed Noetherian domains

2026-01-29T20:54:50Z

In this paper, we completely describe the family of integrally closed Noetherian domains between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$. We accomplish this result by classifying the Krull domains between these two polynomial rings. To this end, we first describe the DVRs of $\mathbb{Q}(X)$ lying over $\mathbb{Z}_{(p)}$ for some prime $p \in \mathbb{Z}$, by distinguishing them according to whether the extension of the residue fields is algebraic or transcendental. We unify the known descriptions of such valuations by considering ultrametric balls in $\mathbb{C}_p$, the completion of the algebraic closure of the field $\mathbb{Q}_p$ of $p$-adic numbers. We then study when the intersection $R$ of such DVRs with $\mathbb{Q}[X]$ is of finite character, so that $R$ is a Krull domain, and we finally compute the divisor class group of $R$. It turns out that such a ring is formed by those polynomials which simultaneously map a finite union of ultrametric balls of $\mathbb{C}_p$ to its valuation domain $\mathbb{O}_p$, as $p\in\mathbb{Z}$ ranges through the set of primes. By a result of Heinzer, the Krull domains of this class are precisely the integrally closed Noetherian domains between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$. This novel approach provides a geometric understanding of this class of integrally closed domains. Furthermore, we also describe the UFDs between $\mathbb{Z}[X]$ and $\mathbb{Q}[X]$.

Frobenius numbers and the first Hilbert coefficients of certain numerical semigroup rings

2026-01-29T15:02:35Z

Let $a,b$ be positive integers. In this note, we study the numerical semigroup $H=\left$ and and the associated numerical semigroup ring $R=k[[H]]$. Under the certain conditions, we provide explicit formulas for the Frobenius number of $H$ and for the first Hilbert coefficient of $R$.

Local cohomology with support in Schubert varieties

2026-01-29T14:02:21Z

This paper is concerned with local cohomology sheaves on generalized flag varieties supported in closed Schubert varieties, which carry natural structures as (mixed Hodge) D-modules. We employ Kazhdan--Lusztig theory and Saito's theory of mixed Hodge modules to describe a general strategy to calculate the simple composition factors, Hodge filtration, and weight filtration on these modules. Our main tool is the Grothendieck--Cousin complex, introduced by Kempf, which allows us to relate the local cohomology modules in question to parabolic Verma modules over the corresponding Lie algebra. We show that this complex underlies a complex of mixed Hodge modules, and is thus endowed with Hodge and weight filtrations. As a consequence, strictness implies that computing cohomology commutes with taking associated graded with respect to both of these filtrations. We execute this strategy to calculate the composition factors and weight filtration for Schubert varieties in the Grassmannian, in particular showing that the weight filtration is controlled by the augmented Dyck patterns of Raicu--Weyman. As an application, upon restriction to the opposite big cell, we recover the simple composition factors and weight filtration on local cohomology with support in generic determinantal varieties.

Retrieving biparameter persistence modules from monoparameter ones: a characterization of hook-decomposable persistence modules

2026-01-28T22:14:28Z

Motivated by the need to relate the biparameter persistence module induced by a pair of scalar functions with the monoparameter persistence modules induced by each function separately, we introduce a construction that defines a kind of product between two monoparameter persistence modules. While originally conceived to serve this comparative purpose, our construction unexpectedly reveals a deeper structural property: it also characterizes a class of biparameter modules known as hook-decomposable modules.

A topological approach to key polynomials

2026-01-28T19:28:36Z

In this paper we present characterizations of the sets of key polynomials and abstract key polynomials for a valuation $μ$ of $K(x)$, in terms of (ultrametric) balls in the algebraic closure $\overline K$ of $K$ with respect to $v$, a fixed extension of $μ_{\mid K}$ to $\overline K$. In particular, we show that the ways of augmenting $μ$, in the sense of Mac Lane, are in one-to-one correspondence with the partition of a fixed closed ball $B(a,δ)$ associated to $μ$ into the disjoint union of open balls $B^\circ(a_i,δ)$, modulo the action of the decomposition group of $v$. We also present a similar characterization for the set of limit key polynomials for an increasing family of valuations of $K(x)$.

Topologically integrable derivations and additive group actions on affine ind-schemes

2026-01-28T18:03:10Z

We develop a theory of additive group actions on affine ind-schemes through a purely algebraic and topological framework. Affine ind-schemes are described via complete, second-countable, linearly topologized rings, and actions of the additive group are encoded by restricted exponential homomorphisms. We introduce the notion of a topologically integrable derivation, a continuous derivation whose formal exponential converges in the sense of restricted power series, and show that this notion provides the correct extension of locally nilpotent derivations to the infinite-dimensional setting. Our first main result establishes a one-to-one correspondence between topologically integrable derivations and additive group actions on affine ind-schemes, extending the classical correspondence for affine varieties. We then investigate the structure of such actions admitting a slice. In this context, we prove an ind-scheme analog of the classical slice theorem: if an additive group action admits a slice, then the underlying affine ind-scheme is equivariantly isomorphic to a product with the affine line, and the action is given by translation on the second factor. Several examples illustrate the necessity of the topological hypotheses and highlight phenomena absent in the finite-type case.