Stable cohomology of spaces of non-singular hypersurfaces (Q406307)

Let \(V_{d, n}\) (\(\Sigma _{d, n}\)) be the moduli space of homogeneous polynomials (singular homogeneous polynomials) of degree \(d\) in \(n+1\) variables and \(X_{d, n} =V_{d, n}-\Sigma _{d, n}\). There was a confusion of \(N\), \(n\) or \(n+1\) in the notation in page 428 and page 430. This article proves that the rational cohomology \(H^k (X_{d, n} , {\mathbb Q})=H^k (\mathrm{GL}_{n+1} ({\mathbb C}) , {\mathbb Q}) \) if \(k<(d+1)/2\). This follows in the direction of (1) in page 431, which is from [\textit{C. A. M. Peters} and \textit{J. H. M. Steenbrink}, Mosc. Math. J. 3, No. 3, 1085--1095 (2003; Zbl 1049.14035)]. In [loc. cit.] Lemma 7, let \(f=\sum _{i=0}^n x^d _i\), the map \(r: \mathrm{GL}_{n+1}({\mathbb C})\rightarrow X_{d,n}\), \(g\rightarrow f(g(x))\) gives the map from \(H^k (X_{d, n} , {\mathbb Q})\) to \(H^k (\mathrm{GL}_{n+1} ({\mathbb C}) , {\mathbb Q}) \) in the Proposition 1. The Proposition 1 in page 430 says that the pullback map on the cohomologies is surjective. The last line of page 430 should be \(g\rightarrow f(g(x_0 ,\dots , x_n ))\) not the way in the paper. Moreover, let \(M_{d,n}=X_{d,n}/\mathrm{GL}_{n+1}({\mathbb C})\), (1) says that \[ H^* (X_{d,n} , {\mathbb Q})=H^* (M_{d, n} , {\mathbb Q})\otimes H^* (\mathrm{GL}_{n+1}({\mathbb C}), {\mathbb Q}) . \] From (1), the author just proved that \(H^k (M_{d,n} )=0\) when \(d\) is big enough. The method used in the paper is based on Vassiliev's method in [\textit{V. A. Vasil'ev}, Complements of discriminants of smooth maps: topology and applications. Transl. from the Russian by B. Goldfarb. Transl. ed. by S. Gelfand. Providence, RI: American Mathematical Society (1992; Zbl 0762.55001)], which reduces the calculations of the cohomology of \(X_{d, n}\) to those of \(\Sigma _{d,n}\).