|
Module Spectrum
In algebra, a module spectrum is a spectrum with an action of a ring spectrum; it generalizes a module in abstract algebra. The ∞-category of (say right) module spectra is stable A stable is a building in which livestock, especially horses, are kept. It most commonly means a building that is divided into separate stalls for individual animals and livestock. There are many different types of stables in use today; the ...; hence, it can be considered as either analog or generalization of the derived category of modules over a ring. K-theory Lurie defines the K-theory of a ring spectrum ''R'' to be the K-theory of the ∞-category of perfect modules over ''R'' (a perfect module being defined as a compact object in the ∞-category of module spectra.) See also * G-spectrum References *J. LurieLecture 19: Algebraic K-theory of Ring Spectra {{algebra-stub Homotopy theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (topology)
In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory\mathcal^*:\text^ \to \text,there exist spaces E^k such that evaluating the cohomology theory in degree k on a space X is equivalent to computing the homotopy classes of maps to the space E^k, that is\mathcal^k(X) \cong \left , E^k\right/math>.Note there are several different categories of spectra leading to many technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing spectra because they form a natural home for stable homotopy theory. The definition of a spectrum There are many variations of the definition: in general, a ''spectrum'' is any sequence X_n of pointed topological spaces or pointed simplicial sets together with th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Spectrum
In stable homotopy theory, a ring spectrum is a spectrum ''E'' together with a multiplication map :''μ'': ''E'' ∧ ''E'' → ''E'' and a unit map : ''η'': ''S'' → ''E'', where ''S'' is the sphere spectrum. These maps have to satisfy associativity and unitality conditions up to homotopy, much in the same way as the multiplication of a ring is associative and unital. That is, : ''μ'' (id ∧ ''μ'') ∼ ''μ'' (''μ'' ∧ id) and : ''μ'' (id ∧ ''η'') ∼ id ∼ ''μ''(''η'' ∧ id). Examples of ring spectra include singular homology with coefficients in a ring, complex cobordism, K-theory, and Morava K-theory. See also *Highly structured ring spectrum In mathematics, a highly structured ring spectrum or A_\infty-ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an A_\infty-ring is called an E_\infty-ring. W ... References * Algebraic topology Homotopy theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the modu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable ∞-category
In category theory, a branch of mathematics, a stable ∞-category is an ∞-category such that *(i) It has a zero object. *(ii) Every morphism in it admits a fiber and cofiber. *(iii) A triangle in it is a fiber sequence if and only if it is a cofiber sequence. The homotopy category of a stable ∞-category is triangulated. A stable ∞-category admits finite limits and colimits. Examples: the derived category of an abelian category and the ∞-category of spectra are both stable. A stabilization of an ∞-category ''C'' having finite limits and base point is a functor from the stable ∞-category ''S'' to ''C''. It preserves limit. The objects in the image have the structure of infinite loop spaces; whence, the notion is a generalization of the corresponding notion ( stabilization (topology)) in classical algebraic topology. By definition, the t-structure of a stable ∞-category is the t-structure of its homotopy category. Let ''C'' be a stable ∞-category with a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Category
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction proceeds on the basis that the objects of ''D''(''A'') should be chain complexes in ''A'', with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences. The development of the derived category, by Alexander Grothendieck and his student Jean-Louis Verdier shortly after 1960, now appears as one terminal point in the explosive development of homological algebra in the 1950s, a decade in which it had made r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-theory
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 Atiya ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-theory Of The ∞-category
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] |
Perfect Module
In algebra, a perfect complex of modules over a commutative ring ''A'' is an object in the derived category of ''A''-modules that is quasi-isomorphic to a bounded complex of finite projective ''A''-modules. A perfect module is a module that is perfect when it is viewed as a complex concentrated at degree zero. For example, if ''A'' is Noetherian, a module over ''A'' is perfect if and only if it is finitely generated and of finite projective dimension. Other characterizations Perfect complexes are precisely the compact objects in the unbounded derived category D(A) of ''A''-modules. They are also precisely the dualizable objects in this category. A compact object in the ∞-category of (say right) module spectra over a ring spectrum is often called perfect;http://www.math.harvard.edu/~lurie/281notes/Lecture19-Rings.pdf see also module spectrum. Pseudo-coherent sheaf When the structure sheaf \mathcal_X is not coherent, working with coherent sheaves has awkwardness (namely th ... [...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] |
Waldhausen K-theory
Waldhausen is a municipality in the district of Zwettl in the Austrian state of Lower Austria. Geography Waldhausen lies in the Waldviertel The (Forest Quarter; Central Bavarian: ) is the northwestern region of the northeast Austrian state of Lower Austria. It is bounded to the south by the Danube, to the southwest by Upper Austria, to the northwest and the north by the Czech Rep ... in Lower Austria. About 42.86 percent of the municipality is forested. References Cities and towns in Zwettl District {{LowerAustria-geo-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
G-spectrum
In algebraic topology, a G-spectrum is a spectrum with an action of a (finite) group. Let ''X'' be a spectrum with an action of a finite group ''G''. The important notion is that of the homotopy fixed point set X^. There is always :X^G \to X^, a map from the fixed point spectrum to a homotopy fixed point spectrum (because, by definition, X^ is the mapping spectrum F(BG_+, X)^G.) Example: \mathbb/2 acts on the complex ''K''-theory ''KU'' by taking the conjugate bundle In mathematics, a complex vector bundle is a vector bundle whose fibers are complex vector spaces. Any complex vector bundle can be viewed as a real vector bundle through the restriction of scalars. Conversely, any real vector bundle ''E'' can be ... of a complex vector bundle. Then KU^ = KO, the real ''K''-theory. The cofiber of X_ \to X^ is called the Tate spectrum of ''X''. ''G''-Galois extension in the sense of Rognes This notion is due to J. Rognes . Let ''A'' be an E∞-ring with an action of a finite g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |