Koszul duality for Iwasawa algebras modulo $p$
HTML articles powered by AMS MathViewer
- by Claus Sorensen
- Represent. Theory 24 (2020), 151-177
- DOI: https://doi.org/10.1090/ert/539
- Published electronically: March 24, 2020
- PDF | Request permission
Abstract:
In this article we establish a version of Koszul duality for filtered rings arising from $p$-adic Lie groups. Our precise setup is the following. We let $G$ be a uniform pro-$p$ group and consider its completed group algebra $\Omega =k\lBrack G\rBrack$ with coefficients in a finite field $k$ of characteristic $p$. It is known that $\Omega$ carries a natural filtration and $\text {gr} \Omega =S(\frak {g})$ where $\frak {g}$ is the (abelian) Lie algebra of $G$ over $k$. One of our main results in this paper is that the Koszul dual $\text {gr} \Omega ^!=\bigwedge \frak {g}^{\vee }$ can be promoted to an $A_{\infty }$-algebra in such a way that the derived category of pseudocompact $\Omega$-modules $D(\Omega )$ becomes equivalent to the derived category of strictly unital $A_{\infty }$-modules $D_{\infty }(\bigwedge \frak {g}^{\vee })$. In the case where $G$ is an abelian group we prove that the $A_{\infty }$-structure is trivial and deduce an equivalence between $D(\Omega )$ and the derived category of differential graded modules over $\bigwedge \frak {g}^{\vee }$ which generalizes a result of Schneider for $\Bbb {Z}_p$.References
- I. N. Bernšteĭn, I. M. Gel′fand, and S. I. Gel′fand, Algebraic vector bundles on $\textbf {P}^{n}$ and problems of linear algebra, Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 66–67 (Russian). MR 509387
- Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
- Joseph Bernstein and Valery Lunts, Equivariant sheaves and functors, Lecture Notes in Mathematics, vol. 1578, Springer-Verlag, Berlin, 1994. MR 1299527, DOI 10.1007/BFb0073549
- Armand Brumer, Pseudocompact algebras, profinite groups and class formations, J. Algebra 4 (1966), 442–470. MR 202790, DOI 10.1016/0021-8693(66)90034-2
- Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1999. With an appendix by David A. Buchsbaum; Reprint of the 1956 original. MR 1731415
- J. D. Dixon, M. P. F. du Sautoy, A. Mann, and D. Segal, Analytic pro-$p$ groups, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 61, Cambridge University Press, Cambridge, 1999. MR 1720368, DOI 10.1017/CBO9780511470882
- Michel Demazure, Lectures on $p$-divisible groups, Lecture Notes in Mathematics, vol. 302, Springer-Verlag, Berlin, 1986. Reprint of the 1972 original. MR 883960
- Matthew Emerton, Ordinary parts of admissible representations of $p$-adic reductive groups I. Definition and first properties, Astérisque 331 (2010), 355–402 (English, with English and French summaries). MR 2667882
- Gunnar Fløystad, Koszul duality and equivalences of categories, Trans. Amer. Math. Soc. 358 (2006), no. 6, 2373–2398. MR 2204036, DOI 10.1090/S0002-9947-05-04035-3
- Pierre Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962), 323–448 (French). MR 232821, DOI 10.24033/bsmf.1583
- Robin Hartshorne, Residues and duality, Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966. Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64; With an appendix by P. Deligne. MR 0222093, DOI 10.1007/BFb0080482
- Annette Huber, Guido Kings, and Niko Naumann, Some complements to the Lazard isomorphism, Compos. Math. 147 (2011), no. 1, 235–262. MR 2771131, DOI 10.1112/S0010437X10004884
- T. V. Kadeishvili, The algebraic structure in the homology of an $A(\infty )$-algebra, Soobshch. Akad. Nauk Gruzin. SSR 108 (1982), no. 2, 249–252 (1983) (Russian, with English and Georgian summaries). MR 720689
- T. V. Kadeishvili, Twisted tensor products for the category of $A(\infty )$-algebras and $A(\infty )$-modules, Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 83 (1986), 26–45 (Russian, with English summary). MR 881043
- T. V. Kadeishvili, The structure of the $A(\infty )$-algebra, and the Hochschild and Harrison cohomologies, Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 91 (1988), 19–27 (Russian, with English summary). MR 1029003
- Tornike Kadeishvili, Cohomology $C_\infty$-algebra and rational homotopy type, Algebraic topology—old and new, Banach Center Publ., vol. 85, Polish Acad. Sci. Inst. Math., Warsaw, 2009, pp. 225–240. MR 2503530, DOI 10.4064/bc85-0-16
- Bernhard Keller, Deriving DG categories, Ann. Sci. École Norm. Sup. (4) 27 (1994), no. 1, 63–102. MR 1258406, DOI 10.24033/asens.1689
- Bernhard Keller, Introduction to $A$-infinity algebras and modules, Homology Homotopy Appl. 3 (2001), no. 1, 1–35. MR 1854636, DOI 10.4310/hha.2001.v3.n1.a1
- Bernhard Keller, $A$-infinity algebras in representation theory, Representations of algebra. Vol. I, II, Beijing Norm. Univ. Press, Beijing, 2002, pp. 74–86. MR 2067371
- Bernhard Keller, $A$-infinity algebras, modules and functor categories, Trends in representation theory of algebras and related topics, Contemp. Math., vol. 406, Amer. Math. Soc., Providence, RI, 2006, pp. 67–93. MR 2258042, DOI 10.1090/conm/406/07654
- Bernhard Keller, Derived categories and tilting, Handbook of tilting theory, London Math. Soc. Lecture Note Ser., vol. 332, Cambridge Univ. Press, Cambridge, 2007, pp. 49–104. MR 2384608, DOI 10.1017/CBO9780511735134.005
- Jan Kohlhaase, Smooth duality in natural characteristic, Adv. Math. 317 (2017), 1–49. MR 3682662, DOI 10.1016/j.aim.2017.06.038
- Maxim Kontsevich, Homological algebra of mirror symmetry, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994) Birkhäuser, Basel, 1995, pp. 120–139. MR 1403918
- Henning Krause, Derived categories, resolutions, and Brown representability, Interactions between homotopy theory and algebra, Contemp. Math., vol. 436, Amer. Math. Soc., Providence, RI, 2007, pp. 101–139. MR 2355771, DOI 10.1090/conm/436/08405
- Michel Lazard, Groupes analytiques $p$-adiques, Inst. Hautes Études Sci. Publ. Math. 26 (1965), 389–603 (French). MR 209286
- K. Lefèvre-Hasegawa, Sur les $A_{\infty }$-catégories, Thèse de Doctorat, Universite Paris 7, November 2003. Available online at arXiv:math/0310337.
- Di Ming Lu, John H. Palmieri, Quan Shui Wu, and James J. Zhang, Koszul equivalences in $A_\infty$-algebras, New York J. Math. 14 (2008), 325–378. MR 2430869
- D.-M. Lu, J. H. Palmieri, Q.-S. Wu, and J. J. Zhang, $A$-infinity structure on Ext-algebras, J. Pure Appl. Algebra 213 (2009), no. 11, 2017–2037. MR 2533303, DOI 10.1016/j.jpaa.2009.02.006
- S. A. Merkulov, Strong homotopy algebras of a Kähler manifold, Internat. Math. Res. Notices 3 (1999), 153–164. MR 1672242, DOI 10.1155/S1073792899000070
- Volodymyr Mazorchuk, Serge Ovsienko, and Catharina Stroppel, Quadratic duals, Koszul dual functors, and applications, Trans. Amer. Math. Soc. 361 (2009), no. 3, 1129–1172. MR 2457393, DOI 10.1090/S0002-9947-08-04539-X
- Amnon Neeman, Triangulated categories, Annals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, 2001. MR 1812507, DOI 10.1515/9781400837212
- Rachel Ollivier and Peter Schneider, A canonical torsion theory for pro-$p$ Iwahori-Hecke modules, Adv. Math. 327 (2018), 52–127. MR 3761991, DOI 10.1016/j.aim.2017.06.013
- L. E. Positsel′skiĭ, Nonhomogeneous quadratic duality and curvature, Funktsional. Anal. i Prilozhen. 27 (1993), no. 3, 57–66, 96 (Russian, with Russian summary); English transl., Funct. Anal. Appl. 27 (1993), no. 3, 197–204. MR 1250981, DOI 10.1007/BF01087537
- Leonid Positselski, Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence, Mem. Amer. Math. Soc. 212 (2011), no. 996, vi+133. MR 2830562, DOI 10.1090/S0065-9266-2010-00631-8
- W. H. Schikhof, A perfect duality between $p$-adic Banach spaces and compactoids, Indag. Math. (N.S.) 6 (1995), no. 3, 325–339. MR 1351151, DOI 10.1016/0019-3577(95)93200-T
- Peter Schneider, $p$-adic Lie groups, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 344, Springer, Heidelberg, 2011. MR 2810332, DOI 10.1007/978-3-642-21147-8
- Peter Schneider, Smooth representations and Hecke modules in characteristic $p$, Pacific J. Math. 279 (2015), no. 1-2, 447–464. MR 3437786, DOI 10.2140/pjm.2015.279.447
- Jean-Pierre Serre, Sur la dimension cohomologique des groupes profinis, Topology 3 (1965), 413–420 (French). MR 180619, DOI 10.1016/0040-9383(65)90006-6
- C. Sorensen, Hochschild cohomology and $p$-adic Lie groups, to appear in Münster J. Math.
- N. Spaltenstein, Resolutions of unbounded complexes, Compositio Math. 65 (1988), no. 2, 121–154. MR 932640
- James Dillon Stasheff, HOMOTOPY ASSOCIATIVITY OF H-SPACES, ProQuest LLC, Ann Arbor, MI, 1961. Thesis (Ph.D.)–Princeton University. MR 2613327
- The Stacks Project Authors, Stacks Project, http://stacks.math.columbia.edu/, retrieved May 2018.
- P. Schneider and J. Teitelbaum, Banach space representations and Iwasawa theory, Israel J. Math. 127 (2002), 359–380. MR 1900706, DOI 10.1007/BF02784538
- Bruno Vallette, Algebra + homotopy = operad, Symplectic, Poisson, and noncommutative geometry, Math. Sci. Res. Inst. Publ., vol. 62, Cambridge Univ. Press, New York, 2014, pp. 229–290. MR 3380678
- Akshay Venkatesh, Derived Hecke algebra and cohomology of arithmetic groups, Forum Math. Pi 7 (2019), e7, 119. MR 4061961, DOI 10.1017/fmp.2019.6
- C. Wang-Erickson, Deformations of residually reducible Galois representations via $A_{\infty }$-algebra structure on Galois cohomology, preprint, arXiv:1809.02484, 2018.
- C. Wang-Erickson, Higher Yoneda product structures and Iwasawa algebras modulo p, preprint, 2019.
- S. Witherspoon, An Introduction to Hochschild Cohomology, book draft, retrieved June 2018. Available online.
Bibliographic Information
- Claus Sorensen
- Affiliation: Department of Mathematics, University of California, San Diego, La Jolla, California 92093
- Email: csorensen@ucsd.edu
- Received by editor(s): March 18, 2019
- Received by editor(s) in revised form: January 7, 2020
- Published electronically: March 24, 2020
- © Copyright 2020 American Mathematical Society
- Journal: Represent. Theory 24 (2020), 151-177
- MSC (2010): Primary 20C08, 22E35, 13D09
- DOI: https://doi.org/10.1090/ert/539
- MathSciNet review: 4079101