-
Sylow theorems for supergroups
Authors:
Vera Serganova,
Alexander Sherman,
Dmitry Vaintrob
Abstract:
We introduce Sylow subgroups and $0$-groups to the theory of complex algebraic supergroups, which mimic Sylow subgroups and $p$-groups in the theory of finite groups. We prove that Sylow subgroups are always $0$-groups, and show that they are unique up to conjugacy. Further, we give an explicit classification of $0$-groups which will be very useful for future applications. Finally, we prove an ana…
▽ More
We introduce Sylow subgroups and $0$-groups to the theory of complex algebraic supergroups, which mimic Sylow subgroups and $p$-groups in the theory of finite groups. We prove that Sylow subgroups are always $0$-groups, and show that they are unique up to conjugacy. Further, we give an explicit classification of $0$-groups which will be very useful for future applications. Finally, we prove an analogue of Sylow's third theorem on the number of Sylow subgroups of a supergroup.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
A bound on the Hodge filtration of the de Rham cohomology of supervarieties
Authors:
Alexander Polishchuk,
Dmitry Vaintrob
Abstract:
We study the relation between the Hodge filtration of the de Rham cohomology of a proper smooth supervariety $X$ and the usual Hodge filtration of the corresponding reduced variety $X_0$.
We study the relation between the Hodge filtration of the de Rham cohomology of a proper smooth supervariety $X$ and the usual Hodge filtration of the corresponding reduced variety $X_0$.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Localization for CS manifolds and volume of homogeneous superspaces
Authors:
Vera Serganova,
Dmitry Vaintrob
Abstract:
We prove the Schwarz-Zaboronsky localization theorem for CS manifolds and use this to give a volume calculation for homogeneous superspaces for super-Lie groups that lack a real form.
We prove the Schwarz-Zaboronsky localization theorem for CS manifolds and use this to give a volume calculation for homogeneous superspaces for super-Lie groups that lack a real form.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
Formality of little disks and algebraic geometry
Authors:
Dmitry Vaintrob
Abstract:
We construct a canonical chain of formality quasiisomorphisms for the operad of chains on framed little disks and the operad of chains on little disks. The construction is done in terms of logarithmic algebraic geometry and is remarkable for being rational (and indeed definable integrally) in de Rham cohomology.
We construct a canonical chain of formality quasiisomorphisms for the operad of chains on framed little disks and the operad of chains on little disks. The construction is done in terms of logarithmic algebraic geometry and is remarkable for being rational (and indeed definable integrally) in de Rham cohomology.
△ Less
Submitted 28 March, 2021;
originally announced March 2021.
-
The Deligne-Mumford operad as a trivialization of the circle action
Authors:
Alexandru Oancea,
Dmitry Vaintrob
Abstract:
We prove that the tree-like Deligne-Mumford operad is a homotopical model for the trivialization of the circle in the higher-genus framed little discs operad. Our proof is based on a geometric argument involving nodal annuli. We use Riemann surfaces with analytically parametrized boundary as a model for higher-genus framed little discs.
We prove that the tree-like Deligne-Mumford operad is a homotopical model for the trivialization of the circle in the higher-genus framed little discs operad. Our proof is based on a geometric argument involving nodal annuli. We use Riemann surfaces with analytically parametrized boundary as a model for higher-genus framed little discs.
△ Less
Submitted 4 November, 2023; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Moduli of framed formal curves
Authors:
Dmitry Vaintrob
Abstract:
We introduce framed formal curves, which are formal algebraic curves with boundary components parametrized by the punctured formal disk. We study the moduli space of nodal framed formal curves, which we endow with a logarithmic structure. We show that this moduli space is a smooth formal logarithmic stack. The remarkable property of our construction is that framed formal curves admit a natural ope…
▽ More
We introduce framed formal curves, which are formal algebraic curves with boundary components parametrized by the punctured formal disk. We study the moduli space of nodal framed formal curves, which we endow with a logarithmic structure. We show that this moduli space is a smooth formal logarithmic stack. The remarkable property of our construction is that framed formal curves admit a natural operation of "gluing along the boundary" which works well in families and preserves smoothness (both in a formal and in a logarithmic sense), and this induces gluing maps on the level of moduli.
Using moduli spaces of framed formal curves we enhance the operad E2 of little disks (as well as its cousin, the framed little disks operad) to a fully log motivic operad. We use this structure to obtain a purely algebro-geometric proof of the formality of chains on these classical operads (initially proven for little disks by Tamarkin using analytic methods). We also recover and extend the known Galois action on the l-adic cohomology of framed and unframed little disks, and on Drinfeld associators, and extend it to the action on integral chains of a larger group scheme: the logarithmic motivic Galois group. Our methods generalize to a higher genus context, giving new "motivic" enrichments (for example, action by the absolute Galois group and by the log motivic Galois group) on the operad of chains in the oriented geometric bordism operad of Ayala and Lurie, which encodes the algebraic structure on the Hochschild cochains of any fully dualizable DG category.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Categorical Logarithmic Hodge Theory, I
Authors:
Dmitry Vaintrob
Abstract:
We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal Abelian category, which we argue can be thought of as the categorical substrate for logarithmic Hodge theory of $U$. We show that its Hochschild homology theory…
▽ More
We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal Abelian category, which we argue can be thought of as the categorical substrate for logarithmic Hodge theory of $U$. We show that its Hochschild homology theory coincides with the theory of log-forms on $X$ with logarithmic structure induced by $D$, and in particular, that the noncommutative Hodge-to de Rham sequence on $\operatorname{Qcoh}_{log}(U, X, D)$ recovers known log Hodge structure on the de Rham cohomology of the open variety $U$. As an application, we compute the Hochschild homology of the category of coherent sheaves on the infinite root stack of Talpo and Vistoli in the toroidal setting. We prove a derived invariance result for this theory: namely, that strictly toroidal changes of compactification do not change the derived category of $\operatorname{Qcoh}_{log}(U, X, D)$. The definition is motivated by the coherent object appearing in the author's microlocal mirror symmetry result [20].
In this paper, the first in a series, we work over an algebraically closed field of characteristic zero. The next installment will develop the characteristic p and mixed-characteristic theories.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
The Gauss-Manin connection on the periodic cyclic homology
Authors:
Alexander Petrov,
Dmitry Vaintrob,
Vadim Vologodsky
Abstract:
It is expected that the periodic cyclic homology of a DG algebra over the field of complex numbers (and, more generally, the periodic cyclic homology of a DG category) carries a lot of additional structure similar to the mixed Hodge structure on the de Rham cohomology of algebraic varieties. Whereas a construction of such a structure seems to be out of reach at the moment its counterpart in finite…
▽ More
It is expected that the periodic cyclic homology of a DG algebra over the field of complex numbers (and, more generally, the periodic cyclic homology of a DG category) carries a lot of additional structure similar to the mixed Hodge structure on the de Rham cohomology of algebraic varieties. Whereas a construction of such a structure seems to be out of reach at the moment its counterpart in finite characteristic is much better understood thanks to recent groundbreaking works of Kaledin. In particular, it is proven by Kaledin that under some assumptions on a DG algebra $A$ over a perfect field $k$ of characteristic $p$, a lifting of $A$ over the ring of second Witt vectors $W_2(k)$ specifies the structure of a Fontaine-Laffaille module on the periodic cyclic homology of $A$. The purpose of this paper is to develop a relative version of Kaledin's theory for DG algebras over a base $k$-algebra $R$ incorporating in the picture the Gauss-Manin connection on the relative periodic cyclic homology constructed by Getzler. Our main result asserts that, under some assumptions on $A$, the Gauss-Manin connection on its periodic cyclic homology can be recovered from the Hochschild homology of $A$ equipped with the action of the Kodaira-Spencer operator as the inverse Cartier transform (in the sense of Ogus-Vologodsky). As an application, we prove, using the reduction modulo $p$ technique, that, for a smooth and proper DG algebra over a complex punctured disk, the monodromy of the Gauss-Manin connection on its periodic cyclic homology is quasi-unipotent.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
On the Surjectivity of Galois Representations Associated to Elliptic Curves over Number Fields
Authors:
Eric Larson,
Dmitry Vaintrob
Abstract:
Given an elliptic curve $E$ over a number field $K$, the $\ell$-torsion points $E[\ell]$ of $E$ define a Galois representation $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$. A famous theorem of Serre states that as long as $E$ has no Complex Multiplication (CM), the map $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$ is surjective for all but finitely many $\ell$.
We say that a prime number $\ell$ is exceptional…
▽ More
Given an elliptic curve $E$ over a number field $K$, the $\ell$-torsion points $E[\ell]$ of $E$ define a Galois representation $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$. A famous theorem of Serre states that as long as $E$ has no Complex Multiplication (CM), the map $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$ is surjective for all but finitely many $\ell$.
We say that a prime number $\ell$ is exceptional (relative to the pair $(E,K)$) if this map is not surjective. Here we give a new bound on the largest exceptional prime, as well as on the product of all exceptional primes of $E$. We show in particular that conditionally on the Generalized Riemann Hypothesis (GRH), the largest exceptional prime of an elliptic curve $E$ without CM is no larger than a constant (depending on $K$) times $\log N_E$, where $N_E$ is the absolute value of the norm of the conductor. This answers affirmatively a question of Serre.
△ Less
Submitted 30 March, 2012;
originally announced April 2012.
-
Determinants of Subquotients of Galois Representations Associated to Abelian Varieties
Authors:
Eric Larson,
Dmitry Vaintrob
Abstract:
Given an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell$, the $\ell^n$-torsion points of $A$ give rise to a representation $ρ_{A, \ell^n} : \gal(\bar{K} / K) \to \gl_{2g}(\zz/\ell^n\zz)$. In particular, we get a mod-$\ell$ representation $ρ_{A, \ell} : \gal(\bar{K} / K) \to \gl_{2g}(\ff_\ell)$and an $\ell$-adic representation…
▽ More
Given an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell$, the $\ell^n$-torsion points of $A$ give rise to a representation $ρ_{A, \ell^n} : \gal(\bar{K} / K) \to \gl_{2g}(\zz/\ell^n\zz)$. In particular, we get a mod-$\ell$ representation $ρ_{A, \ell} : \gal(\bar{K} / K) \to \gl_{2g}(\ff_\ell)$and an $\ell$-adic representation $ρ_{A, \ell} : \gal(\bar{K} / K) \to \gl_{2g}(\zz_\ell)$.
In this paper, we describe the possible determinants of subrepresentations (or more generally, subquotients) of these two representation for $\ell$ a prime number, as $A$ varies over all $g$-dimensional abelian varieties. Note that it is certainly not the case that any mod-$\ell$ subquotient lifts to an $\ell$-adic one. Nevertheless, the list of possible mod-$\ell$ characters turns out to be remarkably similar to the list of possible $\ell$-adic characters.
△ Less
Submitted 30 March, 2012; v1 submitted 2 October, 2011;
originally announced October 2011.
-
Introduction to representation theory
Authors:
Pavel Etingof,
Oleg Golberg,
Sebastian Hensel,
Tiankai Liu,
Alex Schwendner,
Dmitry Vaintrob,
Elena Yudovina
Abstract:
These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in represen…
▽ More
These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in representation theory of groups, Lie algebras, and quivers, and contain many problems and exercises. They should be accessible to students with a strong background in linear algebra and a basic knowledge of abstract algebra, and may be used for an undergraduate or introductory graduate course in representation theory.
△ Less
Submitted 1 February, 2011; v1 submitted 7 January, 2009;
originally announced January 2009.
-
The string topology BV algebra, Hochschild cohomology and the Goldman bracket on surfaces
Authors:
Dmitry Vaintrob
Abstract:
In 1999 Chas and Sullivan discovered that the homology H_*(LX) of the space of free loops on a closed oriented smooth manifold X has a rich algebraic structure called string topology. They proved that H_*(LX) is naturally a Batalin-Vilkovisky (BV) algebra. There are several conjectures connecting the string topology BV algebra with algebraic structures on the Hochschild cohomology of algebras re…
▽ More
In 1999 Chas and Sullivan discovered that the homology H_*(LX) of the space of free loops on a closed oriented smooth manifold X has a rich algebraic structure called string topology. They proved that H_*(LX) is naturally a Batalin-Vilkovisky (BV) algebra. There are several conjectures connecting the string topology BV algebra with algebraic structures on the Hochschild cohomology of algebras related to the manifold X, but none of them has been verified for manifolds of dimension n>1.
In this work we study string topology in the case when X is aspherical (i.e. its homotopy groups π_i(X) vanish for i > 1). In this case the Hochschild cohomology Gerstenhaber algebra HH^*(A) of the group algebra A of the fundamental group of X has a BV structure. Our main result is a theorem establishing a natural isomorphism between the Hochschild cohomology BV algebra HH^*(A) and the string topology BV algebra H_*(LX). In particular, for a closed oriented surface X of hyperbolic type we obtain a complete description of the BV algebra operations on H_*(LX) and HH^*(A) in terms of the Goldman bracket of loops on X. The only manifolds for which the BV algebra structure on H_*(LX) was known before were spheres and complex Stiefel manifolds.
Our proof is based on a combination of topological and algebraic constructions allowing us to compute and compare multiplications and BV operators on both H_*(LX) and HH^*(A).
△ Less
Submitted 28 February, 2007;
originally announced February 2007.