Related papers: On Lurie's theorem and applications

In this paper, we show Langton's type theorem on separatedness and properness of moduli functor of torsion free semistable sheaves on algebraic orbifolds over an algebraically closed field k

We prove the cone theorem for varieties with LCIQ singularities using deformation theory of stable maps into Deligne-Mumford stacks. We also obtain a sharper bound on $-(K_X+D)$-degree of $(K_X+D)$-negative extremal rays for projective…

I discuss the problem of realizing families of complex orientable homology theories as families of commutative ring spectra, including a recent result of Jacob Lurie emphasizing the role of p-divisible groups.

We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror…

For an abelian category and a distinguished object with a graded endomorphism ring a necessary and sufficient criterion is given so that the category is equivalent to the abelian quotient of the category of finitely presented graded modules…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…

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…

This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…

Following the approach of Kawamata and Canonaco-Stellari, we establish Orlov's representability theorem for smooth tame Deligne-Mumford stacks with projective coarse moduli spaces over a quasiexcellent ring of finite Krull dimension. This…

We relate a certain category of sheaves of k-vector spaces on a complex affine Schubert variety to modules over the k-Lie algebra (for ch k>0) or to modules over the small quantum group (for ch k=0) associated to the Langlands dual root…

Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…

We present an extension of several results on pairs and varieties to foliated surface pairs. We prove the boundedness of local complements, the local index theorem, and the uniform boundedness of minimal log discrepancies (mlds), as well as…

We prove that Waldhausen K-theory, when extended to a very general class of quasicategories, can be described as a Goodwillie differential. In particular, K-theory spaces admit canonical (connective) deloopings, and the K-theory functor…

Motivated by localization theorems on moduli spaces, we prove a structural classification of Deligne-Mumford stacks with an action of a torus where the induced action on the coarse moduli space is trivial. We also establish a general local…

This is the companion article to the Bourbaki talk of the same name given in March 2009. The main theme of the talk and the article is to explain the interplay between homotopy theory and algebraic geometry through the Hopkins-Miller-Lurie…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules.

We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The…

A central result of Sturm-Liouville theory (also called the Sturm-Hurwitz Theorem) states that if $\phi_k$ is a sequence of eigenfunctions of a second order differential operator on the interval $I \subset \mathbb{R}$, then any linear…

As an application of P. Delgine's theorem (Esnault and Kerz in Acta Math. Vietnam. 37:531-562, 2012) on a finiteness of $l$-adic sheaves on a variety over a finite field, we show the finiteness of \'etale coverings of such a variety with…