
handle: 10203/64878
Let \(G\) be a compact Lie group and \(\Omega\) an orthogonal representation of \(G\). We think of an orthogonal representation as an underlying Euclidean space \(\mathbb{R}^ n\) together with an action of \(G\) via orthogonal maps. A real algebraic \(G\) variety is the set of common zeros of polynomials \(p_ 1,\dots,p_ m: \Omega \to \mathbb{R}\), \[ V = \{x\in \Omega\mid p_ 1(x) = \cdots = p_ m(x) = 0\}, \] which is invariant under the action of \(G\). Examples of such \(G\) varieties are the Grassmannians of \(k\)-dimensional subspaces in an \(n\)-dimensional representation \(\Xi\) of \(G\) \[ G_{\mathbb{R}}(\Xi,k) = \{L \in {\mathfrak M}^{n^ 2}_ \mathbb{R}\mid L^ 2 = L,\quad L^ t = L,\quad \text{trace }L = k\}. \] We chose a \(G\) invariant inner product and an orthonormal basis for \(\Xi\) so that we could identify the endomorphisms of \(\Xi\) with real \(n\times n\) matrices and subspaces of \(\Xi\) with orthogonal projections onto these subspaces. The action of \(G\) on \(G_ \mathbb{R}(\Xi,k)\) is given by conjugation on the endomorphisms of \(\Xi\). A smooth \(G\) manifold is said to be algebraically realized if there is an equivariant diffeomorphism \(\varphi: X\to M\) from a non-singular real algebraic variety \(X\) to \(M\). The set of all \(G\)-vector bundles over \(M\) is said to be algebraically realized by \(X\) if, for all \(\Xi\) and \(k\), every equivariant map \(\mu: X\to G_{\mathbb{R}}(\Xi,k)\) is equivariantly homotopic to an entire rational map, i.e., every \(G\) vector bundle over \(X\) is strongly algebraic. The main result of the paper is Theorem B. The set of all real \(G\) vector bundles over a closed smooth \(G\) manifold is algebraically realized if one of the following assumptions holds: (1) \(G\) is the product of a group of odd order and a 2-torus. (2) The action of \(G\) on the manifold is semifree. Let \(Y\) be a real algebraic \(G\) variety and \(f: M\to Y\) an equivariant map. We say that \((M,f)\) is algebraically realized by \((X,\varphi)\) if \(f\circ \varphi\) is equivariantly homotopic to an entire rational map. The cobordism class of \((M,f)\) has an algebraic representative if \((M,f)\) is equivariantly cobordant to a pair \((Z,\eta)\) where \(Z\) is a non- singular real algebraic \(G\) variety and \(\eta: Z\to Y\) is entire rational. The proof of theorem B is reduced to a bordism problem. Theorem C. Let \(G\) be a compact Lie group. An equivariant map from a closed smooth \(G\) manifold to a non-singular real algebraic \(G\) variety is algebraically realized if and only if its equivariant bordism class has an algebraic representative. Equivariant bordism results of \textit{R. E. Stong} are then generalized to obtain theorem B [Mem. Am. Math. Soc. 103 (1970; Zbl 0201.255)] and [Duke Math. J. 37, 779-785 (1970; Zbl 0204.236)]. The paper is motivated by the non-equivariant work of \textit{J. Nash} [Ann. Math., II. Ser. 56, 405-421 (1952; Zbl 0048.385)], \textit{A. Tognoli} [Ann. Scuola Norm. Sup. Pisa, Sci. fis. mat., III. Ser. 27, 167-185 (1973; Zbl 0263.57011)], \textit{S. Akbulut} and \textit{H. King} [Ann. Math., II. Ser. 113, 425-446 (1981; Zbl 0494.57004)], and of \textit{R. Benedetti} and \textit{A. Tognoli} [Bull. Sci. Math., II. Sér. 104, 89-112 (1980; Zbl 0421.58001)].
equivariantly homotopic, real algebraic \(G\) variety, algebraic realization, equivariant map, orthogonal representation, equivariant bordism class, Article, Equivariant fiber spaces and bundles in algebraic topology, \(G\)-vector bundles, 510.mathematics, Equivariant algebraic topology of manifolds, equivariant diffeomorphism, Equivariant cobordism, compact Lie group, Real algebraic and real-analytic geometry, semifree action, smooth \(G\) manifold, product of a group of odd order and a 2-torus, algebraically realized
equivariantly homotopic, real algebraic \(G\) variety, algebraic realization, equivariant map, orthogonal representation, equivariant bordism class, Article, Equivariant fiber spaces and bundles in algebraic topology, \(G\)-vector bundles, 510.mathematics, Equivariant algebraic topology of manifolds, equivariant diffeomorphism, Equivariant cobordism, compact Lie group, Real algebraic and real-analytic geometry, semifree action, smooth \(G\) manifold, product of a group of odd order and a 2-torus, algebraically realized
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
