Trace ideals of exterior powers of the module of differentials

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ishizuka, Ryo, Miyashita, Sora
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911638359113728
author Ishizuka, Ryo
Miyashita, Sora
author_facet Ishizuka, Ryo
Miyashita, Sora
contents For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings, namely the maximal number of variables for a polynomial or formal power series extension over a subring. For the top exterior power, we introduce the top differential trace and prove that it precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, we introduce and investigate nearly regular rings, which are Noetherian rings whose top differential trace contains the maximal ideal.
format Preprint
id arxiv_https___arxiv_org_abs_2605_00418
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Trace ideals of exterior powers of the module of differentials
Ishizuka, Ryo
Miyashita, Sora
Commutative Algebra
Algebraic Geometry
Primary 13A02, 13N05, Secondary 13N15, 13H05, 14B05
For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings, namely the maximal number of variables for a polynomial or formal power series extension over a subring. For the top exterior power, we introduce the top differential trace and prove that it precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, we introduce and investigate nearly regular rings, which are Noetherian rings whose top differential trace contains the maximal ideal.
title Trace ideals of exterior powers of the module of differentials
topic Commutative Algebra
Algebraic Geometry
Primary 13A02, 13N05, Secondary 13N15, 13H05, 14B05
url https://arxiv.org/abs/2605.00418