Related papers: Lifting smooth curves over invariants for represen…

Any sufficiently often differentiable curve in the orbit space of a compact Lie group representation can be lifted to a once differentiable curve into the representation space.

Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally…

Let $\rho : G \rightarrow \operatorname{O}(V)$ be a real finite dimensional orthogonal representation of a compact Lie group, let $\sigma = (\sigma_1,\ldots,\sigma_n) : V \to \mathbb R^n$, where $\sigma_1,\ldots,\sigma_n$ form a minimal…

Let $\rho : G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\sigma_n$ be a system of generators of the algebra of invariant polynomials…

We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orr\'u, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a…

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…

We suggest a new algorithm to estimate representations of compact Lie groups from finite samples of their orbits. Different from other reported techniques, our method allows the retrieval of the precise representation type as a direct sum…

The lifting problem that we consider asks: given a smooth curve in characteristic p and a group of automorphisms, can we lift the curve, along with the automorphisms, to characteristic zero? One can reduce this to a local question (the…

Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…

Given an orthogonal representation of a compact group, we show that any element of the connected component of the isometry group of the orbit space lifts to an equivariant isometry of the original Euclidean space. Corollaries include a…

The Witt group of a smooth curve over a real closed field is explicitely calculated. The method uses a comparison theorem between the graded Witt group and the etale cohomology groups. In the second part of the paper, the torsion Picard…

We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the…

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no…

We provide detailed calculations for the classification of representations of compact simple Lie groups with non-empty boundary in the orbit space, first announced in a previous paper [arXiv:2112.00513] by the same authors.

Orbits of coadjoint representations of classical compact Lie groups have a lot of applications. They appear in representation theory, geometrical quantization, theory of magnetism, quantum optics etc. As geometric objects the orbits were…

The group PGL(3) of linear transformations of the projective plane acts naturally on the projective space parametrizing curves of a given degree. In this note we begin the study of the orbits of smooth curves under this action: we construct…

In this paper, we develop a new and efficient approach to the computation of envelope surfaces. We interpret one-parameter systems of surfaces as curves in the homogeneous spaces of suitable Lie groups. Using the formalism of Lie groups and…

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…

We develop the theory of locally analytic representations of compact $p$-adic Lie groups from the perspective of the theory of condensed mathematics of Clausen and Scholze. As an application, we generalise Lazard's isomorphisms between…

We study the question of whether the topological quotient of a real linear representation of a simple three-dimensional compact Lie group is a manifold. We obtain an upper bound for the dimension of a representation whose quotient is a…