Trace ideals of exterior powers of the module of differentials

TL;DR

This paper investigates trace ideals of exterior powers of modules of differentials, linking them to polynomial and formal power series ranks, and introduces nearly regular rings related to singular loci.

Contribution

It characterizes polynomial and formal power series ranks via trace ideals and introduces nearly regular rings connected to singularity analysis.

Findings

Trace ideals characterize polynomial and formal power series ranks.

Top differential trace precisely defines the singular locus in certain rings.

Nearly regular rings are introduced, with their top differential trace containing the maximal ideal.

Abstract

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.