Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Algebraic Varieties and Morphisms

In course

MATH-328: Algebraic geometry I - Curves

Algebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theory. ...

Description

This lecture covers the definition of projective, quasi-projective, and algebraic varieties, explaining the differences between them. The instructor introduces the concept of morphisms between varieties, focusing on the ring of regular functions and its importance in defining morphisms. The lecture concludes with a detailed proof of the relation between affine and projective varieties, highlighting the isomorphisms between them and the finite open coverings by quasi-affine varieties. Additionally, the instructor presents a lemma simplifying the verification of morphisms when the target is an affine variety.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructor

Dimitri Stelio Wyss

Official source

Ontological neighbourhood

Mathematics

Geometry: Algebraic geometry

Related concepts (24)

Morphism of algebraic varieties

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.

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 set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly.

Projective variety

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 .

Quasi-projective variety

In mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski-closed subset. A similar definition is used in scheme theory, where a quasi-projective scheme is a locally closed subscheme of some projective space. An affine space is a Zariski-open subset of a projective space, and since any closed affine subset can be expressed as an intersection of the projective completion and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective.

Projective space

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs.

Related lectures (32)

Albanese Morphism: Kodaira Dimension Zero

Explores the Albanese morphism of varieties with Kodaira dimension zero in positive characteristic.

Varieties with nef anti-canonical: Surjective Albanese

Presents a proof that smooth projective varieties with nef anti-canonical divisor have surjective Albanese morphism.

Discrete Log Problem: Index Calculus

Explores the discrete log problem and index calculus method in cryptography.

Modern Algebraic Geometry Log in to Mediaspace to watch this video

Covers modern algebraic geometry, including algebraic sets, morphisms, and projective algebraic sets.

Affine Varieties Log in to Mediaspace to watch this video