---
title: Large Pedestal Ideal in Invariant Theory
url: https://www.emergentmind.com/topics/large-pedestal-ideal
type: topic
---

# Large Pedestal Ideal in Invariant Theory

The **large pedestal ideal** is an invariant associated with a \(\mathbb{G}_a\)-variety \(\operatorname{Spec}(A)\) in positive-characteristic invariant theory. In the formulation of "On the Invariant Theory of \( \mathbb{G}_{a} \)-Actions from a Geometric Perspective" [2509.15438], it is the ideal \(\mathfrak{P}_g(A)\) generated by those elements \(h \in A\) that occur as second components of \(c(t)\)-pairs \((g,h)\), where \(\beta^\sharp(g)=g+c(t)h\) for some non-zero additive polynomial \(c(t)\). The construction measures where a \(\mathbb{G}_a\)-action admits affine-linear orbit coordinates on open sets \(D(h)\), and it serves as one of the paper’s two central ideals, together with the pedestal ideal \(\mathfrak{P}(A)\), for classifying \(\mathbb{G}_a\)-representations in characteristic \(p>0\) [2509.15438].

## 1. \(\mathbb{G}_a\)-actions and the geometric setting

A \(\mathbb{G}_a\)-variety is a variety \(X\) equipped with an action
\[
\beta : \mathbb{G}_a \times X \to X,
\]
equivalently a coaction on the coordinate ring
\[
\beta^\sharp : \mathcal{O}(X) \to \mathcal{O}(X)[t].
\]
A \(\mathbb{G}_a\)-representation is a homomorphism
\[
\beta : \mathbb{G}_a \to \mathrm{GL}(\mathbf{V})
\]
on a finite-dimensional vector space \(\mathbf{V}\); on the symmetric algebra
\[
S_k(\mathbf{V}^*) \cong k[x_1,\dots,x_n],
\]
this induces a \(\mathbb{G}_a\)-action on the affine space \(\mathbf{V}\) [2509.15438].

The invariant-theoretic object of interest is
\[
A^{\mathbb{G}_a} = \{ f \in A : \beta^\sharp(f) = f \},
\]
together with the geometry of the quotient \(\operatorname{Spec} A^{\mathbb{G}_a}\). In characteristic zero, \(\mathbb{G}_a\)-actions correspond to locally nilpotent derivations and Weitzenböck’s theorem gives finite generation for linear representations. In characteristic \(p>0\), the paper treats the substantially subtler setting in which actions correspond to locally finite iterative higher derivations and additive polynomials in the Ore ring \(\mathfrak{O}\) [2509.15438].

Within this framework, the large pedestal ideal is introduced as a geometric device for detecting where the action admits orbit coordinates of affine-linear type. The term is not a generic synonym for a large H-mode pedestal in plasma physics or for a mechanically robust support in optomechanics; in the invariant-theoretic literature represented here, it is a specific ideal attached to a \(\mathbb{G}_a\)-action [2509.15438].

## 2. \(c(t)\)-pairs and affine orbit coordinates

The construction of the large pedestal ideal begins with the notion of a \(b(t)\)-pair, or equivalently a \(c(t)\)-pair. Let \(X=\operatorname{Spec}(A)\) be a \(\mathbb{G}_a\)-variety and let \(b(t)\) be an additive polynomial in \(k[t]\). A \(b(t)\)-pair is a pair \((g,h)\) with
\[
g \in A,\quad h \in A^{\mathbb{G}_a}
\]
such that
\[
\beta^\sharp(g) = g + b(t) h.
\]
Equivalently, for every closed point \(x \in X\) and \(t_0 \in \mathbb{G}_a\),
\[
g(t_0 * x) = g(x) + b(t_0)\, h(x).
\]
If \(b(t)=t\), the pair is a principle pair. A quasi-principle \(b(t)\)-pair is one for which the kernel group scheme \(\mathbf{ker}(b(t))\) acts trivially on \(X\) [2509.15438].

The geometric role of such pairs is immediate. Since \(h\) is invariant, the principal open set
\[
D(h) = \{x \in X : h(x)\neq 0\}
\]
is \(\mathbb{G}_a\)-stable. If \((g,h^e)\) is a \(c(t)\)-pair, then the rational function \(g/h^e\) defines a \(\mathbb{G}_a\)-equivariant map
\[
\Phi : D(h) \to \mathbb{G}_a^{c(t)},
\]
where \(\mathbb{G}_a^{c(t)}\) denotes \(\mathbb{A}^1\) with twisted action \((t_0,x)\mapsto x+c(t_0)\). Proposition 2.16 states that the existence of such a dominant equivariant morphism is equivalent to the existence of a \(c(t)\)-pair \((g,h^e)\) with \(g\neq 0\) [2509.15438].

When \(c(t)=t\), the resulting map detects genuine trivial \(\mathbb{G}_a\)-bundle structure. Proposition 2.18 states that, for \(h\in A^{\mathbb{G}_a}\), the following are equivalent: \(D(h)\) is a trivial \(\mathbb{G}_a\)-bundle over \(D(h)//\mathbb{G}_a\); there exists a dominant, generically smooth, \(\mathbb{G}_a\)-equivariant morphism \(D(h)\to \mathbb{G}_a\) with connected fibres; and there exists a principle pair \((g,h^e)\). More generally, Proposition 2.22 shows that a quasi-principle \(b(t)\)-pair yields a trivial bundle for the effective quotient group \((\mathbb{G}_a // \mathbf{ker}(b(t)))\) [2509.15438].

A structural characterization accompanies this geometry. Corollary 2.9 states that there exists a \(b(t)\)-pair \((g,h)\) for some additive \(b(t)\) if and only if the variance \(\operatorname{var}(g)\) equals \(2\). The large pedestal ideal therefore packages precisely those second components \(h\) arising from variance-\(2\) elements under the \(\mathbb{G}_a\)-action [2509.15438].

## 3. Definition of the large pedestal ideal

The large pedestal ideal is defined in Definition 3.1. For a \(\mathbb{G}_a\)-variety \(\operatorname{Spec}(A)\), it is the ideal generated by all \(h \in A\) for which there exist a non-zero additive polynomial \(c(t)\in \mathfrak{O}\) and an element \(g\in A\) such that \((g,h)\) is a \(c(t)\)-pair. Formally,
\[
\mathfrak{P}_g(A) =
\left\langle
\, h \in A \;\middle|\;
\exists\, c(t)\neq 0,\ g\in A\ \text{with}\ \beta^\sharp(g)=g+c(t)h
\right\rangle.
\]
This ideal is attached to the action on \(A\), not to an individual choice of \(g\) [2509.15438].

Conceptually, \(\mathfrak{P}_g(A)\) records those invariant denominators \(h\) for which some function \(g\) yields an affine transformation law along \(\mathbb{G}_a\)-orbits. On \(D(h)\), the quotient \(g/h^e\) then behaves as an orbit coordinate valued in a twisted \(\mathbb{G}_a\). In this sense, the ideal measures how much of the variety admits such additive orbit-coordinate structures [2509.15438].

The paper also emphasizes that the large pedestal ideal sits above the pedestal ideal. Every quasi-principle pair is in particular a \(c(t)\)-pair, so
\[
\mathfrak{P}(A)\subseteq \mathfrak{P}_g(A).
\]
The distinction is that \(\mathfrak{P}_g(A)\) allows arbitrary non-zero additive polynomials \(c(t)\), while \(\mathfrak{P}(A)\) restricts to pairs for which the kernel group scheme acts trivially, so that one obtains genuine local triviality after quotienting by the kernel [2509.15438].

The vanishing or non-vanishing of \(\mathfrak{P}_g(A)\) is representation-theoretically meaningful. When \(A=S_k(\mathbf{V}^*)\), Theorem 5.5 gives criteria for \(\mathfrak{P}_g(A)=0\) in terms of the socle series of \(\mathbf{V}^*\): a non-trivial representation has \(\mathfrak{P}_g(S_k(\mathbf{V}^*))=0\) if and only if \(\dim(\operatorname{soc}_2(\mathbf{V}^*)/(\mathbf{V}^*)^{\mathbb{G}_a})=1\), the socle series length is \(2\), and every \(v\in \operatorname{soc}_2(\mathbf{V}^*)\setminus (\mathbf{V}^*)^{\mathbb{G}_a}\) satisfies \(\operatorname{var}(v)>2\). The theorem further states that this phenomenon can occur only in characteristic \(p>0\) [2509.15438].

## 4. Pedestal ideal, quasi-principle actions, and local triviality

The pedestal ideal \(\mathfrak{P}(A)\) is a refinement of the large pedestal ideal. Definition 3.1 defines it as the ideal generated by \(0\) together with all \(h \in A\) for which there exists a quasi-principle \(b(t)\)-pair \((g,h)\), that is,
\[
\mathfrak{P}(A) =
\left\langle
\, h \in A \;\middle|\;
\exists\, b(t)\neq 0,\ g\in A,\ \beta^\sharp(g)=g+b(t)h,\ \mathbf{ker}(b(t))\text{ acts trivially on }X
\right\rangle \cup \{0\}.
\]
By construction,
\[
\mathfrak{P}(A)\subseteq \mathfrak{P}_g(A).
\]
The inclusion can be strict, and that strictness is one of the paper’s main positive-characteristic phenomena [2509.15438].

The geometric significance of \(\mathfrak{P}(A)\) is sharper than that of \(\mathfrak{P}_g(A)\). The pedestal scheme is
\[
\mathcal{V}(\mathfrak{P}(A)) \subseteq \operatorname{Spec}(A),
\]
and its complement
\[
\operatorname{Spec}(A)^{as} = \operatorname{Spec}(A)\setminus \mathcal{V}(\mathfrak{P}(A))
\]
is the locus of affine stable points. If \(\mathfrak{P}(A)\neq 0\), then on open sets \(D(h)\) arising from quasi-principle pairs, the action is, after dividing out \(\mathbf{ker}(b(t))\), a trivial bundle over the quotient. In the paper’s terminology, a \(\mathbb{G}_a\)-variety with non-zero pedestal ideal on some affine neighbourhood is called quasi-principle [2509.15438].

This difference between \(\mathfrak{P}_g(A)\) and \(\mathfrak{P}(A)\) is the reason the large pedestal ideal is necessary. \(\mathfrak{P}(A)\) detects where the action becomes principle up to a finite kernel, whereas \(\mathfrak{P}_g(A)\) also detects weaker additive-coordinate phenomena that do not yield local triviality because stabilizers or kernel actions obstruct the quotient picture [2509.15438].

## 5. Classification of representations by pedestal behavior

For a linear representation \(\beta:\mathbb{G}_a\to\mathrm{GL}(\mathbf{V})\) with
\[
A=S_k(\mathbf{V}^*),
\]
the paper organizes representations into three cases according to the vanishing pattern of \(\mathfrak{P}_g(A)\) and \(\mathfrak{P}(A)\) [2509.15438].

| Case | Condition | Interpretation |
|---|---|---|
| (a) | \(\mathfrak{P}_g(S_k(\mathbf{V}^*))=0\) | No nontrivial \(c(t)\)-pairs |
| (b) | \(\mathfrak{P}_g(S_k(\mathbf{V}^*))\neq 0\) but \(\mathfrak{P}(S_k(\mathbf{V}^*))=0\) | \(c(t)\)-pairs exist, but no quasi-principle pairs |
| (c) | \(\mathfrak{P}(S_k(\mathbf{V}^*))\neq 0\) | Quasi-principle behavior occurs |

In case (a), Theorem 4.5 states that if
\[
\mathfrak{P}_g(S_k(\mathbf{V}^*))=0,
\]
then
\[
S_k(\mathbf{V}^*)^{\mathbb{G}_a} = S_k\big((\mathbf{V}^*)^{\mathbb{G}_a}\big).
\]
That is, the only invariants are polynomials in invariant linear forms. Example 4.4 gives a three-dimensional representation
\[
x_1\mapsto x_1,\quad x_2\mapsto x_2,\quad x_3\mapsto x_3 + c_2(t)x_2 + c_1(t)x_1,
\]
with independent additive polynomials \(c_1,c_2\), for which the large pedestal ideal of \(k[x_1,x_2,x_3]\) is zero and
\[
k[x_1,x_2,x_3]^{\mathbb{G}_a}=k[x_1,x_2].
\]
The paper remarks that such representations are “uninteresting” from the viewpoint of classical invariant theory, because no higher-degree invariant structure appears [2509.15438].

In case (c), quasi-principle pairs exist. The introduction states that, after suitable modification and possibly replacing \(\mathbb{G}_a\) by a quotient, there exists an open affine subvariety \(U\subset \mathbf{V}\) such that
\[
U \cong \mathbb{G}_a \times (U//\mathbb{G}_a)
\]
as \(\mathbb{G}_a\)-varieties. This is the situation closest to characteristic-zero slice theory and to the classical plinth ideal picture [2509.15438].

Case (b) is the distinctive positive-characteristic regime. Here \(\mathfrak{P}_g\neq 0\) but \(\mathfrak{P}=0\): additive orbit coordinates exist, but never in a quasi-principle form. Theorem 6.1 characterizes this case by the existence of an upper triangular basis and an additive polynomial \(b(t)\) satisfying specific conditions on the coefficients \(q_{i,j}(t)\) in the coaction, including the requirement that among invariant coordinates the span of certain non-zero additive polynomials \(d_j(t)\) has dimension at least \(2\), together with the existence of a \(b(t)\)-pair \((g,h)\). The theorem identifies this regime as a genuinely positive-characteristic phenomenon. The paper’s five-dimensional example of type (E:89) lies here: \(\mathfrak{P}_g\neq 0\), \(\mathfrak{P}=0\), no open subvariety is a trivial bundle over its quotient, but local invariant calculations can still be reduced to finite group invariant theory after passing to suitable covers [2509.15438].

## 6. Geometric meaning, algorithms, and relation to classical invariant theory

Geometrically, the large pedestal ideal controls where one has \(c(t)\)-pairs and hence equivariant morphisms to twisted additive lines. For each \(h\in \mathfrak{P}_g(A)\), there exists some \(g\) and some additive polynomial \(c(t)\neq 0\) giving a dominant equivariant map
\[
D(h)\to \mathbb{G}_a^{c(t)}.
\]
This provides a local orbit-coordinate description even when no genuine trivial bundle exists. By contrast, for \(h\in \mathfrak{P}(A)\), quasi-principle pairs yield étale-slice-type descriptions and local triviality after quotienting by \(\mathbf{ker}(b(t))\) [2509.15438].

This distinction has algorithmic implications. In case (c), generalized slice methods of van den Essen type can be applied directly on suitable opens. In case (b), the action is not locally trivial, but the non-zero large pedestal ideal still provides enough structure to compute invariants on localizations such as \(k[X]_{x_1}^{\mathbb{G}_a}\) and \(k[X]_{x_2}^{\mathbb{G}_a}\) using separable roots of \(b(s)+g(X)/h(X)\) and finite group invariants. A plausible implication is that \(\mathfrak{P}_g(A)\) acts as a weaker but still effective substitute for a slice in settings where \(\mathfrak{P}(A)\) vanishes [2509.15438].

The paper explicitly compares these ideals with Freudenburg’s plinth ideal from characteristic zero. In characteristic zero, for a locally nilpotent derivation \(\delta\), the plinth ideal is
\[
\mathrm{pl}(A^{\mathbb{G}_a}) = (A^{\mathbb{G}_a}\cap \delta(A)) \subseteq A^{\mathbb{G}_a}.
\]
The pedestal ideal \(\mathfrak{P}(A)\) plays the role of a geometric plinth in positive characteristic; when \(A^{\mathbb{G}_a}\) is finitely generated over a characteristic-zero field, the paper states that the plinth ideal equals \(\mathfrak{P}(A)\cap A^{\mathbb{G}_a}\). The large pedestal ideal extends beyond this by including all \(c(t)\)-pairs, thereby capturing phenomena invisible to the classical plinth ideal, especially in case (b) [2509.15438].

The paper also places the theory near Hilbert’s 14th problem and the Weitzenböck picture. Case (a) yields trivially finitely generated invariants because
\[
A^{\mathbb{G}_a}=S_k((\mathbf{V}^*)^{\mathbb{G}_a}).
\]
Case (c) is amenable to generalized slice algorithms. Case (b) is where the most delicate positive-characteristic pathologies arise; the large pedestal ideal is precisely what records the residual geometric structure available there [2509.15438].

## 7. Terminological scope and usage in other fields

In the strict algebraic sense, **large pedestal ideal** refers to \(\mathfrak{P}_g(A)\) for a \(\mathbb{G}_a\)-variety or representation, as defined above [2509.15438]. The phrase “large pedestal” also appears in unrelated technical literatures, but there it functions descriptively rather than as the name of an ideal. In spherical tokamak pedestal modeling, for example, a “large” or near-ideal pedestal denotes high pedestal pressure and wide pedestal, with limits set by KBM/MHD, ETG, and neoclassical transport [2603.20502]. In GaAs optomechanical disk resonators, an “ideal large pedestal” denotes a relatively wide and fabrication-robust pedestal that behaves mechanically as if almost decoupled from the substrate through shielding and mode interference [1411.6002].

These usages are conceptually independent. The invariant-theoretic large pedestal ideal is an algebraic object generated by second components of \(c(t)\)-pairs; the plasma-physics and optomechanics expressions describe limiting pedestal structures in entirely different physical systems. This separation of meanings is useful because the algebraic notion is highly specialized and depends on additive group actions, the Ore ring of additive polynomials, and the geometry of affine quotients in characteristic \(p>0\) [2509.15438].

Source: https://www.emergentmind.com/topics/large-pedestal-ideal