Bulletin of the London Mathematical Society最新文献

We prove that Hinich's construction of the Day convolution operad of two $�O$-monoidal $�\infty$-categories is an exponential in the $�\infty$-category of $�\infty$-operads over $�O$, and use this to give an explicit description of the formation of algebras in the Day convolution operad as a bivariant functor.

We study a variation of Kac's question, “Can one hear the shape of a drum?” if we allow ourselves access to some additional information. In particular, we allow ourselves to “hear” the local Weyl counting function at each point on the manifold and ask if this is enough to uniquely recover the Riemannian metric. This is physically equivalent to asking whether one can determine the shape of a drum if one is allowed to knock at any place on the drum. We show that the answer to this question is “yes” provided the Laplace–Beltrami spectrum of the drum is simple. We also provide a counterexample illustrating why this hypothesis is necessary. As a corollary, we give a short proof that manifolds with simple Laplace–Beltrami spectra have finite isometry groups.

We study stable commutator length on free $�Q$-groups. We prove that every non-identity element has positive stable commutator length, and that the corresponding free group embeds isometrically. We deduce that a non-abelian free $�Q$-group has an infinite-dimensional space of homogeneous quasimorphisms modulo homomorphisms, answering a question of Casals–Ruiz, Garreta and de la Nuez González. We conjecture that stable commutator length is rational on free $�Q$-groups. This is connected to the long-standing problem of rationality on surface groups: indeed, we show that free $�Q$-groups contain isometrically embedded copies of non-orientable surface groups.

In this paper, we construct a model structure for $��(�\infty �,�1�)�$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of $��(�\infty �,�1�)�$-categories given by complete Segal spaces and Segal categories. We furthermore prove that this model structure has desirable properties: it is cartesian closed and left proper. As applications, we get a simple description of the inclusion of categories into $��(�\infty �,�1�)�$-categories and of homotopy limits of $��(�\infty �,�1�)�$-categories.

We prove that the Heisenberg group $�H_{�2�n�+�1�}$ admits infinitely many inequivalent equivariant compactifications into $�P^{�2�n�+�1�}$ for all $��n�⩾�1�$. This result provides a non-commutative analog of Hassett–Tschinkel's classical result, which shows that there exist infinitely many inequivalent equivariant compactifications of vector groups into projective spaces of dimension at least 6.

We prove a criterion for the possible locations of zeros of type I and type II multiple orthogonal polynomials in terms of normality of degree 1 Christoffel transforms. We provide another criterion in terms of degree 2 Christoffel transforms for establishing zero interlacing of the neighboring multiple orthogonal polynomials of type I and type II. We apply these criteria to establish zero location and interlacing of type I multiple orthogonal polynomials for Nikishin systems. Additionally, we recover the known results on zero location and interlacing for type I multiple orthogonal polynomials for Angelesco systems, as well as for type II multiple orthogonal polynomials for Angelesco and AT systems. Finally, we demonstrate that normality of the higher-order Christoffel transforms is naturally related to the zeros of the Wronskians of consecutive orthogonal polynomials.

In this paper, we establish some new Liouville-type theorems for nonnegative weak solutions to fractional elliptic systems with different orders. To prove our result, we will use the local realization of fractional Laplacian, which can be constructed as Dirichlet-to-Neumann operator of a degenerate elliptic equation by the extension technique. Our proof is based on Alexandrov–Serrin method of moving planes based on some maximum principles that obtained by establishing some key integral inequalities.

We show that the quasi-local algebra of a coarse disjoint union of expander graphs does not contain a Cartan subalgebra isomorphic to $�{\ell }_{\infty }$. Ozawa has recently shown that these algebras are distinct from the uniform Roe algebras of expander graphs, and our result describes a further difference.