Pith. sign in

REVIEW 2 cited by

Homotopy L-infinity spaces and Kuranishi manifolds, I: categorical structures

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1602.00150 v1 pith:65PHEHEJ submitted 2016-01-30 math.DG math.AGmath.SG

Homotopy L-infinity spaces and Kuranishi manifolds, I: categorical structures

classification math.DG math.AGmath.SG
keywords kuranishimanifoldsspacestheoryhomotopytypecategorygauge
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent paper, we construct the virtual fundamental cycle of a compact oriented Kuranishi manifold, and prove some of its basic properties. Manifest from this new formulation is the fact that $[0,1]$-type homotopy $L_\infty$ spaces are naturally Kuranishi manifolds. The former structured spaces naturally appear as derived enhancements of Maurer-Cartan moduli spaces from Chern-Simons type gauge theory. In this way, Kuranishi manifolds theory can be applied to study path integrals in such type of gauge theories.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Kuranishi chart categories and higher cocycle conditions

    math.SG 2026-07 unverdicted novelty 7.0

    Kuranishi chart categories satisfy a higher homotopical bundle-component cocycle condition automatically, replacing rigid conditions with flexible homotopy-theoretic compatibility.

  2. Categorical structures of Kuranishi spaces with $L_{\infty}[1]$-algebras

    math.SG 2026-07 unverdicted novelty 5.0

    Defines L∞-Kuranishi spaces via L∞[1]-algebras on Kuranishi charts and proves they form a category embedding smooth manifolds, by modifying conditions from prior work.