The paper investigates the symmetries of geometric objects called complete intersections, which are shapes defined by the simultaneous vanishing of several polynomial equations in projective space. Specifically, it focuses on cases where the defining polynomials have strictly increasing degrees. The central question is: when you have a symmetry of the whole geometric object, can you always trace it back to symmetries of each individual defining polynomial? The authors identify a combinatorial condition, which they call rigidity, under which the answer is yes. This means the symmetry group of the complete intersection can be computed simply as the overlap of the symmetry groups of the individual pieces, which is a significant simplification.
The authors then apply this framework to two concrete and well-studied families of geometric objects. The first involves Fermat hypersurfaces, which are defined by sums of pure powers of variables. For intersections of two such hypersurfaces of different degrees, they completely determine the symmetry group in every smooth case. The second family involves Klein hypersurfaces, which are defined by a cyclic sum of monomials, paired with a "reverse-order" version of themselves. For these, they describe the symmetry group under an explicit numerical condition relating the two degrees, with a special class known as Wagstaff-type Klein hypersurfaces providing natural examples.
The broader significance is that computing symmetry groups of algebraic varieties is generally a hard problem, and finding structural conditions that reduce it to simpler subproblems is valuable. The rigidity condition introduced here provides a practical and checkable criterion that converts a global question about a complicated intersection into a more manageable local question about each hypersurface separately. The results contribute to the classification of algebraic varieties by their symmetries, with potential implications for related problems in algebraic geometry such as understanding moduli spaces and the geometry of special polynomial systems.