Related papers: Pro-Chern-Schwartz-MacPherson class for DM stacks
We introduce the notion of a rank function on a triangulated category $\mathcal{C}$ which generalizes the Sylvester rank function in the case when $\mathcal{C}=\operatorname{Perf}(A)$ is the perfect derived category of a ring $A$. We show…
We give geometric descriptions of the category C_k(n,d) of rational polynomial representations of GL_n over a field k of degree d for d less than or equal to n, the Schur functor and Schur-Weyl duality. The descriptions and proofs use a…
We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of…
Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action…
Recent work on the quantization of Maxwell theory has used a non-covariant class of gauge-averaging functionals which include explicitly the effects of the extrinsic-curvature tensor of the boundary, or covariant gauges which, unlike the…
Let G be a complex connected reductive group. The representation ring R(G) admits a canonical filtration defined in terms of the lambda-structure. We compute the associated graded ring gr R(G) (over Q) and the Chern classes of a…
Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…
Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is…
Our previous papers introduce topological notions of normal crossings symplectic divisor and variety, show that they are equivalent, in a suitable sense, to the corresponding geometric notions, and establish a topological smoothability…
We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…
We introduce differentiable stacks and explain the relationship with Lie groupoids. Then we study $S^1$-bundles and $S^1$-gerbes over differentiable stacks. In particular, we establish the relationship between $S^1$-gerbes and groupoid…
We define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…
For a complex variety with a torus action we propose a new method of computing Chern-Schwartz-MacPherson classes. The method does not apply resolution of singularities. It is based on Localization Theorem in equivariant cohomology.
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…
Admissible orders play a key role in ranking subintervals of the unit interval. In 2013, Bustince et al. proposed constructing such relations by means of admissible pairs of aggregation functions. The only significant example in the…
Mathematical definitions of polyhedrons and perceptron networks are discussed. The formalization of polyhedrons is done in a rather traditional way. For networks, previously proposed systems are developed. Perceptron networks in disjunctive…
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
The Weil-Kostant integrality theorem states that given a smooth manifold endowed with an integral complex closed 2-form, then there exists a line bundle with connection on this manifold with curvature the given 2-form. It also characterises…