arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.11594

Kuranishi spaces in a category of fibrant objects and their homotopy fiber products

Taesu Kim
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study several fundamental properties of the category $\mathbf{Kur}$ introduced in \cite{Kim1}. By defining fibrations and weak equivalences, we show that morphisms with manifold targets admit homotopy fiber products; this is then applied to obtain a notion of generalized intersections of two submanifolds. A definition of the Weinstein category in the context of Kuranishi spaces is also presented. Finally, we establish that $\mathbf{Kur}$ forms a category of fibrant objects in the sense of Brown \cite{Brown}, and discuss its homotopy category $\operatorname{Ho}(\mathbf{Kur})$.

Explore related subjects

math.SGmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Taesu Kim. 2026-10-08. Kuranishi spaces in a category of fibrant objects and their homotopy fiber products. https://arxiv.org/abs/2610.11594

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The local Floer cohomology of indicator functions

Let $K$ be a compact domain with contact-type boundary in a symplectic manifold $M$. We associate an unweighted local Floer cohomology group to each isolated Reeb component of $\partial K$ and show that, in sufficiently small Novikov windows, these groups together with $H^*(K)$ describe the symplectic cohomology of $M$ with support on $K$. The main analytic input is an energy-barrier construction which remains uniform under finite-slope approximations of the indicator Hamiltonian of $K$. We also study functoriality. For inclusions of contact-type domains we describe the local blocks of the restriction map without requiring the Liouville primitives on the two boundaries to agree. For a monotone isotopy carrying an isolated family of Reeb components, the corresponding block is the local Floer transport map multiplied by the Novikov weight determined by the source-minus-target action difference. These results provide the local Floer-theoretic input for companion work on relative symplectic cohomology near singularities of SYZ fibrations.

math.SG↗
arXiv2026

Classical cylindrical contact homology is not invariant over $\bZ$

We show that classical cylindrical contact homology over $\mathbb{Z}$, equipped with its decomposition by free homotopy classes, is not invariant under changes of hypertight contact form. Specifically, we construct two nondegenerate hypertight perturbations of the standard Seifert contact form on $Σ(2,4,5)$ whose cylindrical contact homologies in the regular-fiber class are respectively torsion-free and contain $\mathbb{Z}/5$-torsion.

math.SG↗
arXiv2026

Bi-contact plugs and dynamical hyperbolicity

We develop a theory of bi-contact plugs in dimension three to construct Anosov flows or, more generally, structurally stable nonsingular flows. For a transversely orientable hyperbolic plug with orientable filling Morse-Smale boundary laminations, we prove that every strongly transverse gluing map can be isotoped through strongly transverse maps to identify a strongly adapted contact form up to sign. The resulting flow is hyperbolic and is Anosov when the quotient is closed. This answers a question of Béguin-Bonatti-Yu under the stated orientability assumptions. The result also extends to gluing nonsingular partially hyperbolic flows. Anosov completion by reflection embeds each such hyperbolic plug in an Anosov flow on its oriented double. Further applications include a classification of structurally generic transversely oriented projectively Anosov flows without saddle periodic orbits, Morse-Smale examples with prescribed saddle count, a generalization of the construction of Bonatti-Bowden-Potrie to give embeddings of (attracting) hyperbolic plugs into (partially hyperbolic) projectively Anosov flows with the same topological entropy, and constructions on doubles and torus bundles with controlled invariant torus dynamics. Finally, every cooriented partially hyperbolic bi-contact plug admits a Liouville structure on its thickening, with Liouville trajectories projecting to positively reparametrized flow lines. Repelling plugs yield four-dimensional Liouville domains, often with chaotic skeletons.

math.SG↗