Multiplier ideals and klt singularities via (derived) splittings

2026-03-10T21:41:39Z

Let $X$ be a normal, excellent, noetherian scheme over $\operatorname{Spec}\mathbb{Q}$ with a dualizing complex. In this note, we find an alternate characterization of the multiplier ideal of $X$, as defined by de Fernex-Hacon, by considering maps $π_*ω_Y\to\mathcal{O}_X$ where $π:Y\to X$ ranges over all regular alterations. As a corollary to this result, we give a derived splinter characterization of klt singularities, akin to the characterization of rational singularities given by Kovács and Bhatt. We also give an analogous description of the test ideal in characteristic $p>2$ as a corollary to a result of Epstein-Schwede.

Homological properties of the relative Frobenius morphism

2026-03-10T21:34:52Z

This work concerns maps of commutative noetherian local rings containing a field of positive characteristic. Given such a map $\varphi$ of finite flat dimension, the results relate homological properties of the relative Frobenius of $\varphi$ to those of the fibers of $\varphi$. The focus is on the complete intersection property and the Gorenstein property.

A base change framework for tensor functions

2026-03-10T17:17:13Z

The main contribution of this note is to establish a framework to extend results of tensor functions over specific field to general field. As a consequence of this framework, we extend the existing work to more general settings: \emph{(1)} slice rank is linearly bounded by geometric rank for any 3-tensors over any field. \emph{(2)} slice rank of any 3-tensors is quasi-supermultiplicative. As a consequence, the asymptotic slice rank exists for any 3-tensors.

Cohomological support varieties of certain monomial ideals

2026-03-10T13:24:30Z

Building on work of Briggs, Grifo and Pollitz arXiv:2506.10827, we give an example of two cohomological support varieties of monomial ideals which are not unions of linear subspaces. We provide a procedure for the computation of the cohomological support varieties of certain other monomial ideals - including those with homogeneous generators - with improved computational efficiency, leading to a computer-assisted verification of the existence of a third support variety of a monomial ideal which is not a union of linear subspaces and a computer-assisted proof of a classification of cohomological support varieties of homogeneous monomial ideals over $\mathbb{Q}$ with 6 generators.

Cohen-Macaulayness of squarefree powers of edge ideals of whisker graphs

2026-03-10T10:14:51Z

Let $G$ be a finite simple graph with edge ideal $I(G)$. For $q\ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ is generated by products of $q$ pairwise disjoint edges of $G$. It is the Stanley-Reisner ideal of a simplicial complex $\mathsf{MF}^q(G)$, called the $q$-matching-free complex, whose faces are those subsets $F\subseteq V(G)$ for which the induced subgraph $G[F]$ contains no matching of size $q$. We study $\mathsf{MF}^q(G)$ when $G=W(H)$ is a whisker graph. We first characterize purity. If $H$ is bipartite, then $\mathsf{MF}^q(G)$ is pure for all $q$. Otherwise, let $\ell$ denote the length of the smallest odd cycle of $H$ and set $n=|V(H)|$. Then $\mathsf{MF}^q(G)$ is pure if and only if $q<\lceil \ell/2\rceil$ or $q>n-\lfloor \ell/2\rfloor.$ We next determine the exact range of shellability. Let $m=\operatorname{girth}(H)$, with $m=\infty$ if $H$ is acyclic. Then $\mathsf{MF}^q(G)$ is shellable for \[ 1\le q\le \begin{cases} \lceil m/2\rceil, & \text{if } m<\infty,\\ ν(G), & \text{if } m=\infty. \end{cases} \] Consequently, $I(G)^{[q]}$ is Cohen-Macaulay for $1\le q\le\lfloor m/2\rfloor$ when $m<\infty$, and for all $1\le q\leν(G)$ when $m=\infty$. If $m$ is odd, then $I(G)^{[q]}$ is sequentially Cohen-Macaulay for $q=\lceil m/2\rceil$. We further obtain extremal characterizations: $\mathsf{MF}^{2}(G)$ is Cohen-Macaulay if and only if $H$ has no induced $3$-cycle, and $\mathsf{MF}^{\,n-1}(G)$ is Cohen-Macaulay if and only if $H$ is acyclic. Finally, we compute the depth of $I(G)^{[q]}$ for whisker graphs and verify a conjecture on the depth of squarefree powers of whisker cycles in the relevant range.

Constructing $ω$-free Hardy fields

2026-03-10T09:24:16Z

We show that every Hardy field extends to an $ω$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [10], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his.

Galois Action and Localization in Number Fields

2026-03-10T04:39:20Z

For a Galois number field $K$, the Galois group $\text{Gal}(K/\mathbb{Q})$ acts on the class group $Cl_K$ in a very natural way: $σ\cdot[I]=[σ(I)]$ for any $σ\in \text{Gal}(K/\mathbb{Q})$, $[I]\in Cl_K$. In this paper, we will explore how the unique properties of this group action work together to elucidate the relationship between these two groups -- developing and expanding upon some known results from a new perspective. To this end, we explore the class groups of localizations of the ring of integers $\mathcal{O}_K$. These turn out to be powerful tools for understanding $Cl_K$ and overrings of $\mathcal{O}_K$. The paper concludes with some interesting observations about normset arithmetic -- a topic intimately related to this action.

Asymptotic $\mathrm{v}$-number of graded families of ideals and the Newton-Okounkov region

2026-03-09T18:51:12Z

In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{α(I_k)}{k}$, and is given by $\frac{α(I_r)}{r}$ for some $r \ge 1$, where $α(I)$ denotes the initial degree. Extending these results to integral closures, we show that $ \lim\limits_{k\to\infty}\frac{\mathrm{v}(\overline{I_k})}{k} = \lim\limits_{k\to\infty}\frac{α(\overline{I_k})}{k}=\lim\limits_{k\to\infty}\frac{\mathrm{v}(I_k)}{k}=\lim\limits_{k\to\infty}\frac{α(I_k)}{k} $. For monomial ideals, we provide a combinatorial interpretation of these limits via Newton--Okounkov regions $Δ(\mathcal{I})$. %demonstrating that they equal $λ(Δ(\mathcal{I}))$, the minimum coordinate sum among vertices of $Δ(\mathcal{I})$. This connection is further generalized to arbitrary homogeneous ideals using good valuations. We also establish that both $\operatorname{reg}(I_k)$ and $\mathrm{v}(I_k)$ are eventually quasi-linear functions of $k$ for any Noetherian graded family. %Under suitable conditions, we prove the strict inequality $\mathrm{v}(I_k) < \operatorname{reg}(I_k)$. For stable monomial ideal $I$ we show that $\mathrm{v}(I) < \operatorname{reg}(I)$. Finally, for zero-dimensional homogeneous ideal $I$ in a polynomial ring $S$, we prove that $\mathrm{v}(I) < e(S/I)$, where $e(S/I)$ denote the multiplicity.

Determinantal computation of minimal local GADs

2026-03-09T18:47:17Z

We study local generalized additive decompositions (GADs) of homogeneous polynomials and their associated point schemes through their local inverse systems. We prove that their construction and algebraic properties are independent of the chosen apolarity action. We propose a determinantal method for computing minimal local GADs by minimizing the rank of a symbolic inverse system. When the locus of minimal supports is finite, this provides a practical method to determine all minimal local decompositions without tensor extensions. We prove that this finiteness is guaranteed whenever the local GAD-rank of the form does not exceed its degree. We analyze both generic and special cases, provide computational evidence assessing the impact of different choices for minors, and compare our approach with existing algorithms for local apolar schemes.

Generic orbits, normal bases, and generation degree for fields of rational invariants

2026-03-09T18:05:34Z

For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $β_{\mathrm{field}}$ is the minimum $d$ such that the invariant polynomials of degree $\leq d$ generate the field $k(V)^G$ of rational invariants as a field, and the spanning degree $D_\mathrm{span}$ is the minimum $d$ such that the polynomials of degree $\leq d$ span the rational function field $k(V)$ as a vector space over $k(V)^G$, then $β_{\mathrm{field}} \leq 2D_\mathrm{span} + 1$, and this is sharp. This generalizes a recent result of Edidin and Katz. We also study $D_\mathrm{span}$. We show that it is related to various quantities previously studied in invariant and representation theory. Dropping the coprime characteristic hypothesis, we prove several basic inequalities, including that it is monotonically nondecreasing in $G$, nonincreasing in $V$, and satisfies $D_\mathrm{span} \leq |G|-1$. The latter refines a recent result of Kollar and Pham.

Homogeneous ideals with minimal singularity thresholds

2026-03-09T17:56:17Z

Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq \frac{1}{e_1(I)} + \dots + \frac{e_{n-1}(I)}{e_n(I)}$, where $e_j(I)$ is the mixed multiplicity $e(I,\dots, I, \mathfrak{m},\dots, \mathfrak{m})$, with $I$ repeated $j$ times and $\mathfrak{m}$ repeated $n-j$ times. We generalize the lower bound to the case of an arbitrary ideal of an excellent regular local (or standard-graded) ring of equal characteristic, with $\mathrm{lct}(I)$ replaced by the $F$-threshold $c^{\mathfrak{m}}(I)$ in positive characteristic. Our main result is a classification of homogeneous ideals in polynomial rings for which the lower bound is attained, resolving a conjecture of Bivià-Ausina in the graded case.

A Curious Characterisation of Dedekind Domains

2026-03-09T17:42:38Z

We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.

Cohen-Macaulay squares of edge ideals

2026-03-09T17:16:18Z

Let $G$ be a finite graph and $I(G)$ its edge ideal. We give a full description of the Stanley--Reisner complex of the polarization of $I(G)^2$, naturally introducing the tools of Stanley--Reisner theory in the study of the algebraic behaviour of powers of edge ideals. As an application, we demonstrate how Reisner's criterion can be applied directly to check if $I(G)^2$ is Cohen--Macaulay. We can show that if $G$ belongs to the class of finite graphs which consists of cycles, whisker graphs, trees, connected chordal graphs and connected Cohen--Macaulay bipartite graphs, then the square $I(G)^2$ is Cohen--Macaulay if and only if either $G$ is the pentagon, the cycle of length $5$, or $G$ consists of exactly one edge.

Scarf complexes of graphs and their powers

2026-03-09T16:57:56Z

Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also classify connected graphs for which all powers of I(G) have Scarf resolutions. Along the way, we give a concrete description of the Scarf complex of any forest. For a general graph, we give a recursive construction for its Scarf complex based on Scarf complexes of induced subgraphs.

$F$-injectivity does not imply $F$-fullness in normal domains

2026-03-09T16:29:32Z

We construct examples of noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains which are $F$-injective but not $F$-anti-nilpotent. A crucial theme of our constructions is the behavior of $F$-injectivity along a purely inseparable finite base change.