We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the ‘extended Haagerup’ principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range ( $$ {4},{3} + \sqrt {{3}} $$ ), which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein-theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein-theoretic description there is an explicit algorithm for evaluating closed diagrams. This evaluation algorithm is unusual because intermediate steps may increase the number of generators in a diagram. This is the published version ofarXiv:0909.4099 [math.OA].

Let$p$be a prime integer, 1≤$s$≤$r$be integers and$F$be a field of characteristic different from$p$. We find upper and lower bounds for the essential$p$-dimension ed_{$p$}( $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ ) of the class $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ of central simple algebras of degree$p$^{$r$}and exponent dividing$p$^{$s$}. In particular, we show that ed($Alg$_{8,2})=ed_{2}($Alg$_{8,2})=8 and ed_{$p$}( $$ Al{{g}_{{{{p}^2},p}}} $$ )=$p$^{2}+$p$for$p$odd.

We construct inner amenable groups$G$with infinite conjugacy classes and such that the associated II_{1}factor has no non-trivial asymptotically central elements, i.e. does not have property Gamma of Murray and von Neumann. This solves a problem posed by Effros in 1975.

The subalgebra of the tautological ring of the moduli of curves of compact type generated by the κ classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain minimal sets of generators. Bases and Betti numbers of the κ rings are computed. A universality property relating the higher genus κ rings to the genus 0 rings is proven using the virtual geometry of the moduli space of stable maps. The λ_{g}-formula for Hodge integrals arises as the simplest consequence.

In a recent important breakthrough D. Christodoulou has solved a long standing problem of General Relativity of evolutionary formation of trapped surfaces in the Einstein-vacuum space-times. He has identified an open set of regular initial conditions on an outgoing null hypersurface (both finite and at past null infinity) leading to a formation a trapped surface in the corresponding vacuum space-time to the future of the initial outgoing hypersurface and another incoming null hypersurface with the prescribed Minkowskian data. In this paper we give a simpler proof for a finite problem by enlarging the admissible set of initial conditions and, consistent with this, relaxing the corresponding propagation estimates just enough that a trapped surface still forms. We also reduce the number of derivatives needed in the argument from two derivatives of the curvature to just one. More importantly, the proof, which can be easily localized with respect to angular sectors, has the potential for further developments.

If$X$is a closed subset of the real line, denote by$G$_{$X$}the supremum of the size of the gap in the Fourier spectrum of a measure, taken over all non-trivial finite complex measures supported on$X$. In this paper we attempt to find$G$_{$X$}in terms of$X$.

Kadison and Kastler introduced a natural metric on the collection of all$C$*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this conjecture when one algebra is separable and nuclear. We also consider one-sided versions of these notions, and we obtain embeddings from certain near inclusions involving separable nuclear$C$*-algebras. At the end of the paper we demonstrate how our methods lead to improved characterisations of some of the types of algebras that are of current interest in the classification programme.

In the moduli space $$ \mathcal{M} $$ _{$g$}of genus-$g$Riemann surfaces, consider the locus $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ of Riemann surfaces whose Jacobians have real multiplication by the order $$ \mathcal{O} $$ in a totally real number field$F$of degree$g$. If$g$= 3, we compute the closure of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ in the Deligne–Mumford compactification of $$ \mathcal{M} $$ _{$g$}and the closure of the locus of eigenforms over $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ in the Deligne–Mumford compactification of the moduli space of holomorphic 1-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ . Boundary strata of $$ \mathcal{R}{\mathcal{M}_{\mathcal{O}}} $$ are parameterized by configurations of elements of the field$F$satisfying a strong geometry of numbers type restriction.

No abstract uploaded!

This paper resolves a number of problems in the perturbation theory of linear operators, linked with the 45-year-old conjecure of M. G. Kreĭn. In particular, we prove that every Lipschitz function is operator-Lipschitz in the Schatten–von Neumann ideals$S$^{$α$}, 1 <$α$< ∞. Alternatively, for every 1 <$α$< ∞, there is a constant$c$_{$α$}> 0 such that $$ {\left\| {f(a) - f(b)} \right\|_{\alpha }} \leqslant {c_{\alpha }}{\left\| f \right\|_{{{\text{Lip}}\,{1}}}}{\left\| {a - b} \right\|_{\alpha }}, $$ where$f$is a Lipschitz function with $$ {\left\| f \right\|_{{{\text{Lip}}\,{1}}}}: = \mathop{{\sup }}\limits_{{_{{\lambda \ne \mu }}^{{\lambda, \mu \in \mathbb{R}}}}} \left| {\frac{{f\left( \lambda \right) - f\left( \mu \right)}}{{\lambda - \mu }}} \right| < \infty, $$ $$ {\left\| \cdot \right\|_{\alpha }} $$ is the norm is$S$^{$α$}, and$a$and$b$are self-adjoint linear operators such that $$ a - b \in {S^{\alpha }} $$ .