Related papers: Structured flow categories and twisted presheaves

We recast superfluid hydrodynamics as the hydrodynamic theory of a system with an emergent anomalous higher-form symmetry. The higher-form charge counts the winding planes of the superfluid -- its constitutive relation replaces the…

We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal…

We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use "algebraic" characterizations of fibrations to produce factorizations…

The present work re-enacts the classical theory of t-structures reducing the classical definition given in *Faisceaux Pervers* to a rather primitive categorical gadget: suitable reflective factorization systems. This translation is only…

Multi-phase flows encountered in nature or in industry, exhibit non trivial rheological properties, that can be understood better thanks to model materials and appropriate rheometers. Here, we use model unsaturated granular materials:…

For a fissured medium with uncertainty in the knowledge of fractures' geometry, a conservative tangential flow field is constructed, which is consistent with the physics of stationary fluid flow in porous media and an interpolated geometry…

We introduce a contravariant functor, called Floer functor, from the category of Lagrangian conductors of a symplectic manifold to the homotopy category of bounded chain complexes of open strings in this manifold. The latter two categories…

Motivated by applications in conditional sampling, given a probability measure $\mu$ and a diffeomorphism $\phi$, we consider the problem of simultaneously approximating $\phi$ and the pushforward $\phi_{\#}\mu$ by means of the flow of a…

We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects.…

In part I, using the theory of $\infty$-categories, we constructed a natural ``continuous action'' of $\operatorname {Ham} (M, \omega) $ on the Fukaya category of a closed monotone symplectic manifold. Here we show that this action is…

We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…

We construct the vortex Floer homology group $VHF (M,\mu;H)$ for an aspherical Hamiltonian $G$-manifold $(M, \omega)$ with moment map $\mu$ and a class of $G$-invariant Hamiltonian loop $H_t$, following the proposal of [3]. This is a…

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category $\mathcal{M}(H)$ of left $H$-modules, which is originally defined by Beilinson and…

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated…

For a semisimple complex Lie algebra $\mathfrak g$, the BGG category $\mathcal{O}$ is of particular interest in representation theory. It is known that Irving's shuffling functors $\mathrm{Sh}_{w}$, indexed by elements $w\in W$ of the Weyl…

Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher…

We define a new class of symplectic objects called "stops", which roughly speaking are Liouville hypersurfaces in the boundary of a Liouville domain. Locally, these can be viewed as pages of a compatible open book. To a Liouville domain…

Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. This added generality is useful because it intuitively allows…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

We consider the field theory that defines a perfect incompressible 2D fluid. One distinctive property of this system is that the quadratic action for fluctuations around the ground state features neither mass nor gradient term. Quantum…