Abstract:
Kontsevich's recursion, proved by Ruan-Tian in the early 90s, is a recursion formula for the counts of rational holomorphic curves in complex manifolds. For complex fourfolds and sixfolds with a real structure (i.e. a conjugation), signed invariant counts of real rational holomorphic curves were defined by Welschinger in 2003. Solomon interpreted Welschinger's invariants as holomorphic disk counts in 2006 and proposed Kontsevich-type recursions for them in 2007, along with an outline for adapting Ruan-Tian's homotopy style argument to the real setting. For many symplectic fourfolds and sixfolds, these recursions determine all invariants from basic inputs. We establish Solomon's recursions by re-interpreting his disk counts as degrees of relatively oriented pseudocycles from moduli spaces of stable real maps and lifting cobordisms from Deligne-Mumford moduli spaces of stable real curves.