---
title: Higher-Dimensional Teter Rings
url: https://www.emergentmind.com/topics/higher-dimensional-teter-rings
type: topic
---

# Higher-Dimensional Teter Rings

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$ [2506.04899].

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 [2501.13526].

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$ [2512.06761].

## 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$ [2506.04899][2512.06761]. 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)$ [2501.13526][2512.06761].

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 [2501.13526][2512.06761].

## 3. Sufficient and Necessary Criteria for Teterness

For a graded Cohen–Macaulay ring of positive dimension, sufficient conditions for Teterness are [2512.06761]:
- $[\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 [2512.06761].

## 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 [2506.04899]:
\[
\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 [2506.04899].

## 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 [2512.06761].
- **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 [2501.13526][2512.06761].
- **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 [2512.06761][2501.13526].

| Construction Type        | Teter Criterion                    | Key Reference     |
|-------------------------|-------------------------------------|-------------------|
| Fiber Product           | Minimal multiplicity of components  | [2512.06761]      |
| Veronese                | Levelness, minimal multiplicity     | [2501.13526]      |
| Numerical Semigroup     | Pseudo-Frobenius combinatorics      | [2512.06761]      |

## 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 [2501.13526]. 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 [2501.13526].

## 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)$ [2512.06761].

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$ [2501.13526].

## 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 [2506.04899].

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.

Source: https://www.emergentmind.com/topics/higher-dimensional-teter-rings