We provide a comprehensive analysis of sharp bilinear estimates of Ozawa–Tsutsumi type for solutions $u$ of the free Schrödinger equation, which give sharp control on $|u|^2$ in classical Sobolev spaces. In particular, we generalise their estimates in such a way that provides a unification with some sharp bilinear estimates proved by Carneiro and Planchon–Vega, via entirely different methods, by seeing them all as special cases of a one-parameter family of sharp estimates. The extremal functions are solutions of the Maxwell–Boltzmann functional equation and hence Gaussian. For $u^2$ we argue that the natural analogous results involve certain dispersive Sobolev norms; in particular, despite the validity of the classical Ozawa–Tsutsumi estimates for both $|u|^2$ and $u^2$ in the classical Sobolev spaces, we show that Gaussians are not extremisers in the latter case for spatial dimensions strictly greater than two.

We discuss the value distribution of Borel measurable maps which are holomorphic along leaves of complex laminations. In the case of complex lamination by hyperbolic Riemann surfaces with an ergodic harmonic measure, we have a defect relation appearing in Nevanlinna theory. It gives a bound of the number of omitted hyperplanes in general position by those maps.

In this paper we give a necessary and sufficient condition for a (real) moment-angle complex to be a topological manifold. The cup and cap products in a real moment-angle manifold are studied. Consequently, the cohomology ring (with coefficients integers) of a polyhedral product by pairs of disks and their bounding spheres is isomorphic to that of a differential graded algebra associated to $K$ and the dimensions of the disks.

We provide characterizations for boundedness of multilinear Fourier multiplier operators on Hardy or Lebesgue spaces with symbols locally in Sobolev spaces. Let $H^q(\mathbb R^n)$ denote the Hardy space when $0 \lt q \le 1$ and the Lebesgue space $L^q(\mathbb R^n)$ when $1 \lt q \le \infty$. We find optimal conditions on $m$-linear Fourier multiplier operators to be bounded from $H^{p_1}\times \cdots \times H^{p_m}$ to $L^p$ when $1/p=1/p_1+\cdots +1/p_m$ in terms of local $L^2$-Sobolev space estimates for the symbol of the operator. Our conditions provide multilinear analogues of the linear results of Calderón and Torchinsky [1] and of the bilinear results of Miyachi and Tomita [17]. The extension to general $m$ is significantly more complicated both technically and combinatorially; the optimal Sobolev space smoothness required of the symbol depends on the Hardy–Lebesgue exponents and is constant on various convex simplices formed by configurations of $m2^{m-1}+1$ points in $[0,\infty)^m$.

We study an Appell hypergeometric system $E_2$ of rank four which is reducible, and show that its Schwarz map admits geometric interpretations: the map can be considered as the universal Abel–Jacobi map of a 1-parameter family of curves of genus 2.

In this paper, we give an explicit dimension formula for the spaces of Siegel paramodular cusp forms of degree two of squarefree level. As an application, we propose a conjecture on symplectic group version of Eichler–Jacquet–Langlands type correspondence. It is a generalization of the previous conjecture of the first named author for prime levels published in 1985, where inner twists corresponding to binary quaternion hermitian forms over definite quaternion algebras were treated. Our present study contains also the case of indefinite quaternion algebras. Additionally, we give numerical examples of $L$ functions which support the conjecture. These comparisons of dimensions and examples give also evidence for conjecture on a certain precise lifting theory. This is related to the lifting theory from pairs of elliptic cusp forms initiated by Y. Ihara in 1964 in the case of compact twist, but no such construction is known in the case of non-split symplectic groups corresponding to quaternion hermitian groups over indefinite quaternion algebras and this is new in that sense.

We give a precise behavior of spectral functions for symmetric stable processes applying the asymptotic expansion of resolvent kernels.

Given a simple graph $G$, the graph associahedron $P_G$ is a convex polytope whose facets correspond to the connected induced subgraphs of $G$. Graph associahedra have been studied widely and are found in a broad range of subjects. Recently, S. Choi and H. Park computed the rational Betti numbers of the real toric variety corresponding to a graph associahedron under the canonical Delzant realization. In this paper, we focus on a pseudograph associahedron which was introduced by Carr, Devadoss and Forcey, and then discuss how to compute the Poincaré polynomial of the real toric variety corresponding to a pseudograph associahedron under the canonical Delzant realization.

Bounded-cohomological dimension of groups is a relative of classical cohomological dimension, defined in terms of bounded cohomology with trivial coefficients instead of ordinary group cohomology. We will discuss constructions that lead to groups with infinite bounded-cohomological dimension, and we will provide new examples of groups with bounded-cohomological dimension equal to 0. In particular, we will prove that every group functorially embeds into an acyclic group with trivial bounded cohomology.

In this note we give applications of recent results coming mostly from the third paper of this series. It is shown that the number of irreducible characters in a $p$-block of a finite group with abelian defect group $D$ is bounded by $|D|$ (Brauer's $k(B)$-conjecture) provided $D$ has no large elementary abelian direct summands. Moreover, we verify Brauer's $k(B)$-conjecture for all blocks with minimal non-abelian defect groups. This extends previous results by various authors.

It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of marked proper effective étale Lie groupoids such that the arising category of orbifolds is isomorphic (not only equivalent) to this groupoid category.

We show how many of the congruences between Ikeda lifts and non-Ikeda lifts, proved by Katsurada, can be reduced to congruences involving only forms of genus 1 and 2, using various liftings predicted by Arthur's multiplicity conjecture. Similarly, we show that conjectured congruences between Ikeda–Miyawaki lifts and non-lifts can often be reduced to congruences involving only forms of genus 1, 2 and 3.

We investigate the contact types of a regular surface in the Euclidean 3-space $\mathbb{R}^3$ with right circular cylinders. We present the conditions for existence of cylinders with $A_1$, $A_2$, $A_3$, $A_4$, $A_5$, $D_4$, and $D_5$ contacts with a given surface. We also investigate the kernel field of $A_{\ge 3}$-contact cylinders on the surface. This is defined by a cubic binary differential equation and we classify singularity types of its flow in the generic context.

It is known that the Fuchsian differential equation which produces the sixth Painlevé equation corresponds to the Fuchsian differential equation with different parameters via Euler's integral transformation, and Heun's equation also corresponds to Heun's equation with different parameters, again via Euler's integral transformation. In this paper we study the correspondences in detail. After investigating correspondences with respect to monodromy, it is demonstrated that the existence of polynomial-type solutions corresponds to apparency of a singularity. For the elliptical representation of Heun's equation, correspondence with respect to monodromy implies isospectral symmetry. We apply the symmetry to finite-gap potentials and express the monodromy of Heun's equation with parameters which have not yet been studied.