Showing 1–17 of 17 results for author: Bouaziz, E

Elliptic loop spaces

Authors: Emile Bouaziz, Adeel A. Khan

Abstract: We introduce an elliptic avatar of loop spaces in derived algebraic geometry, completing the familiar trichotomoy of rational, trigonometric and elliptic objects. Heuristically, the elliptic loop space of $\mathcal{Y}$ is the stack of maps to $\mathcal{Y}$ from a certain exotic avatar $\mathcal{S}_{E}$ of the elliptic curve $E$, such that the category of quasi-coherent sheaves on… ▽ More We introduce an elliptic avatar of loop spaces in derived algebraic geometry, completing the familiar trichotomoy of rational, trigonometric and elliptic objects. Heuristically, the elliptic loop space of $\mathcal{Y}$ is the stack of maps to $\mathcal{Y}$ from a certain exotic avatar $\mathcal{S}_{E}$ of the elliptic curve $E$, such that the category of quasi-coherent sheaves on $\mathcal{S}_{E}$ is the convolution category of zero-dimensionally supported coherent sheaves on $E$. For quotient stacks, the structure sheaf of the elliptic loop space gives rise to a theory of equivariant elliptic Hodge cohomology. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: 48 pages, comments welcome

Sheaves of AV-modules on quasi-projective varieties

Authors: Yuly Billig, Emile Bouaziz

Abstract: We study sheaves of modules for the Lie algebra of vector fields with the action of the algebra of functions, compatible via the Leibniz rule. A crucial role in this theory is played by the virtual jets of vector fields - jets that evaluate to a zero vector field under the anchor map. Virtual jets of vector fields form a vector bundle $\mathcal{L}_+$ whose fiber is Lie algebra $\widehat{L}_+$ of v… ▽ More We study sheaves of modules for the Lie algebra of vector fields with the action of the algebra of functions, compatible via the Leibniz rule. A crucial role in this theory is played by the virtual jets of vector fields - jets that evaluate to a zero vector field under the anchor map. Virtual jets of vector fields form a vector bundle $\mathcal{L}_+$ whose fiber is Lie algebra $\widehat{L}_+$ of vanishing at zero derivations of power series. We show that a sheaf of $AV$-modules is characterized by two ingredients - it is a module for $\mathcal{L}_+$ and an $\mathcal{L}_+$-charged $D$-module. For each rational finite-dimensional representation of $\widehat{L}_+$, we construct a bundle of jet $AV$-modules. We also show that Rudakov modules may be realized as tensor products of jet modules with a $D$-module of delta functions. △ Less

Submitted 4 September, 2024; originally announced September 2024.

MSC Class: 17B66 (Primary) 14F10; 17B10 (Secondary)

Spectral Flow Equivariance for Calabi-Yau Sigma Models

Authors: Emile Bouaziz

Abstract: We write down an explicit operator on the chiral de Rham complex of a Calabi-Yau variety $X$ which intertwines the usual $\mathcal{N}=2$ module structure with its twist by the spectral flow automorphism of the $\mathcal{N}=2$, producing the expected \emph{spectral flow equivariance}. Taking the trace of the operators $L_{0}$ and $J_{0}$ on cohomology, and using the obvious interaction of spectral… ▽ More We write down an explicit operator on the chiral de Rham complex of a Calabi-Yau variety $X$ which intertwines the usual $\mathcal{N}=2$ module structure with its twist by the spectral flow automorphism of the $\mathcal{N}=2$, producing the expected \emph{spectral flow equivariance}. Taking the trace of the operators $L_{0}$ and $J_{0}$ on cohomology, and using the obvious interaction of spectral flow with characters, we obtain an explicit categorification of ellipticity of the elliptic genus of $X$, which is well known by other means. △ Less

Submitted 2 July, 2024; originally announced July 2024.

The chiral critical locus and topological structures

Authors: Emile Bouaziz

Abstract: We study a differential graded VOA associated to the derived critical locus of a function $f$ on a smooth oriented $D$-dimensional variety $(X,\mathbf{vol})$. Informally, this VOA, $\mathbf{crit}^{ch}_{f}$, is just the algebra of chiral differential operators on the derived critical locus $\mathbf{crit}_{f}$. We prove, using a generalization of a physical construction of Witten, the… ▽ More We study a differential graded VOA associated to the derived critical locus of a function $f$ on a smooth oriented $D$-dimensional variety $(X,\mathbf{vol})$. Informally, this VOA, $\mathbf{crit}^{ch}_{f}$, is just the algebra of chiral differential operators on the derived critical locus $\mathbf{crit}_{f}$. We prove, using a generalization of a physical construction of Witten, the $\mathbf{crit}^{ch}_{f}$ admits a \emph{topological structure} if $f$ is homogeneous for a $\mathbf{G}_{m}$ action on $(X,\mathbf{vol})$. If $\mathbf{vol}$ has weight $b$ and $f$ has weight $a$, we compute the rank of the topological structure in terms of the discrete invariants of the theory to be $$d=\Big(D-\frac{2b}{a}\Big).$$ We conclude with some remarks about BV quantization and a simple computation of characters. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Infinitesimally Equivariant Bundles on Complex Manifolds

Authors: Emile Bouaziz

Abstract: We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one. Bundles equipped with such a splitting can be thought of as \emph{infinitesimally equivariant} bundles, and our theorem implies these are, in a certain sense, in… ▽ More We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one. Bundles equipped with such a splitting can be thought of as \emph{infinitesimally equivariant} bundles, and our theorem implies these are, in a certain sense, in a categorical formal neighbourhood of vector bundles with a flat connection. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Annihilators of $A\mathcal{V}$-modules and differential operators

Authors: Emile Bouaziz, Henrique Rocha

Abstract: For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the associated representation of $\mathcal{V}$ is given by a differential operator of order depending on the rank of the module. The order of the differential operator… ▽ More For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the associated representation of $\mathcal{V}$ is given by a differential operator of order depending on the rank of the module. The order of the differential operator provides a natural measure of the complexity of the representation, with the simplest case being that of $D$-modules. △ Less

Submitted 16 November, 2022; originally announced November 2022.

MSC Class: 17B10; 17B66; 32C38

Non-Archimedean Fréchet Algebras and the Loop Space of a Hypersurface Complement

Authors: Emile Bouaziz

Abstract: We study the space of loops into a hypersurface complement, and show that the corresponding topological algebra of Laurent series with coefficients in $\mathcal{O}(L\mathbf{A}^{d}_{f})$ is a topological localisation of $\mathcal{O}(L\mathbf{A}^{d})$. This requires introducing a small amount of non-Archimedean functional analysis. In particular we work with topological algebras whose topology is ge… ▽ More We study the space of loops into a hypersurface complement, and show that the corresponding topological algebra of Laurent series with coefficients in $\mathcal{O}(L\mathbf{A}^{d}_{f})$ is a topological localisation of $\mathcal{O}(L\mathbf{A}^{d})$. This requires introducing a small amount of non-Archimedean functional analysis. In particular we work with topological algebras whose topology is generated by a family of sub-multiplicative, non-Archimedean semi-norms. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Derived Geometry and Non-Linear Differential Equations on the Punctured Disc

Authors: Emile Bouaziz

Abstract: We study non-linear differential equations on the punctured formal disc by considering the natural derived enhancements of their spaces of solutions. In particular, by appealing to results of the inverse theory in the calculus of variations, we show that a variational formulation of a differential equation is \emph{equivalent} to the residue pairing inducing a (-1)-symplectic form on the derived s… ▽ More We study non-linear differential equations on the punctured formal disc by considering the natural derived enhancements of their spaces of solutions. In particular, by appealing to results of the inverse theory in the calculus of variations, we show that a variational formulation of a differential equation is \emph{equivalent} to the residue pairing inducing a (-1)-symplectic form on the derived space of solutions equipped with a certain decoration of its tangent complex. △ Less

Submitted 13 February, 2022; originally announced February 2022.

Topology of Singularities on Algebraic Loop Spaces

Authors: Emile Bouaziz

Abstract: We study the topology of some simple infinite dimensional singularities arising from spaces of \emph{algebraic formal loops}. We prove that in some simple cases the natural analogue of nearby cycles cohomology for a function on the loop space vanishes, and show further that a suitably renormalized version of the above cohomology produces a simple (non-zero) result. We study the topology of some simple infinite dimensional singularities arising from spaces of \emph{algebraic formal loops}. We prove that in some simple cases the natural analogue of nearby cycles cohomology for a function on the loop space vanishes, and show further that a suitably renormalized version of the above cohomology produces a simple (non-zero) result. △ Less

Submitted 13 February, 2022; originally announced February 2022.

Appell-Lerch Sums and N=2 Moduli

Authors: Emile Bouaziz

Abstract: We study moduli of odd-framed $\mathcal{N}=2$ elliptic curves subject to certain conditions, and show that the fermionic part of the moduli problem is essentially controlled by the Appell-Lerch sum, familiar from the theory of mock modular forms. We study moduli of odd-framed $\mathcal{N}=2$ elliptic curves subject to certain conditions, and show that the fermionic part of the moduli problem is essentially controlled by the Appell-Lerch sum, familiar from the theory of mock modular forms. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 11 pages

Tamarkin-Tsygan Calculus and Chiral Poisson Cohomology

Authors: E. Bouaziz

Abstract: We construct and study some vertex theoretic invariants associated to Poisson varieties, specialising in the conformal weight $0$ case to the familiar package of Poisson homology and cohomology. In order to do this conceptually we sketch a version of the \emph{calculus}, in the sense of \cite{TT}, adapted to the context of vertex algebras. We obtain the standard theorems of Poisson (co)homology in… ▽ More We construct and study some vertex theoretic invariants associated to Poisson varieties, specialising in the conformal weight $0$ case to the familiar package of Poisson homology and cohomology. In order to do this conceptually we sketch a version of the \emph{calculus}, in the sense of \cite{TT}, adapted to the context of vertex algebras. We obtain the standard theorems of Poisson (co)homology in this \emph{chiral} context. This is part of a larger project related to promoting non-commutative geometric structures to chiral versions of such. △ Less

Submitted 11 November, 2020; originally announced November 2020.

Comments: 12 pages, comments welcome

Poisson Vertex Cohomology and Tate Lie Algebroids

Authors: Emile Bouaziz

Abstract: We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson variety. We describe this complex in terms of the (continuous) de Rham-Lie cohomology of an associated Lie algebroid object in locally linearly compact topological… ▽ More We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson variety. We describe this complex in terms of the (continuous) de Rham-Lie cohomology of an associated Lie algebroid object in locally linearly compact topological (alias \emph{Tate}) sheaves of modules on $\mathcal{L}^{+}M$. In particular this allows us to easily compute the cohomology of the above in the case where $π$ is symplectic - we obtain de Rham cohomology of $M$. △ Less

Submitted 19 August, 2020; originally announced August 2020.

Infinite Type D-modules and Higher Depth Mock Modular Forms I

Authors: E. Bouaziz

Abstract: We study natural D-modules on the moduli stack of elliptic curves over a field of characteristic zero. We use this to produce an algebro-geometric version of the algebra of higher depth mock modular forms, studied from a Conformal Field Theoretic perspective by numerous authors. We study natural D-modules on the moduli stack of elliptic curves over a field of characteristic zero. We use this to produce an algebro-geometric version of the algebra of higher depth mock modular forms, studied from a Conformal Field Theoretic perspective by numerous authors. △ Less

Submitted 15 January, 2020; originally announced January 2020.

A Remark on Higher Homotopy Sheaves of Derived Arc Spaces

Authors: E. Bouaziz

Abstract: In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the case of smooth schemes. In this note we will see that this is also the case for reduced local complete intersection schemes In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the case of smooth schemes. In this note we will see that this is also the case for reduced local complete intersection schemes △ Less

Submitted 4 June, 2018; originally announced June 2018.

The Topology of Meromorphic Loop Spaces of Smooth Curves

Authors: E. Bouaziz

Abstract: We study the topology of the complex points of the algebraic loop space of a smooth curve. We study the topology of the complex points of the algebraic loop space of a smooth curve. △ Less

Submitted 3 June, 2018; originally announced June 2018.

A Note on Semi-Infinite Non-Commutative Hodge Theory and LG-Models

Authors: E. Bouaziz

Abstract: We study some semi-infinite invariants associated to Landau-Ginzburg models. These specialize classically to the usual twisted de Rham package and in the case of vanishing potential to the chiral de Rham complex of Malikov, Schechtman and Vaintrob, \cite{MSV}. Further we offer some small evidence that these semi-infinite invariants can be associated to dg- categories more generally, so that in the… ▽ More We study some semi-infinite invariants associated to Landau-Ginzburg models. These specialize classically to the usual twisted de Rham package and in the case of vanishing potential to the chiral de Rham complex of Malikov, Schechtman and Vaintrob, \cite{MSV}. Further we offer some small evidence that these semi-infinite invariants can be associated to dg- categories more generally, so that in the classical limit they reproduce the usual non-commutative Hodge theory associated to the category. △ Less

Submitted 3 June, 2018; originally announced June 2018.

A d-shifted Darboux theorem

Authors: E. Bouaziz, I. Grojnowski

Abstract: We give a local model for d-shifted symplectic dg-schemes, or Deligne-Mumford dg-stacks [PTVV]. Locally any such is a product of a "twisted shifted cotangent bundle", where the twist is given by an element df, with $f \in H^{1-d}(\Cal O)$, and a quadratic bundle in middle degree. The latter only occurs if d = 4r+2. We give a local model for d-shifted symplectic dg-schemes, or Deligne-Mumford dg-stacks [PTVV]. Locally any such is a product of a "twisted shifted cotangent bundle", where the twist is given by an element df, with $f \in H^{1-d}(\Cal O)$, and a quadratic bundle in middle degree. The latter only occurs if d = 4r+2. △ Less

Submitted 9 September, 2013; originally announced September 2013.