Source author record

Armin Rainer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.FA math.DG math.AG math.RT math.AT math.SP math-ph math.AP math.MP math.SG

Catalog footprint

Research overview

24works

11topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Hölder--Zygmund classes on smooth curves

We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$ . This complements the well-known analogous result for local Hölder--Lipschitz classes $\mathcal C^{m,α}$ which we reprove along the way. We demonstrate that these results generalize to mappings between Banach spaces and use them to study the regularity of the superposition operator $f_* : g \mapsto f \circ g$ acting on the global Zygmund space $Λ_{m+1}(\mathbb R^d)$ . We prove that, for all integers $m,k\ge 1$ , the map $f_* : Λ_{m+1}(\mathbb R^d) \to Λ_{m+1}(\mathbb R^d)$ is of Lipschitz class $\mathcal C^{k-1,1}$ if and only if $f \in \mathcal Z^{m+k,1}(\mathbb R)$ .

preprint2021arXiv

On the extension of Whitney ultrajets of Beurling type

We prove a version of Whitney's extension theorem in the ultradifferentiable Beurling setting with controlled loss of regularity. As a by-product we show the existence of continuous linear extension operators on certain spaces of Whitney ultrajets on arbitrary closed sets in $\mathbb R^n$ .

preprint2021arXiv

Ultradifferentiable extension theorems: a survey

We survey ultradifferentiable extension theorems, i.e., quantitative versions of Whitney's classical extension theorem, with special emphasis on the existence of continuous linear extension operators. The focus is on Denjoy-Carleman classes for which we develop the theory from scratch and discuss important related concepts such as (non-)quasianalyticity. It allows us to give an efficient and, to a fair extent, elementary introduction to Braun-Meise-Taylor classes based on their representation as intersections and unions of Denjoy-Carleman classes.

preprint2016arXiv

Regularity of roots of polynomials

We show that smooth curves of monic complex polynomials $P_a (Z)=Z^n+\sum_{j=1}^n a_j Z^{n-j}$ , $a_j : I \to \mathbb C$ with $I \subset \mathbb R$ a compact interval, have absolutely continuous roots in a uniform way. More precisely, there exists a positive integer $k$ and a rational number $p >1$ , both depending only on the degree $n$ , such that if $a_j \in C^{k}$ then any continuous choice of roots of $P_a$ is absolutely continuous with derivatives in $L^q$ for all $1 \le q < p$ , in a uniform way with respect to $\max_j\|a_j\|_{C^k}$ . The uniformity allows us to deduce also a multiparameter version of this result. The proof is based on formulas for the roots of the universal polynomial $P_a$ in terms of its coefficients $a_j$ which we derive using resolution of singularities. For cubic polynomials we compute the formulas as well as bounds for $k$ and $p$ explicitly.

preprint2015arXiv

Equivalence of stability properties for ultradifferentiable function classes

We characterize stability under composition, inversion, and solution of ordinary differential equations for ultradifferentiable classes, and prove that all these stability properties are equivalent.

preprint2015arXiv

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$ , admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$ , the category of $\mathcal C$ -mappings is cartesian closed in the sense that $\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $\mathcal C$ -diffeomorphisms is a regular $\mathcal C$ -Lie group if $\mathcal C \supseteq C^ω$ , but not better.

preprint2015arXiv

The exponential law for spaces of test functions and diffeomorphism groups

We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$ (globally $p$ -integrable derivatives), $\mathcal S$ (Schwartz space), $\mathcal D$ (compact sport, $\mathcal B^{[M]}$ (globally Denjoy_Carleman), $W^{[M],p}$ (Sobolev_Denjoy_Carleman), $\mathcal S_{[L]}^{[M]}$ (Gelfand_Shilov), and $\mathcal D^{[M]}$ . Here $E, F, G$ are convenient vector spaces (finite dimensional in the cases of $W^{\infty,p}$ , $\mathcal D$ , $W^{[M],p}$ , and $\mathcal D^{[M]})$ , and $M=(M_k)$ is a weakly log-convex weight sequence of moderate growth. As application we give a new simple proof of the fact that the groups of diffeomorphisms $\operatorname{Diff} \mathcal B$ , $\operatorname{Diff} W^{\infty,p}$ , $\operatorname{Diff} \mathcal S$ , and $\operatorname{Diff}\mathcal D$ are $C^\infty$ Lie groups, and $\operatorname{Diff} \mathcal B^{\{M\}}$ , $\operatorname{Diff}W^{\{M\},p}$ , $\operatorname{Diff} \mathcal S_{\{L\}}^{\{M\}}$ , and $\operatorname{Diff}\mathcal D^{[M]}$ , for non-quasianalytic $M$ , are $C^{\{M\}}$ Lie groups, where $\operatorname{Diff}\mathcal A = \{\operatorname{Id} +f : f \in \mathcal A(\mathbb R^n,\mathbb R^n), \inf_{x \in \mathbb R^n} \det(\mathbb I_n+ df(x))>0\}$ . We also discuss stability under composition.

preprint2014arXiv

An exotic zoo of diffeomorphism groups on $\mathbb R^n$

Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$ , ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$ , ${\operatorname{Diff}}{\mathcal{S}}{}_{[L]}^{[M]}(\mathbb{R}^n)$ , and ${\operatorname{Diff}}\mathcal{D}^{[M]}(\mathbb{R}^n)$ of $C^{[M]}$ -diffeomorphisms on $\mathbb{R}^n$ which differ from the identity by a mapping in $\mathcal{B}^{[M]}$ (global Denjoy--Carleman), $W^{[M],p}$ (Sobolev-Denjoy-Carleman), ${\mathcal{S}}{}_{[L]}^{[M]}$ (Gelfand--Shilov), or $\mathcal{D}^{[M]}$ (Denjoy-Carleman with compact support) are $C^{[M]}$ -regular Lie groups. As an application we use the $R$ -transform to show that the Hunter-Saxton PDE on the real line is well-posed in any of the classes $W^{[M],1}$ , ${\mathcal{S}}{}_{[L]}^{[M]}$ , and $\mathcal{D}^{[M]}$ . Here we find some surprising groups with continuous left translations and $C^{[M]}$ right translations (called half-Lie groups), which, however, also admit $R$ -transforms.

preprint2014arXiv

Composition in ultradifferentiable classes

We characterize stability under composition of ultradifferentiable classes defined by weight sequences $M$ , by weight functions $ω$ , and, more generally, by weight matrices $\mathfrak{M}$ , and investigate continuity of composition $(g,f) \mapsto f \circ g$ . In addition, we represent the Beurling space $\mathcal{E}^{(ω)}$ and the Roumieu space $\mathcal{E}^{\{ω\}}$ as intersection and union of spaces $\mathcal{E}^{(M)}$ and $\mathcal{E}^{\{M\}}$ for associated weight sequences, respectively.

preprint2013arXiv

Differentiable roots, eigenvalues, and eigenvectors

We determine the conditions for the existence of $C^p$ -roots of curves of monic complex polynomials as well as for the existence of $C^p$ -eigenvalues and $C^p$ -eigenvectors of curves of normal complex matrices.

preprint2012arXiv

Perturbation theory for normal operators

Let $E \ni x\mapsto A(x)$ be a $\mathscr{C}$ -mapping with values unbounded normal operators with common domain of definition and compact resolvent. Here $\mathscr{C}$ stands for $C^\infty$ , $C^ω$ (real analytic), $C^{[M]}$ (Denjoy--Carleman of Beurling or Roumieu type), $C^{0,1}$ (locally Lipschitz), or $C^{k,α}$ . The parameter domain $E$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We completely describe the $\mathscr{C}$ -dependence on $x$ of the eigenvalues and the eigenvectors of $A(x)$ . Thereby we extend previously known results for self-adjoint operators to normal operators, partly improve them, and show that they are best possible. For normal matrices $A(x)$ we obtain partly stronger results.

preprint2011arXiv

A generalization of Puiseux's theorem and lifting curves over invariants

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.

preprint2011arXiv

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

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.

preprint2011arXiv

Quasianalytic multiparameter perturbation of polynomials and normal matrices

We study the regularity of the roots of multiparameter families of complex univariate monic polynomials $P(x)(z) = z^n + \sum_{j=1}^n (-1)^j a_j(x) z^{n-j}$ with fixed degree $n$ whose coefficients belong to a certain subring $\mathcal C$ of $C^\infty$ -functions. We require that $\mathcal C$ includes polynomial but excludes flat functions (quasianalyticity) and is closed under composition, derivation, division by a coordinate, and taking the inverse. Examples are quasianalytic Denjoy--Carleman classes, in particular, the class of real analytic functions $C^ω$ . We show that there exists a locally finite covering $\{π_k\}$ of the parameter space, where each $π_k$ is a composite of finitely many $\mathcal C$ -mappings each of which is either a local blow-up with smooth center or a local power substitution (in coordinates given by $x \mapsto (\pm x_1^{γ_1},...,\pm x_q^{γ_q})$ , $γ_i \in \mathbb N_{>0}$ ), such that, for each $k$ , the family of polynomials $P øπ_k$ admits a $\mathcal C$ -parameterization of its roots. If $P$ is hyperbolic (all roots real), then local blow-ups suffice. Using this desingularization result, we prove that the roots of $P$ can be parameterized by $SBV_{loc}$ -functions whose classical gradients exist almost everywhere and belong to $L^1_{loc}$ . In general the roots cannot have gradients in $L^p_{loc}$ for any $1 < p \le \infty$ . Neither can the roots be in $W_{loc}^{1,1}$ or $VMO$ . We obtain the same regularity properties for the eigenvalues and the eigenvectors of $\mathcal C$ -families of normal matrices. A further consequence is that every continuous subanalytic function belongs to $SBV_{loc}$ .

preprint2011arXiv

Smooth roots of hyperbolic polynomials with definable coefficients

We prove that the roots of a definable $C^\infty$ curve of monic hyperbolic polynomials admit a definable $C^\infty$ parameterization, where `definable' refers to any fixed o-minimal structure on $(\mathbb R,+,\cdot)$ . Moreover, we provide sufficient conditions, in terms of the differentiability of the coefficients and the order of contact of the roots, for the existence of $C^p$ (for $p \in \mathbb N$ ) arrangements of the roots in both the definable and the non-definable case. These conditions are sharp in the definable and under an additional assumption also in the non-definable case. In particular, we obtain a simple proof of Bronshtein's theorem in the definable setting. We prove that the roots of definable $C^\infty$ curves of complex polynomials can be desingularized by means of local power substitutions $t \mapsto \pm t^N$ . For a definable continuous curve of complex polynomials we show that any continuous choice of roots is actually locally absolutely continuous.

preprint2011arXiv

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$ -intersection (see 1.6), we prove the following: The category of $C^Q$ -mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^Q$ -diffeomorphisms is a regular $C^Q$ -Lie group but not better.

preprint2009arXiv

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$ -mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or non-quasianalytic Denjoy-Carleman class, $C^\infty$ , or a Hölder continuity class $C^{0,\al}$. The parameter domain $T$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We prove and review results on $C^M$ -dependence on $t$ of the eigenvalues and eigenvectors of $A(t)$ .

preprint2009arXiv

Many parameter Hoelder perturbation of unbounded operators

If $u\mapsto A(u)$ is a $C^{0,α}$ -mapping, for $0< α\le 1$ , having as values unbounded self-adjoint operators with compact resolvents and common domain of definition, parametrized by $u$ in an (even infinite dimensional) space, then any continuous (in $u$ ) arrangement of the eigenvalues of $A(u)$ is indeed $C^{0,α}$ in $u$ .

preprint2009arXiv

Perturbation of complex polynomials and normal operators

We study the regularity of the roots of complex monic polynomials $P(t)$ of fixed degree depending smoothly on a real parameter $t$ . We prove that each continuous parameterization of the roots of a generic $C^\infty$ curve $P(t)$ (which always exists) is locally absolutely continuous. Generic means that no two of the continuously chosen roots meet of infinite order of flatness. Simple examples show that one cannot expect a better regularity than absolute continuity. This result will follow from the proposition that for any $t_0$ there exists a positive integer $N$ such that $t \mapsto P(t_0\pm (t-t_0)^N)$ admits smooth parameterizations of its roots near $t_0$ . We show that $C^n$ curves $P(t)$ (where $n = °P$ ) admit differentiable roots if and only if the order of contact of the roots is $\ge 1$ . We give applications to the perturbation theory of normal matrices and unbounded normal operators with compact resolvents and common domain of definition: The eigenvalues and eigenvectors of a generic $C^\infty$ curve of such operators can be arranged locally in an absolutely continuous way.

preprint2008arXiv

Invariant functions in Denjoy-Carleman classes

Let $V$ be a real finite dimensional representation of a compact Lie group $G$ . It is well-known that the algebra $\mathbb R[V]^G$ of $G$ -invariant polynomials on $V$ is finitely generated, say by $σ_1,...,σ_p$ . Schwarz proved that each $G$ -invariant $C^\infty$ -function $f$ on $V$ has the form $f=F(σ_1,...,σ_p)$ for a $C^\infty$ -function $F$ on $\mathbb R^p$ . We investigate this representation within the framework of Denjoy-Carleman classes. One can in general not expect that $f$ and $F$ lie in the same Denjoy-Carleman class $C_M$ (with $M=(M_k)$ ). For finite groups $G$ and (more generally) for polar representations $V$ we show that for each $G$ -invariant $f$ of class $C_M$ there is an $F$ of class $C_N$ such that $f=F(σ_1,...,σ_p)$ , if $N$ is strongly regular and satisfies $N_k \ge M_{km} \ep^{k+1}$, for all $k$ , with $m$ an (explicitly known) integer depending only on the representation and $ε>0$ independent of $k$ . In particular, each $G$ -invariant $(1+δ)$ -Gevrey function $f$ has the form $f=F(σ_1,...,σ_p)$ for a $(1+δm)$ -Gevrey function $F$ . Applications to equivariant functions and basic differential forms are given.

preprint2007arXiv

Orbit projections of proper Lie groupoids as fibrations

Let $\mathcal{G} \rightrightarrows M$ be a source locally trivial proper Lie groupoid such that each orbit is of finite type. The orbit projection $M \to M/\mathcal{G}$ is a fibration if and only if $\mathcal{G} \rightrightarrows M$ is regular.

preprint2006arXiv

Choosing roots of polynomials with symmetries smoothly

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.

preprint2006arXiv

Orbit projections as fibrations

The orbit projection $π: M \to M/G$ of a proper $G$ -manifold $M$ is a fibration if and only if all points in $M$ are regular. Under additional assumptions we show that $π$ is a quasifibration if and only if all points are regular. We get a full answer in the equivariant category: $π$ is a $G$ -quasifibration if and only if all points are regular.

preprint2005arXiv

Singular Poisson reduction of cotangent bundles

We consider the Poisson reduced space $(T^*Q)/K$ with respect to a cotangent lifted action. It is assumed that $K$ is a compact Lie group which acts by isometries on the Riemannian manifold $Q$ and that the action on $Q$ is of single isotropy type. Realizing $(T^*Q)/K$ as a Weinstein space we determine the induced Poisson structure and its symplectic leaves. We thus extend the Weinstein construction for principal fiber bundles to the case of surjective Riemannian submersions $Q\to Q/K$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Armin Rainer

Research overview

Is this your work?

24 publications

Hölder--Zygmund classes on smooth curves

On the extension of Whitney ultrajets of Beurling type

Ultradifferentiable extension theorems: a survey

Regularity of roots of polynomials

Equivalence of stability properties for ultradifferentiable function classes

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

The exponential law for spaces of test functions and diffeomorphism groups

An exotic zoo of diffeomorphism groups on $\mathbb R^n$

Composition in ultradifferentiable classes

Differentiable roots, eigenvalues, and eigenvectors

Perturbation theory for normal operators

A generalization of Puiseux's theorem and lifting curves over invariants

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Quasianalytic multiparameter perturbation of polynomials and normal matrices

Smooth roots of hyperbolic polynomials with definable coefficients

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Many parameter Hoelder perturbation of unbounded operators

Perturbation of complex polynomials and normal operators

Invariant functions in Denjoy-Carleman classes

Orbit projections of proper Lie groupoids as fibrations

Choosing roots of polynomials with symmetries smoothly

Orbit projections as fibrations

Singular Poisson reduction of cotangent bundles

See the researcher in context

Building this map preview

Armin Rainer

Research overview

Is this your work?

24 publications

Hölder--Zygmund classes on smooth curves

On the extension of Whitney ultrajets of Beurling type

Ultradifferentiable extension theorems: a survey

Regularity of roots of polynomials

Equivalence of stability properties for ultradifferentiable function classes

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

The exponential law for spaces of test functions and diffeomorphism groups

An exotic zoo of diffeomorphism groups on Rn\mathbb R^nRn

Composition in ultradifferentiable classes

Differentiable roots, eigenvalues, and eigenvectors

Perturbation theory for normal operators

A generalization of Puiseux's theorem and lifting curves over invariants

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Quasianalytic multiparameter perturbation of polynomials and normal matrices

Smooth roots of hyperbolic polynomials with definable coefficients

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Many parameter Hoelder perturbation of unbounded operators

Perturbation of complex polynomials and normal operators

Invariant functions in Denjoy-Carleman classes

Orbit projections of proper Lie groupoids as fibrations

Choosing roots of polynomials with symmetries smoothly

Orbit projections as fibrations

Singular Poisson reduction of cotangent bundles

See the researcher in context

Building this map preview

An exotic zoo of diffeomorphism groups on $\mathbb R^n$