Higher-Dimensional Teter Rings

• Higher-dimensional Teter rings are Cohen–Macaulay rings that generalize the classical zero-dimensional Teter property by linking canonical modules with trace ideals and Gorenstein approximations.
• They are characterized by precise numerical criteria, including multiplicity differences and codimension conditions, which quantify the 'distance from Gorenstein.'
• Studying these rings deepens our understanding of nearly and almost Gorenstein phenomena and informs classifications in commutative algebra through various algebraic constructions.

A higher-dimensional Teter ring is a Cohen–Macaulay local or graded ring with a specific connection to Gorenstein approximations, canonical modules, and trace ideals, generalizing the classical zero-dimensional (Artinian) Teter property to arbitrary dimension. These rings are characterized by a numerical condition on multiplicities, explicit trace-based criteria, and certain structural behaviors under standard algebraic constructions such as fiber products, Veronese subrings, and semigroup rings. Their study illuminates “almost Gorenstein” and “nearly Gorenstein” phenomena and provides a framework for understanding the canonical trace as a measure of “distance from Gorenstein.”

1. Classical and Higher-Dimensional Definitions

The original notion of a Teter ring refers to an Artinian local Cohen–Macaulay ring $(R, \mathfrak m)$ such that the canonical module $\omega_R = \operatorname{Hom}_k(R, k)$ admits an $R$-module homomorphism $\phi: \omega_R \rightarrow R$ with image $\mathfrak m$. Equivalently, the canonical trace ideal satisfies $\operatorname{tr}_R(\omega_R) = \mathfrak m$ (Kumashiro et al., 5 Jun 2025).

Puthenpurakal’s extension defines a higher-dimensional Teter ring $(A, \mathfrak m)$, not necessarily Gorenstein, as follows. There exists a complete Gorenstein ring $(B, \mathfrak n)$ with $\dim B = \dim A$ and a surjection $B \rightarrow A$ such that $e(B) - e(A) = 1$, where $e(-)$ denotes the Hilbert–Samuel multiplicity. Such $(B, \mathfrak n)$ is called a Teter Gorenstein approximation. The ring is termed strongly Teter if in addition the associated graded ring $$G(B) = \bigoplus_{i \geq 0} \mathfrak n^i / \mathfrak n^{i+1}$$ is Gorenstein (Puthenpurakal, 23 Jan 2025).

In the graded context, a Cohen–Macaulay graded ring $R$ is Teter if there exists a graded $R$-homomorphism $\varphi: \omega_R \rightarrow R$ such that either $\dim R = 0$ and $\varphi$ is surjective, or $\dim R > 0$, $\varphi$ is injective, and $$\operatorname{embdim}(R / \varphi(\omega_R)) \leq \dim R$$, with embedding dimension measured in degree $1$ (Miyashita et al., 7 Dec 2025).

2. Canonical Modules, Trace Ideals, and Numerical Criteria

Given a Cohen–Macaulay (graded) ring $R$, its canonical module $\omega_R$ is constructed as $${}^*\!\operatorname{Hom}_R(H^d_{\mathfrak m}(R), E)$$, $d = \dim R$, with $E$ the injective hull of $R/\mathfrak m$ (Kumashiro et al., 5 Jun 2025, Miyashita et al., 7 Dec 2025). The canonical trace ideal is

$$\operatorname{tr}_R(\omega_R) = \sum_{\varphi \in {}^*\!\operatorname{Hom}_R(\omega_R, R)} \varphi(\omega_R)$$

and is closely linked to the non-Gorenstein locus. If $\operatorname{tr}_R(\omega_R) = R$, then $R$ is Gorenstein.

For a complete local ring $(A, \mathfrak m)$, the codimension is given by $$\operatorname{codim}(A) = \mu(\mathfrak m) - \dim A$$, where $\mu(\mathfrak m)$ denotes minimal number of generators. The Cohen–Macaulay type is $$r(A) := \dim_k \operatorname{Ext}^{\dim A}_A(k, \omega_A)$$ (Puthenpurakal, 23 Jan 2025, Miyashita et al., 7 Dec 2025).

A central equivalence for Cohen–Macaulay local domains:

• $A$ is Teter $\iff$ there exists a proper ideal $J \subset A$ such that $\omega_A \cong J$ and $\operatorname{codim}(A/J) \leq 1$.
• The type formula: $r(A) = \operatorname{codim}(A)$ for Teter rings (Puthenpurakal, 23 Jan 2025, Miyashita et al., 7 Dec 2025).

3. Sufficient and Necessary Criteria for Teterness

For a graded Cohen–Macaulay ring of positive dimension, sufficient conditions for Teterness are (Miyashita et al., 7 Dec 2025):

• $[\omega_R]_{-a_R}$ contains a torsion-free element,
• $$[\operatorname{tr}_R(\omega_R)]_{\text{indeg}(\mathfrak m)}$$ contains a non-zerodivisor,
• $$r_0(R) := \dim_k [\omega_R]_{-a_R} \geq \operatorname{codim}(R)$$.

In the standard graded case, these conditions are also necessary. Specifically, $R$ is Teter iff it is level (canonical module generated in one degree), $r(R) = \operatorname{codim}(R)$, and $[\operatorname{tr}_R(\omega_R)]_1$ contains a non-zerodivisor. Thus, Teter rings sit precisely at the intersection of trace-based, type-based, and generation-based properties, generalizing nearly and almost Gorenstein rings (Miyashita et al., 7 Dec 2025).

4. Fiber Product Formulas and Stanley–Reisner Applications

The canonical trace of a fiber product $R = A \times_T B$, with $A,B$ positively graded Noetherian rings surjecting onto a field $T$, is governed by a structural formula (Kumashiro et al., 5 Jun 2025): $$\operatorname{tr}_R(\omega_R) = \begin{cases} \operatorname{tr}_A^\dagger(\omega_A)\,R \oplus \operatorname{tr}_B^\dagger(\omega_B)\,R & d_A = d_B \ \operatorname{tr}_A^\dagger(\omega_A)\,R \oplus ((0):_B\mathfrak m_B) R & d_A > d_B \ ((0):_A\mathfrak m_A)R \oplus \operatorname{tr}_B^\dagger(\omega_B)R & d_A < d_B \end{cases}$$ with $$\operatorname{tr}_S^\dagger(\omega_S) = \mathfrak m_S$$ if $S$ is quasi-Gorenstein, and $\operatorname{tr}_S(\omega_S)$ otherwise. For fiber products of Stanley–Reisner rings $k[\Delta]$, corresponding to non-connected simplicial complexes $\Delta = \bigsqcup_i \Delta_i$, the trace ideal decomposes as a direct sum over maximal-dimensional components. Precise combinatorial criteria determine whether the trace equals or contains the graded maximal ideal, linking algebraic Teterness to combinatorial properties—such as pureness, pseudomanifoldness, and orientability—of the underlying complex (Kumashiro et al., 5 Jun 2025).

5. Behavior Under Standard Constructions

A variety of standard constructions admit explicit Teterness criteria:

• Fiber Products: For $A,B$ one-dimensional generically Gorenstein standard graded rings, $R = A \times_k B$ is Teter iff $A, B$ have minimal multiplicity (Miyashita et al., 7 Dec 2025).
• Veronese Subrings: For $R$ standard graded (dimension $\leq 2$), the $k$-th Veronese $R^{(k)}$ is Gorenstein or Teter, with Teterness for all $k \geq 2$ under minimal multiplicity (Puthenpurakal, 23 Jan 2025, Miyashita et al., 7 Dec 2025).
• Numerical Semigroup Rings: $R_H = k[H]$ is Teter iff the pseudo-Frobenius sequence of $H$ satisfies a specific combinatorial congruence; almost symmetric and other explicit semigroups yield strongly Teter and Teter rings (Miyashita et al., 7 Dec 2025, Puthenpurakal, 23 Jan 2025).

Construction Type	Teter Criterion	Key Reference
Fiber Product	Minimal multiplicity of components	(Miyashita et al., 7 Dec 2025)
Veronese	Levelness, minimal multiplicity	(Puthenpurakal, 23 Jan 2025)
Numerical Semigroup	Pseudo-Frobenius combinatorics	(Miyashita et al., 7 Dec 2025)

6. Strongly Teter Rings and Associated Graded Properties

A strongly Teter ring is a Teter ring $A$ for which the associated graded ring $G(B)$ of some Teter Gorenstein approximation $B \rightarrow A$ is Gorenstein (Puthenpurakal, 23 Jan 2025). Equivalent conditions require that $G(A)$ be Cohen–Macaulay and that the graded canonical module of $G(A)$ be realized by the associated graded of a canonical ideal $J \subset A$ with codimension $\leq 1$. This strengthens the numerical-geometric characterization, reflecting deeper linkage between filtered module theory and canonical module structures.

When $A$ admits a strongly Teter approximation, $G(A)$ inherits Cohen–Macaulayness via descent from $G(B)$, consistent with Sally-descent arguments and Hilbert coefficient analysis (Puthenpurakal, 23 Jan 2025).

7. Connections to Nearly Gorenstein and Finite CM-Type Rings

Nearly Gorenstein rings—those for which $$\operatorname{tr}_R(\omega_R) \supseteq \mathfrak m$$—are closely related to Teter rings. In standard graded settings, nearly Gorenstein level rings with adequate type bounds are often Teter; the Cohen–Macaulay type $r(R)$ is constrained by the codimension $\operatorname{codim}(R)$ (Miyashita et al., 7 Dec 2025).

A notable application is the classification of finite Cohen–Macaulay-type, standard graded $k$-algebras (Eisenbud–Herzog): their completions are Teter by explicit construction of canonical ideals with codimension $\leq 1$ (Puthenpurakal, 23 Jan 2025).

8. Further Directions and Open Questions

Current research investigates generalizations to other distinguished modules, pushouts and pullbacks of graded rings, and secondary invariants quantifying the “distance from Gorenstein” via $\mathfrak m/\operatorname{tr}_R(\omega_R)$. There is active exploration of how “almost Teter” behavior manifests in higher dimensions, especially via canonical trace techniques and combinatorial constructions in Stanley–Reisner and numerical semigroup contexts (Kumashiro et al., 5 Jun 2025).

A plausible implication is that Teter-type conditions can serve as archetypes for understanding the structure of “almost Gorenstein” rings in broader algebraic settings, potentially guiding future classifications and invariants for singularities and ring-theoretic moduli.