Related papers: Homotopy coherent Gysin functoriality

We introduce two tools, dynamical thickening and flow selectors, to overcome the infamous discontinuity of the gradient flow endpoint map near non-degenerate critical points. More precisely, we interpret the stable fibrations of certain…

We study modules over stacks of deformation quantization algebroids on complex Poisson manifolds. We prove finiteness and duality theorems in the relative case and construct the Hochschild class of coherent modules. We prove that this class…

We provide a recursive construction of an acyclic matching (also known as a gradient vector field, an equivalent notion to a discrete Morse function) on the independence complex of a graph with a simplicial vertex using given acyclic…

A meromorphic quadratic differential on a compact Riemann surface defines a complex projective structure away from the poles via the Schwarzian equation. In this article we first prove the analogue of Thurston's Grafting Theorem for the…

We generalize the cosection localized Gysin map to intersection homology and Borel-Moore homology, which provides us with a purely topological construction of the Fan-Jarvis-Ruan-Witten invariants and some GLSM invariants.

Given a reductive representation $\rho: \pi_1(S)\rightarrow G$, there exists a $\rho$-equivariant harmonic map $f$ from the universal cover of a fixed Riemann surface $\Sigma$ to the symmetric space $G/K$ associated to $G$. If the Hopf…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These…

In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…

We introduce PyCFTBoot, a wrapper designed to reduce the barrier to entry in conformal bootstrap calculations that require semidefinite programming. Symengine and SDPB are used for the most intensive symbolic and numerical steps…

In this paper we first construct smooth Morse-Lyapunov functions of attractors for nonsmooth dynamical systems. Then we prove that all open attractor neighborhoods of an attractor have the same homotopy type. Based on this basic fact we…

We show that for singular hypersurfaces, a version of their genus-zero Gromov-Witten theory may be described in terms of a direct limit of fixed point Floer cohomology groups, a construction which is more amenable to computation and easier…

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…

Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

In SGA3, Demazure and Grothendieck showed that if $G$ and $H$ are smooth affine group schemes over a scheme $S$ and $G$ is reductive, then the functor of $S$-homomorphism $G \to H$ is representable. In this paper we extend this result to…

"Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky…

We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify…