🔢 mathematics

Jacobian algebras and variation of hyperplane sections

This paper extends the Beauville–Patel–Riedl–Tseng theory to hypersurfaces with isolated singularities by establishing a Jacobian-algebraic criterion for the generic finiteness of the hyperplane-section map, identifying linear Jacobian syzygies as a new obstruction and proving maximal infinitesimal variation via the injectivity of a critical Lefschetz map.

Original authors: Giovanna Ilardi, Abbas Nasrollah Nejad, Saeed Tafazolian

Published 2026-06-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Giovanna Ilardi, Abbas Nasrollah Nejad, Saeed Tafazolian

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a giant, multi-dimensional sculpture made of mathematical equations. This is your hypersurface (let's call it $X$ ). Now, imagine you have a giant, invisible laser cutter that can slice through this sculpture from any angle. Each slice you make is a hyperplane section—a smaller, simpler shape that represents a "shadow" or a "cross-section" of the original giant object.

The big question the authors are asking is: If I change the angle of my laser cutter slightly, does the resulting slice change in a unique and interesting way?

Or, to put it another way: If I take two different slices, are they just rotated versions of the same shape, or are they genuinely different shapes?

The Main Goal: The "Variation" Test

The paper tries to figure out when these slices are "maximally varied."

Maximal Variation: This means that almost every time you change the angle of your cut, you get a brand new, unique shape that hasn't been seen before. The collection of all possible slices fills up the "museum of shapes" (mathematically called the moduli space) as much as possible.
The Problem: Sometimes, no matter how you rotate your laser, the slices look the same (or just rotate into each other). This happens if the original sculpture has too much symmetry or if the math behind it is "stuck."

The Toolkit: The "Jacobian Algebra"

To solve this, the authors use a special mathematical tool called the Jacobian Algebra. Think of this as a "fingerprint" or a "DNA test" for the sculpture.

They look at how the sculpture changes if you wiggle it slightly (infinitesimal changes).
They check if these tiny wiggles result in a new shape or if they just look like the sculpture is spinning in place (which doesn't count as a new shape).

The Two "Blockers"

The authors discovered that for the slices to be unique and varied, two specific "blockers" must be removed. If either blocker is present, the slices won't vary enough.

Blocker 1: The "Symmetry Trap" (Automorphisms)
Imagine your sculpture is a perfect sphere. If you rotate a sphere, it looks exactly the same.

In math terms, if your sculpture has a "positive-dimensional projective automorphism group," it means it has a lot of built-in symmetry.
The Consequence: If you slice a highly symmetric object, many different angles will produce slices that are just rotated copies of each other. They aren't "new" shapes; they are the same shape in a different orientation.
The Fix: The authors show you can check a number (called the Tjurina number) to see if the object is too symmetrical. If the number is low enough, the object is "unique" enough to pass the test.

Blocker 2: The "Lefschetz Glitch"
This is a more subtle mathematical glitch. Imagine trying to push a heavy box, but the floor is slippery in a specific way that prevents you from moving it forward, even though you are pushing hard.

In the math world, this is about a specific multiplication rule failing to work. It's like a "traffic jam" in the algebraic structure that stops the slices from becoming unique.
The Fix: The authors use a famous mathematical principle (the Weak Lefschetz Property) to check if this "traffic jam" exists. If the math flows smoothly, the slices vary maximally.

The "Singular" Twist

Most previous math papers only looked at perfect, smooth sculptures. This paper is special because it handles sculptures with cracks and bumps (isolated singularities).

They found that even if the main sculpture has cracks, as long as those cracks aren't too severe, the "slice test" still works.
They even developed a new trick: If you can find one slice that has a specific type of simple crack (like a few "nodes" or pinched points), you can use that to prove that all the other slices will be unique. It's like finding one good apple in a barrel to prove the whole barrel is fresh.

Real-World Examples from the Paper

The authors tested their theory on specific shapes:

Plane Curves (2D shapes): They figured out exactly when a 2D curve with bumps will produce unique slices. For example, if the curve is a cubic (degree 3), the slices are never unique enough. But if it's degree 5 or higher and not too symmetrical, the slices are unique.
Surfaces in 3D: They looked at 3D shapes. They found that smooth cubic surfaces (degree 3) are "stuck" (not unique enough), but smooth surfaces of degree 4 or higher are "free" to vary.
The Schoen Quintic: They applied their method to a famous, complex 4D shape called the Schoen quintic (which has 125 specific cracks). By checking the math, they proved that even with all those cracks, slicing this shape produces a rich variety of unique results.

The Bottom Line

The paper provides a new "checklist" for mathematicians. If you have a complex shape (even a broken one), you can check two things:

Is it too symmetrical? (Check the automorphism group).
Does the math flow smoothly? (Check the Lefschetz map).

If the answer to both is "No" (it's not too symmetrical, and the math flows), then you can be sure that slicing this shape will give you a vast, unique collection of new shapes. This extends old theories that only worked for perfect shapes to the messy, interesting world of shapes with singularities.

Technical Summary: Jacobian Algebras and Variation of Hyperplane Sections

Problem Statement
The paper investigates the variation in moduli of hyperplane sections of a hypersurface $X = V(f) \subseteq \mathbb{P}^n$ of degree $d \geq 3$ , assuming $X$ has at most isolated singularities. Specifically, the authors address Question 1.1: determining the algebraic and geometric conditions on $f$ under which the rational map
$\Phi(f) : \mathbb{P}^{n*} \dashrightarrow M(d, n-1)$
is generically finite onto its image. Here, $M(d, n-1)$ denotes the coarse moduli space of smooth degree $d$ hypersurfaces in $\mathbb{P}^{n-1}$ . The map sends a general hyperplane $H$ to the moduli class of the section $X \cap H$ . The problem is to identify when the family of these sections varies maximally, i.e., when $\dim \text{Im } \Phi(f) = n$ .

Methodology
The authors adopt a Jacobian-algebraic and infinitesimal approach, contrasting with the geometric vector bundle methods used in recent works by Patel–Riedl–Tseng. The core strategy involves:

Infinitesimal Quotients: Instead of analyzing the global fibers of $\Phi(f)$ , the authors compute the first-order variation of the hyperplane section modulo infinitesimal coordinate changes on the hyperplane itself.
Milnor Algebra: They utilize the Milnor algebra $M(f) = S/J_f$ , where $J_f$ is the Jacobian ideal generated by the partial derivatives of $f$ . The space of first-order deformations of $f$ modulo linear coordinate changes is identified with $M(f)_d$ .
Local Slice Argument: To pass from the injectivity of the infinitesimal quotient map to the dimension of the image in the coarse moduli space, the authors employ Luna's étale slice theorem. This justifies that if the infinitesimal quotient map is injective at a general point, the map $\Phi(f)$ is generically finite.
Differential Computation: By choosing coordinates such that a general hyperplane is $H = V(x_0)$ , they derive an explicit linear map:
$\psi(f, x_0) : \mathbb{C}^n \to R_d / (J_f)_d$
defined by $(b_1, \dots, b_n) \mapsto [(b_1 x_1 + \dots + b_n x_n)f_0]$ , where $f_0 = \partial f / \partial x_0$ . The injectivity of this map determines the maximal variation.

Key Contributions and Results

Identification of Obstructions:
The paper establishes that the failure of $\Phi(f)$ to be generically finite is governed by exactly two algebraic obstructions (Proposition 3.1):
- The Automorphism Obstruction: The existence of a linear Jacobian syzygy (i.e., $e = \text{indeg}(\text{Syz}(J_f)) = 1$ ). For non-cones, this is equivalent to the existence of a positive-dimensional projective automorphism group $\text{Aut}_{\mathbb{P}^n}(X)$ .
- The Lefschetz Obstruction: The failure of the multiplication map by a general linear form to be injective in the critical degree:
  $\ell : M(f)_{d-1} \to M(f)_d$
  The main criterion (Theorem 3.3) states that if $\dim \text{Aut}_{\mathbb{P}^n}(X) = 0$ and the map $\ell$ is injective, then $\Phi(f)$ is generically finite.
Extension to Singular Hypersurfaces:
The work extends the Beauville–Patel–Riedl–Tseng theory from smooth hypersurfaces to those with isolated singularities. In the smooth case, the automorphism obstruction vanishes, and the result relies solely on the Weak Lefschetz Property (WLP).
Specific Dimensional Results:
- Smooth Case: For smooth hypersurfaces with $n \geq 3$ and $d \geq n+2$ , the map is generically finite (Corollary 3.4). This improves the range $d \geq n+3$ found in previous literature by one degree, utilizing WLP results for complete intersections.
- Plane Curves ( $n=2$ ): The authors provide a complete classification (Theorem 4.2). For $d \geq 5$ , generic finiteness holds if and only if $\dim \text{Aut}_{\mathbb{P}^2}(C) = 0$ . For $d=3$ , the map is constant; for $d=4$ , it has maximal rank but is not generically finite.
- Surfaces in $\mathbb{P}^3$ ( $n=3$ ): For smooth surfaces, cubic surfaces ( $d=3$ ) have maximal rank but are not generically finite. For $d \geq 4$ , the map is generically finite (Theorem 5.2).
Singular Hyperplane Sections Criterion:
A novel contribution is Theorem 6.2, which allows the verification of the Lefschetz condition using a singular hyperplane section $W = X \cap H'$ . If $W$ has specific properties regarding its syzygies ( $r(g) > 1$ ) and saturation ( $s(g) > 1$ ), the Lefschetz map for $X$ is injective. This leads to Corollary 6.4 and 6.5, providing criteria involving nodal sections (e.g., sections with $n$ nodes in general linear position).
Application to the Schoen Quintic:
The paper applies the singular-section criterion to the Schoen quintic threefold ( $d=5, n=4$ ). By analyzing a specific hyperplane section with a unique singularity, they verify the conditions and conclude that the hyperplane sections of the Schoen quintic vary generically finitely in moduli (Example 6.8).

Significance
The paper claims to provide a unified Jacobian-algebraic framework for studying the variation of hyperplane sections. Its significance lies in:

Generalization: Successfully extending results known for smooth hypersurfaces to the singular case by explicitly identifying the new obstruction (linear Jacobian syzygies/automorphisms).
Refinement: Improving the known numerical bounds for generic finiteness in the smooth case (e.g., $d \geq n+2$ instead of $d \geq n+3$ ).
New Tools: Introducing a method to verify Lefschetz properties via singular sections, which is particularly useful for hypersurfaces where general sections are difficult to analyze directly or where singular sections are known to exist (as in the Schoen quintic).
Connection: Linking the geometric failure of maximal variation to homological properties (Bourbaki degree, syzygies) and automorphism groups.

The authors note that their approach complements the global geometric methods of Patel–Riedl–Tseng by offering explicit algebraic criteria that are computable via the Milnor algebra and syzygy modules.