The smooth classification of 4-dimensional complete intersections
Abstract
We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an -dimensional complete intersection is a smooth complex variety formed by the transverse intersection of hypersurfaces in . Previously Kreck and Traving proved the 4-dimensional Sullivan Conjecture when 64 divides the total degree (the product of the degrees of the defining hypersurfaces) and Fang and Klaus proved that the conjecture holds up to the action of the group of homotopy 8-spheres . Our proof involves several new ideas, including the use of the Hambleton-Madsen theory of degree- normal maps, which provide a fresh perspective on the Sullivan Conjecture in all dimensions. This leads to an unexpected connection between the Segal Conjecture for and the Sullivan Conjecture.
Cite
@article{arxiv.2003.09216,
title = {The smooth classification of 4-dimensional complete intersections},
author = {Diarmuid Crowley and Csaba Nagy},
journal= {arXiv preprint arXiv:2003.09216},
year = {2025}
}
Comments
Significant changes made in response to successive referee's reports: these include the addition of Section 2.1, a new proof of Lemma 4.1, the addition of Lemma 5.13 and the adoption of an oriented version of the Hambleton-Madsen theory of degree-d normal maps. 29 pages