Table of Contents
Fetching ...

Singularity of cubic hypersurfaces and hyperplane sections of projectivized tangent bundle of projective space

Ashima Bansal, Supravat Sarkar, Shivam Vats

TL;DR

The paper investigates canonical singularities of cubic hypersurfaces and the structure of hyperplane sections of the projectivized tangent bundle $\mathbb{P}(T_{\mathbb{P}^n})$. It proves that a cubic hypersurface not arising as an iterated cone over an elliptic curve has canonical singularities on its normal locus, using an induction-on-$n$ argument and a Bertini-type analysis. It then provides a linear-algebraic description of hyperplane sections $H_{[\bar{A}]}$ of $\mathbb{P}(T_{\mathbb{P}^n})$, showing reducibility occurs exactly when $[\bar{A}]$ comes from a rank-one matrix, and, in the irreducible case, that $H_{[\bar{A}]}$ is a normal rational Fano of dimension $2n-2$ with canonical singularities and two contractions to $\mathbb{P}^n$. For general $[\bar{A}]$, the sections are smooth with Picard rank $2$, and the paper also computes the Chow ring $A^*(H)$ with an explicit presentation. These results extend Mazouni–Nagaraj’s work to higher dimensions and yield a complete linear-algebraic framework for hyperplane sections of a broad class of rational homogeneous spaces of Picard rank $2$, with consequences for dual varieties and degenerations.

Abstract

We show that the normal points of a cubic hypersurface in projective space have canonical singularities unless the hypersurface is an iterated cone over an elliptic curve. As an application, we give a simple linear algebraic description of all the hyperplane sections of projectivized tangent bundle of projective space, hence describing hyperplane sections of a rational homogeneous manifold of Picard rank $2$. This also simplifies and extends recent results of Mazouni-Nagaraj in higher dimensions. We also compute the Chow ring of these hyperplane sections.

Singularity of cubic hypersurfaces and hyperplane sections of projectivized tangent bundle of projective space

TL;DR

The paper investigates canonical singularities of cubic hypersurfaces and the structure of hyperplane sections of the projectivized tangent bundle . It proves that a cubic hypersurface not arising as an iterated cone over an elliptic curve has canonical singularities on its normal locus, using an induction-on- argument and a Bertini-type analysis. It then provides a linear-algebraic description of hyperplane sections of , showing reducibility occurs exactly when comes from a rank-one matrix, and, in the irreducible case, that is a normal rational Fano of dimension with canonical singularities and two contractions to . For general , the sections are smooth with Picard rank , and the paper also computes the Chow ring with an explicit presentation. These results extend Mazouni–Nagaraj’s work to higher dimensions and yield a complete linear-algebraic framework for hyperplane sections of a broad class of rational homogeneous spaces of Picard rank , with consequences for dual varieties and degenerations.

Abstract

We show that the normal points of a cubic hypersurface in projective space have canonical singularities unless the hypersurface is an iterated cone over an elliptic curve. As an application, we give a simple linear algebraic description of all the hyperplane sections of projectivized tangent bundle of projective space, hence describing hyperplane sections of a rational homogeneous manifold of Picard rank . This also simplifies and extends recent results of Mazouni-Nagaraj in higher dimensions. We also compute the Chow ring of these hyperplane sections.
Paper Structure (3 sections, 5 theorems, 62 equations)

This paper contains 3 sections, 5 theorems, 62 equations.

Key Result

Theorem A

Let $n$ be a positive integer, $X$ a cubic hypersurface in $\mathbb{P}^n$, and assume that $X$ is not an iterated cone over an elliptic curve. Let $U$ be a nonempty open subvariety of $X$ such that $U$ is normal. Then $U$ has canonical singularities.

Theorems & Definitions (15)

  • Theorem A
  • Theorem B
  • Theorem C
  • proof : Proof of Theorem \ref{['A']}
  • proof
  • Remark 2.1
  • Lemma 3.1
  • proof
  • proof : Proof of Theorem \ref{['B']}
  • proof
  • ...and 5 more