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.

On the initial Betti numbers

2026-01-28T13:52:28Z

Let $R$ be a Cohen-Macaulay local ring possessing a canonical module. We compare the initial and terminal Betti numbers of modules in a series of nontrivial cases. We pay special attention to the Betti numbers of the canonical module. Also, we compute $β_0(ω_{\frac{R}{I}})$ in some cases, where $I$ is a product of two ideals.

Integral closure of 1-dimensional rings

2026-01-28T13:40:11Z

We study certain properties of modules over 1-dimensional local integral domains. First, we examine the order of the conductor ideal and its expected relationship with multiplicity. Next, we investigate the reflexivity of certain colength-two ideals. Finally, we consider the freeness problem of the absolute integral closure of a DVR, and connect this to the reflexivity problem of $R^{\frac{1}{p^n}}$.

Toric varieties modulo reflections

2026-01-28T04:35:57Z

Let $W$ be a finite group generated by reflections of a lattice $M$. If a lattice polytope $P \subset M \otimes_{\mathbb Z}\mathbb R$ is preserved by $W$, then we show that the quotient of the projective toric variety $X_P$ by $W$ is isomorphic to the toric variety $X_{P \cap D}$, where $D$ is a fundamental domain for the action of $W$. This answers a question of Horiguchi-Masuda-Shareshian-Song, and recovers results of Blume, of Song, of the second author, and of Gui-Hu-Liu. We also study quotients of real toric varieties, proving that $X_P^{\mathbb R} / W$ is contractible when $P$ is a permutohedron.

Relative Hochster--Takayama formula and Cohen--Macaulay monomial ideal quotients

2026-01-28T04:07:22Z

Hochster's and Takayama's formulas describes the multigraded components of local cohomology modules of monomial ideals in terms of simplicial complexes. In this paper, we develop a relative version of these formulas for quotients $I/J$ of monomial ideals, expressing the multigraded pieces of local cohomology modules of $I/J$ as reduced relative (co)homology of pairs of degree complexes. As an application, we obtain a relative Reisner criterion characterizing Cohen-Macaulay monomial ideal quotients. We further apply this relative Hochster--Takayama framework to modules arising from symbolic power filtrations, including symbolic quotients $I^{(t)}/I^{(t+1)}$ and symbolic-ordinary discrepancy module $I^{(t)}/I^t$. In particular, for a squarefree monomial ideal $I$, we give a precise classification of when $I^{(t)}/I^{(t+1)}$ is Cohen-Macaulay for all or, equivalently, for some $t \ge 2$. When $I$ is the edge ideal of a graph, we characterize the Cohen-Macaulayness of $I^{(t)}/I^t$ for all or, equivalently, for some sufficiently large $t$, and analyze the behavior of its dimension function.

Structure and Symmetry of Sally Type Semigroup Rings

2026-01-27T21:32:53Z

Consider a numerical semigroup minimally generated by a subset of the interval $[e,2e-1]$ with multiplicity $e$ and width $e-1$. Such numerical semigroups are called Sally type semigroups. We show that the defining ideals of these semigroup rings, when the embedding dimension is $e-2$, generically have the structure of the sum of two determinantal ideals. More generally, Sally type numerical semigroups with multiplicity $e$ and embedding dimension $d=e-k$ are obtained by introducing $k$ gaps in the interval $[e,2e-1]$. It is known that for $k =2$, there is precisely one such semigroup that is Gorenstein, and it happens when one deletes consecutive integers. Let $S^e_k(j)$ denote the Sally type numerical semigroup of multiplcity $e$, embedding dimension $e-k$ obtained by deleting the $k$ consecutive integers $j, j+1, \ldots, j+k-1$.We prove that for any $1\le k < e/2$, the semigroup $S^e_k(j)$ is Gorenstein if and only if $j=k$. We construct an explicit minimal free resolution of the semigroup ring of $S^e_k(k)$ and compute the Betti numbers. In general, we characterize when $S^e_k(j)$ are symmetric and construct minimal resolutions for these Gorenstein semigroup rings.