Related papers: A Frobenius theorem in algebraic geometry
We introduce the notion of strong regular embeddings of Deligne-Mumford stacks. These morphisms naturally arise in the related contexts of generalized Euler sequences and hypertoric geometry.
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…
We give a new description of the data needed to specify a morphism from a scheme to a toric Deligne-Mumford stack. The description is given in terms of a collection of line bundles and sections which satisfy certain conditions. As…
The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a…
We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study…
In this note we revisit Lurie's representability theorem for geometric stacks and prove that one of the conditions can be mildly relaxed. The proof uses ideas from Hall--Rydh's work on the (classical) Artin's representability theorem. We…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
Any toric Deligne-Mumford stack is a $\mu$-gerbe over the underlying toric orbifold for a finite abelian group $\mu$. In this paper we give a sufficient condition so that certain kinds of gerbes over a toric Deligne-Mumford stack are again…
We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical…
Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of…
This paper introduces arithmetic geometry for polynomial identity algebras using non-commutative (formal) deformation theory. Since formal deformation theory is inherently local the arithmetic and geometric results that follow give local…
We prove an analogue for Stokes torsors of Deligne's skeleton conjecture and deduce from it the representability of the functor of relative Stokes torsors by an affine scheme of finite type over C. This provides, in characteristic 0, a…
M. Kapranov introduced and studied in math.AG/9802041 the noncommutative formal structure of a smooth affine variety. In this note we show that his construction is a special case of microlocalization and extend it in a functorial way to…
We prove the following results for toric Deligne-Mumford stacks, under minimal compactness hypotheses: the Localization Theorem in equivariant K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai transformation…
Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
An algebraic system is proposed that represent surface cobordisms in thickened surfaces. Module and comodule structures over Frobenius algebras are used for representing essential curves. The proposed structure gives a unified algebraic…
This paper studies graded manifolds with local coordinates concentrated in non-negative degrees. We provide a canonical description of these objects in terms of classical geometric data and, building on this geometric viewpoint, we prove…