Abstract:A Steiner bundle is a vector bundle on projective space arising as the cokernel of the map defined by a matrix of linear forms. These come up in various geometric settings, and by now they are the subject of a considerable literature. Starting with work of Dolgachev and Kapranov from 1993, several authors have considered the question of whether one can recover from the bundle the geometric data used to construct it. Here we prove such Torelli-type statements for the tautological bundles associated to sufficiently positive divisors on any very ample linear series. In an appendix, we give a new proof of the result of Dolgachev-Kapranov.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to Torelli - type theorems for certain Steiner bundles. Specifically, the authors Robert Lazarsfeld and John Sheridan explore how to recover geometric data, especially the smooth projective variety \(X\) embedded in a projective space and its line bundle \(B\), from Steiner bundles under specific conditions. The main contribution of the paper lies in proving that for a sufficiently positive line bundle \(B\), the embedding \(X\subseteq P(V)\) and the line bundle \(B\) can be recovered from the Steiner bundles associated with multiplication maps. In addition, the paper also discusses the case when \(B\) is slightly less positive and proves similar conclusions by using Koszul cohomology and Green's \(K_{p,1}\) theorem.
### Core problems of the paper
1. **Recovery of embedding and line bundle**:
- The core of the problem is to determine whether the embedding of the projective variety \(X\) in the projective space \(P(V)\) and the line bundle \(B\) can be recovered from Steiner bundles. Specifically, when the line bundle \(B\) satisfies certain conditions, whether these geometric data can be recovered solely from Steiner bundles.
2. **Torelli - type theorem**:
- The authors attempt to prove results similar to Torelli's theorem, that is, Steiner bundles determine the geometric data used to construct them. Specifically, they prove that under certain conditions, Steiner bundles can uniquely determine the projective variety \(X\) and its line bundle \(B\).
### Main results
- **Theorem A**:
- Let \(X\) be a smooth projective variety, \(V\subseteq H^{0}(X, A)\) be a very ample linear system, and fix a line bundle \(B\) on \(X\) such that \(H^{i}(X, B\otimes A^{\otimes-(i + 1)})=0\) for all \(i>0\). Then the embedding \(X\subseteq P(V)\) and the line bundle \(B\) can be recovered from the Steiner bundles associated with multiplication maps.
- **Theorem B**:
- Further discuss the case when the line bundle \(B\) is slightly less positive. Specifically, assume \(V = H^{0}(X, A)\) and \(A\) is a very ample divisor. If \(B=\mathcal{O}_{X}(K_{X}+(n + 1)A)\), then the Steiner bundle \(E_{|V|, B}\) can determine \(X\). Moreover, if certain additional conditions are satisfied, the same conclusion also applies to \(B=\mathcal{O}_{X}(K_{X}+nA)\).
### Methods and techniques
- **Construction of Steiner bundles**:
- Construct Steiner bundles through given linear maps and study their properties.
- **Koszul cohomology**:
- Use Koszul cohomology theory to analyze the existence of unstable hyperplanes, thereby recovering the geometric structure of the projective variety \(X\).
- **Green's \(K_{p,1}\) theorem**:
- Use Green's \(K_{p,1}\) theorem to deal with Torelli problems in special cases.
### Conclusion
By proving the above theorems, the paper shows that under specific conditions, Steiner bundles can uniquely determine projective varieties and their line bundles, thus solving Torelli - type problems. These results not only enrich the study of Steiner bundles but also provide new tools and methods for understanding the geometric structure of projective varieties.