The author studies high energy resonances for the operators where is strictly convex with smooth boundary, may depend on frequency, and is the surface measure on .

Following the method developed by Waldspurger and Beuzart-Plessis in their proofs of the local Gan-Gross-Prasad conjecture, the author is able to prove the geometric side of a local relative trace formula for the Ginzburg-Rallis model. Then by applying such formula, the author proves a multiplicity formula of the Ginzburg-Rallis model for the supercuspidal representations. Using that multiplicity formula, the author proves the multiplicity one theorem for the Ginzburg-Rallis model over Vogan packets in the supercuspidal case.

Indecomposable symmetric Lorentzian manifolds of non-constant curvature are called Cahen-Wallach spaces. Their isometry classes are described by continuous families of real parameters. The authors derive necessary and sufficient conditions for the existence of compact quotients of Cahen-Wallach spaces in terms of these parameters.

In 1925 Élie Cartan introduced the principal of triality specifically for the Lie groups of type D4, and in 1935 Ruth Moufang initiated the study of Moufang loops. The observation of the title in 1978 was made by Stephen Doro, who was in turn motivated by the work of George Glauberman from 1968. Here the author makes the statement precise in a categorical context. In fact the most obvious categories of Moufang loops and groups with triality are not equivalent, hence the need for the word “essentially.”

If X is a manifold then the R-algebra C∞(X) of smooth functions c:X→R is a C∞-ring. That is, for each smooth function f:Rn→R there is an n-fold operation Φf:C∞(X)n→C∞(X) acting by Φf:(c1,…,cn)↦f(c1,…,cn), and these operations Φf satisfy many natural identities. Thus, C∞(X) actually has a far richer structure than the obvious R-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by C∞-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are C∞-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on C∞-schemes, and C∞-stacks, in particular Deligne-Mumford C∞-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C∞-rings and C∞ -schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, “derived” versions of manifolds and orbifolds related to Spivak's “derived manifolds”.

The authors consider the nonlinear equation −1m=z+Sm with a parameter z in the complex upper half plane H, where S is a positivity preserving symmetric linear operator acting on bounded functions. The solution with values in H is unique and its z-dependence is conveniently described as the Stieltjes transforms of a family of measures v on R. In a previous paper the authors qualitatively identified the possible singular behaviors of v: under suitable conditions on S we showed that in the density of v only algebraic singularities of degree two or three may occur. In this paper the authors give a comprehensive analysis of these singularities with uniform quantitative controls. They also find a universal shape describing the transition regime between the square root and cubic root singularities. Finally, motivated by random matrix applications in the authors' companion paper they present a complete stability analysis of the equation for any z∈H, including the vicinity of the singularities.