HOME

TheInfoList



OR:

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 \mathbf^3studied 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 ...
\mathbf^*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 \mathbf^* on the affine space \mathbf^n is one of the form t*(x_1,\ldots,x_n)=(t^x_1,t^x_2,\ldots,t^x_n), where a_1,\ldots,a_n\in \mathbf and t\in\mathbf^*. The Linearization Conjecture in dimension n says that every algebraic action of \mathbf^* on the complex affine space \mathbf^n is linear in some algebraic coordinates on \mathbf^n. 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 \mathbf^3. 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 R=\ 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 ML(R)=\mathbf /math> and ML(\mathbf^3)=\mathbf.


References

* {{DEFAULTSORT:Koras-Russell cubic threefold 3-folds