Related papers: Formal loops, Tate objects and tangent Lie algebra…

In this work, we study symplectic structures on graded manifolds and their global counterparts, higher Lie groupoids. We begin by introducing the concept of graded manifold, starting with the degree 1 case, and translating key geometric…

We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant…

We consider, for each smooth manifold $M$, the set $\mathbb{M}$ comprised by all the primary ideals of $\mathcal{C}^\infty(M)$ which are closed and whose radical is maximal. The classical Lie theory of jets (jets of submanifolds) must be…

Let $X$ be a normal complex space such that the tangent sheaf $T_X$ is locally free and locally admits a basis consisting of pairwise commuting vector fields. Then $X$ is smooth.

Let $M$ be a closed, oriented and smooth manifold of dimension $d$. Let $\L M$ be the space of smooth loops in $M$. Chas and Sullivan introduced loop product, a product of degree $-d$ on the homology of $LM$. In this paper we show how for…

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth…

Let $\lambda: \tilde{G}\to G$ be the non-trivial double covering of the symplectic group $G=Sp(V,\omega)$ of the symplectic vector space $(V,\omega)$ by the metaplectic group $\tilde{G}=Mp(V,\omega).$ In this case, $\lambda$ is also a…

We show that the cotangent bundle $T^*(G/K)$ of a quasi-split symmetric space $G/K$ is isomorphic to the dual variety of the loop symmetric space for the Langlands dual group, providing instances of the relative Langlands duality for…

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…

Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free…

Given an affine Poisson algebra, that is singular one may ask whether there is an associated symplectic form. In the smooth case the answer is obvious: for the symplectic form to exist the Poisson tensor has to be invertible. In the…

We study loops of symplectic diffeomorphisms of closed symplectic manifolds. Our main result, which is valid for a large class of symplectic manifolds, shows that the flux of a symplectic loop vanishes whenever its orbits are contractible.…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

This paper studies formality of the differential graded algebra $RHom(E,E)$, where $E$ is a semistable sheaf on a K3 surface. The main tool is Kaledin's theorem on formality in families. For a large class of sheaves $E$, this DG algebra is…

It is well-known that the homology of the classifying space of the unitary group is isomorphic to the ring of symmetric functions, Symm. We offer the cohomology of the loop space of the suspension of the infinite complex projective space as…

In categorified symplectic geometry, one studies the categorified algebraic and geometric structures that naturally arise on manifolds equipped with a closed nondegenerate (n+1)-form. The case relevant to classical string theory is when n=2…

We construct holomorphic loop groups and their associated affine Kac-Moody groups and prove that they are tame Fr\'echet manifolds. These results form the functional analytic basis for the theory of affine Kac-Moody symmetric spaces,…

Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…

We construct and study a closed, two-dimensional, quasi-topological (0,2) gauged sigma model with target space a smooth G-manifold, where G is any compact and connected Lie group. When the target space is a flag manifold of simple G, and…

We give an intrinsic characterization of multisymplectic manifolds that have the linear type of density-valued symplectic forms in each tangent space, prove Darboux-type theorems for these forms, and investigate their symmetries.