Related papers: Complex algebraic stacks and morphisms of intersec…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…

We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent…

Generalized complex geometry was classically formulated by the language of differential geometry. In this paper, we reformulated a generalized complex manifold as a holomorphic symplectic differentiable formal stack in a homotopical sense.…

We prove the BPS decomposition theorem (a.k.a. cohomological integrality theorem) decomposing the cohomology of smooth symmetric stacks into the Weyl-invariant part of the cohomological Hall induction of the intersection cohomology of good…

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential…

A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic…

This is an outline of work in progress concerning an algebro-geometric form of the Strominger-Yau-Zaslow conjecture. We introduce a limited type of degeneration of Calabi-Yau manifolds, which we call toric degenerations. For these, the…

We construct characteristic classes for singular algebraic varieties in motivic Borel-Moore homology, extending the motivic Euler class of the tangent bundle defined for smooth varieties. The two classes we define refine, in the setting of…

For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of…

We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry,…

Let \pi : X -> S be a morphism of algebraic stacks that is locally of finite presentation with affine stabilizers. We prove that there is an algebraic S-stack, the Hilbert stack, parameterizing proper algebraic stacks mapping quasi-finitely…

We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called…

A framework to systematically decouple high order elliptic equations into combination of Poisson-type and Stokes-type equations is developed. The key is to systematically construct the underling commutative diagrams involving the complexes…

We compute the factorization homology of a polynomial algebra over a compact and closed manifold with trivialized tangent bundle up to weak equivalence in a new way. This calculation is based on the model of a graph complex and an explicit…

We prove a number of results to the general effect that, under obviously necessary numerical and determinant constraints, "most" morphisms between fixed bundles on a complex elliptic curve produce (co)kernels which can either be specified…

We describe the primitive middle-dimensional cohomology $\mathbb{H}$ of a compact simplicial toric complete intersection variety in terms of a twisted de Rham complex. Then this enables us to construct a concrete algorithm of formal flat…

Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition…

Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie…

We prove a result concerning formality of the pull-back of a fibration. Our approach is to use bar complexes in the category of commutative differential graded algebras. As an application, we generalize an old result of Baum and Smith.