Related papers: A descent homomorphism for semimultiplicative sets

A well-known ansatz (`trace method') for soliton solutions turns the equations of the (noncommutative) KP hierarchy, and those of certain extensions, into families of algebraic sum identities. We develop an algebraic formalism, in…

We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…

Let P be a left LCM semigroup, and $\alpha$ an action of $P$ by endomorphisms of a $C^{*}$-algebra $A$. We study a semigroup crossed product $C^{*}$-algebra in which the action $\alpha$ is implemented by partial isometries. This crossed…

In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.

We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $\omega$-groupoids. Most of the development is folklore, but for a few results the author is…

We propose a general conjecture on decompositions of finite simple groups as products of conjugates of an arbitrary subset. We prove this conjecture for bounded subsets of arbitrary finite simple groups, and for large subsets of groups of…

It is proved that the automorphism group of a semigroup being an inflation of its proper subsemigroup decomposes into a semidirect product of two groups one of which is a direct sum of full symmetric groups.

Let A be a singular matrix of M_n(K), where K is an arbitrary field. Using canonical forms, we give a new proof that the sub-semigroup of (M_n(K),x) generated by the similarity class of A is the set of matrices of M_n(K) with a rank lesser…

This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…

We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine…

The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special…

In this paper, we consider a question of sum-keeping about a multiplicative subsemigroup and its generator subsets in a semiring, and develop some elementary (collapse) process of the sum-keeping retraction through subsets until one minimal…

We study commutators of congruences, idempotent endomorphisms and semidirect-product decompositions of heaps and trusses.

We prove that algebraic K-theory, topological Hochschild homology and topological cyclic homology satisfy cubical and cosimplicial descent at connective structured ring spectra along 1-connected maps of such ring spectra.

We propose a generalisation of Exel's crossed product by a single endomorphism and a transfer operator to the case of actions of abelian semigroups of endomorphisms and associated transfer operators. The motivating example for our…

Let T be a complete discrete valuation ring and $\hat{X}$ a smooth projective curve over $S=\spec(T)$ with closed fibre $X$. Denote by $F$ the function field of $\hat{X}$ and by $\hat{F}$ the completion of $F$ with respect to the discrete…

For a matched pair of locally compact quantum groups, we construct the double crossed product as a locally compact quantum group. This construction generalizes Drinfeld's quantum double construction. We study C*-algebraic properties of…

The structure of transformation semigroups on a finite set is analyzed by introducing a hierarchy of functions mapping subsets to subsets. The resulting hierarchy of semigroups has a corresponding hierarchy of minimal ideals, or kernels.…

We establish a tensor product theorem for slope semistable parabolic $\lambda$-connections over smooth projective varieties in arbitrary characteristic.

We study the homology of pointed sets over a partially commutative monoid.