Abstract:We introduce a new invariant of $G$-varieties, the dual complex, which roughly measures how divisors in the complement of the free locus intersect. We show that the top homology group of this complex is an equivariant birational invariant of $G$-varieties. As an application, we demonstrate the non-linearizability of certain large abelian group actions on smooth hypersurfaces in projective space of any dimension and degree at least $3$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to distinguish and classify algebraic varieties with specific group actions (G - varieties), especially the classification under G - birational equivalence classes. Specifically, the author introduced a new invariant - the dual complex, which is used to measure the intersection situation of divisors in the non - free locus. Through the dual complex, the author was able to prove that its top homology group is a G - birational invariant, and used this result to show that the actions of certain large abelian groups on smooth hypersurfaces in projective spaces are non - linearized.
### Specific problems and solutions
1. **Background and motivation**:
- In algebraic geometry, an important problem is to classify algebraic varieties with group actions (G - varieties), that is, to study the properties of these varieties under G - birational equivalence.
- The existing G - birational invariants cannot directly measure the intersection situation of divisors in the non - free locus.
2. **New tools introduced**:
- **Dual Complex**: The author introduced the concept of the dual complex, which roughly records the intersection information of divisors in the non - free locus.
- The construction of the dual complex is based on the simple normal crossings divisor and describes how these divisors intersect.
3. **Main results**:
- **Theorem 2.3**: The top homology group \(H^{n - 1}(D_G(X))\) of the dual complex is a G - birational invariant.
- Using this invariant, the author proved that the actions of certain high - rank abelian subgroups on smooth hypersurfaces in projective spaces are non - linearized (Theorem 3.2). In particular, for a smooth hypersurface \(X\subset\mathbb{P}^{n + 1}\) of dimension \(n\) and degree at least 3, the action of any abelian group \(G\) of rank \(n\) is not G - birational equivalent to the torus action on a smooth affine variety.
4. **Applications**:
- Through the above invariant, the author found some new examples of non - linearized actions, especially for smooth hypersurfaces in high - dimensional projective spaces.
### Summary
The main contribution of this paper lies in introducing the dual complex as a new G - birational invariant and using this tool to solve the non - linearization problem of the actions of certain high - rank abelian groups. This not only enriches the research methods of G - birational geometry but also provides a new perspective for understanding and classifying algebraic varieties with specific group actions.