Equivariant exponentially Nash vector bundles (Q1362819): Difference between revisions

Exponentially Nash manifolds (or analytic manifolds definable in \(R_{\exp}= \{\mathbb{R},<,+,\cdot, \exp,0,1\}\)) and equivariant exponentially Nash manifolds are generalizations of the usual Nash ones. In the present paper, the exponentially Nash vector bundles and exponentially Nash \(G\) vector bundles are defined (for an exponentially Nash group \(G\)). The main result is the following. Let \(G\) be a compact affine exponentially Nash group and \(\eta\) be a \(C^\infty G\) vector bundle over a compact affine exponentially Nash \(G\) manifold \(X\). Then \(\eta\) admits a unique strongly exponentially Nash \(G\) vector bundle structure \(\xi\). If \(\dim(X)\geq 1\), \(\text{rank}(\eta)\geq 1\), and \(X\) has a 0-dimensional orbit, then \(\eta\) admits a non-strongly exponentially Nash \(G\) vector bundle structure. If the action on \(X\) is transitive, then any exponentially Nash \(G\) vector bundle structure of \(\eta\) is exponentially a Nash \(G\) vector bundle isomorphic to \(\xi\).