On the tensor product of well generated dg categories

We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [32]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [27]. Given a regular cardinal α, we define and construct a tensor product of homotopically α-cocomplete dg categories and prove that the well generated tensor product of α-continuous derived dg categories (in the sense of [27]) is the α-continuous dg derived category of the homotopically α-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves α-compactness.     

Transferring homotopy commutative algebraic structures

We show that the sum over planar tree formula of Kontsevich and Soibelman transfers C_∞-structures along a contraction. Applying this result to a cosimplicial commutative algebra A^• over a field of characteristic zero, we exhibit a canonical C_∞-structure on Tot(A^•), which is unital if A^• is; in particular, we obtain a canonical C_∞-structure on the cochain complex of a simplicial set.     

Equivariant homology and cohomology of groups

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a Γ-equivariant G-module A, when a separate group Γ acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology theory of groups. Relationship with equivariant cohomology of topological spaces is established and application to algebraic K-theory is given.     

Peiffer elements in simplicial groups and algebras

The main objective of this paper is to prove in full generality the following two facts:A. For an operadOinAb, letAbe a simplicialO-algebra such thatA_mis generated as anO-ideal by, form>1, and letbe the Moore complex ofA. Then

     

A folk model structure on omega-cat

The primary aim of this work is an intrinsic homotopy theory of strict ω-categories. We establish a model structure on ωCat, the category of strict ω-categories. The constructions leading to the model structure in question are expressed entirely within the scope of ωCat, building on a set of generating cofibrations and a class of weak equivalences as basic items. All objects are fibrant while free objects are cofibrant. We further exhibit model structures of this type on n-categories for arbitrary n∈N, as specializations of the ω-categorical one along right adjoints. In particular, known cases for n=1 and n=2 nicely fit into the scheme.     

The almost split triangles for perfect complexes over gentle algebras

Throughout the paper k denotes a fixed field. All vector spaces and linear maps are k-vector spaces and k-linear maps, respectively. By Z, N, and N₊, we denote the sets of integers, nonnegative integers, and positive integers, respectively. For i,j∈Z, [i,j]:={l∈Z∣i≤l≤j} (in particular, [i,j]=∅ if i>j).     

Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

Nerves of bicategories as stratified simplicial sets

In this paper, we aim to move towards a definition of weak n-category akin to Street’s definition of weak ω-category. This will be accomplished in dimension 1 directly and in dimension 2 by comparison with work of Duskin. In particular, we discuss the relationship between certain weak complicial sets and Duskin’s n-dimensional Postnikov complexes.     

Local-to-global spectral sequences for the cohomology of diagrams

We construct local-to-global spectral sequences for the cohomology of a diagram, which compute the cohomology of the full diagram in terms of smaller pieces. These are motivated by the obstruction theory of D. Blanc et al. [D. Blanc, M.W. Johnson, J.M. Turner, On realizing diagrams of Π-algebras, Algebraic Geom. Topol. 6 (2006) 763-807] for realizing a diagram of Π-algebras, but are valid in quite general algebraic settings.     

Polygraphic resolutions and homology of monoids

We prove that for any monoid M, the homology defined by the second author by means of polygraphic resolutions coincides with the homology classically defined by means of resolutions by free ZM-modules.     

Complexity and cohomology of cohomological Mackey functors

Let k be a field of characteristic p>0. Call a finite group G a poco group over k if any finitely generated cohomological Mackey functor for G over k has polynomial growth. The main result of this paper is that G is a poco group over k if and only if the Sylow p-subgroups of G are cyclic, when p>2, or have sectional rank at most 2, when p=2.A major step in the proof is the case where G is an elementary abelian p-group. In particular, when p=2, all the extension groups between simple functors can be determined completely, using a presentation of the graded algebra of self extensions of the simple functor , by explicit generators and relations.     

Injective dimension of sheaves of rational vector spaces

The Cantor–Bendixson rank of a topological space X is a measure of the complexity of the topology of X. We will be interested primarily in the case that the space is profinite: Hausdorff, compact and totally disconnected. In this paper, we prove that the injective dimension of the abelian category of sheaves of $\mathbb{Q}$-modules over a profinite space X is determined by the Cantor–Bendixson rank of X.     

Bounds on the global dimension of certain piecewise hereditary categories

We give bounds on the global dimension of a finite length, piecewise hereditary category in terms of quantitative connectivity properties of its graph of indecomposables.We use this to show that the global dimension of a finite-dimensional, piecewise hereditary algebra A cannot exceed 3 if A is an incidence algebra of a finite poset or more generally, a sincere algebra. This bound is tight.     

A geometric decomposition of spaces into cells of different types II: Homology theory

We develop the homology theory of CW(A)-complexes, generalizing the classical cellular homology theory for CW-complexes. A CW(A)-complex is a topological space which is built up out of cells of a certain core A.     

n-representation infinite algebras

From the viewpoint of higher dimensional Auslander–Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n  -regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext¹${\mathrm{Ext}}^1$-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras.     

Quillen-Barr-Beck (co-) homology for restricted Lie algebras

In this paper we use Quillen-Barr-Beck's theory of (co-) homology of algebras in order to define (co-) homology for the category RLie of restricted Lie algebras over a field k of characteristic p≠0. In contrast with the cases of groups, associative algebras and Lie algebras we do not obtain Hochschild (co-) homology shifted by 1.Precisely, we determine for L∈RLie the category of Beck L-modules and the group of Beck derivations of g∈RLie/L to a Beck L-module M. Moreover, we prove a classification theorem which gives a one-to-one correspondence between the one cohomology and the set of equivalent classes of p-extensions. Finally, a universal coefficient theorem is proved, relating the homology to the Hochschild homology via a short exact sequence. This shows that the new homology determines the Hochschild homology.     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

Pesenti-Szpiro inequality for optimal elliptic curves

We study Pesenti-Szpiro inequality in the case of elliptic curves over F_q(t) which occur as subvarieties of Jacobian varieties of Drinfeld modular curves. In general, we obtain an upper-bound on the degrees of minimal discriminants of such elliptic curves in terms of the degrees of their conductors and q. In the special case when the level is prime, we bound the degrees of discriminants only in terms of the degrees of conductors. As a preliminary step in the proof of this latter result we generalize a construction (due to Gekeler and Reversat) of 1-dimensional optimal quotients of Drinfeld Jacobians.     

Folding derived categories with Frobenius functors

Following the work [B. Deng, J. Du, Frobenius morphisms and representations of algebras, Trans. Amer. Math. Soc. 358 (2006) 3591-3622], we show that a Frobenius morphism F on an algebra A induces naturally a functor F on the (bounded) derived category D^b(A) of , and we further prove that the derived category D^b(A^F) of for the F-fixed point algebra A^F is naturally embedded as the triangulated subcategory D^b(A)^F of F-stable objects in D^b(A). When applying the theory to an algebra with finite global dimension, we discover a folding relation between the Auslander-Reiten triangles in D^b(A^F) and those in D^b(A). Thus, the AR-quiver of D^b(A^F) can be obtained by folding the AR-quiver of D^b(A). Finally, we further extend this relation to the root categories ?(A^F) of A^F and ?(A) of A, and show that, when A is hereditary, this folding relation over the indecomposable objects in ?(A^F) and ?(A) results in the same relation on the associated root systems as induced from the graph folding relation.