On Proper Descent of Smooth Affine Surfaces with Finite Homotopy Rank-Sum

TL;DR

This paper investigates how certain homotopy-theoretic properties of smooth complex affine surfaces behave under finite morphisms, introducing a new property that does descend under specific conditions and classifying related surfaces.

Contribution

It introduces the finite homotopy rank-sum property and proves its descent under proper morphisms for surfaces with low logarithmic Kodaira dimension, expanding understanding of homotopy properties.

Findings

Eilenberg-MacLane property does not descend under proper morphisms.

Finite homotopy rank-sum property does descend under certain conditions.

Classified surfaces dominated by the complex algebraic 2-torus.

Abstract

We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it does not descend under proper morphisms in general. This negative result motivates the introduction of a weaker notion, the finite homotopy rank-sum property. Our main theorem establishes that this property does descend under proper morphisms between smooth affine surfaces of logarithmic Kodaira dimension at most zero. The proof relies essentially on the recent classification of smooth complex affine surfaces of log non-general type characterized by these two properties. As a further application, we classify smooth affine surfaces properly dominated by the complex algebraic 2-torus, thereby clarifying an earlier remark of M. Furushima.