Related papers: Height four formal groups with quadratic complex m…
We classify closed, topological spin$^+$ 4-manifolds with fundamental group $\pi$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(\pi)$ copies of $S^2\times S^2$. In general we…
We compute the automorphism group of the q-enveloping algebra U_q(sl_4^+) of the nilpotent Lie algebra of strictly upper triangular matrices of size 4. The result obtained gives a positive answer to a conjecture of Andruskiewitsch and…
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of…
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the…
We give a classification of finite groups of symplectic birational automorphisms on a manifold of K3^[3]-type with stable and stably saturated cohomological action. We describe the group of polarized automorphisms of a smooth double…
We present a new flavor of TAF-type (co)homology theories, which are p-local of height two and based on the isometry group of the odd unimodular hermitian lattice of signature (1,1) over the Gaussian integers. Using a suitable family of…
Let $G$ be the group $SL(2,\mathbb{R})$, $P\subset G$ be the parabolic subgroup of upper triangular matrices and $\Gamma\subset G$ be a cocompact lattice. A right action of $P$ on $\Gamma\backslash G$ defines an orbit foliation…
Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…
The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring $R$. Concretely, for each regular path complex $P$, we associate it with a singular $\Delta$-complex…
In the past two decades, extensive research has been conducted on the (co)homology of various models of random simplicial complexes. So far, it has always been examined merely as a list of groups. This paper expands upon this by describing…
We compute the automorphisms groups of all numerical Godeaux surfaces, i.e. minimal smooth surfaces of general type with K^2 = 1 and p_g = 0, with torsion of the Picard group of order \nu equals 3, 4, or 5. We present explicit…
We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite…
A family of closed manifolds is called cohomologically rigid if a cohomology ring isomorphism implies a diffeomorphism for any two manifolds in the family. We establish cohomological rigidity for large families of 3-dimensional and…
The present work investigates regular, semiregular, and chiral polytopes of any rank $d\geq 3$, whose automorphism groups are 2-groups. There is a large variety of rather small finite regular or alternating semiregular polytopes with…
Working over an algebraically closed field of characteristic zero, we compute the cohomology of the subalgebra A(2) of the motivic Steenrod algebra that is generated by Sq^1, Sq^2, and Sq^4. The method of calculation is a motivic version of…
Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this…
Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24…
Computations based on explicit 4-periodic resolutions are given for the cohomology of the finite groups G known to act freely on S^3, as well as the cohomology rings of the associated 3-manifolds (spherical space forms) M = S^3/G. Chain…
We are familiar with properties and structure of topological spaces. One of the powerful tools, which help us to figure out the structure of topological spaces is (Leray- Serre) spectral sequence. Although Eilenberg-Maclane space plays…