The spectrum of the Burnside Tambara functor

2026-01-27T21:04:54Z

We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group. Our proof uses recent advances in the commutative algebra of Tambara functors, as well as a Tambara functor analogue of ghost coordinates which works over arbitrary finite groups and clarifies some previous computations. As examples, we explicitly compute the spectrum of the Burnside Tambara functor over all dihederal groups, the quaternion group $Q_8$, the alternating group $A_4$, and the general linear group $GL_3(F_2)$.

Numerical Semigroups of Sally Type

2026-01-27T19:37:21Z

Judith Sally proved in 1980 that the associated graded ring of one-dimensional Gorenstein local rings of multiplicity $e$ and embedding dimension $e-2$ are Cohen-Macaulay. She showed that the defining ideal of the associated graded ring of such rings is generated by ${e-2 \choose 2}$ elements. Numerical semigroup rings are a big class of one-dimensional Cohen-Macaulay rings. In 2014, Herzog and Stamate proved that the numerical semigroup $$ defines a Gorenstein semigroup ring satisfying Sally's conditions above and such semigroups are called Gorenstein Sally Semigroups. We call a numerical semigroup $S$ as Sally type if $= < e,e+1,\ldots,e+m-1, e+m+1,\ldots, e+n-1,e+n+1, \ldots 2e-1>$ for some $2 \leq m

Extremal F-thresholds in regular local rings

2026-01-27T18:52:56Z
Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the $F$-threshold $\text{ft}^{\mathfrak{m}}(\mathfrak{a})$ is minimal.

Metric completions of triangulated categories from hereditary rings

2026-01-27T17:00:47Z
The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived categories with respect to additive good metrics for two classes of rings - hereditary commutative noetherian rings and hereditary algebras of tame representation type over an algebraically closed field. To that end, we develop and study the lattice theory of metrics on triangulated categories. Moreover, we establish a link between metric completions of bounded derived categories of a ring and the ring's universal localisations.

Prismatic Kunz's theorem

2026-01-27T14:55:27Z
In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived enhancement of) $R$ over a specific prism $(A, I)$ is faithfully flat. This generalizes classical Kunz's theorem from the perspective of extending the "Frobenius map" to mixed characteristic rings. Our approach involves studying the deformation problem of the "regularity" of prisms and demonstrating the faithful flatness of the structure map of the prismatic complex.

Nearly Gorenstein and almost symmetric properties in shifted numerical semigroups

2026-01-27T14:08:26Z
Given the integers $00$. For sufficiently large $n$, we prove that if $M_n$ is nearly Gorenstein or almost symmetric, then so is $M_{n+r_k}$. A key ingredient is to relate the pseudo-Frobenius elements of $M_n$ and $M_{n+r_k}$, correcting a wrong claim in the literature. Moreover, we derive explicit formulas for the Frobenius and pseudo-Frobenius numbers of $M_{n+r_k}$.

Ideal transition systems

2026-01-27T08:34:37Z
We study an inductive method of computing initial ideals and Gröbner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in the initial ideal of $I$. These containments become a system of equalities if one can establish a particular transition recurrence among the chosen ideals. We describe explicit constructions of such systems in two motivating cases -- namely, for the ideals of matrix Schubert varieties and their skew-symmetric analogues. Despite many formal similarities with these examples, for the symmetric versions of matrix Schubert varieties, it is an open problem to construct the same kind of transition system. We present several conjectures that would follow from such a construction, while also discussing the special obstructions arising in the symmetric case.

Derived graded modules

2026-01-27T03:53:22Z
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived $G$-graded modules over $R$ and derived (formal) comodules over a certain comonad constructed from the group ring $R[G]$ of $G$ over $R$.

Geometry of Yang-Baxter matrix equations over finite fields

2026-01-26T21:02:58Z
Let $A$ be a $2\times 2$ matrix over a finite field and consider the Yang-Baxter matrix equation $XAX=AXA$ with respect to $A$. We use a method of computational ideal theory to explore the geometric structure of the affine variety of all solutions to this equation. In particular, we exhibit all solutions explicitly and determine cardinality formulas for these varieties.

Subdividing simplicial virtual resolutions with homology

2026-01-26T18:25:42Z
While sporadic examples of virtual resolutions with homology have been constructed, their occurrence is not well understood or controlled. Our results build a new set of tools for studying virtual resolutions of monomial ideals as arising from simplicial complexes, including characterizing them by the acyclicity of certain induced subcomplexes. Using this characterization, we give a description of minimal simplicial complexes supporting virtual resolutions as well as a technique for removing homology from simplicial virtual resolutions.

Fibers of phase tropicalizations

2026-01-26T14:27:07Z
The subject of the present paper is phase tropicalization, which was used crucially in the context of Mikhalkin's correspondence theorem for curve counting in the complex coefficient case. The subject can be traced back to Viro's patchworking for constructing topological types of real algebraic curves. These two instances correspond to complex and real phases. Both fall into the category of what can be called "abelian" or classical tropicalization, referring to degenerations of varieties within an algebraic torus (or its compactification). In contrast, in "non-abelian" tropicalizations the ambient torus is replaced by a non-commutative group such as the special linear group. This is the beginning of a general theory valid for a wide array of coefficient systems and dimensions. As an application, the paper settles the question of phase tropicalization for the special linear group $\mathrm{SL}_2$. It also gives an algebraic explanation and phase extension of the case of curves, previously studied in the purely geometric framework. To accomplish these tasks we introduce valuative tools that allow us to prove an affine version of Kapranov's theorem on tropical hypersurfaces and its generalization to arbitrary tropical varieties. Most notably, we show the functorial properties of the graded ring of a valuation and exhibit the polynomial structure of the graded ring of monomial valuations.

Grobner bases for determinantal facet ideals of simplicial complexes

2026-01-26T14:14:40Z
We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and determinantal ideals, we introduce two new classes of simplicial complexes-strong closed and poor closed-that generalize the notion of closedness in higher dimensions. Our main theorem offers a unified framework that recovers and refines several known results, including those for unit interval graphs and determinantal ideals of complete graphs. In particular, we correct and generalize prior characterizations of Grobner bases for determinantal facet ideals, establishing radicality for strong closed complexes and providing a new proof for the Grobner basis of maximal minors.

Homological shifts of powers a complementary edge ideal

2026-01-26T11:50:36Z
The homological shift algebra and the projective dimension function of complementary edge ideals are investigated. Let $G$ be a connected graph, and let $I$ be its complementary edge ideal. For bipartite graphs $G$, we show that the projective dimension of $I^s$ increases strictly with $s$ until reaching its maximum value. For trees and cycles, explicit expressions for the projective dimension of $I^s$ are provided, along with detailed descriptions of their homological shift algebras. In particular, it is shown that the $i$-th homological shift algebra of such ideals is generated in degree at most $i$. Additionally, we prove that if $G$ is a tree, then the homological shift ideal $\mathrm{HS}_i(I^i)$, when divided by a suitable monomial, becomes a Veronese-type ideal, and every Veronese-type ideal arises in this manner.

Trace ideals of canonical modules over Schubert cycles and determinantal rings

2026-01-26T11:39:04Z
In this paper, we study the canonical trace of Schubert cycles and determinantal rings. As an application, we give an explicit description of the non-Gorenstein locus and show that its structure is compatible with the known representations of the singular locus and the canonical module. Furthermore, for the CTR property recently introduced by Miyazaki, we establish its stability under base change and provide a characterization in the case of determinantal rings.

On Gorensteinness of associated graded rings of filtrations

2026-01-26T09:20:01Z
Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present ring-theoretic properties of the normal tangent cone of the maximal ideal of $A=S/(f)$ where $S=K[\![x_0,x_1,\ldots, x_m]\!]$ is a formal power series ring over an algebraically closed field $K$, and $f=x_0^a-g(x_1,\ldots,x_m)$, where $g$ is a polynomial with $g \in (x_1,\ldots,x_m)^b \setminus (x_1,\ldots,x_m)^{b+1}$, and $a, \, b, \, m$ are integers. We show that the normal tangent cone $\overline{G}(\mathfrak{m})$ is Cohen-Macaulay if $A$ is normal and $a \le b$. Moreover, we give a criterion of the Gorensteinness of $\overline{G}(\mathfrak{m})$.