Kovács' Conjecture in Complex Projective Varieties

• Kovács' Conjecture is a characterization theorem stating that if the p-th exterior power of an ample vector bundle embeds into the p-th exterior power of the tangent bundle, the variety must be either projective space or a quadric hypersurface.
• The theorem employs cohomological techniques, vanishing theorems, and splitting criteria to derive a nonzero global section that forces the classification of the underlying smooth complex varieties.
• This result unifies and generalizes classical characterizations by Mori, Wahl, and others, and it opens avenues for further exploration of positivity properties in the classification of Fano-type varieties.

Kovács' Conjecture provides a unifying characterization of smooth complex projective varieties whose tangent bundle exhibits a high degree of positivity through inclusion of the exterior power of an ample vector bundle. The conjecture asserts that if the $p$-th exterior power of the tangent bundle contains the $p$-th exterior power of an ample vector bundle of the same rank, the variety must be either projective space or a quadric hypersurface. This result synthesizes and generalizes earlier characterizations by Mori, Wahl, Cho-Sato, Andreatta–Wiśniewski, Kobayashi–Ochiai, and Araujo–Druel–Kovács, and is now established as a theorem (Ghosh, 15 Jan 2026).

1. Statement of Kovács' Conjecture and Main Theorem

Let $X$ be a smooth complex projective variety of dimension $n$ with tangent bundle $T_X$, and let $\mathcal{E}$ be an ample vector bundle on $X$ of rank $r \geq p \geq 1$. Denote by $\bigwedge^p T_X$ and $\bigwedge^p \mathcal{E}$ their $p$-th exterior powers. Kovács' conjecture claims:

If

$\bigwedge^p \mathcal{E} \subseteq \bigwedge^p T_X$

as subbundles of the same rank, then one of the following holds:

• $X \cong \mathbb{P}^n$
• $p = n$ and $X \cong Q_p \subset \mathbb{P}^{p+1}$ (a smooth quadric hypersurface)

This statement has now been proven in full generality (Theorem 1.1 of (Ghosh, 15 Jan 2026)). The classification is further refined: if $X \cong \mathbb{P}^n$, then $$\det\mathcal{E} \cong \mathcal{O}_{\mathbb{P}^n}(\ell)$$ with $\ell=r$ or $r+1$, leading to explicit bundle structure possibilities. If $X$ is a quadric, $p=n$ and $$(X, \mathcal{E}) \cong (Q_n, \mathcal{O}_{Q_n}(1)^{\oplus r})$$.

2. Proof Structure and Key Techniques

The proof begins by leveraging the inclusion $\bigwedge^p \mathcal{E} \subseteq \bigwedge^p T_X$ to obtain a global section in a tensor power of $T_X$. Explicitly:

• Determinant and antisymmetrization maps inject $\bigwedge^p \mathcal{E}$ into $T_X^{\otimes pf}$, where $$f = \mathrm{rank}(\bigwedge^p \mathcal{E}) = \binom{r}{p}$$ and $pf = r\binom{r-1}{p-1}$.
• This yields a nonzero global section $$H^0(X, T_X^{\otimes pf} \otimes \det(\mathcal{E})^{-a}) \neq 0$$ with $a=\binom{r-1}{p-1}$.

The Druel–Paris theorem (Theorem B in [DP]) is then invoked: if $H^0(X, T_X^{\otimes m} \otimes L^{-1})\neq0$ with $L$ an ample line bundle of suitable degree, $X$ must be $\mathbb{P}^n$ or a quadric $Q_n$. The precise classification of $\mathcal{E}$ in the projective space case is resolved using ample bundle splitting results (Hartshorne, Elencwajg–Hirschowitz–Schneider), uniformity, and Bott vanishing. For quadrics, the vanishing theorems of Snow confirm $p=n$ and force an isomorphism at the determinant level. The entire argument combines Kodaira vanishing, Bott's formula, and cohomological computations.

3. Relation to Classical Characterizations

Kovács' Conjecture subsumes various earlier results as special cases, as shown in the table below:

Classical Theorem	Choice of Parameters	Outcome
Mori [Mor79]	$p=1$, $\mathcal{E}=T_X$	$X$ projective space
Wahl–Druel [Wah83], [Dru04]	$p=1$, $r=1$ (ample line subbundle)	$X$ projective space
Andreatta–Wiśniewski [AW01]	$p=1$, arbitrary $r$	$X$ projective space
Cho–Sato [ChoSato95]	$p=2$, $\mathcal{E}=T_X$	$X$ projective space/quadric
Kobayashi–Ochiai [KO73]	$\mathcal{E}=L^{\oplus n}$	$c_1$ bound, $X$ projective
Araujo–Druel–Kovács [ADK08]	$\mathcal{E}=L^{\oplus p}$	Cohomological characterization

This unification illustrates the overarching framework provided by Theorem 1.1, consolidating previously isolated positivity-type characterizations.

4. Extremal Examples

Explicit geometric realizations demonstrate the sharpness of the theorem:

(a) Projective Space: For $X = \mathbb{P}^n$ and $$\mathcal{E} = \mathcal{O}_{\mathbb{P}^n}(1)^{\oplus r}$$,

$$\bigwedge^p \mathcal{E} \cong \mathcal{O}_{\mathbb{P}^n}(p)^{\oplus \binom{r}{p}}, \quad \bigwedge^p T_{\mathbb{P}^n} \cong \mathcal{O}_{\mathbb{P}^n}(p+1)^{\oplus \binom{n-1}{p-1}} \oplus \mathcal{O}_{\mathbb{P}^n}(p)^{\oplus \binom{n-1}{p}}$$

and direct-sum inclusions exist.

(b) Quadric Hypersurface: For $X = Q_p \subset \mathbb{P}^{p+1}$ and $\mathcal{E} = \mathcal{O}_{Q_p}(1)^{\oplus r}$,

$$\bigwedge^p \mathcal{E} \cong \mathcal{O}_{Q_p}(p), \quad \bigwedge^p T_{Q_p} \cong \Omega^{0}_{Q_p}(p) \cong \mathcal{O}_{Q_p}(p)$$

so the embedding is an isomorphism.

5. Corollaries and Generalizations

Immediate corollaries include the affirmation that if any $\bigwedge^p T_X$ is itself ample, then $X$ is $\mathbb{P}^n$ or $Q_n$, thereby recovering the Cho–Sato result. The framework suggests several avenues for further exploration:

• Analogues under weaker positivity hypotheses (nef or strictly nef exterior powers), motivated by recent work such as Li–Ou–Yang [LOY19] treating strictly nef bundles.
• Extensions to positive characteristic, or to singular varieties and reflexive differentials.
• Formulation of numerical inequalities for Chern classes of exterior powers, generalizing the $c_1$ bounds of Kobayashi–Ochiai.

A plausible implication is the potential to use these techniques to investigate new moduli problems or to strengthen classification of Fano-type varieties under additional vector bundle constraints.

6. Context and Significance

Establishing Kovács' Conjecture closes a longstanding theme in the classification of varieties with positive tangent bundles, originating from programs such as Hartshorne’s and Frankel’s conjectures. The result provides a single umbrella classification for smooth projective varieties whose tangent bundle, up to exterior power, exhibits sufficient positivity, and thereby synthesizes disparate lines of inquiry previously pursued independently by multiple researchers (Ghosh, 15 Jan 2026). The techniques unify and generalize classical tools—such as vanishing theorems and splitting criteria—setting a foundation for extending the theory toward broader geometric and positivity contexts.