Related papers: Smooth loop stacks of differentiable stacks and ge…

We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general…

We generalize the van Est map and isomorphism theorem in three ways, and we discuss conjectured connections with homotopy theory, including a proposal of a category which unifies differentiable stacks, Lie algebroids and homotopy theory. In…

Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer…

Let $M$ be any simply-connected Gorenstein space over any field. F\'elix and Thomas have extended to simply-connected Gorenstein spaces, the loop (co)products of Chas and Sullivan on the homology of the free loop space $H_*(LM)$. We…

Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this…

We introduce multi-uniformized stacks as a generalization of the Abramovich--Hassett construction of uniformized twisted varieties. We prove an equivalence between the category of multi $\mathbb{Q}$-line bundles satisfying an analogue of…

Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…

We introduce loop spaces (in the sense of derived algebraic geometry) into the representation theory of reductive groups. In particular, we apply the theory developed in our previous paper arXiv:1002.3636 to flag varieties, and obtain new…

We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product…

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

We work out the construction of a Stein manifold from a commutative Arens-Michael algebra, under assumptions that are mild enough for the process to be useful in practice. Then, we do the passage to arbitrary complex manifolds by proposing…

We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…

Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can…

The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop…

We define in a global manner the notion of a connective structure for a gerbe on a space X. When the gerbe is endowed with trivializing data with respect to an open cover of X, we describe this connective structure in two separate ways,…

The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic…

An action of a Lie algebra $\frak g$ on a manifold $M$ is just a Lie algebra homomorphism $\zeta:\frak g\to \frak X(M)$. We define orbits for such an action. In general the space of orbits $M/\frak g$ is not a manifold and even has a bad…

We introduce a commutative product of degree $-n$ on the homology $H_\ast(X)$ of an $n$-dimensional special cubical set $X$ and lift it on the free loop homology $H_\ast(\Lambda M)$ for $M=|X|$ to be the geometric realization. These…

The space of de Rham currents supported in finitely many points in a Lie group $G$ has the structure of a filtered differential graded Hopf algebra. The product is given by convolution of compactly supported currents, and the co-product…

Given a smooth complex projective variety $M$ and a smooth closed curve $X \subset M$ such that the homomorphism of fundamental groups $\pi_1(X) \rightarrow \pi_1(M)$ is surjective, we study the restriction map of Higgs bundles, namely from…