Search results
Jump to navigation
Jump to search
- ...ohomology''', introduced by [[Glen E. Bredon]], is a type of [[equivariant cohomology]] that is a [[contravariant functor]] from the [[category (mathematics)|cat | title = Equivariant cohomology theories ...1 KB (123 words) - 04:04, 10 December 2024
- ...m]]. Typical theories it studies include: [[complex K-theory]], [[elliptic cohomology]], [[Morava K-theory]] and [[Topological modular forms|tmf]]. *[[Elliptic cohomology]] ...3 KB (480 words) - 22:48, 9 January 2024
- ...algebras]] of smooth [[vector field]]s. It differs from the [[Lie algebra cohomology]] of Chevalley-Eilenberg in that its cochains are taken to be continuous mu ...e journal |last=Gel'fand |first=I. M. |last2=Fuks |first2=D. B. |title=The cohomology of the Lie algebra of formal vector fields |journal=Mathematics of the USSR ...2 KB (263 words) - 22:14, 4 October 2023
- ...charov|year=1995}} suggesting that the [[cohomology]] of certain [[Motivic cohomology|motivic complex]]es coincides with pieces of [[Algebraic K-theory|K-groups] ...ured that ''i''-th cohomology of this complex is isomorphic to the motivic cohomology group <math>H^i_{mot}(F,\mathbb Q(n))</math>. ...2 KB (204 words) - 06:33, 12 May 2024
- ...topological space]]s and a ring ''R'', the '''pullback''' along ''f'' on [[cohomology theory]] is a [[graded ring|grade]]-preserving ''R''-[[algebra homomorphism ...ifold]]s, ''R'' the field of real numbers, and the cohomology is [[de Rham cohomology]], then the pullback is induced by the pullback of [[differential form]]s. ...3 KB (420 words) - 21:58, 1 October 2024
- In [[mathematics]], the '''Koszul cohomology''' groups <math>K_{p,q}(X,L)</math> are [[group (mathematics)|group]]s asso ...szul cohomology, {{harvtxt|Eisenbud|2005}} gives an introduction to Koszul cohomology, and {{harvtxt|Aprodu|Nagel|2010}} gives a more advanced survey. ...3 KB (430 words) - 01:04, 29 June 2019
- {{short description|Result in algebraic K-theory relating Chow groups to cohomology}} ...th variety ''X'' over a [[field (mathematics)|field]] is isomorphic to the cohomology of ''X'' with coefficients in the K-theory of the structure sheaf <math>\ma ...2 KB (236 words) - 20:43, 10 July 2024
- ...''complex orientation'''. The notion is central to Quillen's work relating cohomology to [[formal group law]]s.{{citation needed|date=October 2013}}<!-- a bit va *An ordinary cohomology with any coefficient ring ''R'' is complex orientable, as <math>\operatorna ...3 KB (419 words) - 20:00, 11 August 2017
- ==Twisted Poincaré duality for de Rham cohomology== ...tion maps. As a [[flat vector bundle|flat line bundle]], it has a de Rham cohomology, denoted by ...3 KB (395 words) - 17:42, 9 April 2021
- ...matics, '''cohomology with compact support''' refers to certain cohomology theories, usually with some condition requiring that cocycles should have compact su ==Singular cohomology with compact support== ...5 KB (805 words) - 14:33, 22 July 2024
- ...nrod axioms]] for [[homology (mathematics)|homology]] to give axioms for [[cohomology]]. It is named after [[Beno Eckmann]] and [[Peter Hilton]]. ...um (homotopy theory)|spectra]], which give rise to [[cohomology|cohomology theories]]. ...4 KB (619 words) - 15:10, 13 June 2024
- ...algebra]], '''Grothendieck local duality''' is a [[duality theorem]] for [[cohomology]] of [[module (mathematics)|modules]] over [[local ring]]s, analogous to [[ where ''H''<sub>''m''</sub> is a [[local cohomology]] group. ...1 KB (200 words) - 23:42, 12 August 2023
- ...]], several types of products are defined on homological and cohomological theories. ...of [[differential form]]s in [[de Rham cohomology]]. It makes the singular cohomology of a connected manifold into a unitary supercommutative ring. ...1 KB (208 words) - 15:36, 8 January 2025
- ...thfrak{k})</math> is said to be '''Cartan''' if the relative [[Lie algebra cohomology]] ...incipal Bundles and Homogeneous Spaces |series=Connections, Curvature, and Cohomology |volume=3 |chapter-url=https://books.google.com/books?id=c724LN914AwC&pg=PA ...3 KB (452 words) - 18:59, 13 July 2021
- ...from the category of spaces to the category of [[abelian group]]s, while a cohomology theory is a [[contravariant functor]] from the category of (nice) spaces to Unlike a homology theory or a cohomology theory, a bivariant class is defined for a map not a space. ...4 KB (520 words) - 07:56, 4 March 2024
- {{Short description|Theory of cohomology for commutative rings}} ...]]s which is closely related to the [[cotangent complex]]. The first three cohomology groups were introduced by {{harvs|txt|last1=Lichtenbaum| first1=Stephen|aut ...5 KB (644 words) - 03:58, 28 July 2023
- ...for [[algebraic variety|algebraic varieties]] that includes both ordinary cohomology and [[intermediate Jacobian]]s. For introductory accounts of Deligne cohomology see {{harvtxt|Brylinski|2008|loc=section 1.5}}, {{harvtxt|Esnault|Viehweg|1 ...6 KB (760 words) - 21:10, 25 September 2024
- ...m for a number of statements about restrictions on possible values of [[L2 cohomology|<math>l^2</math>-Betti numbers]]. ...s as [[von Neumann dimension]]s of the resulting {{nowrap|<math>l^2</math>-cohomology}} groups, and computed several examples, which all turned out to be [[ratio ...3 KB (448 words) - 19:45, 9 March 2022
- ...own as a [[Leray cover]].) However, for the purposes of computing the Čech cohomology it suffices to have a more relaxed definition of a good cover in which all [[Category:Cohomology theories]] ...3 KB (499 words) - 11:56, 10 July 2023
- In [[Galois cohomology]], '''local Tate duality''' (or simply '''local duality''') is a [[Duality ...ristic formula]] provide a versatile set of tools for computing the Galois cohomology of local fields. ...4 KB (678 words) - 16:09, 19 September 2021