Showing 1–30 of 30 results for author: Arkhipov, S

Some general étale Weak Lefschetz-type theorems

Authors: Sergei I. Arkhipov, Mikhail V. Bondarko

Abstract: We establish new general etale versions of theorems of Barth and Sommese. Respectively, we compute the lower etale cohomology of closed subvarieties of $P^N$ of small codimensions and of their preimages with respect to proper morphisms (that are not necessarily finite; this statement is completely new), and also of the zero loci of sections of ample vector bundles; all these statements are valid o… ▽ More We establish new general etale versions of theorems of Barth and Sommese. Respectively, we compute the lower etale cohomology of closed subvarieties of $P^N$ of small codimensions and of their preimages with respect to proper morphisms (that are not necessarily finite; this statement is completely new), and also of the zero loci of sections of ample vector bundles; all these statements are valid over fields of arbitrary characteristics. To obtain these results, we use a new 'fat hyperplane section' Weak Lefschetz-type theorem for etale cohomology of non-projective varieties that is related to a result of Goresky and MacPherson (over complex numbers). △ Less

Submitted 9 July, 2025; originally announced July 2025.

Comments: This is a major update of arXiv:1203.2595. Lots of new results (including a Sommese-type theorem, several statements related to singularities, l-adic and singular cohomology formulations) and remarks (in particular, on the relation to the literature) were added. Exposition was modified drastically, and notation was changed

MSC Class: Primary 14F20 14G17; secondary 14M10 19F27 16E10 13B40; 18F20; 55R25

$A_{\infty}$-structures in monoidal DG categories and strong homotopy unitality

Authors: Rina Anno, Sergey Arkhipov, Timothy Logvinenko

Abstract: We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong homotopy unitality and bimodule homotopy unitality to work in this level of generality. For a strong homotopy unital $A_{\infty}$-algebra we construct Free-For… ▽ More We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong homotopy unitality and bimodule homotopy unitality to work in this level of generality. For a strong homotopy unital $A_{\infty}$-algebra we construct Free-Forgetful homotopy adjunction, its Kleisli category, and its derived category of modules. Analogous constructions for $A_{\infty}$-coalgebras require bicomodule homotopy counitality. We define homotopy adjunction for $A_{\infty}$-algebra and $A_{\infty}$-coalgebra and show such pair to be derived module-comodule equivalent. As an application, we obtain the notions of an $A_{\infty}$-monad and of an enhanced exact monad. We also show that for any adjoint triple $(L,F,R)$ of functors between enhanced triangulated categories the adjunction monad $RF$ and the adjunction comonad $LF$ are derived module-comodule equivalent. △ Less

Submitted 29 November, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 66 pages, v2, paper revised and shortened for eventual publication. Some minor inconsistencies fixed. All mathematical content remains intact, however many helpful explanations and diagrams were removed. The readers who prefer succinctness should read this version, while those who prefer helpfulness should read v1

MSC Class: 18G70 (primary); 18G35; 18G80; 18M05; 14F08; 18F20

Equivariant K-theory of the space of partial flags

Authors: Sergey Arkhipov, Mikhail Mazin

Abstract: We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of varieties of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine $0$-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove th… ▽ More We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of varieties of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine $0$-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove that for every $d$ there exists a surjective homomorphism from $\mathfrak{U}_n$ to ${\mathbb S}_0^{\operatorname{aff}}(n,d).$ △ Less

Submitted 27 May, 2025; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 47 pages; typos and mistakes fixed, exposition improved

MSC Class: 20G42; 20G43; 17B37

From polytopes to operads and back

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul and self-dual. We verify the conjecture for simplices, polygons, and products thereof. For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul and self-dual. We verify the conjecture for simplices, polygons, and products thereof. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 28 pages

Homotopy characters as a homotopy limit

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules ov… ▽ More For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules over $A$. These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived category of DG-modules over this DG-category. △ Less

Submitted 22 August, 2020; originally announced August 2020.

Comments: 21 pages, no figures

Report number: CPH-SYM-DNRF92 MSC Class: 18G35 (Primary); 18G80; 55U35 (Secondary)

Equivariant sheaves on loop spaces

Authors: Sergey Arkhipov, Sebastian Ørsted

Abstract: Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and Ørsted (2018a, 2018b), we define a dg-model for the derived category of dg-modules over the dg-algebra of differential forms $Ω_X$ on $X$ equivariant with respect to the action of a derived group scheme $(G ,Ω_G )$. We compare the obtaine… ▽ More Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and Ørsted (2018a, 2018b), we define a dg-model for the derived category of dg-modules over the dg-algebra of differential forms $Ω_X$ on $X$ equivariant with respect to the action of a derived group scheme $(G ,Ω_G )$. We compare the obtained dg-category with the one considered in Arkhipov and Kanstrup (2015) given by coherent sheaves on the derived Hamiltonian reduction of $T^* X$. △ Less

Submitted 2 February, 2023; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: 19 pages

A note on a Holstein construction

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: We clarify details and fill certain gaps in the construction of a canonical Reedy fibrant resolution for a constant simplicial DG-category due to Holstein. We clarify details and fill certain gaps in the construction of a canonical Reedy fibrant resolution for a constant simplicial DG-category due to Holstein. △ Less

Submitted 7 February, 2021; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 12 pages, no figures; revised argument in Appendix A; Appendix B (Erratum) added

Report number: CPH-SYM-DNRF92

Journal ref: Homology, Homotopy and Applications, Vol. 22, No. 2, 04.2020, p. 151-162

Homotopy limits in the category of dg-categories in terms of $\mathrm{A}_{\infty}$-comodules

Authors: Sergey Arkhipov, Sebastian Ørsted

Abstract: In this paper, we apply an explicit construction of a simplicial powering in dg-categories, due to Holstein (2016) and Arkhipov and Poliakova (2018), as well as our own results on homotopy ends (Arkhipov and Ørsted 2018), to obtain an explicit model for the homotopy limit of a cosimplicial system of dg-categories. We apply this to obtain a model for homotopy descent in terms of… ▽ More In this paper, we apply an explicit construction of a simplicial powering in dg-categories, due to Holstein (2016) and Arkhipov and Poliakova (2018), as well as our own results on homotopy ends (Arkhipov and Ørsted 2018), to obtain an explicit model for the homotopy limit of a cosimplicial system of dg-categories. We apply this to obtain a model for homotopy descent in terms of $\mathrm{A}_{\infty}$-comodules, proving a conjecture by Block, Holstein, and Wei (2017) in the process. △ Less

Submitted 11 April, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 31 pages; updated a reference

Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories

Authors: Sergey Arkhipov, Sebastian Ørsted

Abstract: We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat totalization formula in this complete generality. We finish with a proof that homotopy-final functors preserve homotopy limits, again in complete generality. We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat totalization formula in this complete generality. We finish with a proof that homotopy-final functors preserve homotopy limits, again in complete generality. △ Less

Submitted 31 August, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 13 pages; updated the abstract and introduction

MSC Class: 18G55; 18D99; 55U35; 18G30

Colored DG-operads and homotopy adjunction for DG-categories

Authors: Sergey Arkhipov, Tina Kanstrup

Abstract: Generalizing the approach to pseudo monoidal DG-categories as certain colored non-symmetric DG-operads, we introduce a certain relaxed notion of a category enriched in DG-categories. We construct model structures on the category of colored non-symmetric DG-operads and on the category of DGCat-enriched categories with a fixed set of objects. This allows us to talk about strong homotopy maps in both… ▽ More Generalizing the approach to pseudo monoidal DG-categories as certain colored non-symmetric DG-operads, we introduce a certain relaxed notion of a category enriched in DG-categories. We construct model structures on the category of colored non-symmetric DG-operads and on the category of DGCat-enriched categories with a fixed set of objects. This allows us to talk about strong homotopy maps in both settings. We discuss the notion of a strong homotopy monad in a DG-category and a notion of strong homotopy adjunction data for two DG-functors. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: Preliminary version, comments welcome! 28 pages

Braid group actions on matrix factorizations

Authors: Sergey Arkhipov, Tina Kanstrup

Abstract: Let $X$ be a smooth scheme with an action of a reductive algebraic group $G$ over an algebraically closed field $k$ of characteristic zero. We construct an action of the extended affine Braid group on the $G$-equivariant absolute derived category of matrix factorizations on the Grothendieck variety times $T^*X$ with potential given by the Grothendieck-Springer resolution times the moment map compo… ▽ More Let $X$ be a smooth scheme with an action of a reductive algebraic group $G$ over an algebraically closed field $k$ of characteristic zero. We construct an action of the extended affine Braid group on the $G$-equivariant absolute derived category of matrix factorizations on the Grothendieck variety times $T^*X$ with potential given by the Grothendieck-Springer resolution times the moment map composed with the natural pairing. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 25 pages

Equivariant Matrix Factorizations and Hamiltonian reduction

Authors: Sergey Arkhipov, Tina Kanstrup

Abstract: Let $X$ be a smooth scheme with an action of an algebraic group $G$. We establish an equivalence of two categories related to the corresponding moment map $μ: T^*X \to Lie(G)^*$ - the derived category of G-equivariant coherent sheaves on the derived fiber $μ^{-1}(0)$ and the derived category of $G$-equivariant matrix factorizations on $T^*X \times Lie(G)$ with potential given by $μ$. Let $X$ be a smooth scheme with an action of an algebraic group $G$. We establish an equivalence of two categories related to the corresponding moment map $μ: T^*X \to Lie(G)^*$ - the derived category of G-equivariant coherent sheaves on the derived fiber $μ^{-1}(0)$ and the derived category of $G$-equivariant matrix factorizations on $T^*X \times Lie(G)$ with potential given by $μ$. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 22 pages

Quasi-coherent Hecke category and Demazure Descent

Authors: Sergey Arkhipov, Tina Kanstrup

Abstract: Let G be a reductive algebraic group with a Borel subgroup B. We define the quasi-coherent Hecke category for the pair (G,B). For any regular Noetherian G-scheme X we construct a monoidal action of the Hecke category on the derived category of B-equivariant quasi-coherent sheaves on X. Using the action we define the Demazure Descent Data on the latter category and prove that the Descent category i… ▽ More Let G be a reductive algebraic group with a Borel subgroup B. We define the quasi-coherent Hecke category for the pair (G,B). For any regular Noetherian G-scheme X we construct a monoidal action of the Hecke category on the derived category of B-equivariant quasi-coherent sheaves on X. Using the action we define the Demazure Descent Data on the latter category and prove that the Descent category is equivalent to the derived category of G-equivariant sheaves on X. △ Less

Submitted 26 October, 2015; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: 12 pages. Changes suggested by the referee

Journal ref: Moscow Math. J., Volume 15, Issue 2, April-June 2015, pp. 257-267

Demazure descent and representations of reductive groups

Authors: Sergey Arkhipov, Tina Kanstrup

Abstract: We introduce the notion of Demazure descent data on a triangulated category C and define the descent category for such data. We illustrate the definition by our basic example. Let G be a reductive algebraic group with a Borel subgroup B. Demazure functors form Demazure descent data on the derived category of Rep(B) and the descent category is equivalent to the derived category of Rep(G). We introduce the notion of Demazure descent data on a triangulated category C and define the descent category for such data. We illustrate the definition by our basic example. Let G be a reductive algebraic group with a Borel subgroup B. Demazure functors form Demazure descent data on the derived category of Rep(B) and the descent category is equivalent to the derived category of Rep(G). △ Less

Submitted 26 October, 2015; v1 submitted 15 March, 2013; originally announced March 2013.

Comments: 9 pages. Changes suggested by the referee

MSC Class: 17B55; 20G05

Journal ref: Hindawi Algebra, Volume 2014 (2014), Article ID 823467

2-gerbes and 2-Tate spaces

Authors: Sergey Arkhipov, Kobi Kremnizer

Abstract: We construct a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group. This is done using an action of this 2-group on a 2-gerbe of gerbel theories. This central extension is used to define central extensions of double loop groups. We construct a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group. This is done using an action of this 2-group on a 2-gerbe of gerbel theories. This central extension is used to define central extensions of double loop groups. △ Less

Submitted 31 August, 2007; originally announced August 2007.

Comments: Uses Paul Taylor`s diagrams

Modules over the small quantum group and semi-infinite flag manifold

Authors: S. Arkhipov, R. Bezrukavnikov, A. Braverman, D. Gaitsgory, I. Mirković

Abstract: We develop a theory of perverse sheaves on the semi-infinite flag manifold $G((t))/N((t))\cdot T[[t]]$, and show that the subcategory of Iwahori-monodromy perverse sheaves is equivalent to the regular block of the category of representations of the small quantum group at an even root of unity. We develop a theory of perverse sheaves on the semi-infinite flag manifold $G((t))/N((t))\cdot T[[t]]$, and show that the subcategory of Iwahori-monodromy perverse sheaves is equivalent to the regular block of the category of representations of the small quantum group at an even root of unity. △ Less

Submitted 12 May, 2005; originally announced May 2005.

MSC Class: 14H60; 17B37

Toric arc schemes and quantum cohomology of toric varieties

Authors: Sergey Arkhipov, Mikhail Kapranov

Abstract: We describe the quantum cohomology ring of a toric Fano variety $X$ in terms of the usual topological cohomology ring for an auxiliary infinite-dimensional scheme. This scheme is a part of an algebro-geometric model for the universal cover of the space of free loops with values in $X$. We describe the quantum cohomology ring of a toric Fano variety $X$ in terms of the usual topological cohomology ring for an auxiliary infinite-dimensional scheme. This scheme is a part of an algebro-geometric model for the universal cover of the space of free loops with values in $X$. △ Less

Submitted 18 January, 2005; v1 submitted 4 October, 2004; originally announced October 2004.

Comments: 10 pages, AMSLaTeX

Quantum Groups, the loop Grassmannian, and the Springer resolution

Authors: Sergey Arkhipov, Roman Bezrukavnikov, Victor Ginzburg

Abstract: We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in te… ▽ More We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra which have played a key role in the proof of the Deligne-Langlands-Lusztig conjecture. One realization is in terms of locally constant functions on the flag manifold of a p-adic reductive group, while the other is in terms of equivariant K-theory of a complex (Steinberg) variety for the dual group. Our equivalence (2)-(3) may be viewed as a `categorification' of the isomorphism between the corresponding two geometric realizations of the fundamental polynomial representation of the affine Hecke algebra. The composite of the two equivalences above yields an equivalence between abelian categories of quantum group representations and perverse sheaves. A similar equivalence at an even root of unity can be deduced, following Lusztig program, from earlier deep results of Kazhdan-Lusztig and Kashiwara-Tanisaki. Our approach is independent of these results and is totally different (it does not rely on representation theory of Kac-Moody algebras). It also gives way to proving Humphreys' conjectures on tilting U_q(g)-modules, as will be explained in a separate paper. △ Less

Submitted 21 April, 2004; v1 submitted 14 April, 2003; originally announced April 2003.

Comments: final version, to appear in Journ. A.M.S. (July 2004)

Perverse sheaves on affine flags and Langlands dual group

Authors: Sergey Arkhipov, Roman Bezrukavnikov

Abstract: The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the ant… ▽ More The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions. △ Less

Submitted 11 February, 2020; v1 submitted 9 January, 2002; originally announced January 2002.

Comments: 32 pages; some corrections, epigraph added. See arXiv:1807.07614 for corrected proof of Lemma 5

Algebraic construction of contragradient quasi-Verma modules in positive characteristic

Authors: Sergey Arkhipov

Abstract: In the present paper we investigate a new class of infinite-dimensional modules over the hyperalgebra of a semi-simple algebraic group in positive chararacteristic called quasi-Verma modules. We provide a purely algebraic construction of the global Grothendieck-Cousin complex corresponding to the standard line bumdle ${\mathcal L}(λ)$ on the Flag variety of the algebraic group stratified by Schu… ▽ More In the present paper we investigate a new class of infinite-dimensional modules over the hyperalgebra of a semi-simple algebraic group in positive chararacteristic called quasi-Verma modules. We provide a purely algebraic construction of the global Grothendieck-Cousin complex corresponding to the standard line bumdle ${\mathcal L}(λ)$ on the Flag variety of the algebraic group stratified by Schubert cells. We prove that the complex consists of direct sums of quasi-Verma modules for the highest weights of the form $w\cdotλ$ for various elements $w$ of the Weyl group. △ Less

Submitted 5 May, 2001; originally announced May 2001.

Comments: 31 pages, AMSLaTeX

Report number: MPI 01-34

Another realization of the category of modules over the small quantum group

Authors: S. Arkhipov, D. Gaitsgory

Abstract: Let $g$ be a semi-simple simply-connected Lie algebra and let $U_\ell$ be the corresponding quantum group with divided powers, where $\ell$ is an even order root of unity. Let in addition $u_\ell\subset U_\ell$ be the corresponding "small" quantum group. In this paper we establish the following relation between the categories of representations of $U_\ell$ and $u_\ell$: We show that the catego… ▽ More Let $g$ be a semi-simple simply-connected Lie algebra and let $U_\ell$ be the corresponding quantum group with divided powers, where $\ell$ is an even order root of unity. Let in addition $u_\ell\subset U_\ell$ be the corresponding "small" quantum group. In this paper we establish the following relation between the categories of representations of $U_\ell$ and $u_\ell$: We show that the category of $u_\ell$-modules is naturally equivalent to the category of $U_\ell$-modules, which have a {\it Hecke eigen-property} with respect to representations lifted by means of the quantum Frobenius map $U_\ell\ti U(\check g)$, where $g$ is the Langlands dual Lie algebra. This description allows to express the regular linkage class in the category $u_\ell$-mod in terms of perverse sheaves on the affine flag variety with a Hecke eigen-property. Moreover, it can serve as a basis to the program to understand the connection between the category $u_\ell$-mod and the category of representations of the corresponding affine algebra at the critical level. △ Less

Submitted 8 April, 2002; v1 submitted 27 October, 2000; originally announced October 2000.

Comments: Corrected version

Differential operators and the loop group via chiral algebras

Authors: S. Arkhipov, D. Gaitsgory

Abstract: Let $G$ be an algebraic group and let $\widetilde{\mathfrak g}$ be the corresponding affine algebra on some level. Consider the induced module $V:=Ind^{\widetilde{\mathfrak g}}_{{\mathfrak g}[[t]](O_{G[[t]]})$, where $O_{G[[t]]}$ is the ring of regular functions on the group $G[[t]]$. In this paper we show that $V$ is naturally a vertex operator algebra, which is "responsible" for D-modules on… ▽ More Let $G$ be an algebraic group and let $\widetilde{\mathfrak g}$ be the corresponding affine algebra on some level. Consider the induced module $V:=Ind^{\widetilde{\mathfrak g}}_{{\mathfrak g}[[t]](O_{G[[t]]})$, where $O_{G[[t]]}$ is the ring of regular functions on the group $G[[t]]$. In this paper we show that $V$ is naturally a vertex operator algebra, which is "responsible" for D-modules on the loop group $G((t))$. Using the techiques of VOA we show that $V$ is in fact a bimodule over the affine algebra. In addition, we show that $V$ possesses a remarkable property related to its BRST reduction with respect to $\widetilde{\mathfrak g}$. This paper has a considerable intersection with a recent preprint of Gorbunov, Malikov and Schechtman. △ Less

Submitted 6 March, 2001; v1 submitted 1 September, 2000; originally announced September 2000.

Comments: Revised version, Section 6 added

Semiinfinite cohomology of Lie-* algebras

Authors: Sergey Arkhipov

Abstract: We construct a geometric version of BRST cohomology complex of a chiral module over a Lie-* algebra using the language of differential graded Lie algebroids in the category of D-modules on a compact curve $X$. We construct a geometric version of BRST cohomology complex of a chiral module over a Lie-* algebra using the language of differential graded Lie algebroids in the category of D-modules on a compact curve $X$. △ Less

Submitted 22 May, 2000; originally announced May 2000.

Comments: 13 pages, AMS LaTeX

Semiinfinite cohomology of Tate Lie algebras

Authors: Sergey Arkhipov

Abstract: In this note we give a definition of semiinfinite cohomology for Tate Lie algebras using the language of Differential Graded Lie algebroids with Curvature (CDG Lie algebroids). In this note we give a definition of semiinfinite cohomology for Tate Lie algebras using the language of Differential Graded Lie algebroids with Curvature (CDG Lie algebroids). △ Less

Submitted 2 March, 2000; originally announced March 2000.

Comments: 5 pages, AMSLaTeX

Semiinfinite cohomology of contragradient Weyl modules over small quantum groups

Authors: Sergey Arkhipov

Abstract: In this paper we construct some quantum analogues of the global Cousin complex for the flag variety in positive characteristic. Just like in the positive characteristic case, we obtain some remarkable resolutions of the contragradient modules over the small quantum group. We use these resolutions to calculate semiinfinite cohomology of the small quantum group with coefficients in contragradient… ▽ More In this paper we construct some quantum analogues of the global Cousin complex for the flag variety in positive characteristic. Just like in the positive characteristic case, we obtain some remarkable resolutions of the contragradient modules over the small quantum group. We use these resolutions to calculate semiinfinite cohomology of the small quantum group with coefficients in contragradient Weyl modules. It turns out that the described graded space of semiinfinite cohomology is naturally isomorphic to the space of distributions on the cotangent bundle of the flag variety with support in the union of conormal bundles to the Schubert cells with coefficients in the pull-back of a line bundle on the flag variety. △ Less

Submitted 11 June, 1999; originally announced June 1999.

Comments: 20 pages, AMSLaTeX

A proof of Feigin's conjecture

Authors: Sergey Arkhipov

Abstract: The paper is devoted to the proof of the following conjecture due to B. Feigin. Let $\frak u_\ell$ be the small quantum group a the primitive $\ell$-th root of unity. Then it is known that the usual $Ext$ algebra of the trivial $\frak u_\ell$-module is isomorphic to the algebra of regular functions on the nilpotent variety $\cal N$ in the corresponding simple Lie algebra $\frak g$ (see [GK]). Co… ▽ More The paper is devoted to the proof of the following conjecture due to B. Feigin. Let $\frak u_\ell$ be the small quantum group a the primitive $\ell$-th root of unity. Then it is known that the usual $Ext$ algebra of the trivial $\frak u_\ell$-module is isomorphic to the algebra of regular functions on the nilpotent variety $\cal N$ in the corresponding simple Lie algebra $\frak g$ (see [GK]). Consider semiinfinite cohomology of the trivial $\frak u_\ell$-module introduced in [Ar1], [Ar2]. It was shown in [Ar2] that the $Ext$ algebra of the trivial $\frak u_\ell$-module acts naturally on semiinfinite cohomology. Moreover semiinfinite cohomology space of the trivial $\frak_\ell$-module is equipped with a natural $\frak g$-module structure. B. Feigin conjectured that the described $\frak g$-module and $F(\cal N)$-module structures coincide with the ones on the space of local cohomology of the structure sheaf on $\cal N$ with support in the standard positive nilpotent subalgebra $\frak n^+\subset\cal N\subset \frak g$. We give a detailed proof of the conjecture. Moreover we generalize the statement and describe semiinfinite cohomology of contragradient Weyl modules in terms of local cohomology of certain coherent sheaves on the nilpotent cone and on its desingularization $T^*(G/B)$. To do this we construct a certain specialization of the quantum BGG resolution of the simple module $L(λ)$ defined for generic values of the quantizing parameter into the root of unity called the quasi-BGG complex. The complex conists of direct sums of quasi-Verma modules and provides conjecturally a resolution of the Weyl module $W(λ)$. △ Less

Submitted 2 December, 1997; originally announced December 1997.

Comments: 22 pages, LaTeX 2e

Semiinfinite cohomology of quantum groups II

Authors: Sergey Arkhipov

Abstract: It is known that the semi-infinite cohomology spaces of the infinitely twisted nilpotent subalgebra in an affine Lie algebra $g$ with coefficients in an integrable simple module over the affine Lie algebra have a base enumerated by elements of the corresponding affine Weyl group graded by the semiinfinite length function. Let $U$ be the affine quantum group corresponding to $g$. It is possible t… ▽ More It is known that the semi-infinite cohomology spaces of the infinitely twisted nilpotent subalgebra in an affine Lie algebra $g$ with coefficients in an integrable simple module over the affine Lie algebra have a base enumerated by elements of the corresponding affine Weyl group graded by the semiinfinite length function. Let $U$ be the affine quantum group corresponding to $g$. It is possible to define a subalgebra in $U$ being the quantum analogue of the universal enveloping algebra of the infinitely twisted nilpotent subalgebra in $g$. In this paper we prove that for general values of the parameter $v$ the semiinfinite cohomology of this associative algebra with coefficients in an integrable simple module over $U$ coincides with the one of the corresponding Lie subalgebra in $g$ with coefficients in the corresponding $g$-module. △ Less

Submitted 15 October, 1996; originally announced October 1996.

Comments: AMSLaTeX, 42 pages

A new construction of the semi-infinite BGG resolution

Authors: Sergey Arkhipov

Abstract: We introduce the techniques of semiregular bimodules over a Lie algebra with respect to a Lie subalgebra. Using this techniques in the case of affine Lie algebras we introduce twisting functors on the categories of modules. These functors are enumerated by elements of the affine Weyl group corresponding to the chosen affine Lie algebra and map Verma modules to so called twisted Verma modules. Ap… ▽ More We introduce the techniques of semiregular bimodules over a Lie algebra with respect to a Lie subalgebra. Using this techniques in the case of affine Lie algebras we introduce twisting functors on the categories of modules. These functors are enumerated by elements of the affine Weyl group corresponding to the chosen affine Lie algebra and map Verma modules to so called twisted Verma modules. Applying twisting functors to the BGG resolution of an integrable simple module we obtain a sequence of complexes called the twisted BGG resolutions. We show that the twisted BGG resolutions form an inductive system of complexes. It turns out that the limit complex of the inductive system is exactly the semi-infinite BGG resolution introduced by B. Feigin and E. Frenkel and consisting of direct sums of Wakimoto modules. △ Less

Submitted 3 June, 1996; v1 submitted 29 May, 1996; originally announced May 1996.

Comments: 21 pages, AMSLATEX, nonstandard page size: width 17 cm, length 24 cm

Semiinfinite cohomology of associative algebras and bar duality

Authors: Sergey Arkhipov

Abstract: We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the endomorphism algebra of the semiregular $A$-module appears naturally in semiinfinite cohomology theory as a ``two times Koszul dual'' to the algebra $A$. We compare se… ▽ More We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the endomorphism algebra of the semiregular $A$-module appears naturally in semiinfinite cohomology theory as a ``two times Koszul dual'' to the algebra $A$. We compare semiinfinite cohomology of universal enveloping algebras with the well-known Lie algebra semiinfinite cohomology. A new description of the critical 2-cocycle is provided. As a consequence we obtain another proof of the fact that additive categories generated by Verma modules over affine Lie algebras on dual levels are antiequivalent. △ Less

Submitted 5 February, 1996; originally announced February 1996.

Comments: 21 pages

Semiinfinite cohomology of quantum groups

Authors: Sergey Arkhipov

Abstract: In this paper we develop a new homology theory of associative algebras called semiinfinite cohomology in a derived category setting. We show that in the case of small quantum groups the zeroth semiinfinite cohomology of the trivial module is closely related to the conformal blocks' spaces. We provide a description of the semiinfinite cohomology spaces of the trivial module over a small quantum g… ▽ More In this paper we develop a new homology theory of associative algebras called semiinfinite cohomology in a derived category setting. We show that in the case of small quantum groups the zeroth semiinfinite cohomology of the trivial module is closely related to the conformal blocks' spaces. We provide a description of the semiinfinite cohomology spaces of the trivial module over a small quantum group in terms of distributions on the nilpotent cone of the corresponding semisimple Lie algebra. △ Less

Submitted 24 January, 1996; originally announced January 1996.

Comments: 24 pages