Confluence of algebraic rewriting systems

Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are based on higher-dimensional extensions of the critical branching lemma that proves local confluence from confluence of the critical branchings. The analysis of local confluence of rewriting systems on algebraic structures, such as groups or linear algebras, is complicated because of the underlying algebraic axioms. This article introduces the structure of algebraic polygraph modulo that formalizes the interaction between the rules of an algebraic rewriting system and the inherent algebraic axioms, and we show a critical branching lemma for algebraic polygraphs. We deduce a critical branching lemma for rewriting systems on algebraic models whose axioms are specified by convergent modulo rewriting systems. We illustrate our constructions for string, linear, and group rewriting systems.

s-Sequences and Monomial Modules

In this paper we study a monomial module M generated by an s-sequence and the main algebraic and homological invariants of the symmetric algebra of M. We show that the first syzygy module of a finitely generated module M, over any commutative Noetherian ring with unit, has a specific initial module with respect to an admissible order, provided M is generated by an s-sequence. Significant examples complement the results.

Certain homological invariants of bipartite kneser graphs

In this paper, we obtain a combinatorial formula for computing the Betti numbers in the linear strand of edge ideals of bipartite Kneser graphs. We deduce lower and upper bounds for regularity of powers of edge ideals of these graphs in terms of associated combinatorial data and show that the lower bound is attained in some cases. Also, we obtain bounds on the projective dimension of edge ideals of these graphs in terms of combinatorial data.

On the Bieri–Neumann–Strebel–Renz invariants of residually free groups

We calculate the Bieri–Neumann–Strebel–Renz invariant Σ1(G) for finitely presented residually free groups G and show that its complement in the character sphere S(G) is a finite union of finite intersections of closed sub-spheres in S(G). Furthermore, we find some restrictions on the higher-dimensional homological invariants Σn(G, ℤ) and show for the discrete points Σ2(G)dis, Σ2(G, ℤ)dis and Σ2(G, ℚ)dis in Σ2(G), Σ2(G, ℤ) and Σ2(G, ℚ) that we have the equality Σ2(G)dis = Σ2(G, ℤ)dis = Σ2(G, ℚ)dis.