Related papers: Formality of the constructible derived category fo…
Graded Hecke algebras can be constructed in terms of equivariant cohomology and constructible sheaves on nilpotent cones. In earlier work, their standard modules and their irreducible modules where realized with such geometric methods. We…
We give a combinatorial description of the dg category of character sheaves on a complex reductive group $G$, extending results of [Li] for $G$ simply-connected. We also explicitly identify the parabolic induction/restriction functors.
Originally a technical tool, the derived category of coherent sheaves over an algebraic variety has become over the last twenty years an important invariant in the birational study of algebraic varieties. Problems of birational invariance…
In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…
We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of…
In this paper we provide several results regarding the structure of derived categories of (nested) Hilbert schemes of points. We show that the criteria of Krug-Sosna and Addington for the universal ideal sheaf functor to be fully faithful…
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…
The bounded derived category of coherent sheaves on a smooth projective variety is known to be equivalent to the triangulated category of perfect modules over a DG algebra. DG algebras, arising in this way, have to satisfy some compactness…
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the…
We investigate the commutativity of global products of functions on the two-sphere from the point of view of a construction started in [RT] and named the skewed product. We complete the construction of the skewed product of functions on the…
Let $G$ be a strictly pseudoconvex domain in $\mathbb{C}^2$ with $C^\infty$-smooth boundary $\partial G$. Let $S$ be a 2-dimensional sphere embedded into $\partial G$. Denote by $\mathcal{E}$ the set of all complex points on $S$. We study…
Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…
Let G be an infinitesimal group scheme of finite height r and V(G) the scheme which represents 1-parameter subgroups of G. We consider sheaves over the projectivization P(G) of V(G) constructed from a G-module M. We show that if P(G) is…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…
We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived…
Let G be a complex connected semisimple group, whose simple components have type A or D. We prove that wonderful G-varieties are classified by means of combinatorial objects called spherical systems. This is a generalization of a known…
We give the description of the t-structure on the derived category of regular holonomic D-modules corresponding to the trivial t-structure on the derived category of constructible sheaves via Riemann-Hilbert correspondence. We give also the…
We consider the space of tensor densities on the n-dimensional sphere with degree lambda (or, equivalently, of conformal densities with degree lambda). This space is a module over the group of diffeomorphisms, and consequently over the Lie…
Under a mild condition, the perfect derived category and the finite-dimensional derived category of a graded gentle one-cycle algebra are described as twisted root categories of certain infinite quivers of type $\mathbb{A}_\infty^\infty$.…
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and…