No Arabic abstract
In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived intersection of two closed subschemes inside a given algebraic scheme X, without recourse to simplicial or higher homotopical methods, and without any global assumptions on X.
We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $mathbb{S} to K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $pi_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra.
We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right linear up to suitably coherent correction tracks, then it is weakly equivalent to a 1-truncated DG-category. This generalizes work of the first author on the strictification of secondary cohomology operations. As an application, we show that the secondary integral Steenrod algebra is strictifiable.
In this paper, we first show a projectivization formula for the derived category $D^b_{rm coh} (mathbb{P}(mathcal{E}))$, where $mathcal{E}$ is a coherent sheaf on a regular scheme which locally admits two-step resolutions. Second, we show that flop-flop=twist results hold for flops obtained by two different Springer-type resolutions of a determinantal hypersurface. This also gives a sequence of higher dimensional examples of flops which present perverse schobers, and provide further evidences for the proposal of Bondal-Kapranov-Schechtman [BKS,KS]. Applications to symmetric powers of curves, Abel-Jacobi maps and $Theta$-flops following Toda are also discussed.
We give an exposition and generalization of Orlovs theorem on graded Gorenstein rings. We show the theorem holds for non-negatively graded rings which are Gorenstein in an appropriate sense and whose degree zero component is an arbitrary non-commutative right noetherian ring of finite global dimension. A short treatment of some foundations for local cohomology and Grothendieck duality at this level of generality is given in order to prove the theorem. As an application we give an equivalence of the derived category of a commutative complete intersection with the homotopy category of graded matrix factorizations over a related ring.
We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the principal block of GL_n by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and Emerton-Helm.