Projective modules over the Gerasimov-Sakhaev counterexample

We investigate the structure of the so-called Gerasimov- Sakhaev counterexample, which is a particular example of a universal localization, and classify (both finitely and infinitely generated) projective modules over it.

Parabolic and quasiparabolic subgroups of free partially commutative groups

Let Γ be a finite graph and G be the corresponding free partially commutative group. In this paper we study subgroups generated by vertices of the graph Γ, which we call canonical parabolic subgroups. A natural extension of the definition leads to canonical quasiparabolic subgroups. It is shown that the centralisers of subsets of G are the conjugates of canonical quasiparabolic centralisers satisfying certain graph theoretic conditions.

Una aproximació al pensament algebraic a l'Espanya del segle XVI: estudi del manuscrit 2294 de la Biblioteca de la Universitat de Salamanca

Aquest treball analitza el “Tratado y libro de arte mayor o álgebra” que forma part del manuscrit 2294 de la Biblioteca de la Universitat de Salamanca, datat el 1590. El seu autor és Diego Pérez de Mesa. L’objectiu d’aquest estudi és aportar nous elements que ajudin a entendre quin era l’estatus de l’àlgebra a la Península Ibèrica en un segle que va ser clau en el seu desenvolupament. Primer es descriu el manuscrit i després es reflexiona sobre les seves aportacions a la matemàtica, mostrant algunes característiques originals d’aquesta àlgebra enfront d’altres àlgebres de la Península Ibèrica del segle XVI.

Encryption methods using formal power series rings

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.

Discriminating groups: a comprehensive overview

Discriminating groups were introduced by G.Baumslag, A.Myasnikov and V.Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. However they have taken on a life of their own and have been an object of a considerable amount of study. In this paper we survey the large array results concerning the class of discriminating groups that have been developed over the past decade.

The equation xpyq=zr and groups that act freely on Λ-trees

"Vegeu el resum a l’inici del document del fitxer adjunt."

Brown representability follows from Rosicky

We prove that the dual of a well generated triangulated category satisfies Brown representability, as long as there is a combinatorial model. This settles the major open problem in [13]. We also prove that Brown representability holds for non-dualized well generated categories, but that only amounts to the fourth known proof of the fact. The proof depends crucially on a new result of Rosicky [14].

Subgroups of small index in Aut(Fn) and Kazhdan's property (T)

We give a series of interesting subgroups of finite index in Aut(Fn). One of them has index 42 in Aut(F3) and infinite abelianization. This implies that Aut(F3) does not have Kazhdan’s property (T) (see [3] and [6] for another proofs). We proved also that every subgroup of finite index in Aut(Fn), n &= 3, which contains the subgroup of IA-automorphisms, has a finite abelianization.

Orbit decidability and the conjugacy problem for some extensions of groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

A curious example of two model categories and some associated differential graded algebras

"Vegeu el resum a l'inici del document del fitxer adjunt."

Homotopy limits for 2-categories

We study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2-categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits.

Maltsiniotis's first conjecture for K1

We show that K1(E) of an exact category E agrees with K1(DE) of the associated triangulated derivator DE. More generally we show that K1(W) of a Waldhausen category W with cylinders and a saturated class of weak equivalences agrees with K1(DW) of the associated right pointed derivator DW.

Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Metric properties of the braided Thompson's groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

Model structures on the category of small double categories

In this paper we obtain several model structures on DblCat, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double categories as internal categories in Cat and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, DblCat inherits a model structure as a category of algebras over a 2-monad. Some of these model structures coincide and the different points of view give us further results about cofibrant replacements and cofi brant objects. As part of this program we give explicit descriptions and discuss properties of free double categories, quotient double categories, colimits of double categories, and several nerves and categorifications.