BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Armin Rainer

Armin Rainer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.FAmath.RTmath.AGmath.DGmath.ATmath.SPmath-phmath.MPmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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&#39; 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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access