Related papers: The computation of Stiefel-Whitney classes
Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all…
For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to…
We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…
This paper discusses the development of synthetic cohomology in Homotopy Type Theory (HoTT), as well as its computer formalisation. The objectives of this paper are (1) to generalise previous work on integral cohomology in HoTT by the…
G\"ottsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the…
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…
We propose to study deformation quantizations of Whitney functions. To this end, we extend the notion of a deformation quantization to algebras of Whitney functions over a singular set, and show the existence of a deformation quantization…
We deal with the problem of obtaining explicit simplicial formulae defining the classical Adem cohomology operations at the cochain level. Having these formulae at hand, we design an algorithm for computing these operations for any finite…
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the…
We introduce some compact orbifolds on which there is a certain finite group action having a simple convex polytope as the orbit space. We compute the orbifold fundamental group and homology groups of these orbifolds. We calculate the…
Real Bott manifolds is a class of flat manifolds with holonomy group $\mathbb Z_2^k$ of diagonal type. In this paper we want to show how we can compute even Stiefel - Whitney classes on real Bott manifolds. This paper is an answer to the…
Anderson and Putnam showed that the cohomology of a substitution tiling space may be computed by collaring tiles to obtain a substitution which "forces its border." One can then represent the tiling space as an inverse limit of an inflation…
The purpose of this article is to show how one might compute the \'etale cohomology groups $H^p_{\acute{e}t}(X,G_m)$ in degrees $p=0$, $1$ and $2$ of a toric variety $X$ with coefficients in the sheaf of units. The method is to reduce the…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this…
Structural pattern recognition describes and classifies data based on the relationships of features and parts. Topological invariants, like the Euler number, characterize the structure of objects of any dimension. Cohomology can provide…
An algorithm for quantum computing Hamiltonian cycles of simple, cubic, bipartite graphs is discussed. It is shown that it is possible to evolve a quantum computer into an entanglement of states which map onto the set of all possible paths…
For any Coxeter group W, we define a filtration of H^*(W;ZW) by W-submodules and then compute the associated graded terms. More generally, if U is a CW complex on which W acts as a reflection group we compute the associated graded terms for…
We compute the structure of the cohomology ring for the quantized enveloping algebra (quantum group) $U_q$ associated to a finite-dimensional simple complex Lie algebra $\mathfrak{g}$. We show that the cohomology ring is generated as an…
We study the restriction of representations of Cayley-Hamilton algebras to subalgebras. This theory is applied to determine tensor products and branching rules for representations of quantum groups at roots of 1.