Table of Contents
Fetching ...

Hodge theory of secant varieties

Qianyu Chen, Bradley Dirks, Sebastian Olano, Debaditya Raychaudhury

TL;DR

This work develops a Hodge-theoretic framework for secant varieties, relating local cohomology defects to primitive cohomology and establishing weight filtrations, Hodge–Lyubeznik numbers, and intersection cohomology structures for secant varieties of lines and higher secant varieties of curves. It employs Saito’s theory of mixed Hodge modules to generalize and sharpen prior results under minimal positivity (3-very ampleness) and to remove restrictive positivity hypotheses. Concrete descriptions are given for the generation level of the Hodge filtration, the singular and intersection cohomology, and the $f Q$-factoriality defect, along with a Cappell–Shaneson-type equality between Hirzebruch and L-classes for these varieties. The results yield explicit criteria and formulas tying singularity properties to cohomological invariants, and they extend known results from curves to higher-dimensional varieties, including a thorough treatment of the Secant varieties of rational normal curves and higher secants of curves.

Abstract

We study the local cohomology modules for the secant variety of lines of a smooth projective variety $Y$ and for higher secant varieties of smooth projective curves. We show that the local cohomological defect in the first case is related to the primitive cohomology of $Y$, and in the second case it is $0$. As applications, we compute their (intersection) Hodge-Lyubeznik numbers, the mixed Hodge structure on their singular cohomology, the pure Hodge structure on their intersection cohomology, the generating level of the Hodge filtration on their local cohomology modules and their $\mathbf Q$-factoriality defect. As byproducts, we recover and refine various results from the literature by removing restrictive positivity assumptions.

Hodge theory of secant varieties

TL;DR

This work develops a Hodge-theoretic framework for secant varieties, relating local cohomology defects to primitive cohomology and establishing weight filtrations, Hodge–Lyubeznik numbers, and intersection cohomology structures for secant varieties of lines and higher secant varieties of curves. It employs Saito’s theory of mixed Hodge modules to generalize and sharpen prior results under minimal positivity (3-very ampleness) and to remove restrictive positivity hypotheses. Concrete descriptions are given for the generation level of the Hodge filtration, the singular and intersection cohomology, and the -factoriality defect, along with a Cappell–Shaneson-type equality between Hirzebruch and L-classes for these varieties. The results yield explicit criteria and formulas tying singularity properties to cohomological invariants, and they extend known results from curves to higher-dimensional varieties, including a thorough treatment of the Secant varieties of rational normal curves and higher secants of curves.

Abstract

We study the local cohomology modules for the secant variety of lines of a smooth projective variety and for higher secant varieties of smooth projective curves. We show that the local cohomological defect in the first case is related to the primitive cohomology of , and in the second case it is . As applications, we compute their (intersection) Hodge-Lyubeznik numbers, the mixed Hodge structure on their singular cohomology, the pure Hodge structure on their intersection cohomology, the generating level of the Hodge filtration on their local cohomology modules and their -factoriality defect. As byproducts, we recover and refine various results from the literature by removing restrictive positivity assumptions.
Paper Structure (31 sections, 70 theorems, 607 equations)

This paper contains 31 sections, 70 theorems, 607 equations.

Key Result

Theorem 1

Assume $L$ is 3-very ample and $\Sigma\neq{\mathbf P}^N$. Then

Theorems & Definitions (164)

  • Theorem 1: $=$ \ref{['thmA']}
  • Remark 1.1: \ref{['thmA']}
  • Remark 1.2
  • Corollary 2: $=$ \ref{['cor-chrhn']}
  • Remark 1.3
  • Remark 1.4
  • Corollary 3: $=$ \ref{['hlnn']}
  • Corollary 4: $=$ \ref{['cor-GenLevel2Secantsn']}
  • Remark 1.5
  • Theorem 5: $=$ \ref{['thm-IHSecantn']}
  • ...and 154 more