相关论文: Steenrod coalgebras III. The fundamental group

In this paper, we extend earlier work by showing that if $X$ and $Y$ are simplicial complexes (i.e. simplicial sets whose simplices are determined by their vertices), a morphism $g:N(X)\to N(Y)$ of Steenrod coalgebras (normalized…

In this paper, we extend earlier work by showing that if $X$ and $Y$ are simplicial complexes (i.e. simplicial sets whose nondegenerate simplices are determined by their vertices), an isomorphism $\mathcal{C}(X)\cong\mathcal{C}(Y)$ of…

The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that…

It is shown that if a finite generically smooth morphism $f\,:\,Y\,\longrightarrow\, X$ of smooth projective varieties induces an isomorphism of the \'etale fundamental groups, then the induced map of the stratified fundamental groups…

We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for…

This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument…

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…

Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with…

The analogue of Lagrangians for symplectic forms over finite groups is studied, motivated by the fact that symplectic G-forms with a normal Lagrangian N<G are in one-to-one correspondence, up to inflation, with bijective 1-cocycle data on…

This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…

Let $V$ be a complete discrete valuation ring, and let $G$ be either a word-hyperbolic group or a reductive $p$-adic group. We prove that the canonical morphism $V[G] \to V[G]^\dagger$ from the group algebra to its dagger completion is an…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $\pi$ on $G$ such that $\s(xy)=\s(x)\s^{\pi(x)}(y)$ for all $x,y\in G$. It has been known that…

We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

In this paper, we prove that the fundamental group of a simplicial complex is isomorphic to the algebraic fundamental group of its incidence algebra, and we derive some applications.

Let $R$ be a discrete valuation ring with fraction field $K$. Let $X$ be a proper and faithfully flat $R$-scheme, endowed with a section $x \in X(R)$, with connected and reduced generic fibre $X_{\eta}$. Let $f: Y \rightarrow X_{\eta}$ be a…

Let $F_2$ be the prime field of two elements and let $GL_s:= GL(s, F_2)$ be the general linear group of rank $s.$ Denote by $\mathscr A$ the Steenrod algebra over $F_2.$ The (mod-2) Lambda algebra, $\Lambda,$ is one of the tools to describe…

We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as…

We study the homology of simplicial and cubical sets with symmetries. These are simplicial and cubical sets with additional maps expressing the symmetries of simplices and cubes. We consider the chain complex computing the homology groups…