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.

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.

The Euler characteristic of a category

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula is proved for the cardinality of a colimit of sets, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Rota's Möbius inversion from posets to categories.

A model category structure on the category of simplicial multicategories

We establish a Quillen model structure on simplicial(symmetric) multicategories. It extends the model structure on simplicial categories due to J. Bergner [2]. We observe that our technique of proof enables us to prove a similar result for (symmetric) multicategories enriched over other monoidal model categories than simplicial sets. Examples include small categories, simplicial abelian groups and compactly generated Hausdorff spaces.

On an extension of the notion of Reedy category

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

A Thomason model structure on the category of small n-fold categories

We construct a cofibrantly generated Thomason model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak equivalence if and only if the diagonal of its n-fold nerve is a weak equivalence of simplicial sets. We introduce an n-fold Grothendieck construction for multisimplicial sets, and prove that it is a homotopy inverse to the n-fold nerve. As a consequence, the unit and counit of the adjunction between simplicial sets and n-fold categories are natural weak equivalences.

On the trace of an endofunctor of a small category

The trace of a square matrix can be defined by a universal property which, appropriately generalized yields the concept of "trace of an endofunctor of a small category". We review the basic definitions of this general concept and give a new construction, the "pretrace category", which allows us to obtain the trace of an endofunctor of a small category as the set of connected components of its pretrace. We show that this pretrace construction determines a finite-product preserving endofunctor of the category of small categories, and we deduce from this that the trace inherits any finite-product algebraic structure that the original category may have. We apply our results to several examples from Representation Theory obtaining a new (indirect) proof of the fact that two finite dimensional linear representations of a finite group are isomorphic if and only if they have the same character.

Reconstruction of a superscheme from its derived category

The aim of this paper is to construct a "super" version of a tensor triangulated category, and to show that super-schemes can be reconstructed from its category of perfect complexes in a way similar to Balmer [Bal05] provided we consider this extra structure.

The orthogonal subcategory problem in homotopy theory

It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. One proves similarly, on one hand, that homotopy localization exists with respect to sets of maps in every cofibrantly generated, left proper, simplicial model category M whose underlying category is locally presentable. On the other hand, as we show in this article, the existence of localization with respect to possibly proper classes of maps in a model category M satisfying the above assumptions is implied by a large-cardinal axiom called Vopënka's principle, although we do not know if the reverse implication holds. We also show that, under the same assumptions on M, every endofunctor of M that is idempotent up to homotopy is equivalent to localization with respect to some class S of maps, and if Vopënka's principle holds then S can be chosen to be a set. There are examples showing that the latter need not be true if M is not cofibrantly generated. The above assumptions on M are satisfied by simplicial sets and symmetric spectra over simplicial sets, among many other model categories.

Mixed Hodge structures and vector bundles on the projective Plane I

We describe an equivalence of categories between the category of mixed Hodge structures and a category of vector bundles on the toric complex projective plane which verify some semistability condition. We then apply this correspondence to define an invariant which generalises the notion of R-split mixed Hodge structure and compute extensions in the category of mixed Hodge structures in terms of extensions of the corresponding vector bundles. We also give a relative version of this correspondence and apply it to define stratifications of the bases of the variations of mixed Hodge structure.

Impacto redistributivo desagregado del IVA actual en España: posibles vías de reforma

The VAT is the most revenue tax in the Spanish economy in the year 2000. The aim of this research is to develop an analysis dissintegrated of the distributional effect of the current VAT in Spain, that is to say, this paper assesses the capacity of redistribution of the tax treatment of each expenditure category. It proposes different approaches for the analysis of the redistributive impact differential of each expenditure concept, and it desires to advocate the method of total decomposition of isolated contribution to the global distributional effect of the VAT. In this sense, this study shows the possibilities to identify the guidelines for possible fiscal adjustments of the Value Added Tax to contribute positively to the objectives of social justice, and its respective consequences on the population's welfare.

Epireflections and supercompact cardinals

We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization functor on an accessible category C such that the unit morphism X→LX is an extremal epimorphism for all X, and the class of L-local objects is defined by an absolute formula with parameters, then the existence of a supercompact cardinal above the cardinalities of the parameters implies that L is a localization with respect to some set of morphisms.

The ‘Global Dimension’ of Contemporary Politics. An Argument for Taking ‘Global’ Seriously

Recent years have seen a striking proliferation of the term ‘global’ in public and political discourse. The popularity of the term is a manifestation of the fact that there is a widespread notion that contemporary social reality is ‘global’. The acknowledgment of this notion has important political implications and raises questions about the role played by the idea of the ‘global’ in policy making. These questions, in turn, expose even more fundamental issues about whether the term ‘global’ indicates a difference in kind, even an ontological shift, and, if so, how to approach it. This paper argues that the notion of ‘global’, in other words the ‘global dimension’, is a significant aspect of contemporary politics that needs to be investigated. The paper argues that in the globalization discourse of International Studies ‘global’ is ‘naturalized’, which means that it is taken for granted and assumed to be self-evident. The term ‘global’ is used mainly in a descriptive way and subsumed under the rubric of ‘globalization’. ‘Global’ tends to be equated with transnational and/or world-wide; hence, it addresses quantitative differences in degree but not (alleged) differences in kind. In order to advance our understanding of contemporary politics, ‘global’ needs to be taken seriously. This means, firstly, to understand and to conceptualize ‘global’ as a social category; and, secondly, to uncover ‘global’ as a ‘naturalized’ concept in the Political and International Studies strand of the globalization discourse in order to rescue it for innovative new approaches in the investigation of contemporary politics. In order to do so, the paper suggests adopting a strong linguistic approach starting with the analysis of the word ‘global’. Based on insights from post-structuralism as well as cognitive and general constructivist perspectives it argues that a frame-based corpus linguistic analysis offers the possibility of investigating the collective/social meaning(s) of global in order to operationalize them for the analysis of the ‘global dimension’ of contemporary politics.

Pure motives, mixed motives and extensions of motives associated to singular surfaces

We first recall the construction of the Chow motive modelling intersection cohomology of a proper surface X and study its fundamental properties. Using Voevodsky's category of effective geometrical motives, we then study the motive of the exceptional divisor D in a non-singular blow-up of X. If all geometric irreducible components of D are of genus zero, then Voevodsky's formalism allows us to construct certain one-extensions of Chow motives, as canonical subquotients of the motive with compact support of the smooth part of X. Specializing to Hilbert-Blumenthal surfaces, we recover a motivic interpretation of a recent construction of A. Caspar.

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