Lifting Grobner bases from the exterior algebra

In the article "Non-commutative Grobner bases for commutative algebras", Eisenbud-Peeva-Sturmfels proved a number of results regarding Grobner bases and initial ideals of those ideals in the free associative algebra which contain the commutator ideal. We prove similar results for ideals which contains the anti-commutator ideal (the defining ideal of the exterior algebra). We define one notion of generic initial ideals in the free assoicative algebra, and show that gin's of ideals containing the commutator ideal, or the anti-commutator ideal, are finitely generated.Comment: 6 pages, LaTeX2

Commutator identities on associative algebras and integrability of nonlinear pde's

It is shown that commutator identities on associative algebras generate solutions of linearized integrable equations. Next, a special kind of the dressing procedure is suggested that in a special class of integral operators enables to associate to such commutator identity both nonlinear equation and its Lax pair. Thus problem of construction of new integrable pde's reduces to construction of commutator identities on associative algebras.Comment: 12 page

Commutators and Anti-Commutators of Idempotents in Rings

We show that a ring $\,R\,$ has two idempotents $\,e,e'\,$ with an invertible commutator $\,ee'-e'e\,$ if and only if $\,R \cong {\mathbb M}_2(S)\,$ for a ring $\,S\,$ in which $\,1\,$ is a sum of two units. In this case, the "anti-commutator" $\,ee'+e'e\,$ is automatically invertible, so we study also the broader class of rings having such an invertible anti-commutator. Simple artinian rings $\,R\,$ (along with other related classes of matrix rings) with one of the above properties are completely determined. In this study, we also arrive at various new criteria for {\it general\} $\,2\times 2\,$ matrix rings. For instance, $R\,$ is such a matrix ring if and only if it has an invertible commutator $\,er-re\,$ where $\,e^2=e$.Comment: 21 page

Isometric endomorphisms of free groups

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolute minimizer for relative Gromov norm) for its boundary; this implies, for instance, that a random element of a free group with commutator length at most n has commutator length exactly n and stable commutator length exactly n-1/2. Our methods also let us construct explicit (and computable) quasimorphisms which certify these facts.Comment: 26 pages, 6 figures; minor typographical edits for final published versio