arXiv subjects
Publications and source records attributed to Mark Losik.
We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables.
Let $ρ: 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$) curve $c : \mathbb R \to V // G$ in the categorical quotient $V // G$ (viewed as affine variety in some $\mathbb C^n$) and for any $t_0 \in \mathbb R$, there exists a positive integer $N$ such that $t \mapsto c(t_0 \pm (t-t_0)^N)$ allows a smooth (resp. $mathbb C^M$) lift to the representation space near $t_0$. ($C^M$ denotes the Denjoy--Carleman class associated with $M=(M_k)$, which is always assumed to be logarithmically convex and derivation closed). As an application we prove that any generic smooth curve in $V // G$ admits locally absolutely continuous (not better!) lifts. Assume that $G$ is finite. We characterize curves admitting differentiable lifts. We show that any germ of a $C^\infty$ curve which represents a lift of a germ of a quasianalytic $C^M$ curve in $V // G$ is actually $C^M$. There are applications to polar representations.
This paper has been withdrawn by the authors due to a gap in the proof of the main result (in 5.3).
The roots of a smooth curve of hyperbolic polynomials may not in general be parameterized smoothly, even not $C^{1,α}$ for any $α> 0$. A sufficient condition for the existence of a smooth parameterization is that no two of the increasingly ordered continuous roots meet of infinite order. We give refined sufficient conditions for smooth solvability if the polynomials have certain symmetries. In general a $C^{3n}$ curve of hyperbolic polynomials of degree $n$ admits twice differentiable parameterizations of its roots. If the polynomials have certain symmetries we are able to weaken the assumptions in that statement.
For a symplectic manifold $(M,\om)$ with exact symplectic form we construct a 2-cocycle on the group of symplectomorphisms and indicate cases when this cocycle is not trivial.
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
Given a reductive algebraic group $G$ and a finite dimensional algebraic $G$-module $V$, we study how close is the algebra of $G$-invariant polynomials on $V^{\oplus n}$ to the subalgebra generated by polarizations of $G$-invariant polynomials on $V$. We address this problem in a more general setting of $G$-actions on arbitrary affine varieties.
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 bounded derivative. As a consequence any sufficiently often differentiable curve in the orbit space $V/G$ can be lifted twice differentiably. These results can be generalized to arbitrary polar representations. Finite reflection groups and finite rotation groups in dimensions two and three are discussed in detail.
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.
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 case of complex reflection groups is investigated.
We show that the roots of any smooth curve of polynomials with only real roots can be parametrized twice differentiably (but not better).
We investigate discrete groups $G$ of isometries of a complete connected Riemannian manifold $M$ which are generated by reflections, in particular those generated by disecting reflections. We show that these are Coxeter groups, and that the the orbit space $M/G$ is isometric to a Weyl chamber $C$ which is a Riemannian manifold with corners and certain angle conditions along intersections of faces. We can also reconstruct the manifold and its action from the Riemannian chamber and its equipment of isotropy group data along the faces. We also discuss these results from the point of view of Riemannian orbifolds.
For a representation of a finite group $G$ on a complex vector space $V$ we determine when a holomorphic $\binom{p}{q}$-tensor field on the principle stratum of the orbit space $V/G$ can be lifted to a holomorphic $G$-invariant tensor field on $V$. This extends also to connections. As a consequence we determine those holomorphic diffeomorphisms on $V/G$ which can be lifted to orbit preserving holomorphic diffeomorphisms on $V$. This in turn is applied to characterize complex orbifolds.
Let $X$ be a smooth algebraic variety endowed with an action of a finite group $G$ such that there exists the geometric quotient $π_X:X\to X/G$. We characterize rational tensor fields $τ$ on $X/G$ such that the {\it pull back} of $τ$ is regular on $X$: these are precisely all $τ$ such that $\operatorname{div}_{R_{X/G}}(τ)\ge 0$ where $R_{X/G}$ is the {\it reflection divisor} of $X/G$ and $\operatorname{div}_{R_{X/G}}(τ)$ is the {\it $R_{X/G}$-divisor} of $τ$. We give some applications, in particular to the generalization of Solomon's theorem. In the last section we show that if $V$ is a finite dimensional vector space and $G$ a finite subgroup of $\operatorname{GL}(V)$, then each automorphism $ψ$ of $V/G$ admits a biregular lift $ϕ: V\to V$ provided that $ψ$ maps the regular stratum to itself and $ψ_*(R_{X/G})=R_{X/G}$.
We investigate the rudiments of Riemannian geometry on orbit spaces $M/G$ for isometric proper actions of Lie groups on Riemannian manifolds. Minimal geodesic arcs are length minimising curves in the metric space $M/G$ and they can hit strata which are more singular only at the end points. This is phrased as convexity result. The geodesic spray, viewed as a (strata-preserving) vector field on $TM/G$, leads to the notion of geodesics in $M/G$ which are projections under $M\to M/G$ of geodesics which are normal to the orbits. It also leads to `ballistic curves' which are projections of the other geodesics. In examples (Hermitian and symmetric matrices, and more generally polar representations) we compute their equations by singular symplectic reductions and obtain generalizations of Calogero-Moser systems with spin.
We clarify the question whether for a smooth curve of polynomials one can choose the roots smoothly and related questions. Applications to perturbation theory of operators are given.
We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.