Distributive Products and Their Homology

Jozef H. Przytycki,Adam S. Sikora

DOI: https://doi.org/10.48550/arXiv.1105.3700

2012-10-16

Abstract:We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack and quandle homology.

Geometric Topology,Algebraic Topology

What problem does this paper attempt to address?

Polyhedral products over finite posets

Daisuke Kishimoto,Ran Levi

DOI: https://doi.org/10.1215/21562261-2022-0020

2024-06-29

Abstract:Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy theoretic construction of polyhedral products over arbitrary pointed posets. We show that under certain restrictions on the poset $\calp$, that include all known cases, the cohomology of the resulting spaces can be computed as an inverse limit over $\calp$ of the cohomology of the building blocks. This motivates the definition of an analogous algebraic construction - the polyhedral tensor product. We show that for a large family of posets, the cohomology of the polyhedral product is given by the polyhedral tensor product. We then restrict attention to polyhedral posets, a family of posets that include face posets of simplicial complexes, and simplicial posets, as well as many others. We define the Stanley-Reisner ring of a polyhedral poset and show that, like in the classical cases, these rings occur as the cohomology of certain polyhedral products over the poset in question. For any pointed poset $\calp$ we construct a simplicial poset $s(\calp)$, and show that if $\calp$ is a polyhedral poset then polyhedral products over $\calp$ coincide up to homotopy with the corresponding polyhedral products over $s(\calp)$.

Algebraic Topology
The Cohomology Algebra of Polyhedral Product Objects

Qibing Zheng

DOI: https://doi.org/10.48550/arXiv.1804.07907

2018-04-21

Abstract:In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into commutative algebra and show that the homotopy types of polyhedral product spaces depend on not only the homotopy type of each summand pair but also on the character coproduct of the pair.

Algebraic Topology
Polyhedral products and features of their homotopy theory

A. Bahri,M. Bendersky,F.R. Cohen

2024-08-27

Abstract:A polyhedral product is a natural subspace of a Cartesian product that is specified by a simplicial complex. The modern formalism arose as a generalization of the spaces known as moment-angle complexes which were developed within the nascent subject of toric topology. This field, which began as a topological approach to toric geometry and aspects of symplectic geometry, has expanded rapidly in recent years. The investigation of polyhedral products and their homotopy theoretic properties has developed to the point where they are studied in various fields of mathematics far removed from their origin. In this survey, we provide a brief historical overview of the development of this subject, summarize many of the main results and describe applications.

Algebraic Topology,Commutative Algebra,Combinatorics,History and Overview
Polyhedral coproducts

Steven Amelotte,William Hornslien,Lewis Stanton

2024-05-30

Abstract:Dualising the construction of a polyhedral product, we introduce the notion of a polyhedral coproduct as a certain homotopy limit over the face poset of a simplicial complex. We begin a study of the basic properties of polyhedral coproducts, surveying the Eckmann-Hilton duals of various familiar examples and properties of polyhedral products. In particular, we show that polyhedral coproducts give a functorial interpolation between the wedge and cartesian product of spaces which differs from the one given by polyhedral products, and we establish a general loop space decomposition for these spaces which is dual to the suspension splitting of a polyhedral product due to Bahri, Bendersky, Cohen and Gitler.

Algebraic Topology
Homotopy theoretic properties of open books

Ruizhi Huang,Stephen Theriault

2024-09-16

Abstract:We study the homotopy groups of open books in terms of those of their pages and bindings. Under homotopy theoretic conditions on the monodromy we prove an integral decomposition result for the based loop space on an open book, and under more relaxed conditions prove a rational loop space decomposition. The latter case allows for a rational dichotomy theorem for open books, as an extension of the classical dichotomy in rational homotopy theory. As a direct application, we show that for Milnor's open book decomposition of an odd sphere with monodromy of finite order the induced action of the monodromy on the homology groups of its page cannot be nilpotent.

Algebraic Topology,Geometric Topology
The homology digraph of a preordered space

Catarina Faustino,Thomas Kahl

2023-12-05

Abstract:This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology theory for the homology digraph. In particular, we prove a Künneth formula, which enables one to compute the homology digraph of a product of preordered spaces from the homology digraphs of the components.

Algebraic Topology
Homology of left non-degenerate set-theoretic solutions to the Yang–Baxter equation

Victoria Lebed,Leandro Vendramin

DOI: https://doi.org/10.1016/j.aim.2016.09.024

IF: 1.675

2017-01-01

Advances in Mathematics

Abstract:This paper deals with left non-degenerate set-theoretic solutions to the Yang–Baxter equation (= LND solutions), a vast class of algebraic structures encompassing groups, racks, and cycle sets. To each such solution there is associated a shelf (i.e., a self-distributive structure) which captures its major properties. We consider two (co)homology theories for LND solutions, one of which was previously known, in a reduced form, for biracks only. An explicit isomorphism between these theories is described. For groups and racks we recover their classical (co)homology, whereas for cycle sets we get new constructions. For a certain type of LND solutions, including quandles and non-degenerate cycle sets, the (co)homologies split into the degenerate and the normalized parts. We express 2-cocycles of our theories in terms of group cohomology, and, in the case of cycle sets, establish connexions with extensions. This leads to a construction of cycle sets with interesting properties.

mathematics
Polyhedral products in abstract and motivic homotopy theory

William Hornslien

2024-08-27

Abstract:We introduce polyhedral products in an $\infty$-categorical setting. We generalize a splitting result by Bahri, Bendersky, Cohen, and Gitler that determines the stable homotopy type of the a polyhedral product. We also introduce a motivic refinement of moment-angle complexes and use the splitting result to compute cellular $\mathbb{A}^1$-homology, and $\mathbb{A}^1$-Euler characteristics.

Algebraic Topology,Algebraic Geometry
Homology and cohomology of cubical sets with coefficients in systems of objects

Ahmet A. Husainov

2023-08-10

Abstract:This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant systems in an Abelian category with exact coproducts is isomorphic to the left satellites of a colimit functor. This made it possible to prove a number of the following new assertions, presented in the paper, about the homology and cohomology of cubical sets with coefficients in systems of objects. These homology are invariant under morphism between cubical sets when passing to the direct image of the system of coefficients. There is a criterion for the invariance of these homologies when passing to the inverse image. These homology generalize the singular cubical homology with local coefficients and the homology of semi-cubical sets with coefficients in contravariant systems. There is a spectral sequence for colimit homologies of cubical sets with coefficients in contravariant systems. The weak equivalence of cubical sets induces an isomorphism of homology with local systems. For a morphism of cubical sets whose inverse fiber morphisms are weak equivalences, there exists a spectral sequence for homology with local systems converging to the homology of the domain of this morphism. The homology of small category with coefficients in a diagram can be calculated as cubical homology. The Baues-Wirsching cohomologies with coefficients in natural systems are isomorphic to cubical cohomologies with coefficients in covariant systems.

Algebraic Topology
Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices

Karim Adiprasito,Anders Björner,Joel Hakavuori,Minas Margaritis,Volkmar Welker

2024-05-02

Abstract:We show that the maximal shifts in the minimal free resolution of the quotients of a polynomial ring by a monomial ideal are subadditive as a function of the homological degree. This answers a question that has received some attention in recent years. To do so, we define and study a new model for the homology of posets, given by the so called synor complex. We also introduce an Eilenberg-Zilber type shuffle product on the simplicial chain complex of lattices.

Commutative Algebra,Combinatorics
Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Valerio Proietti,Makoto Yamashita

2023-10-16

Abstract:We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

K-Theory and Homology,Dynamical Systems,Operator Algebras
Polyhedral products associated to pseudomanifolds

Lewis Stanton,Stephen Theriault

2024-12-05

Abstract:We study the homotopy theory of polyhedral products associated to a combinatorial generalisation of manifolds known as pseudomanifolds. As special cases, we show that loop spaces of moment-angle manifolds associated to triangulations of $S^2$ and $S^3$ decompose as a product of spheres and loops on spheres.

Algebraic Topology
Products in double categories, revisited

Evan Patterson

2024-01-17

Abstract:Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased perspective, following up an original idea by Paré to employ a double-categorical analogue of the family construction, or free product completion. Defined in this way, double categories with finite products are strictly more expressive than cartesian double categories, while being governed by a single universal property that is no more difficult to work with. We develop the basic theory and examples of such products and, by duality, of coproducts in double categories. As an application, we introduce finite-product double theories, a categorification of finite-product theories that extends recent work by Lambert and the author on cartesian double theories, and we construct the virtual double category of models of a finite-product double theory.

Category Theory
Posets arising from decompositions of objects in a monoidal category

Kevin Ivan Piterman,Volkmar Welker

2024-01-17

Abstract:Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite height, we define decompositions and partial decompositions of $X$ which are coherent with $\sqcup$, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

Combinatorics,Group Theory,Geometric Topology
Distributions on partitions arising from Hilbert schemes and hook lengths

Kathrin Bringmann,William Craig,Joshua Males,Ken Ono

DOI: https://doi.org/10.1017/fms.2022.45

2022-07-07

Abstract:Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations that arise from extensions of the Nekrasov–Okounkov hook product formula and from Betti numbers of various Hilbert schemes of n points on . For the Hilbert schemes, we prove that homology is equidistributed as . For t-hooks, we prove distributions that are often not equidistributed. The cases where stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products
On the Hochschild homology of smash biproducts

Atabey Kaygun,Serkan Sütlü

DOI: https://doi.org/10.48550/arXiv.1809.08873

2018-09-24

Abstract:We develop a new spectral sequence in order to calculate Hochschild homology of smash biproducts (also called twisted tensor products) of unital associative algebras $A\# B$ provided one of $A$ or $B$ has Hochschild dimension less than 2. We use this spectral sequence to calculate Hochschild homology of quantum tori, multiparametric quantum affine spaces, quantum complete intersections, quantum Weyl algebras, deformed completed Weyl algebras, and finally the algebra $M_q(2)$ of quantum $2\times 2$-matrices.

K-Theory and Homology
ST-Distributive and ST-Modular Lattices

M. R. Emamy-K.,Gustavo A. Melendez Rios

2023-12-06

Abstract:For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices.

Combinatorics
Homology of Segre powers of Boolean and subspace lattices

Yifei Li,Sheila Sundaram

2024-09-02

Abstract:Segre products of posets were defined by Björner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)]. We investigate the $t$-fold Segre powers of the Boolean lattice $B_n$ and the subspace lattice $B_n(q)$. The case $t=2$ was considered by Yifei Li in [Alg. Comb. 6 (2), 457--469, 2023]. We describe how to construct an EL-labeling for the $t$-fold Segre power $P^{(t)}=P\circ \cdots \circ P$ ($t$ factors) from an EL-labeling of a pure poset $P$. We develop an extension of the product Frobenius characteristic defined by Li to examine the action of the $t$-fold direct product of the symmetric group on the homology of rank-selected subposets of $B_n^{(t)}$, giving an explicit formula for the decomposition into irreducibles for the homology of the full poset. We show that the stable principal specialisation of the associated Frobenius characteristics coincides with the corresponding rank-selected invariants for the $t$-fold Segre power of the subspace lattice.

Combinatorics,Representation Theory
Higher structures on homology groups

Niels Kowalzig,Francesca Pratali

2024-06-11

Abstract:We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is endowed with the structure of a Gerstenhaber coalgebra, that is, it comes with a graded cocommutative coproduct which is compatible with a coantisymmetric cobracket in a dual Leibniz sense. As an application, one obtains Gerstenhaber coalgebra structures on Tor groups over bialgebras or Hopf algebras, as well as on Hochschild homology for Frobenius algebras.

Algebraic Topology,K-Theory and Homology,Quantum Algebra
A homotopy approach to set theory

Misha Gavrilovich

DOI: https://doi.org/10.48550/arXiv.1006.4647

2010-06-24

Abstract:We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be proven within ZFC and which first appeared in PCF theory. The formalism allows to draw analogies between notions of set theory and those of homotopy theory, and we indeed observe a similarity between homotopy theory ideology/yoga and that of PCF theory. We also briefly discuss conjectural connections with model theory and arithmetics and geometry.

Category Theory,Logic

Distributive Products and Their Homology

Polyhedral products over finite posets

The Cohomology Algebra of Polyhedral Product Objects

Polyhedral products and features of their homotopy theory

Polyhedral coproducts

Homotopy theoretic properties of open books

The homology digraph of a preordered space

Homology of left non-degenerate set-theoretic solutions to the Yang–Baxter equation

Polyhedral products in abstract and motivic homotopy theory

Homology and cohomology of cubical sets with coefficients in systems of objects

Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices

Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Polyhedral products associated to pseudomanifolds

Products in double categories, revisited

Posets arising from decompositions of objects in a monoidal category

Distributions on partitions arising from Hilbert schemes and hook lengths

On the Hochschild homology of smash biproducts

ST-Distributive and ST-Modular Lattices

Homology of Segre powers of Boolean and subspace lattices

Higher structures on homology groups

A homotopy approach to set theory