BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Andreas Kriegl

Andreas Kriegl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.CAmath.DGmath.SPmath.APmath.QAmath.RT

Catalog footprint

What is connected

11works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

11 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
preprint1992arXiv

A convenient setting for real analytic mappings

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 analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real analytic diffeomorphisms of a compact real analytic manifold is a real analytic Lie group.

0 citations0 reviewsNo code linkedOpen access
preprint1992arXiv

Aspects of the theory of infinite dimensional manifolds

The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$, $SO(n)$ and some of their homogeneus spaces is treated.

0 citations0 reviewsNo code linkedOpen access
preprint1992arXiv

More smoothly real compact spaces

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on algebras of smooth functions. In \cite{AdR} it was shown that any separable Banach space is smoothly real compact. Here we generalize this result to a huge class of locally convex spaces including arbitrary products of separable Fréchet spaces.

0 citations0 reviewsNo code linkedOpen access
preprint1992arXiv

The Frölicher-Nijenhuis bracket in non-commutative differential geometry

We carry over to a quite general noncommutative setting some of the basic tools of differential geometry, using from the very beginning the setting of convenient vector spaces developed by Froelicher and Kriegl, which allows to carry all of multilinear algebra into this kind of functional analysis with suitably completed tensor products. In the first section we give a short description of the setting of convenient spaces elaborating those aspects which are needed later. Then we repeat the usual construction of noncommutative differential forms for convenient algebras. Next they show that the bimodule $Ω\sb n (A)$ of universal non-commutative $n$-forms represents the functor of the normalized Hochschild $n$-cocycles. In the third section we introduce the noncommutative version of the Froelicher-Nijenhuis bracket by investigating all bounded graded derivations of the algebra of differential forms. This bracket is then used to formulate the concept of integrability and involutiveness for distributions and to indicate a route towards a theorem of Frobenius. This is then used to discuss bundles and connections in the noncommutative setting and to go some steps towards a noncommutative Chern-Weil homomorphism. In the final section we give a brief description of the noncommutative version of the Schouten-Nijenhuis bracket and describe Poisson structures.

0 citations0 reviewsNo code linkedOpen access