Quasi-finite morphism

In algebraic geometry, a branch of mathematics, a morphism f : X → Y of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions: Every point x of X is isolated in its fiber f−1(f(x)). In other words, every fiber is a discrete (hence finite) set. For every point x of X, the scheme f−1(f(x)) = X ×YSpec κ(f(x)) is a finite κ(f(x)) scheme. (Here κ(p) is the residue field at a point p.) For every point x of X, is finitely generated over . Quasi-finite morphisms were originally defined by Alexander Grothendieck in SGA 1 and did not include the finite type hypothesis. This hypothesis was added to the definition in EGA II 6.2 because it makes it possible to give an algebraic characterization of quasi-finiteness in terms of stalks. For a general morphism f : X → Y and a point x in X, f is said to be quasi-finite at x if there exist open affine neighborhoods U of x and V of f(x) such that f(U) is contained in V and such that the restriction f : U → V is quasi-finite. f is locally quasi-finite if it is quasi-finite at every point in X. A quasi-compact locally quasi-finite morphism is quasi-finite. For a morphism f, the following properties are true. If f is quasi-finite, then the induced map fred between reduced schemes is quasi-finite. If f is a closed immersion, then f is quasi-finite. If X is noetherian and f is an immersion, then f is quasi-finite. If g : Y → Z, and if g ∘ f is quasi-finite, then f is quasi-finite if any of the following are true: g is separated, X is noetherian, X ×Z Y is locally noetherian. Quasi-finiteness is preserved by base change. The composite and fiber product of quasi-finite morphisms is quasi-finite. If f is unramified at a point x, then f is quasi-finite at x. Conversely, if f is quasi-finite at x, and if also , the local ring of x in the fiber f−1(f(x)), is a field and a finite separable extension of κ(f(x)), then f is unramified at x. Finite morphisms are quasi-finite. A quasi-finite proper morphism locally of finite presentation is finite.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (5)

Related courses (2)

Related lectures (11)

PHYS-739: Conformal Field theory and Gravity

This course is an introduction to the non-perturbative bootstrap approach to Conformal Field Theory and to the Gauge/Gravity duality, emphasizing the fruitful interplay between these two ideas.

MATH-679: Group schemes

This is a course about group schemes, with an emphasis on structural theorems for algebraic groups (e.g. Barsotti--Chevalley's theorem). All the basics will be covered towards the proof of such theore

Quasi-finite morphism

Glossary of algebraic geometry

This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

Finite morphism

In algebraic geometry, a finite morphism between two affine varieties is a dense regular map which induces isomorphic inclusion between their coordinate rings, such that is integral over . This definition can be extended to the quasi-projective varieties, such that a regular map between quasiprojective varieties is finite if any point like has an affine neighbourhood V such that is affine and is a finite map (in view of the previous definition, because it is between affine varieties).

Holography in Classical Gravity PHYS-739: Conformal Field theory and Gravity

Explores hints of holography in classical black hole thermodynamics.

Finite Maps: Morphism of Schemes MATH-510: Algebraic geometry II - schemes and sheaves

Covers morphism of schemes, affine covering, integral homomorphism, and properties of finite maps.

Primary Decomposition: Understanding Schemes MATH-510: Algebraic geometry II - schemes and sheaves

Explores primary decomposition and schemes in algebraic geometry, emphasizing the importance of working over non-algebraically closed fields and the concept of fibers of morphisms.