Related papers: Homotopy coherent Gysin functoriality

Morita equivalence classes of Lie groupoids serve as models for differentiable stacks, which are higher spaces in differential geometry, generalizing manifolds and orbifolds. Representations up to homotopy of Lie groupoids provide a higher…

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation;…

We study homological mirror symmetry for Hirzebruch surface $\mathbb{F}_k$ as a complex manifold by using the Strominger-Yau-Zaslow construction of mirror pair and Morse homotopy. For the toric Fano surfaces, Futaki-Kajiura and the author…

We study Morse theory on noncompact manifolds equipped with exhaustions by compact pieces, defining the Morse homology of a pair which consists of the manifold and related geometric/homotopy data. We construct a collection of Morse data…

Strominger-Yau-Zaslow (SYZ) proposed a way of constructing mirror pairs as pairs of torus fibrations. We apply this SYZ construction to toric Fano surfaces as complex manifolds, and discuss the homological mirror symmetry, where we consider…

We introduce the notion of tight homomorphism into a locally compact group with nonvanishing bounded cohomology and study these homomorphisms in detail when the target is a Lie group of Hermitian type. Tight homomorphisms between Lie groups…

In this paper we show that Atkin and Swinnerton-Dyer type of congruences hold for weakly modular forms (modular forms that are permitted to have poles at cusps). Unlike the case of original congruences for cusp forms, these congruences are…

Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…

We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…

We study the connection between discrete Morse theory and persistent homology in the context of shape reconstruction methods. Specifically, we consider the construction of Wrap complexes, introduced by Edelsbrunner as a subcomplex of the…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…

We study the spaces of twisted conformal blocks attached to a $\Gamma$-curve $\Sigma$ with marked $\Gamma$-orbits and an action of $\Gamma$ on a simple Lie algebra $\mathfrak{g}$, where $\Gamma$ is a finite group. We prove that if $\Gamma$…

We establish formulae that explain how the topological Goresky-MacPherson characteristic L-classes as well as the Hodge-theoretic Hirzebruch characteristic classes defined by Brasselet, Sch\"urmann and Yokura transform under Gysin…

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…

We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…