In algebraic geometry, a Mori dream space is a projective variety whose cone of effective divisors has a well-behaved decomposition into certain convex sets called "Mori chambers". Hu & Keel (2000) showed that Mori dream spaces are quotients of affine varieties by torus actions. The notion is named so because it behaves nicely from the point of view of Mori's minimal model program.
In general, it is difficult to find a non-trivial example of a Mori dream space, as being a Mori Dream Space is equivalent to all (multi-)section rings being finitely generated. [1]
It has been shown that a variety which admits a surjective morphism from a Mori dream space is again a Mori dream space. [2]
In the mathematical field of geometric topology, the Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.
In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau who proved the Calabi conjecture.
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions, possibly in some generalized sense. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.
Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups can act non-trivially.
The mathematical term perverse sheaves refers to the objects of certain abelian categories associated to topological spaces, which may be a real or complex manifold, or more general topologically stratified spaces, possibly singular.
In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.
In topology, a branch of mathematics, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of continuously shrinking a space into a subspace.
In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F1, or, in a French–English pun, Fun. The name "field with one element" and the notation F1 are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F1 refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F1 have been proposed, but it is not clear which, if any, of them give F1 all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.
In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry.
Arithmetic dynamics is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Part of the inspiration comes from complex dynamics, the study of the iteration of self-maps of the complex plane or other complex algebraic varieties. Arithmetic dynamics is the study of the number-theoretic properties of integer, rational, p-adic, or algebraic points under repeated application of a polynomial or rational function. A fundamental goal is to describe arithmetic properties in terms of underlying geometric structures.
In algebraic geometry, a variety over a field k is ruled if it is birational to the product of the projective line with some variety over k. A variety is uniruled if it is covered by a family of rational curves. The concept arose from the ruled surfaces of 19th-century geometry, meaning surfaces in affine space or projective space which are covered by lines. Uniruled varieties can be considered to be relatively simple among all varieties, although there are many of them.
In algebraic geometry, the Keel–Mori theorem gives conditions for the existence of the quotient of an algebraic space by a group. The theorem was proved by Sean Keel and Shigefumi Mori.
In algebraic geometry, a Cox ring is a sort of universal homogeneous coordinate ring for a projective variety, and is a direct sum of the spaces of sections of all isomorphism classes of line bundles. Cox rings were introduced by Hu & Keel (2000), based on an earlier construction by David A. Cox in 1995 for toric varieties.
Yujiro Kawamata is a Japanese mathematician working in algebraic geometry.
Jean-Pierre Demailly was a French mathematician who worked in complex geometry. He was a professor at Université Grenoble Alpes and a permanent member of the French Academy of Sciences.
In mathematics, the three-gap theorem, three-distance theorem, or Steinhaus conjecture states that if one places n points on a circle, at angles of θ, 2θ, 3θ, ... from the starting point, then there will be at most three distinct distances between pairs of points in adjacent positions around the circle. When there are three distances, the largest of the three always equals the sum of the other two. Unless θ is a rational multiple of π, there will also be at least two distinct distances.
Jun-Muk Hwang is a South Korean mathematician, specializing in algebraic geometry and complex differential geometry.
In mathematics, and in particular algebraic geometry, K-stability is an algebro-geometric stability condition for projective algebraic varieties and complex manifolds. K-stability is of particular importance for the case of Fano varieties, where it is the correct stability condition to allow the formation of moduli spaces, and where it precisely characterises the existence of Kähler–Einstein metrics.