Related papers: Points in algebraic geometry
In this paper we discuss the geometry of affine Deligne Lusztig varieties with very special level structure, determining their dimension and connected and irreducible components. As application, we prove the Grothendieck conjecture for…
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…
We show that the cohomology ring of Hilbert scheme of $n$-points in the affine plane is isomorphic to the coordinate ring of $\mathbb{G}_{m}$-fixed point scheme of the $n$-th symmetric product of $\mathbb{C}^{2}$ for a natural…
In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the…
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…
We introduce n-generated sheaves and n-motivic sheaves, describing completely for n = 0, 1 and proposing a conjecture for n > 1. We then obtain functors L\pi_0 and LAlb on DM_{eff}(k) deriving \pi_0 and Alb. The functor LAlb extends the one…
Let $X\to C$ be an elliptic surface with integral fibers and a section. The Hilbert scheme $X^{[n]}$ fibers over $C^{[n]}$. We construct a commutative group scheme over the entire base $C^{[n]}$ that embeds as an open subscheme of the…
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of…
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a…
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
The notion of Hochschild cochains induces an assignment from $Aff$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under some appropriate finiteness conditions, to a functor $\mathbb H: Aff \to…
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
We give a purely geometric categorification of tensor products of finite-dimensional simple $U_q(sl_2)$-modules and $R$-matrices on them. The work is developed in the framework of category of perverse sheaves and the categorification…
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…
Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories…
We introduce the notion of a geometric $(\infty,1)$-category, the protopyical example of which is an $(\infty,1)$-topos. We study (hyper)sheaves on geometric $(\infty,1)$-categories, proving that these are characterized by a form of…
We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve $(B, 0)$ and any fixed primitive symplectic variety $X$, among all locally…
We study obstructions to a direct limit preserving right exact functor $F$ between categories of quasi-coherent sheaves on schemes being isomorphic to tensoring with a bimodule. When the domain scheme is affine, or if $F$ is exact, all…