A generalization of Gabriel's Galois covering functors and derived equivalences
Hideto Asashiba
备注：
Title changed. Definitions of $\mathrm{Mod}^G\mathcal{C}$ and $\mathrm{Mod}_G\mathcal{B}$ in section 6 were corrected. Proof of Theorem 8.1 is slightly changed to make it more readable. Other minor changes
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor and is essentially given by the canonical functor $\mathcal{C} \to \mathcal{C}/G$. By using this we improve a covering technique for derived equivalence. Also we prove theorems describing the relationships between smash product construction and the orbit category construction by Cibils and Marcos (2006) without the assumption that the $G$-action is free. The orbit category construction by a cyclic group generated by an auto-equivalence modulo natural isomorphisms (e.g., the construction of cluster categories) is justified by a notion of the "colimit orbit category". In addition, we give a presentation of the orbit category of a category with a monoid action by a quiver with relations, which enables us to calculate many examples.
We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the functors above respect this relation, and prove that the induced Gabriel $k$-quiver functor is left adjoint to the corresponding path coalgebra functor. We dualize, obtaining adjoint pairs of functors (contravariant and covariant) for pseudocompact algebras. Using these tools we describe precisely to what extent presentations of coalgebras and algebras in te…
Assume that $K$ is an algebraically closed field, $R$ a locally support-finite locally bounded $K$-category, $G$ a torsion-free admissible group of $K$-linear automorphisms of $R$ and $A=R/G$. We show that the Krull-Gabriel dimension $KG(R)$ of $R$ is finite if and only if the Krull-Gabriel dimension $KG(A)$ of $A$ is finite. In these cases $KG(R)=KG(A)$. We apply this result to determine the Krull-Gabriel dimension of standard selfinjective algebras of polynomial growth. Finally, we show that there are no super-decomposable pure-injective modules over standard selfinjective algebras of domest…
We introduce the notion of Gabriel filter for a preadditive category C and we show that there is a bijective correspondence between Gabriel filters of C and hereditary torsion theories in the category of additive functors (C,Ab), obtaining a generelization of the theorem given by Gabriel [Ga] and Maranda [Ma] which establishes a bijective correspondence between Gabriel filters for a ring and hereditary torsion theories in the corresponding category of modules.
It is a result of Gabriel that hereditary torsion pairs in categories of modules are in bijection with certain filters of ideals of the base ring, called Gabriel filters or Gabriel topologies. A result of Jans shows that this bijection restricts to a correspondence between (Gabriel filters that are uniquely determined by) idempotent ideals and TTF triples. Over the years, these classical results have been extended in several different directions. In this paper we present a detailed and self-contained exposition of an extension of the above bijective correspondences to additive functor categori…
We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras whose objects include all pointed finite dimensional algebras. We define the completed path algebra and the Gabriel quiver as functors. We give an explicit quotient of the category of algebras on which these functors form an adjoint pair. We show that these functors respect ideals, obtaining in this way an equivalence between related categories.
Gabriel's Theorem, and the work of Bernstein, Gelfand and Ponomarev established a connection between the theory of quiver representations and the theory of simple Lie algebras. Lie superalgebras have been studied from many perspectives, and many results about Lie algebras have analogues for Lie superalgebras. In this paper, the notion of a super-representation of a quiver is introduced, as well as the notion of reflection functors for odd roots. These ideas are then used to give a categorical construction of the root system A(n,m) by establishing a version of Gabriel's Theorem and modifying th…
Coverings in the representation theory of algebras were introduced for the Auslander-Reiten quiver of a representation finite algebra by Riedtmann and later for finite dimensional algebras by Bongartz and Gabriel, R. Martinez-Villa and de la Peña. The best understood class covering functors is that of Galois covering functors F: A -> B determined by the action of a group of automorphisms of A. In this work we introduce the balanced covering functors which include the Galois class and for which classical Galois covering-type results still hold. For instance, if F:A -> B is a balanced covering f…
Krull--Gabriel dimension and Cohen-Macaulay representations
Institute for the Advancement of Higher Education, Okayama University of Science（冈山理科大学高等教育推进机构）；Graduate School of Environmental, Life, Natural Science and Technology, Okayama University（冈山大学环境生命科学研究生院）
We extend Colmez's functor defined for $\operatorname{GL}_2(\mathbf{Q}_p)$ to the category of finitely generated smooth admissible mod-$p$ representations of the two-fold metaplectic cover of $\operatorname{GL}_2(\mathbf{Q}_p)$. We compute the images of the absolutely irreducible genuine objects and obtain a bijection between the genuine supersingular representations and four-dimensional irreducible Galois representations invariant under twist by all characters of order two. Restricted to genuine objects, the extended functor naturally takes values in the category of what we call metaplectic G…
As it is known, finitely presented quivers correspond to Dynkin graphs (Gabriel, 1972) and tame quivers -- to extended Dynkin graphs (Donovan and Freislich, Nazarova, 1973). In the article "Locally scalar reresentations of graphs in the category of Hilbers spaces" (Func. Anal. and Appl., 2005) authors showed the way to tranfer these results to Hilbert spaces, constructed Coxeter functors and proved an analogue of Gabriel theorem fol locally scalar (orthoscalar in the sequel) representations (up to the unitary equivalence). The category of orthoscalar representations of a quiver can be consider…
This paper is devoted to deformation theory of "anabelian" representations of the absolute Galois group landing in outer automorphism group of the algebraic fundamental group of a hyperbolic smooth curve defined over a number-field. In the first part of this paper, we obtained universal deformations for Lie-algebra versions of the above representation using the Schlessinger criteria for functors on Artin local rings. In the second part, we use a version of Schlessinger criteria for functors on the Artinian category of nilpotent Lie algebras which is formulated by Pridham, and explore arithmeti…
Let $F$ be a local field of mixed characteristic, let $k$ be a finite extension of its residue field, let ${\mathcal H}$ be the pro-$p$-Iwahori Hecke $k$-algebra attached to ${\rm GL}_{d+1}(F)$ for some $d\ge1$. We construct an exact and fully faithful functor from the category of supersingular ${\mathcal H}$-modules to the category of ${\rm Gal}(\overline{F}/F)$-representations over $k$. More generally, for a certain $k$-algebra ${\mathcal H}^{\sharp}$ surjecting onto ${\mathcal H}$ we define the notion of $\sharp$-supersingular modules and construct an exact and fully faithful functor from t…
We take some initial steps towards illuminating the (hypothetical) $p$-adic local Langlands functoriality principle relating Galois representations of a $p$-adic field $L$ and admissible unitary Banach space representations of $G(L)$ when $G$ is a split reductive group over $L$. The outline of our work is derived from Breuil's remarkable insights into the nature of the correspondence between 2-dimensional crystalline Galois representations of the Galois group of $\Qdss_p$ and Banach space representations of $GL_{2}(\Qdss_p)$.
We provide an intrinsic definition of the fundamental group of a linear category over a ring as the automorphism group of the fibre functor on Galois coverings. If the universal covering exists, we prove that this group is isomorphic to the Galois group of the universal covering. The grading deduced from a Galois covering enables us to describe the canonical monomorphism from its automorphism group to the first Hochschild-Mitchell cohomology vector space.
Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. In analogy to the translation functors introduced by Bernstein and Gelfand on categories of $U(\mathfrak{g})$-modules we consider similarly defined functors on the category of coadmissible modules over the locally analytic distribution algebra $D(G)$ on which the center of $U(\mathfrak{g})$ acts locally finite. These functors induce equivalences between certain subcategories of the latter category. Furthermore, these translation functors are naturally related to those on category $\mathcal{O}$ via the functors from cate…
Given a finite, flat and finitely presented group scheme $G$ over some base $S$, we introduce the notion of ramified $G$-covers and study the moduli stack $G$-Cov they form. The thesis is divided in three parts. The first one concerns the case when $G$ is a diagonalizable group scheme and it essentially coincides with arxiv:1106.2347. In the second part I deal with the general case. Assuming that the base S is affine and given an $S$-scheme $T$, I interpret $G$-covers of $T$ as particolar (lax) monoidal functors from the category of finite, $G$-equivariant locally free sheaves over $S$ to the …
In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beattie's construction of a ring with local units in \cite{be}. We recover in a categorical generalized setting the Duality Theorems of M. Cohen and S. Montgomery in \cite{cm}, and we provide a unification wit…
We study unitary pseudonatural transformations (UPTs) between fibre functors Rep(G) -> Hilb, where G is a compact quantum group. For fibre functors F_1, F_2 we show that the category of UPTs F_1 -> F_2 and modifications is isomorphic to the category of finite-dimensional *-representations of the corresponding bi-Hopf-Galois object. We give a constructive classification of fibre functors accessible by a UPT from the canonical fibre functor, as well as UPTs themselves, in terms of Frobenius algebras in the category Rep(A_G), where A_G is the Hopf *-algebra dual to the compact quantum group. As a…
Given a compact p-adic Lie group G over a finite unramified extension L/Q_p let G_0 be the product over all Galois conjugates of G. We construct an exact and faithful functor from admissible G-Banach space representations to admissible locally L-analytic G_0-representations that coincides with passage to analytic vectors in case L=Q_p. On the other hand, we study the functor "passage to analytic vectors" and its derived functors over general basefields. As an application we determine the higher analytic vectors in certain locally analytic induced representations.
Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a Krull-Schmidt category on which a finite group acts as automorphisms. This then provides the orbit category introduced by Cibils and Marcos, and studied intensively by Keller in the context of cluster algebras, and by Asashiba in the context of Galois covering functors. We formulate and prove Clifford's theorem for Krull-Schmidt orbit categories with respect to a finite…
By the theory of Colmez and Fontaine, a de Rham representation of the Galois group of a local field roughly corresponds to a representation of the Weil-Deligne group equipped with an admissible filtration on the underlying vector space. Using a modification of the classical local Langlands correspondence, we associate with any pair consisting of a Weil-Deligne group representation and a type of a filtration (admissible or not) a specific locally algebraic representation of a general linear group. We advertise the conjecture that this pair comes from a de Rham representation if and only if the …
We construct a left adjoint $\mathcal{H}^\text{st}\colon \mathbf{Ex}_{\infty} \rightarrow \mathbf{St}_{\infty}$ to the inclusion $\mathbf{St}_{\infty} \hookrightarrow \mathbf{Ex}_{\infty}$ of the $\infty$-category of stable $\infty$-categories into the $\infty$-category of exact $\infty$-categories, which we call the stable hull. For every exact $\infty$-category $\mathcal{E}$, the unit functor $\mathcal{E} \rightarrow \mathcal{H}^\text{st}(\mathcal{E})$ is fully faithful and preserves and reflects exact sequences. This provides an $\infty$-categorical variant of the Gabriel-Quillen embedding …
