Jie Wu
By studying braid group actions on Milnor's construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set of the pure braid group action on certain combinatorially described group. We also give certain representation of higher differentials in the Adams spectral sequence for the homotopy groups of the 2-sphere.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category $\mathfrak{C}$, one can obtain a new Hopf algebra structure living in the category of Yetter-Drinfeld modules over $H$, due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an…
The operad associated to a crossed simplicial group
本文提出 operadic 交叉 simplicial 群的概念，并展示了其与 $E_\infty$-operad 和 $E_2$-operad 的关联，通过广义 bar 构造和 monads 识别验证了其有效性。
Categorifying equivariant monoids
本文结合 PROPs、PROBs 与交叉单纯群理论，构造出编码等变幺半群结构的范畴，其代数范畴等价于带群作用的各类幺半群，并扩展至平衡辫张范畴和对合幺半群。
A near-group category is an additively semisimple category with a product such that all but one of the simple objects is invertible. We classify braided structures on near-group categories, and give explicit numerical formulas for their associativity and commutativity morphisms.
We classify extensions of a group $G$ by a braided 2-group $\mathcal{B}$ as defined by Drinfeld, Gelaki, Nikshych, and Ostrik. We describe such extensions as homotopy classes of maps from the classifying space of $G$ to the classifying space of the 3-group of braided $\mathcal{B}$-bitorsors. The Postnikov system of the latter space contains a generalization of the classical Pontryagin square to the setting of local coefficients, which has been previously discussed by Baues and more recently, in a setting close to ours, by Etingof, Nikshych, and Ostrik. We give an explicit cochain-level descrip…
A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are equivalent to the categories of monoids and comonoids using the category associated to the braid crossed simplicial group of Fiedorowicz and Loday. We show that PROBs can be composed by generalizing the machinery introduced by Lack for PROPs. We use this to define a PROB for bimonoids in a braided monoidal category as a composite of the PROBs for monoids and…
Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory, the simplicial bicategory termed its Segal nerve, and the simplicial set called its Street geometric nerve, and it proves the fact that the geometric realizations of all of these possible candidate 'nerves of the tricategory' are homotopy equivalent. Our results provide coherence for all reasonable extensions to tricategories of Quillen's definition of the …
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be though…
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, 2-crossed modules and braided crossed modules. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots, for which we also find a lifting by using braided crossed modules.
We provide explicit and unified formulas for the cocycles of all degrees on the normalized bar resolutions of finite abelian groups. This is achieved by constructing a chain map from the normalized bar resolution to a Koszul-like resolution for any given finite abelian group. With a help of the obtained cocycle formulas, we determine all the braided linear Gr-categories and compute the Dijkgraaf-Witten Invariants of the $n$-torus for all $n$.
The Helon model identifies Standard Model quarks and leptons with certain framed braids joined together at both ends by a connecting node (disk). These surfaces with boundary are called braided 3-belts (or simply belts). Twisting and braiding of ribbons composing braided 3-belts are interchangeable, and it was shown in the literature that any braided 3-belt can be written in a pure twist form, specified by a vector of three multiples of half integers [a,b,c], a topological invariant. This paper identifies the set of braided 3-belts that can be written in a braid only form in which all twisting…
We define two different simplicial complexes, the common divisor simplicial complex and the prime divisor simplicial complex, from a set of integers, and explore their similarities. We will define a map between the two simplicial complexes, and use this map to show that for any set of integers, the fundamental groups of the resulting simplicial complexes are isomorphic.
We give a new explicit construction for the simplicial group $K(A,n)$. We explain the topological interpretation and discuss some possible applications.
We show that the cohomology group of the equivariant simplicial de Rham complex is isomorphic to the cohomology group of the classifying space of a semi-direct product group.
We extend the nonabelian Dold-Kan decomposition for simplicial groups of Carrasco and Cegarra in two ways. First, we show that the total order of the subgroups in their decomposition belongs to a family of total orders all giving rise to Dold-Kan decompositions. We exhibit a particular partial order such that the family is characterized as consisting of all total orders extending the partial order. Second, we consider symmetric-simplicial groups and show that, by using a specially chosen presentation of the category of symmetric-simplicial operators, new Dold-Kan decompositions exist which are…
We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of simplicial groupoids $G$ on a site $\mathcal{C}$ and classify $G$-torsors by the homotopy classes $[\ast, \bar{W}G]$.
The classical universal bundle functor W:sGrp(C) \to sSet(C) for simplicial groups in a category C with finite products lifts to a monad on sGrp(C). This result extends to simplicial algebras for any Lawvere theory containing that of groups.
We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $Ω\mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which each object is dualizable (for $n\geq 2$, $d \geq 0$, $d \leq g \leq \infty$). This action determines a canonical action by the continuous group $Ω\mathbb{R}\mathbb{P}^{n-1}$ on the moduli space of objects of each such $\mathcal{R}$. In cases where the parameters $n$, $d$, and $g$ are small, we compare these continuous symmetries to known symmetries, which manife…
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
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.
Simplicial volume of manifolds fibering with connected structure group
本文研究了具有连通结构群的纤维丛的单纯体积，证明了当结构群为紧致群或 Lie 群，或纤维为非球面时，全空间的单纯体积与平凡丛的单纯体积相等。
It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that between groups and monoids. Thus one may ask if the underlying simplicial set of each simplicial monoid is a quasi-category. In this short note, we construct a simplicial monoid whose underlying simplicial set is not a quasi-category.
We introduce a linearly ordered lattice $μ(Grp)$ of torsion theories in simplicial groups. The torsion theories are defined where the torsion/torsion-free subcategories are given by the simplicial groups with bounded above/below Moore complex, respectively. These torsion theories extend naturally the torsion theories in internal groupoids in groups. Connections of this lattice with the homotopy groups are established since the homotopy groups of a simplicial group can be calculated as the quotients of torsion subojects.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。