Related papers: The computation of Stiefel-Whitney classes
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…
Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes…
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 propose a method for calculating cohomology operations for finite simplicial complexes. Of course, there exist well--known methods for computing (co)homology groups, for example, the reduction algorithm consisting in reducing the…
Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…
We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…
Let $q$ be an odd prime power, and $G=\text{Sp}(2n,q)$ the finite symplectic group. We give an expression for the total Stiefel-Whitney Classes (SWCs) for orthogonal representations $\pi$ of $G$, in terms of character values of $\pi$ at…
A well known quotient of the real Stiefel manifold is the projective Stiefel manifold. We introduce a new family of quotients of the real Stiefel manifold by cyclic group of order 2 whose action is induced by simultaneous pairwise flipping…
We compute the cohomology of the right generalised projective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomology computations are also used to find bounds…
Computations in the cohomology of finite groups.
We calculate the cohomology rings of a collection of seven dimensional manifolds supporting an S^3 x S^3-action with one dimensional orbit space. These manifolds are of interest to differential geometers studying non-negative and positive…
This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
In this article we are concerned with how to compute the cohomology ring of a symplectic quotient by a circle action using the information we have about the cohomology of the original manifold and some data at the fixed point set of the…
Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective…
We consider quotients of complex Stiefel manifolds by finite cyclic groups whose action is induced by the scalar multiplication on the corresponding complex vector space. We obtain a description of their tangent bundles, compute their mod p…
We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving…
We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…
We compute quantum cohomology ring of elliptic $\mathbb{P}^1$ orbifolds via orbi-curve counting. The main technique is the classification theorem which relates holomorphic orbi-curves with certain orbifold coverings. The countings of…