Related papers: The functor between two categories of $\mathbb{Z}-…

For a closed connected manifold N, we construct a family of functions on the Hamiltonian group G of the cotangent bundle T^*N, and a family of functions on the space of smooth functions with compact support on T^*N. These satisfy properties…

Given a perfect field of exponential characteristic $e$ and a functor $f:\mathcal A\to\mathcal B$ between symmetric monoidal strict $V$-categories of correspondences satisfying the cancellation property such that the induced morphisms of…

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…

We identify a close relationship between stable sheaf cohomology for polynomial functors applied to the cotangent bundle on projective space, and Koszul--Ringel duality on the category of strict polynomial functors as described in the work…

The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d…

Let $\mathbb V$ be an $\mathbb N$-graded, $C_2$-cofinite vertex operator algebra (VOA) admitting a non-lowest generated module in $\mathrm{Mod}(\mathbb V)$ (e.g., the triplet algebras $\mathcal{W}_p$ for $p\in \mathbb{Z}_{\geq 2}$ or the…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n>1$, appear in various fields. The corresponding sign rule is determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The $\mathbb{Z}_2^n$-Supergeometry…

In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

We show that Rabinowitz Floer homology and cohomology carry the structure of a graded Frobenius algebra for both closed and open strings. We prove a Poincar\'e duality theorem between homology and cohomology that preserves this structure.…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

We study the cohomological classification of vector bundles on smooth real affine surfaces and threefolds. We show that, as was observed in joint work in A. Asok and J. Fasel and in a coming joint paper with S. Banerjee and J. Fasel, under…

Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We…

Let \(C\) be a smooth projective curve over an algebraically closed field of characteristic zero. For the moduli space \(N(r,L)\) of stable vector bundles on \(C\) of rank \(r\) with fixed determinant \(L\), we study the group of exact…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev…

We prove that invariant subbundles of the Kontsevich-Zorich cocycle respect the Hodge structure. In particular, we establish a version of Deligne semisimplicity in this context. This implies that invariant subbundles must vary polynomially…