Cohomological descent theory for a morphism of stacks and for equivariant derived categories

In the paper we answer the following question: for a morphism of varieties (or, more generally, stacks), when the derived category of the base can be recovered from the derived category of the covering variety by means of descent theory? As a corollary, we show that for an action of a reductive group on a scheme, the derived category of equivariant sheaves is equivalent to the category of objects, equipped with an action of the group, in the ordinary derived category.Comment: 28 page

Nanodispersed Ni-catalysts with Additives in Partial Oxidation of Methane

Catalytic activity of Ni-Zn-surface-skeletal catalysts modi ed by Rh, Au, Ti, Mo and W in the reaction of methane partial oxidation has been studied. In uence of catalysts of conditions preparation on its catalytic activity was researched. It was shown that introduction of additives in Ni-Zn catalysts promote to increasing of activity in the process of methane partial oxidation to synthesis-gas and thermostability of skeletal Nicatalysts thanks to the change of its faseous composition and the predominance of reduced form of Ni in catalysts structure

Perverse coherent t-structures through torsion theories

Bezrukavnikov (later together with Arinkin) recovered the work of Deligne defining perverse $t$-structures for the derived category of coherent sheaves on a projective variety. In this text we prove that these $t$-structures can be obtained through tilting torsion theories as in the work of Happel, Reiten and Smal\o. This approach proves to be slightly more general as it allows us to define, in the quasi-coherent setting, similar perverse $t$-structures for certain noncommutative projective planes.Comment: New revised version with important correction

A categorification of Morelli's theorem

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let $X$ be a proper toric variety of dimension $n$ and let M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n be the Lie algebra of the compact dual (real) torus T_\bR^\vee\cong U(1)^n. Then there is a corresponding conical Lagrangian \Lambda \subset T^*M_\bR and an equivalence of triangulated dg categories \Perf_T(X) \cong \Sh_{cc}(M_\bR;\Lambda), where \Perf_T(X) is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on $X$ and \Sh_{cc}(M_\bR;\Lambda) is the triangulated dg category of complex of sheaves on M_\bR with compactly supported, constructible cohomology whose singular support lies in $\Lambda$. This equivalence is monoidal---it intertwines the tensor product of coherent sheaves on $X$ with the convolution product of constructible sheaves on M_\bR.Comment: 20 pages. This is a strengthened version of the first half of arXiv:0811.1228v3, with new results; the second half becomes arXiv:0811.1228v

Quantum curves for Hitchin fibrations and the Eynard-Orantin theory

We generalize the topological recursion of Eynard-Orantin (2007) to the family of spectral curves of Hitchin fibrations. A spectral curve in the topological recursion, which is defined to be a complex plane curve, is replaced with a generic curve in the cotangent bundle $T^*C$ of an arbitrary smooth base curve $C$. We then prove that these spectral curves are quantizable, using the new formalism. More precisely, we construct the canonical generators of the formal $\hbar$-deformation family of $D$-modules over an arbitrary projective algebraic curve $C$ of genus greater than $1$, from the geometry of a prescribed family of smooth Hitchin spectral curves associated with the $SL(2,\mathbb{C})$-character variety of the fundamental group $\pi_1(C)$. We show that the semi-classical limit through the WKB approximation of these $\hbar$-deformed $D$-modules recovers the initial family of Hitchin spectral curves.Comment: 34 page

Quantum Curves and D-Modules

In this article we continue our study of chiral fermions on a quantum curve. This system is embedded in string theory as an I-brane configuration, which consists of D4 and D6-branes intersecting along a holomorphic curve in a complex surface, together with a B-field. Mathematically, it is described by a holonomic D-module. Here we focus on spectral curves, which play a prominent role in the theory of (quantum) integrable hierarchies. We show how to associate a quantum state to the I-brane system, and subsequently how to compute quantum invariants. As a first example, this yields an insightful formulation of (double scaled as well as general Hermitian) matrix models. Secondly, we formulate c=1 string theory in this language. Finally, our formalism elegantly reconstructs the complete dual Nekrasov-Okounkov partition function from a quantum Seiberg-Witten curve.Comment: 63 pages, 9 figures; revised published versio

Integrating quantum groups over surfaces

We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of Crane-Yetter-Kauffman 4D TFTs associated to modular categories. Starting from modules for the Drinfeld-Jimbo quantum group $U_q(\mathfrak g)$ we obtain in this way an aspect of topologically twisted 4-dimensional ${\mathcal N}=4$ super Yang-Mills theory, the setting introduced by Kapustin-Witten for the geometric Langlands program. For punctured surfaces, in particular, we produce explicit categories which quantize character varieties (moduli of $G$-local systems) on the surface; these give uniform constructions of a variety of well-known algebras in quantum group theory. From the annulus, we recover the reflection equation algebra associated to $U_q(\mathfrak g)$, and from the punctured torus we recover the algebra of quantum differential operators associated to $U_q(\mathfrak g)$. From an arbitrary surface we recover Alekseev's moduli algebras. Our construction gives an intrinsically topological explanation for well-known mapping class group symmetries and braid group actions associated to these algebras, in particular the elliptic modular symmetry (difference Fourier transform) of quantum $\mathcal D$-modules.Comment: 57 page, 5 figures. Final version, to appear in J. To

Nef divisors for moduli spaces of complexes with compact support

In [BM14b], the first author and Macr\`i constructed a family of nef divisors on any moduli space of Bridgeland-stable objects on a smooth projective variety X. In this article, we extend this construction to the setting of any separated scheme Y of finite type over a field, where we consider moduli spaces of Bridgeland-stable objects on Y with compact support. We also show that the nef divisor is compatible with the polarising ample line bundle coming from the GIT construction of the moduli space in the special case when Y admits a tilting bundle and the stability condition arises from a \theta-stability condition for the endomorphism algebra. Our main tool generalises the work of Abramovich--Polishchuk [AP06] and Polishchuk [Pol07]: given a t-structure on the derived category D_c(Y) on Y of objects with compact support and a base scheme S, we construct a constant family of t-structures on a category of objects on YxS with compact support relative to S.Comment: 36 pages. In memory of Johan Louis Dupont. V2: updated following comments from the referee and from Joe Karmazyn who gave a counterexample to a false claim in version 1. To appear in Selecta Mat