Hironaka decomposition
In mathematics, a Hironaka decomposition is a representation of an algebra over a field as a finitely generated free module over a polynomial subalgebra or a regular local ring. Such decompositions are named after Heisuke Hironaka, who used this in his unpublished master's thesis at Kyoto University (Nagata 1962). Hironaka's criterion (Nagata 1962), sometimes called miracle flatness, states that a local ring R that is a finitely generated module over a regular Noetherian local ring S is Cohen–Macaulay if and only if it is a free module over S. There is a similar result for rings that are graded over a field rather than local.
Explicit decomposition of an invariant algebra
Let [math]\displaystyle{ V }[/math] be a finite-dimensional vector space over an algebraically closed field of characteristic zero, [math]\displaystyle{ K }[/math], carrying a representation of a group [math]\displaystyle{ G }[/math], and consider the polynomial algebra on [math]\displaystyle{ V }[/math], [math]\displaystyle{ K[V] }[/math]. The algebra [math]\displaystyle{ K[V] }[/math] carries a grading with [math]\displaystyle{ (K[V])_0 = K }[/math], which is inherited by the invariant subalgebra
- [math]\displaystyle{ K[V]^G = \{ f \in K[V] \mid g \circ f = f, \forall g \in G \} }[/math].
A famous result of invariant theory, which provided the answer to Hilbert's fourteenth problem, is that if [math]\displaystyle{ G }[/math] is a linearly reductive group and [math]\displaystyle{ V }[/math] is a rational representation of [math]\displaystyle{ G }[/math], then [math]\displaystyle{ K[V] }[/math] is finitely-generated. Another important result, due to Noether, is that any finitely-generated graded algebra [math]\displaystyle{ R }[/math] with [math]\displaystyle{ R_0 = K }[/math] admits a (not necessarily unique) homogeneous system of parameters (HSOP). A HSOP (also termed primary invariants) is a set of homogeneous polynomials, [math]\displaystyle{ \{ \theta_i \} }[/math], which satisfy two properties:
- The [math]\displaystyle{ \{ \theta_i \} }[/math] are algebraically independent.
- The zero set of the [math]\displaystyle{ \{ \theta_i \} }[/math], [math]\displaystyle{ \{v \in V | \theta_i = 0\} }[/math], coincides with the nullcone (link) of [math]\displaystyle{ R }[/math].
Importantly, this implies that the algebra can then be expressed as a finitely-generated module over the subalgebra generated by the HSOP, [math]\displaystyle{ K[\theta_1, \dots, \theta_l] }[/math]. In particular, one may write
- [math]\displaystyle{ K[V]^G = \sum_{k} \eta_k K[\theta_1, \dots, \theta_l] }[/math],
where the [math]\displaystyle{ \eta_k }[/math] are called secondary invariants.
Now if [math]\displaystyle{ K[V]^G }[/math] is Cohen–Macaulay, which is the case if [math]\displaystyle{ G }[/math] is linearly reductive, then it is a free (and as already stated, finitely-generated) module over any HSOP. Thus, one in fact has a Hironaka decomposition
- [math]\displaystyle{ K[V]^G = \bigoplus_{k} \eta_k K[\theta_1, \dots, \theta_l] }[/math].
In particular, each element in [math]\displaystyle{ K[V]^G }[/math] can be written uniquely as [math]\displaystyle{ \sum\nolimits_j \eta_j f_j }[/math], where [math]\displaystyle{ f_j \in K[\theta_1, \dots, \theta_l] }[/math], and the product of any two secondaries is uniquely given by [math]\displaystyle{ \eta_k \eta_m = \sum\nolimits_j \eta_j f^j_{km} }[/math], where [math]\displaystyle{ f^j_{km} \in K[\theta_1, \dots, \theta_l] }[/math]. This specifies the multiplication in [math]\displaystyle{ K[V]^G }[/math] unambiguously.
See also
References
- Local rings, Interscience Tracts in Pure and Applied Mathematics, 13, New York-London: Interscience Publishers a division of John Wiley & Sons , 1962, ISBN 0-88275-228-6
- Combinatorica 11 (3): 275–293, 1991, doi:10.1007/BF01205079
 |  |
