The tautological ring of \(M_{1,n}^{ct}\) (Q2391373)

Let \(\overline{{\mathcal M}}_{g,n}\) be the moduli space of stable curves of genus \(g\) with \(n\) marked points. \textit{C. Faber} and \textit{R. Pandharipande} [J. Eur. Math. Soc. (JEMS) 7, No. 1, 13--49 (2005; Zbl 1084.14054)] defined the system of tautological rings to be the set of smallest \(\mathbb{Q}\)-subalgebras of the Chow rings, \(R^*(\overline{{\mathcal M}}_{g,n})\subset A^*(\overline{{\mathcal M}}_{g,n})\) satisfies two compatible conditions. The restriction to the open subset \({\mathcal M}_{g,n}\), gives the tautological ring \(R^*({\mathcal M}_{g,n})\). It was conjecture by \textit{C. Faber} [A conjectural description of the tautological ring of the moduli space of curves. Moduli of curves and Abelian varieties. The Dutch intercity seminar on moduli. Braunschweig: Vieweg. Aspects Math. E33, 109--129 (1999; Zbl 0978.14029)] that the \(R^*({\mathcal M}_g)\) is a Gorenstein algebra with socle in degree \(g-2\). Similarly, we define the moduli space of \({\mathcal M}^{ct}_{g,n}\) and its tautological ring as follows. To every stable \(n\)-pointed curve \((C;x_1,\dots, x_n)\), there is an associated dual graph. Its vertices correspond to the irreducible components of \(C\) and edges correspond to intersection of components. The curve \(C\) is of compact type if its dual graph is a tree. The moduli space \({\mathcal M}^{ct}_{g,n}\) parametrizes stable \(n\)-pointed curves of genus \(g\) of compact type. The tautological ring, \(R^*({\mathcal M}^{ct}_{g,n})\), for the moduli space \({\mathcal M}^{ct}_{g,n}\), is defined to the image of \(R^*(\overline{{\mathcal M}}_{g,n})\) via the natural map, \(R^*(\overline{{M}}_{g, n})\hookrightarrow A^*(\overline{{\mathcal M}}_{g,n})\to A^*({\mathcal M}^A{ct}_{g,n})\). \textit{C. Faber} [RIMS Kokyuroku 1232, 78--87 (2001; Zbl 1322.14084)] stated the following conjecture: Conjecture 0.1. \(R^*({\mathcal M}^{ct}_{g,n})\) is Gorenstein with socle in degree \(2g- 3+n\). \textit{T. Graber} and \textit{R. Vakil} [Duke Math. J. 130, No. 1, 1--37 (2005; Zbl 1088.14007)] have proved that \(R^*(\overline{{\mathcal M}}_{g,n}\)) vanishes in degrees bigger than \(2g- 3+n\) and is one-dimensional in degree \(2g-3+n\). In the paper under review, the author considers the case of \(g=1\) and proves that the conjecture is true in this case.