Up-to-homotopy algebras with strict units

We show that an operad with non-trivial arity zero admits a minimal model in the sense of Sullivan. Hence an up-to-homotopy algebra with a strict unit is just an operad algebra over such a minimal model. We also establish the descent of formality for certain unitary operads. As an application, we give another proof of the formality of the unitary n-little disks operad over the rationals.     

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.     

Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

This article is the sequel to (Marcolli and Tabuada in Sel Math 20(1):315–358, 2014). We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub’s weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin–Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub’s weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky’s category of mixed motives.     

Perverse sheaves,Koszul IC-modules,and the quiver for the category $\mathcal{O}$

For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d ²=0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties. As an application, we describe an algorithm calculating the quiver underlying the BGG category for arbitrary simple Lie algebra, thus answering a question which goes back to I. M. Gelfand. Dedicated to George Lusztig on the occasion of his 60-th birthdayMathematics Subject Classification (1991)  14F43, 17B10, 32S60     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

Realising Smashing Localisations as Morphisms of DG Algebras

For a smashing localisation L of the derived category of a differential graded (dg) algebra A we construct a dg algebra A _L and a morphism of dg algebras A→A _L that induces the canonical map in cohomology. As a first application we obtain a localisations of a dg algebra A with graded commutative homology at a prime ideal in the homology H ^* A, namely a morphism of dg algebras. As a second application we can use results of Keller to “model” every smashing localisation of compactly generated algebraic triangulated categories by a morphism of dg algebras.      

A volume convergence theorem for Alexandrov spaces with curvature bounded above

We obtain a volume convergence theorem for Alexandrov spaces with curvature bounded above with respect to the Gromov-Hausdorff distance. As one of the main tools proving this, we construct an almost isometry between Alexandrov spaces with curvature bounded above, with weak singularities, which are close to each other. Furthermore, as an application of our researches of convergence phenomena, for given positive integer , we prove that, if a compact, geodesically complete, n-dimensional CAT(1)-space has the volume sufficiently close to that of the unit n-sphere, then it is bi-Lipschitz homeomorphic to the unit n-sphere. Received: 30 January 2001; in final form: 30 October 2001 / Published online: 4 April 2002     

Invariance properties of coHochschild homology

The notion of Hochschild homology of a dg algebra admits a natural dualization, the coHochschild homology of a dg coalgebra, introduced in [23] as a tool to study free loop spaces. In this article we prove “agreement” for coHochschild homology, i.e., that the coHochschild homology of a dg coalgebra C is isomorphic to the Hochschild homology of the dg category of appropriately compact C-comodules, from which Morita invariance of coHochschild homology follows. Generalizing the dg case, we define the topological coHochschild homology (coTHH) of coalgebra spectra, of which suspension spectra are the canonical examples, and show that coTHH of the suspension spectrum of a space X is equivalent to the suspension spectrum of the free loop space on X, as long as X is a nice enough space (for example, simply connected.) Based on this result and on a Quillen equivalence established in [24], we prove that “agreement” holds for coTHH as well.     

ON LIE ALGEBRAS WHOSE NILRADICAL IS (n — p)-FILIFORM

We prove first that every (n — p)-filiform Lie algebra, p ≤ 3, is the nilradical of a solvable, nonnilpotent rigid Lie algebra. We also analize how this result extends to (n — 4)-filiform Lie algebras. For this purpose, we give a classificaction of these algebras and then determine which of the obtained classes appear as the nilradical of a rigid algebra.     

TANNAKA DUALITY AND THE FRT-CONSTRUCTION

We apply Tannaka duality machinery to a one-generator category, which gives a general version of the FRT-construction for what we have called the homogeneous and non-homogeneous categories. In the case of n-homogeneous category, we present a Hopf algebra approach for solving the mixed Yang-Baxter type equations.     

On free abelian categories for theorem proving

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category A. We show that the free abelian category is amenable to explicit computations whenever we can decide homotopy equations in A. As some consequences of our investigations, we recover Dowker's explicit formula for the connecting homomorphism ? in the snake lemma, we find a universal sense in which ? is unique, and we give a refined version of the 5-lemma.     

On the (non)vanishing of some “derived” categories of curved dg algebras

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of “derived” categories have been introduced in the literature. In this article, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.     

Lifting and Restricting Recollement Data

We study the problem of lifting and restricting TTF triples (equivalently, recollement data) for a certain wide type of triangulated categories. This, together with the parametrizations of TTF triples given in Nicolás and Saorín (Parametrizing recollement data for triangulated categories. To appear in J. Algebra), allows us to show that many well-known recollements of right bounded derived categories of algebras are restrictions of recollements in the unbounded level, and leads to criteria to detect recollements of general right bounded derived categories. In particular, we give in Theorem 1 necessary and sufficient conditions for a right bounded derived category of a differential graded (=dg) category to be a recollement of right bounded derived categories of dg categories. Theorem 2 considers the case of dg categories with cohomology concentrated in non-negative degrees. In Theorem 3 we consider the particular case in which those dg categories are just ordinary algebras.     

Perfect Derived Categories of Positively Graded DG Algebras

We investigate the perfect derived category dgPer(A){{\rm dgPer}}(\mathcal{A}) of a positively graded differential graded (dg) algebra A\mathcal{A} whose degree zero part is a dg subalgebra and semisimple as a ring. We introduce an equivalent subcategory of dgPer(A){{{\rm dgPer}}}(\mathcal{A}) whose objects are easy to describe, define a t-structure on dgPer(A){{{\rm dgPer}}}(\mathcal{A}) and study its heart. We show that dgPer(A){{{\rm dgPer}}}(\mathcal{A}) is a Krull–Remak–Schmidt category. Then we consider the heart in the case that A\mathcal{A} is a Koszul ring with differential zero satisfying some finiteness conditions.     

Cohomology Theories of Hopf Bimodules and Cup-Product

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S. D. Schack, and by C. Ospel. We prove, when A is finite-dimensional, that they are all equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.     

Inverse Hyperbolic Problems with Time-Dependent Coefficients

We consider the inverse problem for the second order self-adjoint hyperbolic equation in a bounded domain in R ⁿ with lower order terms depending analytically on the time variable. We prove that, assuming the BLR condition, the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the hyperbolic equation up to a diffeomorphism and a gauge transformation. As a by-product we prove a similar result for the nonself-adjoint hyperbolic operator with time-independent coefficients.     

Large sieve inequalities for -forms in the conductor aspect

Duke and Kowalski in [A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)] derive a large sieve inequality for automorphic forms on GL(n) via the Rankin–Selberg method. We give here a partial complement to this result: using some explicit geometry of fundamental regions, we prove a large sieve inequality yielding sharp results in a region distinct to that in [Duke and Kowalski, A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)]. As an application, we give a generalization to GL(n) of Duke's multiplicity theorem from [Duke, The dimension of the space of cusp forms of weight one, Internat. Math. Res. Notices (2) (1995) 99–109 (electronic)]; we also establish basic estimates on Fourier coefficients of GL(n) forms by computing the ramified factors for GL(n)×GL(n) Rankin–Selberg integrals.     

Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients

We show that the structure of the Lie symmetry algebra of a system of n linear second-order ordinary differential equations with constant coefficients depends on at most n-1 parameters. The tools used are Jordan canonical forms and appropriate scaling transformations. We put our approach to test by presenting a simple proof of the fact that the dimension of the symmetry Lie algebra of a system of two linear second-order ordinary differential with constant coefficients is either 7, 8 or 15. Also, we establish for the first time that the dimension of the symmetry Lie algebra of a system of three linear second-order ordinary differential equations with constant coefficients is 10, 12, 13 or 24.     

Grothendieck ring of quantum double of finite groups

Let kG be a group algebra, and D(kG) its quantum double. We first prove that the structure of the Grothendieck ring of D(kG) can be induced from the Grothendieck ring of centralizers of representatives of conjugate classes of G. As a special case, we then give an application to the group algebra kD _n , where k is a field of characteristic 2 and D _n is a dihedral group of order 2n.     

Projective functors and the restriction of a Verma module to a subalgebra of Levi type

We observe that the restriction of a Verma module over a semi-simple Lie algebra to a subalgebra of Levi type may be viewed as a projective functor. By simple arguments we prove that this restriction can be decomposed into a direct sum of standard indecomposables in the category O. For the restriction problem from sl(n+1) to gl(n) we describe the complete answer. We study the properties of the modules with Verma flag also and prove that any module with Verma flag is a submodule of some projective.