|
Equivariant Cohomology
In mathematics, equivariant cohomology (or ''Borel cohomology'') is a cohomology theory from algebraic topology which applies to topological spaces with a ''group action''. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space X with action of a topological group G is defined as the ordinary cohomology ring with coefficient ring \Lambda of the homotopy quotient EG \times_G X: :H_G^*(X; \Lambda) = H^*(EG \times_G X; \Lambda). If G is the trivial group, this is the ordinary cohomology ring of X, whereas if X is contractible, it reduces to the cohomology ring of the classifying space BG (that is, the group cohomology of G when ''G'' is finite.) If ''G'' acts freely on ''X'', then the canonical map EG \times_G X \to X/G is a homotopy equivalence and so one gets: H_G^*(X; \Lambda) = H^*(X/G; \Lambda). Definitions It is also possible to define the equivariant cohomology H_G^*(X;A) o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invariant Differential Form
Invariant and invariance may refer to: Computer science * Invariant (computer science), an expression whose value doesn't change during program execution ** Loop invariant, a property of a program loop that is true before (and after) each iteration * A data type in method overriding that is neither covariant nor contravariant * Class invariant, an invariant used to constrain objects of a class Physics, mathematics, and statistics * Invariant (mathematics), a property of a mathematical object that is not changed by a specific operation or transformation ** Rotational invariance, the property of function whose value does not change when arbitrary rotations are applied to its argument ** Scale invariance, a property of objects or laws that do not change if scales of length, energy, or other variables, are multiplied by a common factor ** Topological invariant * Invariant (physics), something does not change under a transformation, such as from one reference frame to another * Invaria ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Stack
In algebraic geometry, a quotient stack is a stack (mathematics), stack that parametrizes equivariant objects. Geometrically, it generalizes a quotient of a Scheme (mathematics), scheme or a algebraic variety, variety by a Group (mathematics), group: a quotient variety, say, would be a coarse approximation of a quotient stack. The notion is of fundamental importance in the study of stacks: a stack that arises in nature is often either a quotient stack itself or admits a stratification by quotient stacks (e.g., a Deligne–Mumford stack.) A quotient stack is also used to construct other stacks like classifying stacks. Definition A quotient stack is defined as follows. Let ''G'' be an affine smooth group scheme over a scheme ''S'' and ''X'' an ''S''-scheme on which ''G'' group-scheme action, acts. Let the quotient stack [X/G] be the fibered category, category over the category of ''S''-schemes, where *an object over ''T'' is a torsor (algebraic geometry), principal ''G''-bundle P\to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Stack Of Principal Bundles
In algebraic geometry, given a smooth projective curve ''X'' over a finite field \mathbf_q and a smooth affine group scheme ''G'' over it, the moduli stack of principal bundles over ''X'', denoted by \operatorname_G(X), is an algebraic stack given by: for any \mathbf_q-algebra ''R'', :\operatorname_G(X)(R)= the category of principal ''G''-bundles over the relative curve X \times_ \operatornameR. In particular, the category of \mathbf_q-points of \operatorname_G(X), that is, \operatorname_G(X)(\mathbf_q), is the category of ''G''-bundles over ''X''. Similarly, \operatorname_G(X) can also be defined when the curve ''X'' is over the field of complex numbers. Roughly, in the complex case, one can define \operatorname_G(X) as the quotient stack of the space of holomorphic connections on ''X'' by the gauge group. Replacing the quotient stack (which is not a topological space) by a homotopy quotient (which is a topological space) gives the homotopy type of \operatorname_G(X). In the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauge Group
A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle P\to X with a structure Lie group G, a gauge group is defined to be a group of its vertical automorphisms, that is, its group of bundle automorphisms. This group is isomorphic to the group G(X) of global sections of the associated group bundle \widetilde P\to X whose typical fiber is a group G which acts on itself by the adjoint representation. The unit element of G(X) is a constant unit-valued section g(x)=1 of \widetilde P\to X. At the same time, gauge gravitation theory exemplifies field theory on a principal frame bundle whose gauge symmetries are general covariant transformations which are not elements of a gauge group. In the physical literature on gauge theory, a structure group of a principal bundle often is called the gauge group. In quantum gauge theory, one considers a normal subgroup G^0(X) of a gauge group ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
N-connected
In algebraic topology, homotopical connectivity is a property describing a topological space based on the dimension of its holes. In general, low homotopical connectivity indicates that the space has at least one low-dimensional hole. The concept of ''n''-connectedness generalizes the concepts of path-connectedness and simple connectedness. An equivalent definition of homotopical connectivity is based on the homotopy groups of the space. A space is ''n''-connected (or ''n''-simple connected) if its first ''n'' homotopy groups are trivial. Homotopical connectivity is defined for maps, too. A map is ''n''-connected if it is an isomorphism "up to dimension ''n,'' in homotopy". Definition using holes All definitions below consider a topological space ''X''. A hole in ''X'' is, informally, a thing that prevents some suitably-placed sphere from continuously shrinking to a point., Section 4.3 Equivalently, it is a sphere that cannot be continuously extended to a ball. Formally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. Examples of Riemann surfaces include Graph of a function, graphs of Multivalued function, multivalued functions such as √''z'' or log(''z''), e.g. the subset of pairs with . Every Riemann surface is a Surface (topology), surface: a two-dimensional real manifold, but it contains more structure (specifically a Complex Manifold, complex structure). Conversely, a two-dimensional real manifold can be turned into a Riemann surface (usually in several inequivalent ways) if and only if it is orientable and Metrizabl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenization of a polynomial, homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse function, inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. If the defining polynomial of a plane algebraic curve is irreducible polynomial, irreducible, then one has an ''irreducible plane algebraic curve''. Otherwise, the algebraic curve is the union of one or several irreducible curves, called its ''Irreduc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associated Bundle
*
{{dab ...
Associated may refer to: *Associated, former name of Avon, Contra Costa County, California *Associated Hebrew Schools of Toronto, a school in Canada *Associated Newspapers, former name of DMG Media, a British publishing company See also *Association (other) *Associate (other) Associate may refer to: Academics * Associate degree, a two-year educational degree in the United States, and some areas of Canada * Associate professor, an academic rank at a college or university * Technical associate or Senmonshi, a Japa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Bundle
Universal is the adjective for universe. Universal may also refer to: Companies * NBCUniversal, a media and entertainment company that is a subsidiary of Comcast ** Universal Animation Studios, an American Animation studio, and a subsidiary of NBCUniversal ** Universal TV, a television channel owned by NBCUniversal ** Universal Kids, an American current television channel, formerly known as Sprout, owned by NBCUniversal ** Universal Pictures, an American film studio, and a subsidiary of NBCUniversal ** Universal Television, a television division owned by NBCUniversal Content Studios ** Universal Destinations & Experiences, the theme park unit of NBCUniversal * Universal Airlines (other) * Universal Avionics, a manufacturer of flight control components * Universal Corporation, an American tobacco company * Universal Display Corporation, a manufacturer of displays * Universal Edition, a classical music publishing firm, founded in Vienna in 1901 * Universal Entertain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalent
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continuous ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit Space
In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group also acts on triangles by transforming triangles into triangles. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
