arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.27782

Two-sided bounds for canonical traces of Veronese subalgebras

Sora Miyashita
View original source ↗Read source document ↗Export metadata ↓

Abstract

The classical Veronese formula of Goto--Watanabe identifies the canonical module of a Veronese subalgebra with the corresponding Veronese module. We prove the analogous compatibility for graded duals under a module-finite extension whose upper ring is equidimensional, satisfies Serre's condition $(S_2)$, and has dimension at least two, and obtain the formula for the $b$-invariant. This yields explicit two-sided bounds for canonical traces: the lower bound is controlled by the Loewy length of the canonical-trace quotient, whereas the upper bound is governed by the $a$- and $b$-invariants, with an $S_2$-ification refinement for unmixed rings. We also characterize when all sufficiently large Veronese subalgebras of standard graded level algebras are nearly Gorenstein when the $a$-invariant is negative. Applications include Segre products, Stanley--Reisner rings and determinantal rings.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sora Miyashita. 2026-08-19. Two-sided bounds for canonical traces of Veronese subalgebras. https://arxiv.org/abs/2609.27782

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An unrestricted notion of the finite factorization property

A nonzero element of an integral domain (or an element of a commutative cancellative monoid) is called atomic if it is a unit or can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted version of the finite factorization property, extending the work on unrestricted UFDs carried out by Coykendall and Zafrullah in 2004. An integral domain is said to have the unrestricted finite factorization (U-FF) property if every atomic element has only finitely many factorizations, or equivalently, if its atomic submonoid has the finite factorization (FF) property. We position the U-FF property within the hierarchy of classical finiteness conditions, showing that every IDF domain is a U-FFD but not conversely. Then we analyze the behavior of the U-FF property under standard constructions, including localization, polynomial extensions, and the $D+M$ construction: in each case, we find sufficient conditions under which the U-FF property is inherited by the construction. We also prove that, as it is the case with the IDF property, the U-FF property does not ascend to polynomial extensions. Then we extend the known characterization of FFDs as atomic IDF domains by arguing that the FF property and the U-FF property are equivalent over the class of nearly atomic domains (i.e., integral domains having a nonzero principal ideal whose nonzero elements are atomic). These results demonstrate that the U-FF property behaves in many ways analogously to the IDF property. We conclude taking a look at the class of all unrestricted UFDs.

math.AC↗
arXiv2026

Nearly Gorenstein normal graded rings

We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce a new invariant $b(R)$ of $R$. We investigate nearly Gorenstein property of $R$ using $a(R)$ and $b(R)$ and $m(R)$, the initial degree of $R$. If $b(R)<0$, (and if $R$ is $\mathbb Q$-Gorenstein), then we believe that $R$ is log-terminal -- this is proved if $\dim R=2$ or $R$ is F-pure (or $F$-pure type). Then we determine the condition for a $2$-dimensional cone singularity over a smooth curve of genus $g\le 3$ to be nearly Gorenstein. We observe that ``almost Gorenstein" property and nearly Gorenstein property are drastically different for such rings.

math.AC↗
arXiv2026

Annhilators of local cohomology modules over modular invariant rings and Dickson polynomials

Let $\mathbb{F}_q$ be a finite field with $q = p^s$ elements. Let $V$ be a $d$ dimensional vector space over $\mathbb{F}_q$ and let $G$ be a subgroup of $GL(V)$. Let $R = \mathbb{F}_q[V] = \text{Sym}_{\mathbb{F}_q}(V^*)$ and let $G$ act naturally on $R$. Set $S = R^G$. Let $\mathbf{d}_{d,0}, \mathbf{d}_{d, 1}, \ldots, \mathbf{d}_{d, d-1} \in S$ be the Dickson polynomials with $°\mathbf{d}_{d,i} = q^d - q^i$. Let $I$ be a homogeneous ideal of $S$ and let $H^i_I(S)$ be the $i^{th}$-local cohomology module of $S$ with respect to $I$. Let $J_i = \sqrt{\text{ann} H^i_I(S)}$. Assume $J_i \neq 0$ and $\dim S/J_i = d - g$. Then we show that $\mathbf{d}_{d,0}, \ldots, \mathbf{d}_{d, d - g + 1} \in J_i$. We give several applications of our results. An application is a considerably simpler proof of Landweber-Stong conjecture.

math.AC↗