Related papers: Moduli Spaces and Formal Operads

We consider the moduli space $\mathfrak{M}_{g,n}$ of Riemann surfaces of genus $g\ge0$ with $n\ge1$ ordered and directed marked points. For $d\ge 2g+n-1$ we show that $\mathfrak{M}_{g,n}$ is homotopy equivalent to a component of the…

We define and study the stack ${\mathcal U}^{ns,a}_{g,g}$ of (possibly singular) projective curves of arithmetic genus g with g smooth marked points forming an ample non-special divisor. We define an explicit closed embedding of a natural…

We classify the Deligne-Mumford stacks M compactifying the moduli space of smooth $n$-pointed curves of genus one under the condition that the points of M represent Gorenstein curves with distinct markings. This classification uncovers new…

Projective structures on topological surfaces support the structure of 2d CFTs with a degree of technical simplification. We propose a complex analytic space $\mathcal{P}_g$ biholomorphic to $T^*_{(1,0)} \mathcal{M}_g$ as a candidate moduli…

The framed little 2-discs operad is homotopy equivalent to the Kimura-Stasheff-Voronov cyclic operad of moduli spaces of genus zero stable curves with tangent rays at the marked points and nodes. We show that this cyclic operad is formal,…

Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a…

We show that $\mathcal{M}_{g,n}$, the moduli space of smooth curves of genus $g$ together with $n$ marked points, is unirational for $g=12$ and $2 \leq n\leq 4$ and for $g=13$ and $1 \leq n \leq 3$, by constructing suitable dominant…

Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of…

Let M_g^n be the moduli space of Riemann surfaces of genus g with n labeled marked points. We prove that, for g \geq 2, the cohomology groups {H^i(M_g^n;Q)}_{n=1}^{\infty} form a sequence of Sn representations which is representation stable…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

Following Deligne and Mumford we construct a coarse moduli space of smooth curves with non-abelian level structure, involving higher order commutators. We prove that its Deligne-Mumford compactification is smooth over an open part of…

We prove that for a topological operad $P$ the operad of oriented cubical chains, $C^{ord}_\ast(P)$, and the operad of singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{ord}_\ast(P;\mathbb{Q})$ is formal if and only…

We prove a general criterion for an algebraic stack to admit a good moduli space. This result may be considered as a weak analog of the Keel-Mori theorem, which guarantees the existence of a coarse moduli space for a separated…

In this paper we define and study the moduli space of metric-graph-flows in a manifold M. This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically…

The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong…

The homology of configuration spaces of point-particles in manifolds has been studied intensively since the 1970s; in particular it is known to be stable if the underlying manifold is connected and open. Closely related to configuration…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

We prove that the moduli space ${\Cal M}_{g,n}$ of smooth curves of genus $g$ with $n$ marked points is rational for $g=6$ and $1 \le n \le 8$, and it is unirational for $g=8$ and $1 \le n \le 11$, $g=10$ and $1 \le n \le 3$, $g=12$ and $n…

We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the…

It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their…