Lecture

Quotient Criterion

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture explains a criterion for computing quotients in algebraic geometry, focusing on the importance of normality in varieties and g-invariant morphisms. The instructor illustrates the concept with examples involving linearly reductive groups and invariant functions, providing a step-by-step recipe to determine quotients.

Official source

Ontological neighbourhood

Mathematics

Algebra: Representation theory

Related concepts (20)

Reductive group

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n).

Linear algebraic group

In mathematics, a linear algebraic group is a subgroup of the group of invertible matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of . Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(n,R).

Derived algebraic geometry

Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over ), simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements.

Normal scheme

In algebraic geometry, an algebraic variety or scheme X is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety X (understood to be irreducible) is normal if and only if the ring O(X) of regular functions on X is an integrally closed domain. A variety X over a field is normal if and only if every finite birational morphism from any variety Y to X is an isomorphism. Normal varieties were introduced by .

Algebraic geometry

Algebraic geometry is a branch of mathematics which classically studies 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. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations.

Related lectures (49)

Remarks about the Quotient

Explores the concept of the quotient in linearly reductive groups and varieties, discussing irreducibility, normality, and integral properties.

Varieties with nef anti-canonical: Surjective Albanese

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

Further Directions: Algebraic Groups

Explores various directions for studying algebraic groups and offers references for further exploration.

Tangent Spaces in Algebraic Geometry

Explores derivations and the Zariski tangent space in algebraic geometry, emphasizing their importance and practical applications.

Weil Conjectures: Rationality and Function Equation