The Cohomology of Proofs

Adams, Colin; Krantz, Steven G.
June 2006
Mathematical Intelligencer;Summer2006, Vol. 28 Issue 3, p29
Academic Journal
The article reflects on homology and cohomology theories. These start with the cohomology groups defining all the lines of reasoning. One part is the cochains having a set of coboundaries. Coboundaries are often easily identified. Moreover, cohomology groups involve more convoluted instances of self-referential reasoning.


Related Articles

  • Torsion Classes and t-Structures in Higher Homological Algebra. Jørgensen, Peter // IMRN: International Mathematics Research Notices;2016, Vol. 2016 Issue 13, p3880 

    Higher homological algebra was introduced by Iyama. It is also known as n-homological algebra where n⩾2 is a fixed integer, and it deals with nn-cluster tilting subcategories of abelian categories. All short exact sequences in such a subcategory are split, but it has nice exact sequences...

  • The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem.  // Journal of the London Mathematical Society;Feb2009, Vol. 79 Issue 1, p129 

    We develop a formalism involving Atiyah classes of sheaves on a smooth manifold, Hochschild chain and cochain complexes. As an application we prove a version of the Riemann–Roch theorem.

  • CONNECTIONS AND CURVINGS ON LIFTING BUNDLE GERBES. KIYONORI GOMI // Journal of the London Mathematical Society;Apr2003, Vol. 67 Issue 2, p510 

    A connection and a curving on a bundle gerbe associated with lifting a structure group of a principal bundle to a central extension are constructed. The construction is based on certain structures on the bundle, that is, connections and bundle splittings. The Deligne cohomology class of the...

  • cohomology.  // Hutchinson Dictionary of Scientific Biography;2005, p1 

    Algebraic study, using group theory, of geometric objects with specific reference to the operation of finding a boundary. Cohomology theory represents a modification of homology in which it is possible both to add and to multiply classes.

  • The Maurer–Cartan structure of BRST differentials. Jining Gao // Journal of Mathematical Physics;Jun2005, Vol. 46 Issue 6, p063502 

    In this paper, we construct a sequence of generators of the BRST complex and reformulate the BRST differential so that it acts on elements of the complex much like the Maurer–Cartan differential acts on left-invariant forms. Thus our BRST differential is formally analogous to the...

  • Chapter 4: Bivariant Cycle Cohomology. Friedlander, Eric M.; Voevodsky, Vladimir // Cycles, Transfers & Motivic Homology Theories;2000, p138 

    The article presents a paper which constructed a bivariant theory called bivariant cycle cohomology. It presented a formulation of motivic cohomology and homology in terms of A*,*(Y,X). In one of the sections, the authors have formulated four theories--cohomology/homology with/without compact...

  • The number of knots and links with the same 2-fold branched covering. MECCHIA, MATTIA; ZIMMERMANN, BRUNO // Quarterly Journal of Mathematics;Mar2004, Vol. 55 Issue 1, p69 

    We give a nearly complete solution of the problem of how many different knots and links in the 3-sphere, and more generally in homology 3-spheres, can have the same hyperbolic 3-manifold as their common 2-fold branched covering. This number depends on the number of components of the links. We...

  • HOMOLOGY FIBRATIONS AND "GROUP-COMPLETION" REVISITED. Pitsch, Wolfgang; Scherer, Jérôme // Homology, Homotopy & Applications;2004, Vol. 6 Issue 1, p153 

    We give a proof of the Jardine-Tillmann generalized group completion theorem. It is much in the spirit of the original homology fibration approach by McDuff and Segal, but follows a modern treatment of homotopy colimits, using as little simplicial technology as possible. We compare simplicial...

  • OMEGA-CATEGORIES AND CHAIN COMPLEXES. Steiner, Richard // Homology, Homotopy & Applications;2004, Vol. 6 Issue 1, p175 

    There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we call augmented directed complexes. This functor from...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics