A category of kernels for equivariant factorizations,II: Further implications

We leverage the results of the prequel [8], in combination with a theorem of D. Orlov to create a categorical covering picture for factorizations. As applications, we provide a conjectural geometric framework to further understand M. Kontsevich's Homological Mirror Symmetry conjecture and obtain new cases of a conjecture of Orlov concerning the Rouquier dimension of the bounded derived category of coherent sheaves on a smooth variety.     

Characterization of eventually periodic modules in the singularity categories

The singularity category of a ring makes only the modules of finite projective dimension vanish among the modules, so that the singularity category is expected to characterize a homological property of modules of infinite projective dimension. In this paper, among such modules, we deal with eventually periodic modules over a left artin ring, and, as our main result, we characterize them in terms of morphisms in the singularity category. As applications, we first prove that, for the class of finite dimensional algebras over a field, being eventually periodic is preserved under singular equivalence of Morita type with level. Moreover, we determine which finite dimensional connected Nakayama algebras are eventually periodic when the ground field is algebraically closed.     

Combinatorial and accessible weak model categories

In a previous work, we have introduced a weakening of Quillen model categories called weak model categories. They still allow all the usual constructions of model category theory, but are easier to construct and are in some sense better behaved. In this paper we continue to develop their general theory by introducing combinatorial and accessible weak model categories. We give simple necessary and sufficient conditions under which such a weak model category can be extended into a left and/or right semi-model category. As an application, we recover Cisinski-Olschok theory and generalize it to weak and semi-model categories. We also provide general existence theorems for both left and right Bousfield localization of combinatorial and accessible weak model structures, which combined with the results above gives existence results for left and right Bousfield localization of combinatorial and accessible left and right semi-model categories, generalizing previous results of Barwick. Surprisingly, we show that any left or right Bousfield localization of an accessible or combinatorial Quillen model category always exists, without properness assumptions, and is simultaneously both a left and a right semi-model category, without necessarily being a Quillen model category itself.     

McKay correspondence and orbifold equivalence

We prove that a pair of singularities related by a transformation arising from the McKay correspondence are orbifold equivalent. From this we deduce a McKay type category equivalence for the matrix factorization categories.     

Nilpotent fusion categories

In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two central series are centralizers of each other in the sense of M. Müger.     

From triangulated categories to abelian categories: cluster tilting in a general framework

A general framework for cluster tilting is set up by showing that any quotient of a triangulated category modulo a tilting subcategory (i.e., a maximal 1-orthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.      

Tensor envelopes of regular categories

We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,δ) depending on a degree function δ. Assume that all objects have only finitely many subobjects. Then our results are as follows:

1.

Let N be the maximal proper tensor ideal of T(A,δ). We show that T(A,δ)/N is semisimple provided that A is exact and Mal'cev. Thereby, we produce many new semisimple, hence abelian, tensor categories.

2.

Using lattice theory, we give a simple numerical criterion for the vanishing of N.

3.

We determine all degree functions for which T(A,δ)/N is Tannakian. As a result, we are able to interpolate the representation categories of many series of profinite groups such as the symmetric groups Sn, the hyperoctahedral groups , or the general linear groups GL(n,Fq) over a fixed finite field.

This paper generalizes work of Deligne, who first constructed the interpolating category for the symmetric groups Sn.     

Coloured quiver mutation for higher cluster categories

We define mutation on coloured quivers associated to tilting objects in higher cluster categories. We show that this operation is compatible with the mutation operation on the tilting objects. This gives a combinatorial approach to tilting in higher cluster categories and especially an algorithm to determine the Gabriel quivers of tilting objects in such categories.     

Weakly group-theoretical and solvable fusion categories

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group-theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq², where p,q,r are distinct primes.     

On the singularity probability of discrete random matrices

Let n be a large integer and Mn be an n by n complex matrix whose entries are independent (but not necessarily identically distributed) discrete random variables. The main goal of this paper is to prove a general upper bound for the probability that Mn is singular. For a constant 0<p<1 and a constant positive integer r, we will define a property p-bounded of exponent r. Our main result shows that if the entries of Mn satisfy this property, then the probability that Mn is singular is at most (p1/r+on(1)). All of the results in this paper hold for any characteristic zero integral domain replacing the complex numbers. In the special case where the entries of Mn are “fair coin flips” (taking the values +1,−1 each with probability 1/2), our general bound implies that the probability that Mn is singular is at most , improving on the previous best upper bound of , proved by Tao and Vu [Terence Tao, Van Vu, On the singularity probability of random Bernoulli matrices, J. Amer. Math. Soc. 20 (2007) 603-628]. In the special case where the entries of Mn are “lazy coin flips” (taking values +1,−1 each with probability 1/4 and value 0 with probability 1/2), our general bound implies that the probability that Mn is singular is at most , which is asymptotically sharp. Our method is a refinement of those from [Jeff Kahn, János Komlós, Endre Szemerédi, On the probability that a random ±1-matrix is singular, J. Amer. Math. Soc. 8 (1) (1995) 223-240; Terence Tao, Van Vu, On the singularity probability of random Bernoulli matrices, J. Amer. Math. Soc. 20 (2007) 603-628]. In particular, we make a critical use of the structure theorem from [Terence Tao, Van Vu, On the singularity probability of random Bernoulli matrices, J. Amer. Math. Soc. 20 (2007) 603-628], which was obtained using tools from additive combinatorics.     

Almost split sequences in tri-exact categories

We study the existence of almost split sequences in tri-exact categories, that is, extension-closed subcategories of triangulated categories. Our results unify and extend a number of existence theorems for almost split sequences in abelian categories and exact categories (that is, extension-closed subcategories of abelian categories), and those for almost split triangles in triangulated categories by numerous researchers. As applications, we obtain some new results on the existence of almost split triangles in the derived categories of all modules over an algebra with a unity or a locally finite dimensional algebra given by a quiver with relations.     

Boundary value problem for a class of degenerate quasilinear parabolic equations with singularity

This paper is concerned with a class of quasilinear parabolic equations with singularity and arbitrary degeneracy. The existence and uniqueness of generalized solutions to a kind of boundary value problem is established.     

A recollement construction of Gorenstein derived categories

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [Math. Ann., 2012, 353: 765–781]. Then we provide a criterion for the existence of recollement of derived categories of functor categories, which shows that the recollement structure may be induced by a proper morphism defined in finitely presented subcategories. This criterion is then used to construct a recollement of derived category of Gorenstein injective modules over CM-finite 2-Gorenstein artin algebras.     

Proper resolutions and Gorensteinness in extriangulated categories

Let(C,E,s)be an extriangulated category with a proper classξof E-triangles,and W an additive full subcategory of(C,E,s).We provide a method for constructing a proper W(ξ)-resolution(resp.,coproper W(ξ)-coresolution)of one term in an E-triangle inξfrom that of the other two terms.By using this way,we establish the stability of the Gorenstein category GW(ξ)in extriangulated categories.These results generalize the work of Z.Y.Huang[J.Algebra,2013,393:142–169]and X.Y.Yang and Z.C.Wang[Rocky Mountain J.Math.,2017,47:1013–1053],but the proof is not too far from their case.Finally,we give some applications about our main results.     

Injective objects of monomorphism categories

For an acyclic quiver Q and a finite-dimensional algebra A, we give a unified form of the indecomposable injective objects in the monomorphism category Mon(Q,A) and prove that Mon(Q,A) has enough injective objects.     

Comparisons between singularity categories and relative stable categories of finite groups

We consider the relationship between the relative stable category of and the usual singularity category for group algebras with coefficients in a commutative noetherian ring. When the coefficient ring is self-injective we show that these categories share a common, relatively large, Verdier quotient. At the other extreme, when the coefficient ring has finite global dimension, there is a semi-orthogonal decomposition, due to Poulton, relating the two categories. We prove that this decomposition is partially compatible with the monoidal structure and study the morphism it induces on spectra.     

Deformation theory of objects in homotopy and derived categories III: Abelian categories

This is the third paper in a series. In Part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and derived categories of abelian categories. Then we consider examples from (noncommutative) algebraic geometry. In particular, we study noncommutative Grassmanians that are true noncommutative moduli spaces of structure sheaves of projective subspaces in projective spaces.