Showing 1–34 of 34 results for author: Drinfeld, V

On the quotient of a groupoid by an action of a 2-group

Authors: Vladimir Drinfeld

Abstract: If X is a groupoid equipped with an action of a 2-group G then one has a 2-groupoid X/G. We describe the fibers of the functor from X/G to the 1-groupoid $π_0(X)/π_0(G)$. We also give an explicit model for X/G in a certain situation. If X is a groupoid equipped with an action of a 2-group G then one has a 2-groupoid X/G. We describe the fibers of the functor from X/G to the 1-groupoid $π_0(X)/π_0(G)$. We also give an explicit model for X/G in a certain situation. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 7 pages

Toward Shimurian analogs of Barsotti-Tate groups

Authors: Vladimir Drinfeld

Abstract: We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is to construct analogs of these reductions related to general Shimura varieties with good reduction at p. We discuss some conjectures on this subject based on the… ▽ More We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is to construct analogs of these reductions related to general Shimura varieties with good reduction at p. We discuss some conjectures on this subject based on the theory of prismatic cohomology. △ Less

Submitted 16 August, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: Minor corrections

MSC Class: 14F30

On the Lau group scheme

Authors: Vladimir Drinfeld

Abstract: In a 2013 article, Eike Lau constructed a canonical morphism from the stack of $n$-truncated Barsotti-Tate groups over $F_p$ to the stack of $n$-truncated displays. He also proved that this morphism is a gerbe banded by a commutative group scheme. In this paper we describe the group scheme explicitly. The stack of $n$-truncated Barsotti-Tate groups over $F_p$ has a generalization related to any… ▽ More In a 2013 article, Eike Lau constructed a canonical morphism from the stack of $n$-truncated Barsotti-Tate groups over $F_p$ to the stack of $n$-truncated displays. He also proved that this morphism is a gerbe banded by a commutative group scheme. In this paper we describe the group scheme explicitly. The stack of $n$-truncated Barsotti-Tate groups over $F_p$ has a generalization related to any pair $(G,μ)$, where $G$ is a smooth group scheme over $Z/p^n$ and $μ$ is a 1-bounded cocharacter of $G$. The same is true for the stack of $n$-truncated displays. We conjecture that in this more general situation the first stack is a gerbe over the second one banded by a commutative group scheme, and we give a conjectural description of this group scheme. We also give a conjectural description of the stack of $n$-truncated Barsotti-Tate groups over the formal spectrum of $Z_p$ and of its $(G,μ)$-generalization. △ Less

Submitted 20 May, 2025; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: I rewrote Section 8 and added Appendix D. The latter contains Conjecture D.8.4

MSC Class: 14L05; 14F30

On Shimurian generalizations of the stack $BT_1\otimes F_p$

Authors: Vladimir Drinfeld

Abstract: Let G be a smooth group scheme over $F_p$ equipped with a $G_m$-action such that all weights of $G_m$ on the Lie algebra of G are not greater than 1. Let $Disp_n^G$ be Eike Lau's stack of n-truncated G-displays (this is an algebraic stack over $F_p$). In the case n=1 we introduce an algebraic stack equipped with a morphism to $Disp_1^G$. We conjecture that if G=GL(d) then the new stack is canonica… ▽ More Let G be a smooth group scheme over $F_p$ equipped with a $G_m$-action such that all weights of $G_m$ on the Lie algebra of G are not greater than 1. Let $Disp_n^G$ be Eike Lau's stack of n-truncated G-displays (this is an algebraic stack over $F_p$). In the case n=1 we introduce an algebraic stack equipped with a morphism to $Disp_1^G$. We conjecture that if G=GL(d) then the new stack is canonically isomorphic to the reduction modulo p of the stack of 1-truncated Barsotti-Tate groups of height d and dimension d', where d' depends on the action of $G_m$ on GL(d). We also discuss how to define an analog of the new stack for n>1 and how to replace $F_p$ by $Z/p^m Z$. △ Less

Submitted 19 December, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: Minor edits

MSC Class: 14F30

A 1-dimensional formal group over the prismatization of Spf Z_p

Authors: Vladimir Drinfeld

Abstract: Let Sigma denote the prismatization of Spf (Z_p). The multiplicative group over Sigma maps to the prismatization of the multiplicative group over Spf (Z_p). We prove that the kernel of this map is the Cartier dual of some 1-dimensional formal group over Sigma. We obtain some results about this formal group (e.g., we describe its Lie algebra). We give a very explicit description of the pullback of… ▽ More Let Sigma denote the prismatization of Spf (Z_p). The multiplicative group over Sigma maps to the prismatization of the multiplicative group over Spf (Z_p). We prove that the kernel of this map is the Cartier dual of some 1-dimensional formal group over Sigma. We obtain some results about this formal group (e.g., we describe its Lie algebra). We give a very explicit description of the pullback of the formal group to the quotient of the q-de Rham prism by the action of the multiplicative group of Z_p. △ Less

Submitted 22 December, 2023; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: Minor correction

MSC Class: 14F30

On a notion of ring groupoid

Authors: Vladimir Drinfeld

Abstract: By a ring groupoid we mean an animated ring whose i-th homotopy groups are zero for all i>1. In this expository note we give an elementary treatment of the (2,1)-category of ring groupoids (i.e., without referring to general animated rings and without using n-categories for n>2). The note is motivated by the fact that ring stacks play a central role in the Bhatt-Lurie approach to prismatic coh… ▽ More By a ring groupoid we mean an animated ring whose i-th homotopy groups are zero for all i>1. In this expository note we give an elementary treatment of the (2,1)-category of ring groupoids (i.e., without referring to general animated rings and without using n-categories for n>2). The note is motivated by the fact that ring stacks play a central role in the Bhatt-Lurie approach to prismatic cohomology. △ Less

Submitted 14 April, 2021; originally announced April 2021.

Comments: 22 pages

Prismatization

Authors: Vladimir Drinfeld

Abstract: The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In this article we define and study the three versions of the prismatization of the formal spectrum of the ring of p-adic integers. The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In this article we define and study the three versions of the prismatization of the formal spectrum of the ring of p-adic integers. △ Less

Submitted 30 April, 2024; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: Typo corrected

MSC Class: 14F30

A stacky approach to crystals

Authors: Vladimir Drinfeld

Abstract: Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on "Frobenius-smooth" schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over perfect fields of characteristic p. To treat isocrystals, we prove some descent theorems for sheaves of Banachian modules, which could be interesting in their own… ▽ More Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on "Frobenius-smooth" schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over perfect fields of characteristic p. To treat isocrystals, we prove some descent theorems for sheaves of Banachian modules, which could be interesting in their own right. △ Less

Submitted 22 December, 2024; v1 submitted 28 October, 2018; originally announced October 2018.

Comments: Corrected the formulation of Proposition 3.1.1. Wrote a proof of Lemma 2.1.1

MSC Class: 14F30

On a theorem of Scholze-Weinstein

Authors: Vladimir Drinfeld

Abstract: Let G be the Tate module of a p-divisble group H over a perfect field k of characteristic p. A theorem of Scholze-Weinstein describes G (and therefore H itself) in terms of the Dieudonne module of H; more precisely, it describes G(C) for "good" semiperfect k-algebras C (which is enough to reconstruct G). In these notes we give a self-contained proof of this theorem and explain the relation with… ▽ More Let G be the Tate module of a p-divisble group H over a perfect field k of characteristic p. A theorem of Scholze-Weinstein describes G (and therefore H itself) in terms of the Dieudonne module of H; more precisely, it describes G(C) for "good" semiperfect k-algebras C (which is enough to reconstruct G). In these notes we give a self-contained proof of this theorem and explain the relation with the classical descriptions of the Dieudonne functor from Dieudonne modules to p-divisible groups. △ Less

Submitted 16 February, 2020; v1 submitted 9 October, 2018; originally announced October 2018.

Comments: Some typos corrected

MSC Class: 14L05

Grinberg-Kazhdan theorem and Newton groupoids

Authors: Vladimir Drinfeld

Abstract: We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by introducing the notion of Newton groupoid (which is related to Newton's method for finding roots). Newton groupoids are certain groupoids in the category of schemes ass… ▽ More We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by introducing the notion of Newton groupoid (which is related to Newton's method for finding roots). Newton groupoids are certain groupoids in the category of schemes associated to any generically etale morphism from a locally complete intersection to a smooth variety. △ Less

Submitted 22 November, 2019; v1 submitted 3 January, 2018; originally announced January 2018.

Comments: Minor change in Section 5.7

Slopes of indecomposable F-isocrystals

Authors: Vladimir Drinfeld, Kiran Kedlaya

Abstract: We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there… ▽ More We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there cannot be a gap between nonzero Hodge numbers.) As an application, we deduce a refinement of a result of V.Lafforgue on the slopes of Frobenius of an l-adic local system. We also prove similar statements for G-local systems (crystalline and l-adic ones), where G is a reductive group. We translate our results on local systems into properties of the p-adic absolute values of the Hecke eigenvalues of a cuspidal automorphic representation of a reductive group over the adeles of a global field of characteristic p>0. △ Less

Submitted 29 September, 2018; v1 submitted 3 April, 2016; originally announced April 2016.

Comments: The proof of Lemma 5.3.1 has been corrected

MSC Class: 14F30; 11F80 (Primary); 11F70; 14G15 (Secondary)

On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field

Authors: Vladimir Drinfeld

Abstract: Let $Π$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $λ$ of the field of algebraic numbers which is prime to p, consider the $λ$-adic pro-semisimple completion of $Π$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that thi… ▽ More Let $Π$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $λ$ of the field of algebraic numbers which is prime to p, consider the $λ$-adic pro-semisimple completion of $Π$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $λ$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its crystalline analog (proved by T. Abe) using a reconstruction theorem in the spirit of Kazhdan-Larsen-Varshavsky. We also formulate two related conjectures, each of which is a "reciprocity law" involving a sum over all $l$-adic cohomology theories (including the crystalline theory for $l=p$). △ Less

Submitted 17 January, 2018; v1 submitted 20 September, 2015; originally announced September 2015.

Comments: Typo corrected

MSC Class: 14G15; 11G35 (Primary); 20G05 (Secondary)

On a strange invariant bilinear form on the space of automorphic forms

Authors: Vladimir Drinfeld, Jonathan Wang

Abstract: Let F be a global field and A its ring of adeles. Let G:=SL(2). We study the bilinear form B on the space of K-finite smooth compactly supported functions on G(A )/G(F) defined by the formula B (f,g):=B'(f,g)-(M^{-1}CT (f),CT (g)), where B' is the usual scalar product, CT is the constant term operator, and M is the standard intertwiner. This form is natural from the viewpoint of the geometric Lang… ▽ More Let F be a global field and A its ring of adeles. Let G:=SL(2). We study the bilinear form B on the space of K-finite smooth compactly supported functions on G(A )/G(F) defined by the formula B (f,g):=B'(f,g)-(M^{-1}CT (f),CT (g)), where B' is the usual scalar product, CT is the constant term operator, and M is the standard intertwiner. This form is natural from the viewpoint of the geometric Langlands program. To justify this claim, we provide a dictionary between the classical and "geometric" theory of automorphic forms. We also show that the form B is related to S. Schieder's Picard-Lefschetz oscillators. △ Less

Submitted 4 October, 2016; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: Typos corrected

MSC Class: Primary 11F70; secondary 20C; 14F

Geometric constant term functor(s)

Authors: V. Drinfeld, D. Gaitsgory

Abstract: We study the Eisenstein series and constant term functors in the framework of geometric theory of automorphic functions. Our main result says that for a parabolic P in G with Levi quotient M, the !-constant term functor CT_!:D-mod(Bun_G)-> D-mod(Bun_M) is canonically isomorphic to the *-constant term functor CT^-_*:D-mod(Bun_G)\to D-mod(Bun_M), taken with respect to the opposite parabolic P^-. We study the Eisenstein series and constant term functors in the framework of geometric theory of automorphic functions. Our main result says that for a parabolic P in G with Levi quotient M, the !-constant term functor CT_!:D-mod(Bun_G)-> D-mod(Bun_M) is canonically isomorphic to the *-constant term functor CT^-_*:D-mod(Bun_G)\to D-mod(Bun_M), taken with respect to the opposite parabolic P^-. △ Less

Submitted 4 October, 2016; v1 submitted 8 November, 2013; originally announced November 2013.

Comments: Typo corrected

On a theorem of Braden

Authors: Vladimir Drinfeld, Dennis Gaitsgory

Abstract: We give a new proof of Braden's theorem ([Br]) about \emph{hyperbolic restrictions} of constructible sheaves/D-modules. The main geometric ingredient in the proof is a 1-parameter family that degenerates a given scheme Z equipped with a G_m-action to the product of the attractor and repeller loci. We give a new proof of Braden's theorem ([Br]) about \emph{hyperbolic restrictions} of constructible sheaves/D-modules. The main geometric ingredient in the proof is a 1-parameter family that degenerates a given scheme Z equipped with a G_m-action to the product of the attractor and repeller loci. △ Less

Submitted 14 March, 2014; v1 submitted 17 August, 2013; originally announced August 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1308.2604

MSC Class: 14F; 14L30; 20C

On algebraic spaces with an action of G_m

Authors: Vladimir Drinfeld

Abstract: Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1\times Z\times Z$, where $A^1$ is the affine line. (If Z is affine and smooth this is just the closure of the graph of the action map $G_m\times Z\to Z$.) In articles joint w… ▽ More Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1\times Z\times Z$, where $A^1$ is the affine line. (If Z is affine and smooth this is just the closure of the graph of the action map $G_m\times Z\to Z$.) In articles joint with D.Gaitsgory we use this set-up to prove a new result in the geometric theory of automorphic forms and to give a new proof of a very important theorem of T. Braden. △ Less

Submitted 9 March, 2015; v1 submitted 12 August, 2013; originally announced August 2013.

Comments: Appendix C added

MSC Class: Primary 14L30; Secondary 14D24; 20G05; 22E57

Fourier transform of algebraic measures

Authors: Vladimir Drinfeld

Abstract: These are notes of a talk based on the work arXiv:1212.3630 joint with A. Aizenbud. Let V be a finite-dimensional vector space over a local field F of characteristic 0. Let f be a function on V of the form $f(x)= ψ(P(x))$, where P is a polynomial on V and $ψ$ is a nontrivial additive character of F. Then it is clear that the Fourier transform of f is well-defined as a distribution on $V^*$. Due… ▽ More These are notes of a talk based on the work arXiv:1212.3630 joint with A. Aizenbud. Let V be a finite-dimensional vector space over a local field F of characteristic 0. Let f be a function on V of the form $f(x)= ψ(P(x))$, where P is a polynomial on V and $ψ$ is a nontrivial additive character of F. Then it is clear that the Fourier transform of f is well-defined as a distribution on $V^*$. Due to J.Bernstein, Hrushovski-Kazhdan, and Cluckers-Loeser, it is known that the Fourier transform is smooth on a non-empty Zariski-open conic subset of $V^*$. The goal of these notes is to sketch a proof of this result (and some related ones), which is very simple modulo resolution of singularities (the existing proofs use D-module theory in the Archimedean case and model theory in the non-Archimedian one). △ Less

Submitted 18 September, 2014; v1 submitted 3 March, 2013; originally announced March 2013.

Comments: Submitted to Proceedings of the conference in honour of Gerard Laumon's 60th birthday

MSC Class: 14E; 46F

On the Langlands retraction

Authors: Vladimir Drinfeld

Abstract: Given a root system in a vector space V, Robert Langlands defined in 1973 a canonical retraction of V onto the dominant chamber. In this note we give a short review of the material on this retraction (which is well known under the name of "Langlands' geometric lemmas"). The main purpose of this review is to provide a convenient reference for e-print arXiv:1112.2402 by D.Gaitsgory and me, in whic… ▽ More Given a root system in a vector space V, Robert Langlands defined in 1973 a canonical retraction of V onto the dominant chamber. In this note we give a short review of the material on this retraction (which is well known under the name of "Langlands' geometric lemmas"). The main purpose of this review is to provide a convenient reference for e-print arXiv:1112.2402 by D.Gaitsgory and me, in which the Langlands retraction is used to define a certain coarsening of the Harder-Narasimhan-Shatz stratification of the stack of G-bundles on a smooth projective curve. △ Less

Submitted 9 January, 2013; originally announced January 2013.

Comments: 5 pages, Latex. arXiv admin note: text overlap with arXiv:1112.2402

MSC Class: 17B22

Character sheaves on unipotent groups in characteristic p>0

Authors: Mitya Boyarchenko, Vladimir Drinfeld

Abstract: These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a short introduction to the theory of characters and character sheaves for unipotent groups in positive characteristic, developed by the authors in a series of art… ▽ More These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a short introduction to the theory of characters and character sheaves for unipotent groups in positive characteristic, developed by the authors in a series of articles written between 2006 and 2011. We give an overview of the main results of this theory along with a bit of motivation. △ Less

Submitted 31 December, 2012; originally announced January 2013.

The wave front set of the Fourier transform of algebraic measures

Authors: Avraham Aizenbud, Vladimir Drinfeld

Abstract: We study the Fourier transform of the absolute value of a polynomial on a finite-dimensional vector space over a local field of characteristic 0. We prove that this transform is smooth on an open dense set. We prove this result for the Archimedean and the non-Archimedean case in a uniform way. The Archimedean case was proved in [Ber]. The non-Archimedean case was proved in [HK] and [CL]. Our met… ▽ More We study the Fourier transform of the absolute value of a polynomial on a finite-dimensional vector space over a local field of characteristic 0. We prove that this transform is smooth on an open dense set. We prove this result for the Archimedean and the non-Archimedean case in a uniform way. The Archimedean case was proved in [Ber]. The non-Archimedean case was proved in [HK] and [CL]. Our method is different from those described in [Ber,HK,CL]. It is based on Hironaka's desingularization theorem, unlike [Ber] which is based on the theory of D-modules and [HK,CL] which is based on model theory. Our method also gives bounds on the open dense set where the Fourier transform is smooth. These bounds are explicit in terms of resolution of singularities. We also prove the same result on the Fourier transform of other measures of algebraic origins. △ Less

Submitted 13 February, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: 40 pages

MSC Class: 46F; 46F10; 14

Compact generation of the category of D-modules on the stack of G-bundles on a curve

Authors: Vladimir Drinfeld, Dennis Gaitsgory

Abstract: The goal of the paper is to show that the (derived) category of D-modules on the stack Bun_G(X) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that Bun_G(X) is not quasi-compact, so the above compact generation is not automatic. The proof is based on the following observation: Bun_G(X) can be written as a union of quasi-compact open substacks,… ▽ More The goal of the paper is to show that the (derived) category of D-modules on the stack Bun_G(X) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that Bun_G(X) is not quasi-compact, so the above compact generation is not automatic. The proof is based on the following observation: Bun_G(X) can be written as a union of quasi-compact open substacks, which are "co-truncative", i.e., the j_! extension functor is defined on the entire category of D-modules. △ Less

Submitted 1 May, 2015; v1 submitted 11 December, 2011; originally announced December 2011.

Comments: 2 minor mistakes corrected

A duality formalism in the spirit of Grothendieck and Verdier

Authors: Mitya Boyarchenko, Vladimir Drinfeld

Abstract: We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples include the derived category of constructible sheaves on a scheme (with respect to tensor product) as well as the derived and equivariant derived categories of const… ▽ More We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples include the derived category of constructible sheaves on a scheme (with respect to tensor product) as well as the derived and equivariant derived categories of constructible sheaves on an algebraic group (with respect to convolution). We show that the notions of pivotal category and ribbon category, which are well known in the setting of rigid monoidal categories, as well as certain standard results associated with these notions, have natural analogues in the world of Grothendieck-Verdier categories. △ Less

Submitted 15 April, 2012; v1 submitted 30 August, 2011; originally announced August 2011.

Comments: 35 pages, LaTeX; final version, to appear in Quantum Topology

On some finiteness questions for algebraic stacks

Authors: Vladimir Drinfeld, Dennis Gaitsgory

Abstract: We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous. We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous. △ Less

Submitted 26 October, 2012; v1 submitted 26 August, 2011; originally announced August 2011.

On a conjecture of Deligne

Authors: Vladimir Drinfeld

Abstract: Let X be a smooth variety over $F_p$. Let E be a number field. For each nonarchimedean place $λ$ of E prime to p consider the set of isomorphism classes of irreducible lisse $\bar{E}_λ$-sheaves on X with determinant of finite order such that for every closed point x in X the characteristic polynomial of the Frobenius $F_x$ has coefficents in E. We prove that this set does not depend on $λ$. The… ▽ More Let X be a smooth variety over $F_p$. Let E be a number field. For each nonarchimedean place $λ$ of E prime to p consider the set of isomorphism classes of irreducible lisse $\bar{E}_λ$-sheaves on X with determinant of finite order such that for every closed point x in X the characteristic polynomial of the Frobenius $F_x$ has coefficents in E. We prove that this set does not depend on $λ$. The idea is to use a method developed by G.Wiesend to reduce the problem to the case where X is a curve. This case was treated by L. Lafforgue. △ Less

Submitted 1 March, 2018; v1 submitted 22 July, 2010; originally announced July 2010.

Comments: Minor changes in Appendix A

MSC Class: 14G15; 11G35

On braided fusion categories I

Authors: Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik

Abstract: This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. T… ▽ More This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras. △ Less

Submitted 24 February, 2010; v1 submitted 2 June, 2009; originally announced June 2009.

Comments: 102 pages, LaTeX, typos corrected

MSC Class: 18D10; 16W30

Character sheaves on unipotent groups in positive characteristic: foundations

Authors: Mitya Boyarchenko, Vladimir Drinfeld

Abstract: In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G gives rise to an L-packet of character sheaves on G, and that, conversely, every L-packet of character sheaves on G arises from a (non-unique) admissible pair.… ▽ More In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G gives rise to an L-packet of character sheaves on G, and that, conversely, every L-packet of character sheaves on G arises from a (non-unique) admissible pair. In the appendices we discuss two abstract category theory patterns related to the study of character sheaves. The first appendix sketches a theory of duality for monoidal categories, which generalizes the notion of a rigid monoidal category and is close in spirit to the Grothendieck-Verdier duality theory. In the second one we use a topological field theory approach to define the canonical braided monoidal structure and twist on the equivariant derived category of constructible sheaves on an algebraic group; moreover, we show that this category carries an action of the surface operad. The third appendix proves that the "naive" definition of the equivariant constructible derived category with respect to a unipotent algebraic group is equivalent to the "correct" one. △ Less

Submitted 7 January, 2013; v1 submitted 4 October, 2008; originally announced October 2008.

Comments: 106 pages, LaTeX; to appear in Selecta Mathematica

Group-theoretical properties of nilpotent modular categories

Authors: Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik

Abstract: We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that… ▽ More We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that semisimple quasi-Hopf algebras of prime power dimension are group-theoretical. Our arguments are based on a reconstruction of twisted group doubles from Lagrangian subcategories of modular categories (this is reminiscent to the characterization of doubles of quasi-Lie bialgebras in terms of Manin pairs). △ Less

Submitted 2 April, 2007; v1 submitted 2 April, 2007; originally announced April 2007.

Comments: 23 pages, LaTeX, typos corrected

A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic

Authors: Mitya Boyarchenko, Vladimir Drinfeld

Abstract: This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent alge… ▽ More This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet. △ Less

Submitted 23 November, 2010; v1 submitted 27 September, 2006; originally announced September 2006.

Comments: 77 pages, LaTeX. A few proofs are missing from this version of the paper (only the essential ideas are sketched), but otherwise it is complete. Main change compared with the first version: the term "$L$-packet" has been replaced with "$\mathbb{L}$-packet" (which is short for "Lusztig packet")

Opers

Authors: Alexander Beilinson, Vladimir Drinfeld

Abstract: This article is an elementary introduction to opers without new results. We hope it can be useful for students. This article is an elementary introduction to opers without new results. We hope it can be useful for students. △ Less

Submitted 23 January, 2005; originally announced January 2005.

Comments: 29 pages, Plain Tex

Infinite-dimensional vector bundles in algebraic geometry (an introduction)

Authors: Vladimir Drinfeld

Abstract: Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and claims that it is local. The definition takes in account that the K_{-1} of a ring is not necessarily zero. However, we prove that K_{-1} always vanishes afte… ▽ More Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and claims that it is local. The definition takes in account that the K_{-1} of a ring is not necessarily zero. However, we prove that K_{-1} always vanishes after Nisnevich sheafification. As a discrete counterpart of families of Tate spaces, we introduce the notion of almost projective module. We discuss the notions of dimension torsor and determinant gerbe of a family of Tate spaces. The above technique has two different applications. First, we clarify the structure of the ind-scheme of formal loops of a smooth affine manifold Y. This allows to define a "refined" motivic integral of a differential form on Y with no zeros, which is an object of a triangulated category rather than an element of its K_0 group. Second, we show that almost projective modules and families of Tate spaces appear naturally in the study of the cohomology of a family of finite-dimensional vector bundles on a punctured smooth manifold. The canonical central extension that comes from this cohomology allows to interpret the "Uhlenbeck compactification" of the stack of vector bundles on the projective plane as the fine moduli space of a certain type of generalized vector bundles. △ Less

Submitted 11 October, 2004; v1 submitted 8 September, 2003; originally announced September 2003.

Comments: 30 pages

On the notion of geometric realization

Authors: Vladimir Drinfeld

Abstract: We explain why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set (resp. cyclic set) is equipped with an action of the group of orientation preserving homeomorphisms of the segment [0,1] (resp. the circle). Our approach is very similar to that of A. Besser and D. Grayson. We explain why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set (resp. cyclic set) is equipped with an action of the group of orientation preserving homeomorphisms of the segment [0,1] (resp. the circle). Our approach is very similar to that of A. Besser and D. Grayson. △ Less

Submitted 24 May, 2013; v1 submitted 4 April, 2003; originally announced April 2003.

Comments: Corrected a mistake. (The mistake is described in the "Warning" on p.9.)

DG quotients of DG categories

Authors: Vladimir Drinfeld

Abstract: Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the… ▽ More Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the e-print is essentially self-contained. △ Less

Submitted 17 February, 2008; v1 submitted 7 October, 2002; originally announced October 2002.

Comments: 50 pages, Latex; an error in the proof of Lemma 13.5 is corrected

On the Grinberg - Kazhdan formal arc theorem

Authors: Vladimir Drinfeld

Abstract: Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal neighborhood of f in L(X) admits a decomposition into a product of an infinite-dimensional smooth piece and a piece isomorphic to the formal neighborhood of a cl… ▽ More Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal neighborhood of f in L(X) admits a decomposition into a product of an infinite-dimensional smooth piece and a piece isomorphic to the formal neighborhood of a closed point of a scheme of finite type. We give a short proof of this theorem without the characteristic 0 assumption. △ Less

Submitted 25 March, 2002; originally announced March 2002.

Comments: 4 pages, Latex

On a conjecture of Kashiwara

Authors: Vladimir Drinfeld

Abstract: Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle functor corresponding to some function then the successive quotients of the monodromy filtration are semisimple. We prove that these conjectures would follow fro… ▽ More Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle functor corresponding to some function then the successive quotients of the monodromy filtration are semisimple. We prove that these conjectures would follow from de Jong's conjecture on representations modulo l of the arithmetic fundamental group of a variety over a finite field. △ Less

Submitted 21 October, 2001; v1 submitted 7 August, 2001; originally announced August 2001.

Comments: 16 pages, Latex; added references to works by Simpson and Sabbah