Related papers: Ranicki-Weiss assembly and the Steenrod constructi…
The enumerative geometry of r-th roots of line bundles is the subject of Witten's conjecture and occurs in the calculation of Gromov-Witten invariants of orbifolds. It requires the definition of the suitable compact moduli stack and the…
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case…
We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf…
The setting is the representation theory of a simply connected, semisimple algebraic group over a field of positive characteristic. There is a natural transformation from the wall-crossing functor to the identity functor. The kernel of this…
We introduce certain quiver analogue of the determinantal variety. We study the Kempf-Lascoux-Weyman's complex associated to a line bundle on the variety. In the case of generalized Kronecker quivers, we give a sufficient condition on when…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…
We construct a functor from the triangulated category of Voevodsky motives to a certain derived category of mixed Hodge structures enriched with integral weight filtration. We use this construction to prove a strong integral version of the…
Let $\frakX$ be a smooth $p$-adic formal scheme over $\calO_K$ with adic generic fiber $X$. We obtain a global equivalence between the category $\Vect((\frakX)_{\Prism},\overline\calO_{\Prism}[\frac{1}{p}])$ of rational Hodge--Tate crystals…
The functor that takes a manifold to its configuration category exhibits a type of full faithfulness in some cases.
Using the algebraic structure of the Stone-Cech compactification of the integers, Furstenberg and Glasner proved that for arbitrary k, every piecewise syndetic set contains a piecewise syndetic set of k-term arithmetic progressions. We…
The main invariant to study the combinatorics of a simplicial complex $K$ is the associated face ring or Stanley-Reisner algebra. Reisner respectively Stanley explained in which sense Cohen-Macaulay and Gorenstein properties of the face…
It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in…
We investigate the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for the algebraic $K$-theory of twisted group rings of a group G with coefficients in a regular ring R or, more…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
By studying a categorification of the antisymmetriser quasi-idempotent in the Hecke algebra, we derive a closed formula for the Jones-Wenzl idempotent in the Temperley-Lieb algebra. In particular, we show that when the idempotent is…
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a…
Factoring out the spin $1$ subalgebra of a $ W $ algebra leads to a new $ W $ structure which can be seen either as a rational finitely generated $ W $ algebra or as a polynomial non-linear $ W_\infty$ realization.
In Part I, we use Steenrod's construction to prove that the quantum Coulomb branch is a Frobenius-constant quantization. We will also demonstrate the corresponding result for the $K$-theoretic version of the quantum Coulomb branch. In Part…
We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is…