Related papers: The computation of Stiefel-Whitney classes
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…
Let G be a linear algebraic group, not necessarily connected or reductive, over the field of real numbers R. We describe a method, implemented on computer, to find the first Galois cohomology set H^1(R,G). The output is a list of 1-cocycles…
We propose new tools based on basic lattice theory to calculate the integral cohomology of the quotient of a manifold by an automorphism group of prime order. As examples of applications, we provide the Beauville--Bogomolov forms of some…
In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors…
Given an arrangement of subtori of arbitrary codimension in a torus, we compute the cohomology groups of the complement. Then, using the Leray spectral sequence, we describe the multiplicative structure on the graded cohomology. We also…
We reduce the computation of Poisson traces on quotients of symplectic vector spaces by finite subgroups of symplectic automorphisms to a finite one, by proving several results which bound the degrees of such traces as well as the dimension…
We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated…
We study the space of codimension two subalgebras in $C^\infty(S^1, {\mathbb R})$ defined by pairs of conditions $f(\varphi)=f(\psi)$, $\varphi \neq \psi \in S^1$, or by their limits. We compute the mod 2 cohomology ring of this space, and…
The Witt group of a smooth curve over a real closed field is explicitely calculated. The method uses a comparison theorem between the graded Witt group and the etale cohomology groups. In the second part of the paper, the torsion Picard…
We introduce Deligne cohomology that classifies U(1) fibre bundles over 3-manifolds endowed with connections. We show how the structure of Deligne cohomology classes provides a way to perform exact (non-perturbative) computations in U(1)…
Semigroup theory is a branch of abstract algebra, and it provides mathematical tools for the theory of computation. Finite semigroups can describe state transition systems and thus they model physically realizable computers. Engineering…
Characteristic class relations in Dolbeault cohomology follow from the existence of a holomorphic Cartan geometry (for example, a holomorphic conformal structure or a holomorphic projective connection). These relations can be calculated…
Simplicial complexes X provide commutative rings A(X) via the Stanley-Reisner construction. We calculated the cotangent cohomology, i.e., T1 and T2 of A(X) in terms of X. These modules provide information about the deformation theory of the…
In this paper, we consider the split even Clifford group $\Gamma^+_n$ and compute the mod 2 motivic cohomology ring of its Nisnevich classifying space. The description we obtain is quite similar to the one provided for spin groups in [11].…
A method is provided for computing an upper bound of the complexity of a module over a local ring, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which…
We introduce a theory of finite polynomial cohomology with coefficients in this paper. We prove several basic properties and introduce an Abel-Jacobi map with coefficients. As applications, we use such a cohomology theory to study…
Let G be a reductive linear algebraic group over a field k. Let A be a finitely generated commutative k-algebra on which G acts rationally by k-algebra automorphisms. Invariant theory tells that the ring of invariants A^G=H^0(G,A) is…
In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic…
The author establishes finite-generation of the cohomology ring of a classical Lie superalgebra relative to an even subsuperalgebra. A spectral sequence is constructed to provide conditions for when this relative cohomology ring is…
We compute the degree of Stiefel manifolds, that is, the variety of orthonormal frames in a finite dimensional vector space. Our approach employs techniques from classical algebraic geometry, algebraic combinatorics, and classical invariant…