Researcher profile

Alexander Schmeding

Alexander Schmeding contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

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

6 published item(s)

preprint2022arXiv

Lie Theory for Asymptotic Symmetries in General Relativity: The BMS Group

We study the Lie group structure of asymptotic symmetry groups in General Relativity from the viewpoint of infinite-dimensional geometry. To this end, we review the geometric definition of asymptotic simplicity and emptiness due to Penrose and the coordinate-wise definition of asymptotic flatness due to Bondi et al. Then we construct the Lie group structure of the Bondi--Metzner--Sachs (BMS) group and discuss its Lie theoretic properties. We find that the BMS group is regular in the sense of Milnor, but not real analytic. This motivates us to conjecture that it is not locally exponential. Finally, we verify the Trotter property as well as the commutator property. As an outlook, we comment on the situation of related asymptotic symmetry groups. In particular, the much more involved situation of the Newman--Unti group is highlighted, which will be studied in future work.

preprint2022arXiv

Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group

We study the Newman--Unti (NU) group from the viewpoint of infinite-dimensional geometry. The NU group is a topological group in a natural coarse topology, but it does not become a manifold and hence a Lie group in this topology. To obtain a manifold structure we consider a finer Whitney-type topology. This turns the unit component of the NU group into an infinite-dimensional Lie group. We then study the Lie theoretic properties of this group. Surprisingly, the group operations of the full NU group become discontinuous, whence the NU group does not support a Lie group structure. The NU group contains the Bondi--Metzner--Sachs (BMS) group as a subgroup, whose Lie group structure was constructed in a previous article. It is well known that the NU Lie algebra splits into a direct sum of Lie ideals of the Lie algebras of the BMS group and conformal rescalings of scri. However, the lack of a Lie group structure on the NU group implies that the BMS group cannot be embedded as a Lie subgroup therein.

preprint2021arXiv

Continuity of Formal Power Series Products in Nonlinear Control Theory

Formal power series products appear in nonlinear control theory when systems modeled by Chen-Fliess series are interconnected to form new systems. In fields like adaptive control and learning systems, the coefficients of these formal power series are estimated sequentially with real-time data. The main goal of the present article is to prove the continuity and analyticity of such products with respect to several natural (locally convex) topologies on spaces of locally convergent formal power series in order to establish foundational properties behind these technologies. In addition, it is shown that a transformation group central to describing the output feedback connection is in fact an analytic Lie group in this setting with certain regularity properties.

preprint2021arXiv

Manifolds of mappings on cartesian products

Given smooth manifolds $M_1,\ldots, M_n$ (which may have a boundary or corners), a smooth manifold $N$ modeled on locally convex spaces and $α\in({\mathbb N}_0\cup\{\infty\})^n$, we consider the set $C^α(M_1\times\cdots\times M_n,N)$ of all mappings $f\colon M_1\times\cdots\times M_n\to N$ which are $C^α$ in the sense of Alzaareer. Such mappings admit, simultaneously, continuous iterated directional derivatives of orders $\leq α_j$ in the $j$th variable for $j\in\{1,\ldots, n\}$, in local charts. We show that $C^α(M_1\times\cdots\times M_n,N)$ admits a canonical smooth manifold structure whenever each $M_j$ is compact and $N$ admits a local addition. The case of non-compact domains is also considered.

preprint2020arXiv

Extending Whitney's extension theorem: nonlinear function spaces

We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds. Assuming $C$ is a submanifold with corners, or is compact and locally convex with rough boundary, we prove that the restriction map from everywhere-defined functions is a submersion of locally convex manifolds and so admits local linear splittings on charts. This is achieved by considering the corresponding restriction map for locally convex spaces of compactly-supported sections of vector bundles, allowing the even more general case where $C$ only has mild restrictions on inward and outward cusps, and proving the existence of an extension operator.