Related papers: The computation of Stiefel-Whitney classes

In this paper, we study equivariant real cycle class maps for group actions on real schemes, with a view toward Witt-sheaf characteristic classes. The cycle class maps take values in singular cohomology of the real points of the quotient…

For each subcomplex of the standard CW-structure on any torus, we compute the homology of a certain infinite cyclic regular covering space. In all cases when the homology is finitely generated, we also compute the cohomology ring. For…

We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient…

When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting…

We study cup products in integral cohomology of the Hilbert scheme of $n$ points on a K3 surface and present a computer program for this purpose. In particular, we deal with the question, which classes can be represented by products of…

We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent \alpha in terms of the ranks of…

We present an efficient method for the computation of homogenized coefficients of divergence-form operators with random coefficients. The approach is based on a multiscale representation of the homogenized coefficients. We then implement…

Aperiodic point sets (or tilings) which can be obtained by the method of cut and projection from higher dimensional periodic sets play an important role for the description of quasicrystals. Their topological invariants can be computed…

The rational homology of unordered configuration spaces of points on any surface was studied by Drummond-Cole and Knudsen. We compute the rational cohomology of configuration spaces on a closed orientable surface, keeping track of the mixed…

Lower bounds of betti numbers for homology groups of racks and quandles will be given using the quotient homomorphism to the orbit quandles. Exact sequences relating various types of homology groups are analyzed. Geometric methods of…

Support varieties for Lie superalgebras over the complex numbers were introduced in \cite{BKN1} using the relative cohomology. In this paper we discuss finite generation of the relative cohomology rings for Lie superalgebras, we formulate a…

Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…

Based on the multiplicative rule of Schubert classes obtained in [Du3], we present an algorithm computing the product of two arbitrary Schubert classes. As a result, the algorithm gives also a method to compute the integral cohomology ring…

We describe the computation of the mod-2 cohomology rings of all 2328 groups of order 128. One consequence is that all groups of order less than 256 satisfy the strong form of Benson's Regularity Conjecture.

We compute the total Stiefel-Whitney Classes (SWCs) for orthogonal representations of special linear groups $\text{SL}(n,q)$ when $n$ and $q$ are odd. These classes are expressed in terms of character values at diagonal elements of order…

Lecture notes. Introduction to the cohomology of algebras, Lie algebras, Lie bialgebras and quantum groups. Contains a new derivation of the classification of classical r-matrices in terms of deformation cohomology, and a calculation of the…

We present an algorithm to compute the Hecke operators on the equivariant cohomology of an arithmetic subgroup $\Gamma$ of the general linear group $\mathrm{GL}_n$. This includes $\mathrm{GL}_n$ over a number field or a finite-dimensional…

In this paper we completely classify which graded polynomial R-algebras in finitely many even degree variables can occur as the singular cohomology of a space with coefficients in R, a 1960 question of N. E. Steenrod, for a commutative ring…

We define several versions of the cohomology ring of an associative algebra. These ring structures unify some well known operations from homological algebra and differential geometry. They have some formal resemblance with the quantum…

We compute the cohomology with trivial coefficients of two graded infinite-dimensional Lie algebras of maximal class, give explicit formulas for their representative cocycles. Also we discuss the relations with combinatorics and…