Global Information Lookup Global Information

Categorical quotient information


In algebraic geometry, given a category C, a categorical quotient of an object X with action of a group G is a morphism that

(i) is invariant; i.e., where is the given group action and p2 is the projection.
(ii) satisfies the universal property: any morphism satisfying (i) uniquely factors through .

One of the main motivations for the development of geometric invariant theory was the construction of a categorical quotient for varieties or schemes.

Note need not be surjective. Also, if it exists, a categorical quotient is unique up to a canonical isomorphism. In practice, one takes C to be the category of varieties or the category of schemes over a fixed scheme. A categorical quotient is a universal categorical quotient if it is stable under base change: for any , is a categorical quotient.

A basic result is that geometric quotients (e.g., ) and GIT quotients (e.g., ) are categorical quotients.

and 22 Related for: Categorical quotient information

Request time (Page generated in 0.8194 seconds.)

Categorical quotient

Last Update:

In algebraic geometry, given a category C, a categorical quotient of an object X with action of a group G is a morphism π : X → Y {\displaystyle \pi :X\to...

Word Count : 279

GIT quotient

Last Update:

obtains a projective GIT quotient (which is a quotient of the set of semistable points.) A GIT quotient is a categorical quotient of the locus of semistable...

Word Count : 1602

Intelligence quotient

Last Update:

An intelligence quotient (IQ) is a total score derived from a set of standardised tests or subtests designed to assess human intelligence. The abbreviation...

Word Count : 17809

Geometric quotient

Last Update:

{\displaystyle G/H} is a geometric quotient. A GIT quotient may or may not be a geometric quotient: but both are categorical quotients, which is unique; in other...

Word Count : 383

Quotient by an equivalence relation

Last Update:

Q} can then be thought of as a relative version of the Abel map. Categorical quotient, a special case One also needs to assume the geometric fibers are...

Word Count : 353

Quotient category

Last Update:

of (locally small) categories, analogous to a quotient group or quotient space, but in the categorical setting. Let C be a category. A congruence relation...

Word Count : 734

Subobject

Last Update:

quotient object. This generalizes concepts such as quotient sets, quotient groups, quotient spaces, quotient graphs, etc. An appropriate categorical definition...

Word Count : 907

Geometric invariant theory

Last Update:

condition holds with < replaced by ≤. GIT quotient Geometric complexity theory Geometric quotient Categorical quotient Quantization commutes with reduction...

Word Count : 2272

Category theory

Last Update:

conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. Many areas of computer...

Word Count : 3447

Coequalizer

Last Update:

coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer...

Word Count : 681

Field of fractions

Last Update:

field of quotients, or quotient field of R {\displaystyle R} . All four are in common usage, but are not to be confused with the quotient of a ring by...

Word Count : 1265

Kolmogorov space

Last Update:

naturally homeomorphic. Categorically, Kolmogorov spaces are a reflective subcategory of topological spaces, and the Kolmogorov quotient is the reflector. Topological...

Word Count : 1797

Category of topological spaces

Last Update:

topological spaces using the techniques of category theory is known as categorical topology. N.B. Some authors use the name Top for the categories with...

Word Count : 1347

IQ classification

Last Update:

practice of categorizing human intelligence, as measured by intelligence quotient (IQ) tests, into categories such as "superior" or "average". In the current...

Word Count : 9978

Coproduct

Last Update:

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces...

Word Count : 2125

Model theory

Last Update:

that is both ω {\displaystyle \omega } -categorical and uncountably categorical is called totally categorical. A key factor in the structure of the class...

Word Count : 9082

Monomorphism

Last Update:

f\circ g_{1}=f\circ g_{2}\implies g_{1}=g_{2}.} Monomorphisms are a categorical generalization of injective functions (also called "one-to-one functions");...

Word Count : 1362

Factor

Last Update:

a word in combinatorics or of a word in group theory. An independent categorical variable. In experimental design, the factor is a category of treatments...

Word Count : 509

Wedge sum

Last Update:

x_{0}} and y 0 {\displaystyle y_{0}} ) the wedge sum of X and Y is the quotient space of the disjoint union of X and Y by the identification x 0 ∼ y 0...

Word Count : 747

Universal property

Last Update:

limit and direct limit, kernels and cokernels, quotient groups, quotient vector spaces, and other quotient spaces. Before giving a formal definition of...

Word Count : 3936

Equivalence relation

Last Update:

equivalence classes is an easy example of a theory which is ω-categorical, but not categorical for any larger cardinal number. An implication of model theory...

Word Count : 4422

Compactly generated space

Last Update:

as a categorical product. But its k-ification k ( X × Y ) {\displaystyle k(X\times Y)} does belong to the expected category and is the categorical product...

Word Count : 4652

PDF Search Engine © AllGlobal.net