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

Andreas Kriegl

Andreas Kriegl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.CAmath.DGmath.SPmath.APmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
3close 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

7 published item(s)

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.

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

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

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

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