Related papers: Discrete Morse Theory for free chain complexes
There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion…
Torsion-freeness for discrete quantum groups was introduced by R. Meyer in order to formulate a version of the Baum-Connes conjecture for discrete quantum groups. In this note, we introduce torsion-freeness for abstract fusion rings. We…
We construct, for the free group acting on its Cayley tree, boomerang subgroups whose critical exponent is arbitrarily close to the critical exponent of a given finitely generated subgroup.
We present several approaches to equivariant intersection cohomology. We show that for a complete algebraic variety acted by a connected algebraic group $G$ it is a free module over $H^*(BG)$. The result follows from the decomposition…
In recent work the author investigates perfect matchings of a bipartite graph obtained from a knot diagram and demonstrates that these correspond to discrete Morse functions on a 2-complex for the 2-sphere. This relationship is expounded…
The celebrated Thue-Morse sequence, or the Prouhet-Thue-Morse sequence (A010060 in the OEIS), has a number of interesting properties and is a rich source to many (counter)examples. We introduce two different square-free sequences on three…
We show that every finitely generated free-by-cyclic group $G$ admits a largest acylindrical action on a hyperbolic space $X$ obtained by coning off maximal product subgroups of $G$. We characterise Morse geodesics of $G$ as those that…
We study the crossed product $C^*$-algebra associated to injective endomorphisms, which turns out to be equivalent to study the crossed product by the dilated autormorphism. We prove that the dilation of the Bernoulli $p$-shift endomorphism…
In the reduced free product of C*-algebras (A,phi)=(A_1,phi_1)*(A_2,phi_2), A is shown to be purely infinite and simple under the hypothesis that A_1 is the crossed product of a C*-algebra by a discrete infinite group, phi_1 is well behaved…
We give a simple algebraic description of opetopes in terms of chain complexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. More generally, we show that the chain complexes…
Starting from an arbitrary endomorphism \delta of a unital C*-algebra A we construct a crossed product. It is shown that the natural construction depends not only on the C*-dynamical system (A,\delta) but also on the choice of an ideal J…
The Discrete Morse Theory of Forman appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for…
This paper characterizes the unital C*-algebra generated by a single invertible element as the unital free product of C[0,1] and C(T). To do this, I develop techniques to split and merge presentations of C*-algebras using free products in…
For a quasiprojective variety S, we define a category CHM(S) of pure Chow motives over S. Assuming conjectures of Grothendieck and Murre, we show that the decomposition theorem holds in CHM(S). As a consequence, the intersection complex of…
The established equivalence between 2-crossed modules and Gray 3-groups [M. Sarikaya and E. Ulualan, 2024] serves as a benchmark for higher-dimensional algebraic models. However, to the best of our knowledge, the established definitions of…
We describe the representation theory of C*-crossed-products of a unital C*-algebra A by the cyclic group of order 2. We prove that there are two main types of irreducible representations for the crossed-product: those whose restriction to…
The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular…
We introduce the notion of a lower bound cluster algebra generated by projective cluster variables as a polynomial ring over the initial cluster variables and the so-called projective cluster variables. We show that under an acyclicity…
Let $M^3 \subset \mathbb{C}^2$ be a $\mathcal{C}^\omega$ Levi nondegenerate hypersurface. In the literature, Cartan-Moser chains are detected from rather advanced considerations: either from the construction of a Cartan connection…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…