Search

Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in ["Functoriality and uniformity in Hrushovski's groupoid-cover correspondence," Annals of Pure and Applied Logic , 2018] are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools., Comment: 55 pages

Given a compact K\"ahler manifold $X$, there is an equivalence of categories between the completely reducible flat vector bundles on $X$ and the polystable Higgs bundles $(E,\, \theta)$ on $X$ with $c_1(E)= 0= c_2(E)$ \cite{SimC}, \cite{Cor}, \cite{UY}, \cite{DonI}. We extend this equivalence of categories to the context of compact Sasakian manifolds. We prove that on a compact Sasakian manifold, there is an equivalence between the category of semi-simple flat bundles on it and the category of polystable basic Higgs bundles on it with trivial first and second basic Chern classes. We also prove that any stable basic Higgs bundle over a compact Sasakian manifold admits a basic Hermitian metric that satisfies the Yang--Mills--Higgs equation., Comment: Final version; to appear in the Communications in Mathematical Physics

We give an equivalence of categories between certain subcategories of modules of pro-$p$-Iwahori Hecke algebras and modulo $p$ representations., Comment: 21 pages

In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_\bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_\bullet$-constructions.

Two decades ago P. Martin and D. Woodcock made a surprising and prophetic link between statistical mechanics and representation theory. They observed that the decomposition numbers of the blob algebra (that appeared in the context of transfer matrix algebras) are Kazhdan-Lusztig polynomials in type $\tilde{A}_1$. In this paper we take that observation far beyond its original scope. We conjecture that for $\tilde{A}_n$ there is an equivalence of categories between the characteristic $p$ diagrammatic Hecke category and a "blob category" that we introduce (using certain quotients of KLR algebras called \emph{generalized blob algebras}). Using alcove geometry we prove the "graded degree" part of this equivalence for all $n$ and all prime numbers $p$. If our conjecture was verified, it would imply that the graded decomposition numbers of the generalized blob algebras in characteristic $p$ give the $p$-Kazhdan Lusztig polynomials in type $\tilde{A}_n$. We prove this for $\tilde{A}_1$, the only case where the $p$-Kazhdan Lusztig polynomials are known., Comment: 43 pages, many figures, best viewed in color. Accepted for publication in the Proceedings of the LMS

The correspondence between definable connected groupoids in a theory T and internal generalised imaginary sorts of T, established by Hrushovski in [“Groupoids, imaginaries and internal covers,” Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism. Secondly, the equivalence of categories is shown to vary uniformly in definable families, with respect to an appropriate relativisation of these categories. Some elaborations on Hrushovki's original constructions are also included.

Greenlees established an equivalence of categories between the homotopy category of rational SO(3)-spectra and the derived category DA(SO(3)) of a certain abelian category. In this paper we lift this equivalence of homotopy categories to the level of Quillen equivalences of model categories. Methods used in this paper provide the first step towards obtaining an algebraic model for the toral part of rational G-spectra, for any compact Lie group G.

A category structure for ordered Bratteli diagrams is proposed in which isomorphism coincides with the notion of equivalence of Herman, Putnam, and Skau. It is shown that the natural one-to-one correspondence between the category of Cantor minimal systems and the category of simple properly ordered Bratteli diagrams is in fact an equivalence of categories. This gives a Bratteli-Vershik model for factor maps between Cantor minimal systems. We give a construction of factor maps between Cantor minimal systems in terms of suitable maps (called premorphisms) between the corresponding ordered Bratteli diagrams, and we show that every factor map between two Cantor minimal systems is obtained in this way. Moreover, solving a natural question, we are able to characterize Glasner and Weiss's notion of weak orbit equivalence of Cantor minimal systems in terms of the corresponding C*-algebra crossed products., Comment: 25 pages, to appear in the Canadian Journal of Mathematics

Via Gelfand duality, a unital C*-algebra $A$ induces a functor from compact Hausdorff spaces to sets, $\mathsf{CHaus}\to\mathsf{Set}$. We show how this functor encodes standard functional calculus in $A$ as well as its multivariate generalization. Certain sheaf conditions satisfied by this functor provide a further generalization of functional calculus. Considering such sheaves $\mathsf{CHaus}\to\mathsf{Set}$ abstractly, we prove that the piecewise C*-algebras of van den Berg and Heunen are equivalent to a full subcategory of the category of sheaves, where a simple additional constraint characterizes the objects in the subcategory. It is open whether this additional constraint holds automatically, in which case piecewise C*-algebras would be the same as sheaves $\mathsf{CHaus}\to\mathsf{Set}$. Intuitively, these structures capture the commutative aspects of C*-algebra theory. In order to find a complete reaxiomatization of unital C*-algebras within this language, we introduce almost C*-algebras as piecewise C*-algebras equipped with a notion of inner automorphisms in terms of a self-action. We provide some evidence for the conjecture that the forgetful functor from unital C*-algebras to almost C*-algebras is fully faithful, and ask whether it is an equivalence of categories. We also develop an analogous notion of almost group, and prove that the forgetful functor from groups to almost groups is not full. In terms of quantum physics, our work can be seen as an attempt at a reconstruction of quantum theory from physically meaningful axioms, as realized by Hardy and others in a different framework. Our ideas are inspired by and also provide new input for the topos-theoretic approach to quantum theory., Comment: 36 pages, to appear in J. Noncomm. Geom. v4: added reference

We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner algebra of an association scheme appears as a subalgebra in the category algebra of the underlying category of a schemoid. In this paper, the equivalence between the categories of grouopids and that of thin association schemoids is established. Moreover linear extensions of schemoids are considered. A general theory of the Baues-Wirsching cohomology deduces a classification theorem for such extensions of a schemoid. We also introduce two relevant categories of schemoids into which the categories of schemes due to Hanaki and due to French are embedded, respectively., Comment: 27 pages, Lemma 6.10 is revised adding a condition

As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on monoidal categories as right Hopf monads in the sense of Bruguieres and Virelizier. Hereby the central part is to describe conditions under which a comparison functor between the base category and the category of Hopf modules becomes an equivalence (Fundamental Theorem). For monoidal categories, Aguiar and Chase extended the setting by replacing the base category by a comodule category for some comonoid and considering a comparison functor to generalised Hopf modules. For duoidal categories, Bohm, Chen and Zhang investigated a comparison functor to the Hopf modules over a bimonoid induced by the two monoidal structures given in such categories. In both approaches fundamental theorems are proved and the purpose of this paper is to show that these can be derived from the theory of Galois functors.

Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that if X is factorial, this functor gives an equivalence of categories. This generalizes Klyachko's description of equivariant vector bundles on toric varieties. We apply our machinery to show that vector bundles of low rank on projective space which are equivariant with respect to special subtori of the maximal torus must split, generalizing a theorem of Kaneyama. Further applications include descriptions of global vector fields on T-varieties, and a study of equivariant deformations of equivariant vector bundles., Comment: 27 pages, 4 figures. Final version. To appear in Transformation Groups

Let g be a complex simple Lie algebra and let mod U (g) be the category of finite dimensional U (g)-modules. The relative Yangian YV (g) with respect to the pair g, V: V ∈ mod U (g) is defined to be the g invariant subalgebra of End V ⊗ U (g) with respect to the natural “diagonal” action. According to recent work (see [12, Sect. 5] and references therein), the finite dimensional simple modules of the Yangians for g = sl(n) or the twisted Yangians for g = sp(2n), so(n) are described by the simple modules of relative Yangians YV (g) : V ∈ mod U (g). Here a classification of the simple modules of a relative Yangian is obtained simply and briefly as an advanced exercise in Frobenius reciprocity inspired by a Bernstein–Gelfand equivalence of categories [2]. An unexpected fact is that the dimension of these modules are determined by the Kazhdan-Lusztig polynomials, and conversely the latter are described in terms of dimensions of certain extension groups associated to finite dimensional modules of relative Yangians.

We propose the notion of quasi-abelian third cohomology of crossed modules, generalizing Eilenberg and MacLane's abelian cohomology and Ospel's quasi-abelian cohomology, and classify crossed pointed categories in terms of it. We apply the process of equivariantization to the latter to obtain braided fusion categories which may be viewed as generalizations of the categories of modules over twisted Drinfeld doubles of finite groups. As a consequence, we obtain a description of all braided group-theoretical categories. A criterion for these categories to be modular is given. We also describe the quasi-triangular quasi-Hopf algebras underlying these categories., Comment: 18 pages

Let $\mathbf{TB}$ be the category of totally bounded, locally compact metric spaces with the $C_0$ coarse structures. We show that if $X$ and $Y$ are in $\mathbf{TB}$ then $X$ and $Y$ are coarsely equivalent if and only if their Higson coronas are homeomorphic. In fact, the Higson corona functor gives an equivalence of categories $\mathbf{TB}\to\mathbf{K}$, where $\mathbf{K}$ is the category of compact metrizable spaces. We use this fact to show that the continuously controlled coarse structure on a locally compact space $X$ induced by some metrizable compactification $\tilde{X}$ is determined only by the topology of the remainder $\tilde{X}\setminus X$., Comment: 16 pages. v3: Corrected typos. v2: Title changed from "$C_0$ coarse structures and Smirnov compactifications". Considerable improvements in the proofs of the main theorem (Theorem 4.5) and an important lemma (Lemma 3.7). New results in the final section (Theorem 4.12 among others)

In a previous work, we gave a coalgebraic framework of directed graphs equipped with weights (or probability vectors) in terms of (Markov) L-coalgebras. They are K-vector spaces equipped with two co-operations, \Delta_M, \tilde{\Delta}_M verifying, (\tilde{\Delta}_M \otimes id)\Delta_M =(id \otimes \Delta_M)\tilde{\Delta}_M. In this paper, we study the category of L-algebras (dual of L-coalgebras), prove that the free L-algebra on one generator is constructed over rooted planar symmetric ternary trees with odd numbers of nodes and the L-operad is Koszul. We then introduce triplicial-algebras: vector spaces equipped with three associative operations verifying three entanglement relations. The free triplicial-algebra is computed and turns out to be related to even trees. Via a general structure theorem (\`a la Cartier-Milnor-Moore), we obtain that the category of L-algebras is equivalent to a much more structured category called connected coassociative triplicial-bialgebras (coproduct linked to operations via infinitesimal relations), that is the triple of operads (As, Trip, L) is good. Bidirected graphs, related to NAP-algebras, are briefly evoked and postponed to another paper., Comment: 34 pages, 5 figures. A new presentation of the free triplicial-algebra has been added (Subsection 5.5) + modification of the proof of Thm 5.1. The title has been changed too

Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D. Dugger. We are contributing to this endeavour by proving that weak equivalences in a combinatorial model category form an accessible category. We also present some new results about weak equivalences and cofibrations in combinatorial model categories.

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely generated Grothendieck categories. Applications are given for categories of comodules over a coalgebra and for categories of graded modules, and a link to the theory of generalized inverses of matrices is presented. Some of the techniques we use are new, since dealing with arbitrary categories allows us to pass to the dual category.

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.

We consider the category of modules over the affine Kac-Moody algebra g^ of critical level with regular central character. In our previous paper math.RT/0508382 we conjectured that this category is equivalent to the category of Hecke eigen-D-modules on the affine Grassmannian G((t))/G[[t]]. This conjecture was motivated by our proposal for a local geometric Langlands correspondence. In this paper we prove this conjecture for the corresponding I^0 equivariant categories, where I^0 is the radical of the Iwahori subgroup of G((t)). Our result may be viewed as an affine analogue of the equivalence of categories of g-modules and D-modules on the flag variety G/B, due to Beilinson-Bernstein and Brylinski-Kashiwara., Comment: 33 pages

For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical., Comment: 47 pages

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories., Comment: 22 pages

Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension., Comment: 50 pages, latex; a reference to Schauenburg's freeness theorem was added and a new section 5.11 to fill a gap in the previous version; also Example 7.2 was corrected; in April 2017 a comment added in Subsection 9.3 giving a reference which fills a gap in this subsection

Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology groups. Applications are considered: derived categories and functors., Comment: 10 pages, AMS-LaTex; v.2 includes applications to derived categories and functors (preliminary version)