Related papers: On product of cocycles in a polyhedral complex
For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$.…
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…
We describe complex conjugation on the primitive middle-dimensional algebraic de Rham cohomology of a smooth projective hypersurface defined over a number field that admits a real embedding. We use Griffiths' description of the cohomology…
For typical cocycles over subshifts of finite type, we show that for any given orbit segment, we can construct a periodic orbit such that it shadows the given orbit segment and that the product of the cocycle along its orbit is a proximal…
An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and…
This paper exhibits a multiplicative and minimal cellular complex which allows explicit and complete (co)homological calculations for the symmetric products of a finite two dimensional CW complex. By considering cohomology, we observe that…
Let $I=(\mathbb{Z}^3,26,6,B)$ be a 3D digital image, let $Q(I)$ be the associated cubical complex and let $\partial Q(I)$ be the subcomplex of $Q(I)$ whose maximal cells are the quadrangles of $Q(I)$ shared by a voxel of $B$ in the…
Let $\mathfrak g$ be an infinite-dimensional Lie algebra and $G$ be the algebraic completion of its module. Using a geometric interpretation in terms of sewing two Riemann spheres with a number of marked points, we introduce a…
We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
The polytopic definition introduced recently describing the topology of manifolds is used to formulate a generating function pertinent to its topological properties. In particular, a polynomial in terms of one variable and a tori underlying…
The minimal projective bimodule resolutions of the exterior algebras are explicitly constructed. They are applied to calculate the Hochschild (co)homology of the exterior algebras. Thus the cyclic homology of the exterior algebras can be…
We construct a Frobenius algebra structure on the Hochschild cochains of a group ring k[G] that extends the known structure of a <1, 2> topological quantum field theory on HH^0(k[G]; k[G]), k a field and G a finite group. The convolution…
The Hochschild cohomology ring of a group algebra is an object that has received recent attention, but is difficult to compute, in even the simplest of cases. In this paper, we use the product formula due to Witherspoon and Siegel to extend…
We compute the cohomology ring of a generalised type of configuration space of points in $\mathbb{R}^r$. This configuration space is indexed by a graph. In the case the graph is complete the result is known and it is due to Arnold and…
We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules…
We compute the cohomology ring of the complement of a toric arrangement with integer coefficients and investigate its dependency from the arrangement's combinatorial data. To this end, we study a morphism of spectral sequences associated to…
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applications, the identification of an appropriate…
Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers.
We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of…