In
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, the Koras–Russell cubic threefolds are smooth affine complex
threefold
In algebraic geometry, a 3-fold or threefold is a 3-dimensional algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the se ...
s diffeomorphic to
studied by . They have a hyperbolic action of a one-dimensional
torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.
If the axis of revolution does not tou ...
with a unique fixed point, such that the quotients of the threefold and the
tangent space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a ...
of the fixed point by this action are isomorphic. They were discovered in the process of proving the Linearization Conjecture in dimension 3. A linear action of
on the affine space
is one of the form
, where
and
. The Linearization Conjecture in dimension
says that every algebraic action of
on the complex affine space
is linear in some algebraic coordinates on
. M. Koras and P. Russell made a key step towards the solution in dimension 3, providing a list of threefolds (now called Koras-Russell threefolds) and proving
that the Linearization Conjecture for n=3 holds if all those threefolds are exotic affine 3-spaces, that is, none of them is isomorphic to
. This was later shown by Kaliman and Makar-Limanov using the
ML-invariant of an
affine variety
In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime idea ...
, which has in fact been invented exactly for this purpose.
Earlier than the above referred paper, Russell noticed that the hypersurface
has properties very similar to the affine 3-space like contractibility and was interested in distinguishing them as
algebraic varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
. This now follows from the computation that