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.

Global Stabilization of Nonlinear Finite Dimensional System with Dynamic Controller Governed by 1 − d Heat Equation with Neumann Interconnection

This paper deals with the stabilization of a class of uncertain nonlinear ordinary differential equations (ODEs) with a dynamic controller governed by a linear 1−d heat partial differential equation (PDE). The control operates at one boundary of the domain of the heat controller, while at the other end of the boundary, a Neumann term is injected into the ODE plant. We achieve the desired global exponential stabilization goal by using a recent infinite-dimensional backstepping design for coupled PDE-ODE systems combined with a high-gain state feedback and domination approach. The stabilization result of the coupled system is established under two main restrictions: the first restriction concerns the particular classical form of our ODE, which contains, in addition to a controllable linear part, a second uncertain nonlinear part verifying a lower triangular linear growth condition. The second restriction concerns the length of the domain of the PDE which is restricted.

Graded identities for algebras with elementary gradings over an infinite field

Let $F$ be an infinite field of positive characteristic $p > 2$ and let $G$ be a group. In this paper, we study the graded identities satisfied by an associative algebra equipped with an elementary $G$ -grading. Let $E$ be the infinite-dimensional Grassmann algebra. For every $a$ , $b\in \mathbb {N}$ , we provide a basis for the graded polynomial identities, up to graded monomial identities, for the verbally prime algebras $M_{a,b}(E)$ , as well as their tensor products, with their elementary gradings. Moreover, we give an alternative proof of the fact that the tensor product $M_{a,b}(E)\otimes M_{r,s}(E)$ and $M_{ar+bs,as+br}(E)$ are $F$ -algebras which are not PI equivalent. Actually, we prove that the $T_{G}$ -ideal of the former algebra is contained in the $T$ -ideal of the latter. Furthermore, the inclusion is proper. Recall that it is well known that these algebras satisfy the same multilinear identities and hence in characteristic 0 they are PI equivalent.

HYPERSURFACE SUPPORT FOR NONCOMMUTATIVE COMPLETE INTERSECTIONS

We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. We show that hypersurface support defines a support theory for the big singularity category $\operatorname {Sing}(R)$ , and that the support of an object in $\operatorname {Sing}(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz’ support theory for (commutative) local complete intersections. In the companion piece [27], we employ hypersurface support for infinite-dimensional modules, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras.

Classical and Discrete Functional Analysis with Measure Theory

Functional analysis deals with infinite-dimensional spaces. Its results are among the greatest achievements of modern mathematics and it has wide-reaching applications to probability theory, statistics, economics, classical and quantum physics, chemistry, engineering, and pure mathematics. This book deals with measure theory and discrete aspects of functional analysis, including Fourier series, sequence spaces, matrix maps, and summability. Based on the author's extensive teaching experience, the text is accessible to advanced undergraduate and first-year graduate students. It can be used as a basis for a one-term course or for a one-year sequence, and is suitable for self-study for readers with an undergraduate-level understanding of real analysis and linear algebra. More than 750 exercises are included to help the reader test their understanding. Key background material is summarized in the Preliminaries.

Diffusion tensor regularization with metric double integrals

In this paper, we propose a variational regularization method for denoising and inpainting of diffusion tensor magnetic resonance images. We consider these images as manifold-valued Sobolev functions, i.e. in an infinite dimensional setting, which are defined appropriately. The regularization functionals are defined as double integrals, which are equivalent to Sobolev semi-norms in the Euclidean setting. We extend the analysis of [14] concerning stability and convergence of the variational regularization methods by a uniqueness result, apply them to diffusion tensor processing, and validate our model in numerical examples with synthetic and real data.