Seesaw theorem

Last updated

In algebraic geometry, the seesaw theorem, or seesaw principle, says roughly that a limit of trivial line bundles over complete varieties is a trivial line bundle. It was introduced by André Weil in a course at the University of Chicago in 1954–1955, and is related to Severi's theory of correspondences.

Algebraic geometry branch of mathematics

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 problems about these sets of zeros.

André Weil French mathematician

André Weil was an influential French mathematician of the 20th century, known for his foundational work in number theory and algebraic geometry. He was a founding member and the de facto early leader of the mathematical Bourbaki group. The philosopher Simone Weil was his sister.

The seesaw theorem is proved using proper base change. It can be used to prove the theorem of the cube.

In mathematics, the theorem of the cube is a condition for a line bundle over a product of three complete varieties to be trivial. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The final version of the theorem of the cube was first published by Lang (1959), who credited it to André Weil. A discussion of the history has been given by Kleiman (2005). A treatment by means of sheaf cohomology, and description in terms of the Picard functor, was given by Mumford (2008).

Statement

Lang (1959 , p.241) originally stated the seesaw principle in terms of divisors. It is now more common to state it in terms of line bundles as follows ( Mumford 2008 , Corollary 6, section 5). Suppose L is a line bundle over X×T, where X is a complete variety and T is an algebraic set. Then the set of points t of T such that L is trivial on X×t is closed. Moreover if this set is the whole of T then L is the pullback of a line bundle on T. Mumford (2008 , section 10) also gave a more precise version, showing that there is a largest closed subscheme of T such that L is the pullback of a line bundle on the subscheme.

Related Research Articles

Abelian variety projective Abelian algebraic group

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

Projective variety algebraic variety defined within a projective space

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In algebraic geometry, a moduli space is a geometric space whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces are formal moduli.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, the Jacobian varietyJ(C) of a non-singular algebraic curve C of genus g is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of C, hence an abelian variety.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In algebraic geometry, a very ample line bundle is one with enough global sections to set up an embedding of its base variety or manifold into projective space. An ample line bundle is one such that some positive power is very ample. Globally generated sheaves are those with enough sections to define a morphism to projective space.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are ultimately derived from the notion of divisibility in the integers and algebraic number fields.

In mathematics, the Albanese varietyA(V), named for Giacomo Albanese, is a generalization of the Jacobian variety of a curve.

In mathematics, the Picard group of a ringed space X, denoted by Pic(X), is the group of isomorphism classes of invertible sheaves on X, with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In algebraic geometry, a line bundle on a complete algebraic variety over a field is said to be nef if the degree of its restriction to every algebraic curve in the variety is non-negative. The term "nef" was introduced by Miles Reid as a replacement for the older terms "arithmetically effective" and "numerically effective", as well as for the phrase "numerically eventually free". The older terminology was confusing because nef divisors are not the same as divisors numerically equivalent to effective divisors. For example, a curve with negative self-intersection number on a surface is effective but not nef.

In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space, refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by Alexander Grothendieck (1961). Hironaka's example shows that non-projective varieties need not have Hilbert schemes.

In mathematics, the concept of abelian variety is the higher-dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension d ≥ 2, however, it is no longer as straightforward to discuss such equations.

Immersion (mathematics) differentiable function whose derivative is everywhere injective

In mathematics, an immersion is a differentiable function between differentiable manifolds whose derivative is everywhere injective. Explicitly, f : MN is an immersion if

In mathematics, a dual abelian variety can be defined from an abelian variety A, defined over a field K.

In mathematics, the Appell–Humbert theorem describes the line bundles on a complex torus or complex abelian variety. It was proved for 2-dimensional tori by Appell (1891) and Humbert (1893), and in general by Lefschetz (1921)

This is a glossary of algebraic geometry.

References

Mathematical Reviews is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also publishes an associated online bibliographic database called MathSciNet which contains an electronic version of Mathematical Reviews and additionally contains citation information for over 3.5 million items as of 2018.

David Mumford American mathematician

David Bryant Mumford is an American mathematician known for distinguished work in algebraic geometry, and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.

American Mathematical Society association of professional mathematicians

The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.