Quadratic property of the rational semicharacteristic (Q1404785)

Let \(n\equiv 1\pmod 4\). Suppose that \(V\) is a manifold, \({\mathbf E}_n(V)\) is the set of germs of \(n\)-dimensional oriented submanifolds of \(V\), and \(!{\mathbf E}_n(V)\) is the \(\mathbb{Z}_2\)-module of all \(\mathbb{Z}_2\)-valued functions on \({\mathbf E}_n(V)\). If \(X^n\subset V\) is an oriented submanifold, let \(\mathbf{1}_X\in !{\mathbf E}_n(V)\) be the indicator function of the set of germs of \(X\) and \(k(X)= \sum_{r\equiv 0\pmod 2}\dim H_r(X;\mathbb{Q})\text{ mod }2\in\mathbb{Z}_2\) the (rational) semicharacteristic of \(X^n\). The main result of this paper is the following theorem Theorem 1: Let \(V\) be a manifold and let \(n\equiv 1\pmod 4\). Then there exists a quadratic mapping \(q: !{\mathbf E}_n(V)\to \mathbb{Z}_2\) such that for each compact oriented submanifold \(X^n\subset V\) we have \(k(X)= q(\mathbf{1}_X)\). By a counterexample the author makes the following Remark: The word quadratic here cannot be replaced by the word linear. Then the author reformulates Theorem 1. Theorem 2: Let \(V\) be a manifold and let \(n\equiv 1\pmod 4\). If \(X^n_1,\dots, X^n_N\subset V\) are compact oriented submanifolds such that \[ \sum^N_{j=1} \mathbf{1}_{X_j}(e_1)\text\textbf{1}_{X_j}(e_2)= 0,\quad e_1, e_2\in {\mathbf E}_n(V) \] then we have \(\sum^N_{j=1} k(X_j)= 0\). The proof of Theorem 2 is based on \textit{M. F. Atiyah}'s theorem on the existence of a pair of nowhere collinear vector fields [Vector fields on manifolds, Arbeitsgemeinschaft Forsch. Nordrhein-Westfalen Heft 200, 26 p. (1970; Zbl 0193.52303)] and via \textit{U. Koschorke's} method [Vector fields and other vector bundle morphisms -- a singular approach, Lecture Notes in Mathematics. 847. Springer (1981; Zbl 0459.57016)].