Related papers: Grassmann sheaves and the classification of vector…
Let $\mathscr X$ be an $\infty$-topos, for example the $\infty$-category of simplicial sheaves on a Grothendieck site. Then $\infty$-group sheaves are group objects in $\mathscr X$. Let $A\in\mathrm{Grp}\mathscr X$ be such a group object.…
We classify globally generated vector bundles on $\mathbf{P}^1 \times \mathbf{P}^1 \times \mathbf{P}^1$ with small first Chern class, i.e. $c_1= (a_1, a_2, a_3)$, $a_i \le 2$. Our main method is to investigate the associated smooth curves…
We construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…
Let $G$ be a complex, connected, reductive, algebraic group, and $\chi:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of…
We study a class of perverse sheaves on the variety of pairs (P,gU_P) where P runs through a conjugacy class of parabolics in a connected reductive group G and gU_P runs through G/U_P. This is a generalization of the theory of character…
Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…
We first compute the James' sectional category (secat) of the Ganea map g_k of any map f in terms of the sectional category of f: We show that secat(g_k) is the integer part of secat(f)/(k+1). Next we compute the relative category (relcat)…
Let G be a reductive connected group over the algebraic closure of a finite field. In this paper we give the classification of character sheaves on G in categorical terms (as a categorical centre). Previously such a classification was known…
We prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups. As a corollary from this formula we get that if a perverse sheaf on a reductive group is equivariant under the adjoint action, then its Euler…
We define and discuss some general properties of residual categories of Lefschetz decompositions in triangulated categories. In the case of the derived category of coherent sheaves on the Grassmannian $\text{G}(k,n)$ we conjecture that the…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
Quiver Grassmannians are projective varieties parametrizing subrepresentations of given dimension in a quiver representation. We define a class of quiver Grassmannians generalizing those which realize degenerate flag varieties. We show that…
We generalize Kontsevich's construction of L-infinity derivations of polyvector fields from the affine space to an arbitrary smooth algebraic variety. More precisely, we construct a map (in the homotopy category) from Kontsevich's graph…
Given a quiver, a fixed dimension vector, and a positive integer n, we construct a functor from the category of D-modules on the space of representations of the quiver to the category of modules over a corresponding Gan-Ginzburg algebra of…
We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties…
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse…
It is known that the complex Grassmannian of $k$-dimensional subspaces can be identified with the set of projection matrices of rank $k$. It is also classically known that the convex hull of this set is the set of Hermitian matrices with…
We give classifications of linear orbits of pairs of square matrices with non-vanishing discriminant polynomials over a field in terms of certain coherent sheaves with additional data on closed subschemes of the projective line. Our results…
The "curved" super Grassmannian is the supervariety of subsupervarieties of purely odd dimension $k$ in a~supervariety of purely odd dimension $n$, unlike the "usual" super Grassmannian which is the supervariety of linear subsuperspacies of…
Given an $N$-dimensional vector space $V$ over a field $\mathbb{F}$ and a trace-valued $(\sigma,\varepsilon)$-sesquilinear form $f:V\times V\rightarrow \mathbb{F}$, with $\varepsilon = \pm 1$ and $\sigma^2 = \mathrm{id}_{\mathbb{F}}$, let…