Topological André-Quillen Cohomology and E∞ André-Quillen Cohomology

We show that the André-Quillen cohomology of an E_∞ simplicial algebra with arbitrary coefficients and the topological André-Quillen cohomology of an E_∞ ring spectrum with Eilenberg-Mac Lane coefficients may be calculated as the André-Quillen cohomology of an associated E_∞ differential graded algebra.     

The Cubical Cohomology Ring: An Algorithmic Approach

A cohomology ring algorithm in a dimension-independent framework of combinatorial cubical complexes is developed with the aim of applying it to the topological analysis of high-dimensional data. This approach is convenient in the cup-product computation and motivated, among others, by interpreting pixels or voxels in digital images as cubes. The S-complex theory and so called co-reductions are adopted to build a cohomology ring algorithm speeding up the algebraic computations.     

On cohomology algebras of complex subspace arrangements

The integer cohomology algebra of the complement of a complex subspace arrangement with geometric intersection lattice is completely determined by the combinatorial data of the arrangement. We give a combinatorial presentation of the cohomology algebra in the spirit of the Orlik-Solomon result on the cohomology algebras of complex hyperplane arrangements. Our methods are elementary: we work with simplicial models for the complements that are induced by combinatorial stratifications of complex space. We describe simplicial cochains that generate the cohomology. Among them we distinguish a linear basis, study cup product multiplication, and derive an algebra presentation in terms of generators and relations.

     

Torus graphs and simplicial posets

For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy with the GKM-graphs, we introduce the notion of equivariant cohomology of a torus graph, and show that it is isomorphic to the face ring of the associated simplicial poset. This extends a series of previous results on the equivariant cohomology of torus manifolds. As a primary combinatorial application, we show that a simplicial poset is Cohen-Macaulay if its face ring is Cohen-Macaulay. This completes the algebraic characterisation of Cohen-Macaulay posets initiated by Stanley. We also study blow-ups of torus graphs and manifolds from both the algebraic and the topological points of view.     

Torus Actions, Equivariant Moment-Angle Complexes, and Coordinate Subspace Arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in the m-dimensional complex space is isomorphic to the cohomology algebra of the StanleyReisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) After that we calculate the latter cohomology algebra by means of the standard Koszul resolution of a polynomial ring. To prove these facts, we construct a homotopy equivalence (equivariant with respect to the torus action) between the complement of a coordinate subspace arrangement and the moment-angle complex defined by a simplicial complex. The moment-angle complex is a certain subset of the unit polydisk in the m-dimensional complex space invariant with respect to the action of the m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere; otherwise, the complex has a more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the EilenbergMoore spectral sequence. We also relate our results with well-known facts in the theory of toric varieties and symplectic geometry. Bibliography: 23 titles.     

Equivariant homology and cohomology of groups

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a Γ-equivariant G-module A, when a separate group Γ acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology theory of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.     

Moment-angle complexes from simplicial posets

We extend the construction of moment-angle complexes to simplicial posets by associating a certain T ^m -space Z _S to an arbitrary simplicial poset S on m vertices. Face rings ℤ[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen-Macaulay rings. Our primary motivation is to study the face rings ℤ[S] by topological methods. The space Z _S has many important topological properties of the original moment-angle complex Z _K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z _S is isomorphic to the Tor-algebra of the face ring ℤ[S]. This leads directly to a generalisation of Hochster’s theorem, expressing the algebraic Betti numbers of the ring ℤ[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of Z _S from below by proving the toral rank conjecture for the moment-angle complexes Z _S .     

Motivic cohomology of the simplicial motive of a Rost variety

We compute the motivic cohomology groups of the simplicial motive X_θ of a Rost variety for an n-symbol θ in Galois cohomology of a field. As an application we compute the kernel and cokernel of multiplication by θ in Galois cohomology. We also show that the reduced norm map on K₂ of a division algebra of square-free degree is injective.     

Simple homotopy types and finite spaces

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse X↘Y of finite spaces induces a simplicial collapse K(X)↘K(Y) of their associated simplicial complexes. Moreover, a simplicial collapse K↘L induces a collapse X(K)↘X(L) of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. This class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.     

Coxeter cochain complexes

We define the Coxeter cochain complex of a Coxeter group (G, S) with coefficients in a ?[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.     

On the cohomology rings of small categories

Let C be a small category and R a commutative ring with identity. The cohomology ring of C with coefficients in R is defined as the cohomology ring of the topological realization of its nerve. First we give an example showing that this ring modulo nilpotents is not finitely generated in general, even when the category is finite EI. Then we study the relationship between the cohomology ring of a category and those of its subcategories and extensions. The main results generalize certain theorems in group cohomology theory.     

Digital topological method for computing genus and the Betti numbers

This paper concerns with computation of topological invariants such as genus and the Betti numbers. We design a linear time algorithm that determines such invariants for digital spaces in 3D. These computations could have applications in medical imaging as they can be used to identify patterns in 3D image.Our method is based on cubical images with direct adjacency, also called (6,26)-connectivity images in discrete geometry. There are only six types of local surface points in such a digital surface. Two mathematical ingredients are used. First, we use the Gauss-Bonnett Theorem in differential geometry to determine the genus of 2-dimensional digital surfaces. This is done by counting the contribution for each of the six types of local surface points. The new formula derived in this paper that calculates genus is g=1+(|M₅|+2⋅|M₆|−|M₃|)/8 where Mi indicates the set of surface-points each of which has i adjacent points on the surface. Second, we apply the Alexander duality to express the homology groups of a 3D manifold in the usual 3D space in terms of the homology groups of its boundary surface.While our result is stated for digital spaces, the same idea can be applied to simplicial complexes in 3D or more general cell complexes.     

Groupoid cohomology and extensions

We show that Haefliger's cohomology for étale groupoids, Moore's cohomology for locally compact groups and the Brauer group of a locally compact groupoid are all particular cases of sheaf (or Cech) cohomology for topological simplicial spaces.

     

Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces

Let M be a smooth and compact moduli space of stable coherent sheaves on a projective surface S with an effective (or trivial) anti-canonical line bundle. We find generators for the cohomology ring of M, with integral coefficients. When S is simply connected and a universal sheaf E exists over S×M, then its class [E] admits a Künneth decomposition as a class in the tensor product of the topological K-rings. The generators are the Chern classes of the Künneth factors of [E] in . The general case is similar.     

The Chen–Ruan cohomology of moduli of curves of genus 2 with marked points

In this work we describe the Chen–Ruan cohomology of the moduli stack of smooth and stable genus 2 curves with marked points. In the first half of the paper we compute the additive structure of the Chen–Ruan cohomology ring for the moduli stack of stable n-pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen–Ruan cohomology ring as an algebra on the ordinary cohomology.     

Toral rank conjecture for moment-angle complexes

We consider an operation K ? L(K) on the set of simplicial complexes, which we call the “doubling operation.” This combinatorial operation was recently introduced in toric topology in an unpublished paper of Bahri, Bendersky, Cohen and Gitler on generalized moment-angle complexes (also known as K-powers). The main property of the doubling operation is that the moment-angle complex can be identified with the real moment-angle complex for the double L(K). By way of application, we prove the toral rank conjecture for the spaces by providing a lower bound for the rank of the cohomology ring of the real moment-angle complexes . This paper can be viewed as a continuation of the author’s previous paper, where the doubling operation for polytopes was used to prove the toral rank conjecture for moment-angle manifolds.     

The syntomic regulator for the K-theory of fields

We define complexes analogous to Goncharov's complexes for the K-theory of discrete valuation rings of characteristic zero. Under suitable assumptions in K-theory, there is a map from the cohomology of those complexes to the K-theory of the ring under consideration. In case the ring is a localization of the ring of integers in a number field, there are no assumptions necessary. We compute the composition of our map to the K-theory with the syntomic regulator. The result can be described in terms of a p-adic polylogarithm. Finally, we apply our theory in order to compute the regulator to syntomic cohomology on Beilinson's cyclotomic elements. The result is again given by the p-adic polylogarithm. This last result is related to one by Somekawa and generalizes work by Gros.     

Hochschild and ordinary cohomology rings of small categories

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH^∗(kC)→H^∗(|C|,k) and prove it is split surjective, using the factorization category of Quillen [D. Quillen, Higher algebraic K-theory I, in: Lecture Notes in Math., vol. 341, Springer-Verlag, Berlin, 1973, pp. 85-147] and certain techniques from functor cohomology theory. This generalizes the well-known theorems for groups and posets. Based on this result, we construct a seven-dimensional category algebra whose Hochschild cohomology ring modulo nilpotents is not finitely generated, disproving a conjecture of Snashall and Solberg [N. Snashall, Ø. Solberg, Support varieties and Hochschild cohomology rings, Proc. London Math. Soc. 88 (3) (2004) 705-732].     

Hochschild Cohomology of an Algebra Associated with a Circular Quiver

In this article we show that an algebra A = K Γ/(f(X ^s )) has a periodic projective bimodule resolution of period 2, where KΓ is the path algebra of the circular quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K and X is the sum of all arrows in KΓ. Moreover, by means of this projective bimodule resolution, we compute the Hochschild cohomology group of A, and we give a presentation of the Hochschild cohomology ring HH?(A) by the generators and the relations in the case K is a field.