|
Equivariant Algebraic K-theory
In mathematics, the equivariant algebraic K-theory is an algebraic K-theory associated to the category \operatorname^G(X) of equivariant coherent sheaves on an algebraic scheme ''X'' with action of a linear algebraic group ''G'', via Quillen's Q-construction; thus, by definition, :K_i^G(X) = \pi_i(B^+ \operatorname^G(X)). In particular, K_0^G(C) is the Grothendieck group of \operatorname^G(X). The theory was developed by R. W. Thomason in 1980s. Specifically, he proved equivariant analogs of fundamental theorems such as the localization theorem. Equivalently, K_i^G(X) may be defined as the K_i of the category of coherent sheaves on the quotient stack /G/math>. (Hence, the equivariant K-theory is a specific case of the K-theory of a stack.) A version of the Lefschetz fixed-point theorem holds in the setting of equivariant (algebraic) K-theory. Fundamental theorems Let ''X'' be an equivariant algebraic scheme. Examples One of the fundamental examples of equivariant K-theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivariant Sheaf
In mathematics, given an action \sigma: G \times_S X \to X of a group scheme ''G'' on a scheme ''X'' over a base scheme ''S'', an equivariant sheaf ''F'' on ''X'' is a sheaf of \mathcal_X-modules together with the isomorphism of \mathcal_-modules :\phi: \sigma^* F \xrightarrow p_2^*F that satisfies the cocycle condition: writing ''m'' for multiplication, :p_^* \phi \circ (1_G \times \sigma)^* \phi = (m \times 1_X)^* \phi. Notes on the definition On the stalk level, the cocycle condition says that the isomorphism F_ \simeq F_x is the same as the composition F_ \simeq F_ \simeq F_x; i.e., the associativity of the group action. The condition that the unit of the group acts as the identity is also a consequence: apply (e \times e \times 1)^*, e: S \to G to both sides to get (e \times 1)^* \phi \circ (e \times 1)^* \phi = (e \times 1)^* \phi and so (e \times 1)^* \phi is the identity. Note that \phi is an additional data; it is "a lift" of the action of ''G'' on ''X'' to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Algebraic Group Action
In mathematics, a linear algebraic group is a subgroup of the group of invertible n\times n matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation M^TM = I_n where M^T is the transpose of M. 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).) The simple Lie groups were classified by Wilhelm Killing and Élie Cartan in the 1880s and 1890s. At that time, no special use was made of the fact that the group structure can be defined by polynomials, that is, that these are algebraic groups. The founders of the theory of algebraic groups include Maurer, Chevalley, and . In the 1950s, Armand Borel constructed much of the theory of algebraic groups as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Q-construction
In algebra, Quillen's Q-construction associates to an exact category (e.g., an abelian category) an algebraic K-theory. More precisely, given an exact category ''C'', the construction creates a topological space B^+C so that \pi_0 (B^+C) is the Grothendieck group of ''C'' and, when ''C'' is the category of finitely generated projective modules over a ring ''R'', for i = 0, 1, 2, \pi_i (B^+C) is the ''i''-th K-group of ''R'' in the classical sense. (The notation "+" is meant to suggest the construction adds more to the classifying space ''BC''.) One puts :K_i(C) = \pi_i(B^+C) and call it the ''i''-th K-group of ''C''. Similarly, the ''i''-th K-group of ''C'' with coefficients in a group ''G'' is defined as the homotopy group with coefficients: :K_i(C; G) = \pi_i(B^+ C; G). The construction is widely applicable and is used to define an algebraic K-theory in a non-classical context. For example, one can define equivariant algebraic K-theory as \pi_* of B^+ of the category of equivar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Group
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid is a certain abelian group. This abelian group is constructed from in the most universal way, in the sense that any abelian group containing a homomorphic image of will also contain a homomorphic image of the Grothendieck group of . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation. Grothendieck group of a commutative monoid Motivation Given a commutative monoid , "the most general" abelian group that arises from is to be constructed by introducing inverse elements to all elements of . Such an abelian group always exists; it is called the Grothendieck group of . It is character ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Stack
In algebraic geometry, a quotient stack is a stack that parametrizes equivariant objects. Geometrically, it generalizes a quotient of a scheme or a variety by a 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'' acts. Let the quotient stack /G/math> be the category over the category of ''S''-schemes: *an object over ''T'' is a principal ''G''-bundle P\to T together with equivariant map P\to X; *an arrow from P\to T to P'\to T' is a bundle map (i.e., forms a commutative diagram) that is compatible with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-theory Of A Stack
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices. K-theory involves the construction of families of ''K''-functors that map from topological spaces or schemes to associated rings; these rings reflect some aspects of the structure of the original spaces or schemes. As with functors to groups in algebraic topology, the reason for this functorial mapping is that it is easier to compute some topological properties from the mapped rings than from the original spaces or schemes. Examples of results gleaned from the K-theory approach include the Grothendieck–Riemann–Roch theorem, Bott periodicity, the Atiy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Fixed-point Theorem
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without ''any'' fixed point must have rather special topological properties (like a rotation of a circle). Formal statement For a formal statement of the theorem, let :f\colon X \rightarrow X\, be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number \Lambda_f of f by :\Lambda_f:=\sum_(-1)^k\mathrm(f_*, H_k(X,\Q)), the alternating (finite) sum of the matrix traces of the linear maps induced by f on H_k(X,\Q), the singular homology groups of X with rational coefficients. A simple vers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Torus
In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by \mathbf G_, \mathbb_m, or \mathbb, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups \mathbf G_. These groups were named by analogy with the theory of ''tori'' in Lie group theory (see Cartan subgroup). For example, over the complex numbers \mathbb the algebraic torus \mathbf G_ is isomorphic to the group scheme \mathbb^* = \text(\mathbb ,t^, which is the scheme theoretic analogue of the Lie group U(1) \subset \mathbb. In fact, any \mathbf G_-action on a complex vector space can be pulled back to a U(1)-action from the inclusion U(1) \subset \mathbb^* as real manifolds. Tori are of fundamental importance in the theory of algebraic groups and Lie groups and in the study of the geometric objects associated to them such as symmetric spaces and buil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological K-theory
In mathematics, topological -theory is a branch of algebraic topology. It was founded to study vector bundles on topological spaces, by means of ideas now recognised as (general) K-theory that were introduced by Alexander Grothendieck. The early work on topological -theory is due to Michael Atiyah and Friedrich Hirzebruch. Definitions Let be a compact Hausdorff space and k= \R or \Complex. Then K_k(X) is defined to be the Grothendieck group of the commutative monoid of isomorphism classes of finite-dimensional -vector bundles over under Whitney sum. Tensor product of bundles gives -theory a commutative ring structure. Without subscripts, K(X) usually denotes complex -theory whereas real -theory is sometimes written as KO(X). The remaining discussion is focused on complex -theory. As a first example, note that the -theory of a point is the integers. This is because vector bundles over a point are trivial and thus classified by their rank and the Grothendieck group of the natur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |