Posts tagged ‘cohomology’
André Weil was among the first ones to point out the importance of having a local description of varieties, especially projective spaces, which can always locally be described as an affine space with completion by a hyperplane at infinity, and projective varieties, which similarly look like varieties in affine space. The use of sheaves in local description of spaces was magnified by Cartan and Serre, in the context of complex analytic spaces, and generalised to the algebraic setting by Serre in Faisceaux algébriques cohérents.
The projective space is the simplest example of an algebro-geometric object which cannot be described by the prime spectrum or the functor of points of a ring. For example, there is no obvious ring whose ideals describe varieties in projective space, which come from homogeneous equations. We would like to give a correct definition of gluing affine lines (with coordinates and ) to define the projective line as the gluing of with given by . For functors of points, the latest article by Alain Connes and Caterina Consani, gives a definition. For prime spectra, one has to be aware that gluing only topological spaces do not give meaningful information on algebraic properties. This is illustrated by the case of differentiable manifolds, which are not the same as topological manifolds: gluing differentiable manifolds has to induce a correspondance between differentiable functions (this is equivalent to the requirement that gluing maps between charts be differentiable).
The use of monads and comonads in homological algebra is as old as the theory: Godement’s standard construction refers to the use of monads in cohomology theory, and is said to be the first study of a general method for constructing acyclic resolutions. Later the theory was explored in greater depth by Eilenberg, Moore, Barr, Beck. The term bar resolution is now most commonly used to describe the process. Monads derived from operads were also studied by Lawvere, Mitchell, Bénabou, under the name of algebraic theories, with aim towards topoi and logic.
Bar resolutions (see J. Baez website and the LNM Seminar on Triples and Categorical Homology Theory) are a way to canonically (i.e. functorially) describe an arbitrary algebra over a monad using only free algebras. It is a particular case of definition with generators and relations which is often the only way to describe infinite mathematical objects with finite expressions (computer algebra systems usually deal with finitely generated objects, and use generators and relations to describe their elements), but bar resolutions somehow are the universal way of doing this.
Most cohomology theories fit in the framework of bar constructions, though in various apparently unrelated ways. However, a visible common denominator of most constructions is the use of simplicial methods. This makes them of some use in homotopical algebra: bar resolutions are used to define canonical cofibrant resolutions of objects, which explains their uses in definition of derived functors.
When talking about “the” cohomology of mathematical objects, we do not always explicitly mention which cohomology is used, because it is obvious (in cases there is only one possible definition), or because we really don’t care (since as we will see, it is frequent that different definitions lead to equivalent results). The case of differentiable manifolds or algebraic varieties is particularly impressive, since there were a lot of equivalent cohomology theories defined during last century in order to simplify proofs or allow generalisations. Most cohomology theories, if not all, are defined as the cohomology of a complex : i.e. a sequence of vector spaces or modules with a boundary map . The kernel of is called the set of cycles, while the images by are called boundaries : the cohomology is then the quotient of cycles in by the subspace of boundaries.
Classical topologists, for example, will use preferably (see MacLane, Homology or the book of Allen Hatcher) :
- simplicial (co)homology : it is defined for a triangulated space, i.e. the manifold is cut by curves, surfaces, etc. which make it isomorphic to a sort of polyhedron (a complex); simplicial homology describe non-triviality (holes) in the combinatorial structure of this polyhedron; here the boundary map is really the boundary map.
- singular (co)homology : a more abstract version of simplicial homology; now we consider the set of all possible simplexes (curves, polygons, polyhedra, and their generalisations…) drawn on the manifold; this definition was given by Eilenberg; I don’t know who first defined simplicial homology, but MacLane mentions that Poincaré and Noether gaves important contributions to this theory.
Then come sheaves, which were explicitly defined by Leray (tales for young mathematicians help remember that Leray made considerable efforts as a prisoner in concentration camps to focus his work on especially “useless” subjects to avoid helping Nazis). (more…)
GIven a topological space , algebraic topologists would sometimes be interested in sheaves over this space. In most cases, these sheaves are sheaves of functions with some special property, or sheaves of modules over these rings. We could casually say thet the notion of sheaf is some mix of topology and algebra (more generally, categories), which allows to remember where are localized objects. For example, the set of continuous functions over a compact space can sometimes allow to recover an isomorphic space, but its mere normed algebra structure does not immediately say things like: “i am greater here than there”, “i am positive here and negative there”…
So a sheaf is not only determined by a set of fonctions (the commonly used term is section) defined over the whole space, but also by sections over open sets, and by the restriction maps between these various sets of sections. A sheaf has also a gluing theory : if we choose sections over open sets with equal restrictions on the intersections, they must glue to a section over the union of the open sets (if not, our object does not deserve to be a sheaf, so it is only a presheaf).
Virtually anything which can be restricted to open sets and defined locally defines a sheaf: continuous functions form a sheaf, but functions with do not usually form a sheaf (this property is not local). A sheaf of abelian groups is a sheaf of things which can be (locally) added and substracted, a sheaf of rings has sections which can be multiplied, and we can also define sheaves of modules over a sheaf of rings.
A morphism of sheaves is a map which is determined by the image of localized sections. In the case of abelian groups, the kernel sheaf is the sheaf of sections of F which are locally in the kernel of f, while the quotient sheaf (cokernel) is something looking like G where sections are identified if locally it should be so. A morphism is thus injective or surjective if locally it is so. Sheaves of abelian groups (or sheaves of modules over some sheaf of rings) form an abelian category, and it makes sense to speak of the extension group for two such sheaves F and G. Suppose we are working with sheaves of modules (especially coherent sheaves) over a sheaf of rings . How should we compute this group ?
If you ever followed a course in algebra, you may have heard about extensions of “things”. Most “things” fit in what is called a category, that is, an abstract structure remembering how to compose morphisms between these “things”, and sometimes what is the sum of such “things”, the kernel of a morphism: we are interested in the structure of abelian category, which is the framework of vector spaces, modules over a ring, sheaves of modules… An extension of A by B is an exact sequence
where is the kernel, and is the quotient (cokernel). The group of extensions is the set of isomorphism classes of such exact sequences. (more…)
Peter Woit, the author of the blog Not Even Wrong, is writing a series of articles about BRST cohomology and Lie algebra cohomology, as pointed out by the Secret Blogging seminar. Since these theories are now fundamental in the study of gauge symmetry in quantum mechanics and Lie group actions on differentiable manifolds (these subjects now being often blended into each other), having a nice introduction written as blog posts is undoubtedly useful !