# Skoda's Ideal Generation from Vanishing Theorem for Semipositive Nakano   Curvature and Cauchy-Schwarz Inequality for Tensors

**Authors:** Yum-Tong Siu

arXiv: 1701.02404 · 2018-01-19

## TL;DR

This paper presents a simplified proof of Skoda's ideal generation theorem using standard vanishing theorems, L2 estimates, and a new Cauchy-Schwarz inequality for tensors, advancing the analytic approach in complex geometry.

## Contribution

It introduces a more straightforward proof of Skoda's result, leveraging standard techniques and a novel tensor inequality, enhancing understanding of ideal generation in complex analysis.

## Key findings

- Simplified proof of Skoda's ideal generation theorem.
- New Cauchy-Schwarz inequality for tensors with a special factor.
- Application of Nakano curvature and L2 estimates to ideal generation.

## Abstract

Skoda's 1972 result on ideal generation is a crucial ingredient in the analytic approach to the finite generation of the canonical ring and the abundance conjecture. Special analytic techniques developed by Skoda, other than applications of the usual vanishing theorems and L2 estimates for the d-bar equation, are required for its proof. This note (which is part of a lecture given in the 60th birthday conference for Lawrence Ein) gives a simpler, more straightforward proof of Skoda's result, which makes it a natural consequence of the standard techniques in vanishing theorems and solving d-bar equation with L2 estimates. The proof involves the following three ingredients: (i) one particular Cauchy-Schwarz inequality for tensors with a special factor which accounts for the exponent of the denominator in the formulation of the integral condition for Skoda's ideal generation, (ii) the nonnegativity of Nakano curvature of the induced metric of a special co-rank-1 subbundle of a trivial vector bundle twisted by a special scalar weight function, and (iii) the vanishing theorem and solvability of d-bar equation with L2 estimates for vector bundles of nonnegative Nakano curvature on a strictly pseudoconvex domain. Our proof gives readily other similar results on ideal generation.

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/1701.02404/full.md

## References

3 references — full list in the complete paper: https://tomesphere.com/paper/1701.02404/full.md

---
Source: https://tomesphere.com/paper/1701.02404