Related papers: Computing the Cech cohomology of decomposition spa…

The intersection pattern of the translates of the limit set of a quasi-convex subgroup of a hyperbolic group can be coded in a natural incidence graph, which suggests connections with the splittings of the ambient group. A similar incidence…

In this paper, we compute the rational cohomology groups of the classifying space of a simply connected Kac-Moody group of infinite type. The fundamental principle is "from finite to infinite". That is, for a Kac-Moody group G(A) of…

Given a closed surface $S$ with finitely generated Veech group $G$ and its $\pi_1(S)$-extension $\Gamma$, there exists a hyperbolic space $\hat{E}$ on which $\Gamma$ acts isometrically and cocompactly. The space $\hat{E}$ is obtained by…

We review recent results for heterotic moduli and the Hull--Strominger system. In particular, we discuss mathematical properties of the recently derived deformation operator $\bar D$ associated to the deformation complex of heterotic…

We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around…

To understand an aperiodic tiling (or a quasicrystal modeled on an aperiodic tiling), we construct a space of similar tilings, on which the group of translations acts naturally. This space is then an (abstract) dynamical system. Dynamical…

Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$,…

`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that…

We prove that the cohomology of semi-simple Lie groups admits boundary values, which are measurable cocycles on the Furstenberg boundary. This generalises known invariants such as the Maslov index on Shilov boundaries, the Euler class on…

Many authors have constructed different, but related, linear group cocycles that are usually referred to as ``Eisenstein cocycles.'' The main goal of this work is to describe a topological construction that is a common source for all these…

Let $H$ be a Hopf algebra and let $\mathcal D_H$ be a Hopf-module category. We describe the cocycles and coboundaries for the Hopf cyclic cohomology of $\mathcal D_H$, which correspond respectively to categorified cycles and vanishing…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

Let $G$ be a connected affine algebraic group over $\mathbb{C}$, $G \to X$ be an open immersion of $G$-varieties, $Z = X-G$ and $i: Z \to X$ be the inclusion. Let $\alpha \in H^*(G,\mathbb{C})$ be primitive. We give a method to compute the…

This is a report on the present state of the problem of determining the dimension of the Nichols algebra associated to a rack and a cocycle. This is relevant for the classification of finite-dimensional complex pointed Hopf algebras whose…

Let $M$ be a manifold and $T^*M$ be the cotangent bundle. We introduce a 1-cocycle on the group of diffeomorphisms of $M$ with values in the space of linear differential operators acting on $C^{\infty} (T^*M).$ When $M$ is the…

In the simplicial theory of hypercoverings, we replace the indexing category $\Delta$ by the \emph{symmetric simplicial category} $\Delta S$ and study (a class of) $\Delta S$-hypercoverings, which we call \emph{spaces admitting symmetric…

Plateau's problem is to find a surface with minimal area spanning a given boundary. In 1960, Reifenberg and Adams developed a definition for "span" using \v{C}ech homology, and variants of this definition have been used ever sense. However,…

If $C$ is a smooth projective curve over an algebraically closed field $\mathbb{F}$ and $G$ is a subgroup of automorphisms of $C$, then $G$ acts linearly on the $\mathbb{F}$-vector space of holomorphic differentials…

We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…

Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonn\'{e} module, or equivalently…