Positive Definiteness Of Functions With Applications To Operator Norm Inequalities

Positive definiteness is determined for a wide class of functions relevant in the study of operator means and their norm comparisons. Then, this information is used to obtain an abundance of new sharp (unitarily) norm inequalities comparing various operator means and sometimes other related operators.

"September 2011, volume 213, number 1004 (end of volume)."

"November 2012, volume 220, number 1035 (third of 4 numbers)."

"Volume 212, number 999 (end of volume)."

The theory of $L$-indistinguishability for inner forms of $SL_2$ has been established in the well-known paper of Labesse and Langlands (L-indistinguishability forSL$(2)$. Canad. J. Math. 31 (1979), no. 4, 726-785). In this memoir, the authors study $L$-indistinguishability for inner forms of $SL_n$ for general $n$. Following the idea of Vogan in (The local Langlands conjecture. Representation theory of groups and algebras, 305-379, Contemp. Math. 145 (1993)), they modify the $S$-group and show that such an $S$-group fits well in the theory of endoscopy for inner forms of $SL_n$.

In the framework of algebraic supergeometry, the authors give a construction of the scheme-theoretic supergeometric analogue of split reductive algebraic group-schemes, namely affine algebraic supergroups associated to simple Lie superalgebras of classical type. In particular, all Lie superalgebras of both basic and strange types are considered. This provides a unified approach to most of the algebraic supergroups considered so far in the literature, and an effective method to construct new ones. The authors' method follows the pattern of a suitable scheme-theoretic revisitation of Chevalley's construction of semisimple algebraic groups, adapted to the reductive case. As an intermediate step, they prove an existence theorem for Chevalley bases of simple classical Lie superalgebras and a PBW-like theorem for their associated Kostant superalgebras.

It is a widespread opinion among experts that (continuous) bounded cohomology cannot be interpreted as a derived functor and that triangulated methods break down. The author proves that this is wrong. He uses the formalism of exact categories and their derived categories in order to construct a classical derived functor on the category of Banach $G$-modules with values in Waelbroeck's abelian category. This gives us an axiomatic characterization of this theory for free, and it is a simple matter to reconstruct the classical semi-normed cohomology spaces out of Waelbroeck's category. The author proves that the derived categories of right bounded and of left bounded complexes of Banach $G$-modules are equivalent to the derived category of two abelian categories (one for each boundedness condition), a consequence of the theory of abstract truncation and hearts of $t$-structures. Moreover, he proves that the derived categories of Banach $G$-modules can be constructed as the homotopy categories of model structures on the categories of chain complexes of Banach $G$-modules, thus proving that the theory fits into yet another standard framework of homological and homotopical algebra.

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if $\mathcal{G}$ is a finite graph of coarse Poincare duality groups, then any finitely generated group quasi-isometric to the fundamental group of $\mathcal{G}$ is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserve the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group $\mathcal{G}_v$ which is an $n$-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of $\mathcal{G}_v$ is a graph $\epsilon_v$ that describes the pattern in which the codimension 1 edge groups incident to $\mathcal{G}_v$ are crossed by other edge groups incident to $\mathcal{G}_v$, and the crossing graph condition requires that $\epsilon_v$ be connected or empty.

The multiplier ideals of an ideal in a regular local ring form a family of ideals parameterized by non-negative rational numbers. As the rational number increases the corresponding multiplier ideal remains unchanged until at some point it gets strictly smaller. A rational number where this kind of diminishing occurs is called a jumping number of the ideal. In this manuscript the author gives an explicit formula for the jumping numbers of a simple complete ideal in a two-dimensional regular local ring. In particular, he obtains a formula for the jumping numbers of an analytically irreducible plane curve. He then shows that the jumping numbers determine the equisingularity class of the curve.