Quasi-coherent sheaves on algebraic spaces

2020 ◽  
Vol 2020 (769) ◽  
pp. 87-119
Author(s):  
Sabin Cautis ◽  
Aaron D. Lauda ◽  
Joshua Sussan

AbstractRickard complexes in the context of categorified quantum groups can be used to construct braid group actions. We define and study certain natural deformations of these complexes which we call curved Rickard complexes. One application is to obtain deformations of link homologies which generalize those of Batson–Seed [3] [J. Batson and C. Seed, A link-splitting spectral sequence in Khovanov homology, Duke Math. J. 164 2015, 5, 801–841] and Gorsky–Hogancamp [E. Gorsky and M. Hogancamp, Hilbert schemes and y-ification of Khovanov–Rozansky homology, preprint 2017] to arbitrary representations/partitions. Another is to relate the deformed homology defined algebro-geometrically in [S. Cautis and J. Kamnitzer, Knot homology via derived categories of coherent sheaves IV, colored links, Quantum Topol. 8 2017, 2, 381–411] to categorified quantum groups (this was the original motivation for this paper).


Author(s):  
Tom Bachmann ◽  
Kirsten Wickelgren

Abstract We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in $\mathbb P^n$ in terms of topological Euler numbers over $\mathbb {R}$ and $\mathbb {C}$ .


2003 ◽  
Vol 9 (2) ◽  
pp. 197-212 ◽  
Author(s):  
Angus Macintyre

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and “transfer of structure” is incomparably more flexible and powerful than anything yet known in “set-theoretic model theory”.It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called “Definability Theory” in the near future.Tarski's set-theoretic foundational formulations are still favoured by the majority of model-theorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable (to the geometers), this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly.


2017 ◽  
Vol 153 (9) ◽  
pp. 1908-1944
Author(s):  
David Ben-Zvi ◽  
David Nadler ◽  
Anatoly Preygel

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].


2018 ◽  
Vol 116 (5) ◽  
pp. 1187-1243 ◽  
Author(s):  
Mattia Talpo ◽  
Angelo Vistoli
Keyword(s):  

Author(s):  
Jon F. Carlson ◽  
Eric M. Friedlander ◽  
Julia Pevtsova

AbstractWe introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra


2014 ◽  
Vol 22 (2) ◽  
pp. 51-56
Author(s):  
A. S. Argáez

AbstractLet X be projective variety over an algebraically closed field k and G be a finite group with g.c.d.(char(k), |G|) = 1. We prove that any representations of G on a coherent sheaf, ρ : G → End(ℰ), has a natural decomposition ℰ ≃ ⊕ V ⊗k ℱV, where G acts trivially on ℱV and the sum run over all irreducible representations of G over k.


2009 ◽  
Vol 220 (4) ◽  
pp. 1265-1296 ◽  
Author(s):  
Pramod N. Achar ◽  
Daniel S. Sage
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document