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."

Euclidean geometric invariant of framed knots in manifolds

We present an invariant of a three dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. An important feature of our work is that we are not using any nontrivial representation of the manifold fundamental group or knot group.

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.

On the boundedness on inhomogeneous Lipschitz spaces of fractional integrals, singular integrals and hypersingular integrals associated to non-doubling measures on metric spaces

In this paper we prove T1 type necessary and sufficient conditions for the boundedness on inhomogeneous Lipschitz spaces of fractional integrals and singular integrals defined on a measure metric space whose measure satisfies a n-dimensional growth. We also show that hypersingular integrals are bounded on these spaces.

Metric properties of the braided Thompson's groups

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

Inverse problems for invariant algebraic curves: explicit computations

Given an algebraic curve in the complex affine plane, we describe how to determine all planar polynomial vector fields which leave this curve invariant. If all (finite) singular points of the curve are nondegenerate, we give an explicit expression for these vector fields. In the general setting we provide an algorithmic approach, and as an alternative we discuss sigma processes.

A general construction of internal sheaves in algebraic set theory

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Note on homology of expanding foliations

This note contains some remarks about the homologies that can be associated to a foliation which is invariant and uniformly expanded by a diffeomorphism. We construct a family of 'dynamical' closed currents supported on the foliation which help us relate the geometric volume growth of the leaves under the diffeomorphism with the map induced on homology in the case when these currents have nonzero homology.

Critical mass for a Patlak-Keller-Segel model with degenerate diffusion in higher dimensions

"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.

Coupling and monotonicity of queueing processes

The main purpose of this work is to give a survey of main monotonicity properties of queueing processes based on the coupling method. The literature on this topic is quite extensive, and we do not consider all aspects of this topic. Our more concrete goal is to select the most interesting basic monotonicity results and give simple and elegant proofs. Also we give a few new (or revised) proofs of a few important monotonicity properties for the queue-size and workload processes both in single-server and multi- server systems. The paper is organized as follows. In Section 1, the basic notions and results on coupling method are given. Section 2 contains known coupling results for renewal processes with focus on construction of synchronized renewal instants for a superposition of independent renewal processes. In Section 3, we present basic monotonicity results for the queue-size and workload processes. We consider both discrete-and continuous-time queueing systems with single and multi servers. Less known results on monotonicity of queueing processes with dependent service times and interarrival times are also presented. Section 4 is devoted to monotonicity of general Jackson-type queueing networks with Markovian routing. This section is based on the notable paper [17]. Finally, Section 5 contains elements of stability analysis of regenerative queues and networks, where coupling and monotonicity results play a crucial role to establish minimal suficient stability conditions. Besides, we present some new monotonicity results for tandem networks.