Octahedral developing of knot complement I: Pseudo-hyperbolic structure

The width w of a curve \(\gamma \) in Euclidean space \({\mathbf {R}}^n\) is the infimum of the distances between all pairs of parallel hyperplanes which bound \(\gamma \), while its inradius r is the supremum of the radii of all spheres which are contained in the convex hull of \(\gamma \) and are disjoint from \(\gamma \). We use a mixture of topological and integral geometric techniques, including an application of Borsuk Ulam theorem due to Wienholtz and Crofton’s formulas, to obtain lower bounds on the length of \(\gamma \) subject to constraints on r and w. The special case of closed curves is also considered in each category. Our estimates confirm some conjectures of Zalgaller up to 99% of their stated value, while we also disprove one of them.     

Removability of the logarithmic singularity for the elliptic PDEs with measurable coefficients and its consequences

This paper introduces the notion of log-regularity (or log-irregularity) of the boundary point \(\zeta \) (possibly \(\zeta =\infty \)) of the arbitrary open subset \(\Omega \) of the Greenian deleted neigborhood of \(\zeta \) in \({\mathbb {R}}^2\) concerning second order uniformly elliptic equations with bounded and measurable coefficients, according as whether the log-harmonic measure of \(\zeta \) is null (or positive). A necessary and sufficient condition for the removability of the logarithmic singularity, that is to say for the existence of a unique solution to the Dirichlet problem in \(\Omega \) in a class \(O(\log |\cdot - \zeta |)\) is established in terms of the Wiener test for the log-regularity of \(\zeta \). From a topological point of view, the Wiener test at \(\zeta \) presents the minimal thinness criteria of sets near \(\zeta \) in minimal fine topology. Precisely, the open set \(\Omega \) is a deleted neigborhood of \(\zeta \) in minimal fine topology if and only if \(\zeta \) is log-irregular. From the probabilistic point of view, the Wiener test presents asymptotic law for the log-Brownian motion near \(\zeta \) conditioned on the logarithmic kernel with pole at \(\zeta \).     

Fixed point compactifications

A fixed point compactification of a locally compact noncompact group G is a faithful semigroup compactification S such that \(ap=pa=p\) for all \(p\in S\setminus G\) and \(a\in G\). Since the right translations are continuous, the remainder of a fixed point compactification is a right zero semigroup. Among all fixed point compactifications of G there is a largest one, denoted \(\theta G\). We show that if G is \(\sigma \)-compact, then \(\theta G\setminus G\) contains a copy of \(\beta \omega \setminus \omega \). In contrast, if G is not \(\sigma \)-compact, then \(\theta G\) is the one-point compactification.     

Algebraic geometry for $$\ell $$-groups

In this paper we focus on the algebraic geometry of the variety of \(\ell \)-groups (i.e. lattice ordered abelian groups). In particular we study the role of the introduction of constants in functional spaces and \(\ell \)-polynomial spaces, which are themselves \(\ell \)-groups, evaluated over other \(\ell \)-groups. We use different tools and techniques, with an increasing level of abstraction, to describe properties of \(\ell \)-groups, topological spaces (with the Zariski topology) and a formal logic, all linked by the underlying theme of solutions of \(\ell \)-equations.     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

Bergman Subspaces and Subkernels: Degenerate $$L^p$$ Mapping and Zeroes

Regularity and irregularity of the Bergman projection on \(L^p\) spaces is established on a natural family of bounded, pseudoconvex domains. The family is parameterized by a real variable \(\gamma \). A surprising consequence of the analysis is that, whenever \(\gamma \) is irrational, the Bergman projection is bounded only for \(p=2\).     

Automorphisms of the mapping class group of a nonorientable surface

Let \(\mathcal {X}_S\) denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let \(\mathcal {C}_S\) denote the set of fundamental groups of spaces in \(\mathcal {X}_S\). In this paper, we characterize the abstract commensurability classes within \(\mathcal {C}_S\) in terms of the ratio of the Euler characteristic of the surfaces identified and the topological type of the curves identified. We prove that all groups in \(\mathcal {C}_S\) are quasi-isometric by exhibiting a bilipschitz map between the universal covers of two spaces in \(\mathcal {X}_S\). In particular, we prove that the universal covers of any two such spaces may be realized as isomorphic cell complexes with finitely many isometry types of hyperbolic polygons as cells. We analyze the abstract commensurability classes within \(\mathcal {C}_S\): we characterize which classes contain a maximal element within \(\mathcal {C}_S\); we prove each abstract commensurability class contains a right-angled Coxeter group; and, we construct a common CAT(0) cubical model geometry for each abstract commensurability class.     

Epireflective subcategories of TOP,T$$_$$UNIF,UNIF, closed under epimorphic images,or being algebraic

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.     

Commutative semigroups with cancellation law: a representation theorem

Any commutative, cancellative semigroup S with 0 equipped with a uniformity can be embedded in a topological group \(\widetilde{S}\). We introduce the notion of semigroup symmetry T which enables us to turn \(\widetilde{S}\) into an involutive group. In Theorem 2.8 we prove that if S is 2-torsion-free and T is 2-divisible then the decomposition of elements of \(\widetilde{S}\) into a sum of elements of the symmetric subgroup \(\widetilde{S}_{s}\) and the asymmetric subgroup \(\widetilde{S}_{a}\) is polar. In Theorem 3.7 we give conditions under which a topological group \(\widetilde{S}\) is a topological direct sum of its symmetric subgroup \(\widetilde{S}_{s}\) and its asymmetric subgroup \(\widetilde{S}_{a}\). Theorem 2.8 and Theorem 3.7 are designed to be useful tools in studying Minkowski–Rådström–Hörmander spaces (and related topological groups \(\widetilde{S}\)), which are natural extensions of semigroups of bounded closed convex subsets of real Hausdorff topological vector spaces.     

Rigidity theorem for integral pinched shrinking Ricci solitons

We prove that an n-dimensional, \(n\ge 4\), compact gradient shrinking Ricci soliton satisfying a \(L^{\frac{n}{2}}\)-pinching condition is isometric to a quotient of the round \(\mathbb {S}^n\), which improves the rigidity theorem given by Catino (Integral pinched shrinking Ricci solitons, 2016), in dimension \(4\le n\le 6\).     

The Hardy–Schrödinger operator with interior singularity: the remaining cases

We consider the remaining unsettled cases in the problem of existence of energy minimizing solutions for the Dirichlet value problem \(L_\gamma u-\lambda u=\frac{u^{2^*(s)-1}}{|x|^s}\) on a smooth bounded domain \(\Omega \) in \({\mathbb {R}}^n\) (\(n\ge 3\)) having the singularity 0 in its interior. Here \(\gamma <\frac{(n-2)^2}{4}\), \(0\le s <2\), \(2^*(s):=\frac{2(n-s)}{n-2}\) and \(0\le \lambda <\lambda _1(L_\gamma )\), the latter being the first eigenvalue of the Hardy–Schrödinger operator \(L_\gamma :=-\Delta -\frac{\gamma }{|x|^2}\). There is a threshold \(\lambda ^*(\gamma , \Omega ) \ge 0\) beyond which the minimal energy is achieved, but below which, it is not. It is well known that \(\lambda ^*(\Omega )=0\) in higher dimensions, for example if \(0\le \gamma \le \frac{(n-2)^2}{4}-1\). Our main objective in this paper is to show that this threshold is strictly positive in “lower dimensions” such as when \( \frac{(n-2)^2}{4}-1<\gamma <\frac{(n-2)^2}{4}\), to identify the critical dimensions (i.e., when the situation changes), and to characterize it in terms of \(\Omega \) and \(\gamma \). If either \(s>0\) or if \(\gamma > 0\), i.e., in the truly singular case, we show that in low dimensions, a solution is guaranteed by the positivity of the “Hardy-singular internal mass” of \(\Omega \), a notion that we introduce herein. On the other hand, and just like the case when \(\gamma =s=0\) studied by Brezis and Nirenberg (Commun Pure Appl Math 36:437–477, 1983) and completed by Druet (Ann Inst H Poincaré Anal Non Linéaire 19(2):125–142, 2002), \(n=3\) is the critical dimension, and the classical positive mass theorem is sufficient for the merely singular case, that is when \(s=0\), \(\gamma \le 0\).     

On the Multiplication Tuples Related to Certain Reproducing Kernel Hilbert Spaces

We consider a class of subnormal operator tuples \(M_z\) consisting of multiplications by coordinate functions on a class of reproducing kernel Hilbert spaces associated with certain bounded domains \(\Omega \) in \({\mathbb {C}}^m\), with the closure \({{\bar{\Omega }}}\) of \(\Omega \) being the Taylor spectrum of \(M_z\) and the topological boundary \(\partial \Omega \) of \(\Omega \) being the Taylor essential spectrum of \(M_z\). If T is a subnormal operator tuple quasisimilar to \(M_z\), then we show that the Taylor spectrum of T is \({{\bar{\Omega }}}\) provided \({{\bar{\Omega }}}\) is polynomially convex and provided \(\Omega \) is either strictly pseudoconvex with \(C^2\) boundary or is starlike, and that the Taylor essential spectrum of T is \(\partial \Omega \) provided \(\Omega \) satisfies the Gleason property as well. This generalizes some previous work of the first-named author in the context of the unit ball and the unit polydisk. The relevant theory is then applied to the multiplication tuples on the Hardy and Bergman spaces of complex ellipsoids.     

Volterra-type operators from weighted Bergman–Orlicz space to $$\beta $$-Zygmund–Orlicz and $$\gamma $$γ-Bloch–Orlicz spaces

We find the conditions to ensure the boundedness and compactness of the Volterra-type operators acting from weighted Bergman–Orlicz space to \(\beta \)-Zygmund–Orlicz and \(\gamma \)-Bloch–Orlicz spaces, respectively.     

Sharpness of Complex Interpolation on $$\alpha $$-Modulation Spaces

In this paper, we solve a long standing problem on the modulation spaces, \(\alpha \)-modulation spaces and Besov spaces. We establish sharp conditions for the complex interpolation between these function spaces. We show that no \(\alpha \)-modulation space \(M_{p,q}^{s,\alpha }\) can be regarded as the interpolation space between \(M_{p_1,q_1}^{s_1,\alpha _1}\) and \(M_{p_2,q_2}^{s_2,\alpha _2}\), unless \(\alpha _1\) is equal to \(\alpha _2\), essentially. Especially, our results show that the \(\alpha \)-modulation spaces can not be obtained by complex interpolation between modulation spaces and Besov spaces.     

Fractional Schrödinger Equation in Bounded Domains and Applications

We establish the existence and uniqueness of a positive solution to the Schrödinger equation involving the fractional Laplacian \(\Delta ^{\frac{\alpha }{2}}u=\mu \,u\) in smooth bounded domains of \(\mathbb {R}^d\) for a large class of nonnegative perturbations \(\mu \). We then use this result to give some new facts about the fractional semilinear equation \(\Delta ^{\frac{\alpha }{2}}u= u^\gamma \), \(\gamma >0\).     

Functional equations for the Stieltjes constants

The Stieltjes constants \(\gamma _k(a)\) appear as the coefficients in the regular part of the Laurent expansion of the Hurwitz zeta function \(\zeta (s,a)\) about \(s=1\). We present the evaluation of \(\gamma _1(a)\) and \(\gamma _2(a)\) at rational arguments, this being of interest to theoretical and computational analytic number theory and elsewhere. We give multiplication formulas for \(\gamma _0(a)\), \(\gamma _1(a)\), and \(\gamma _2(a)\), and point out that these formulas are cases of an addition formula previously presented. We present certain integral evaluations generalizing Gauss’ formula for the digamma function at rational argument. In addition, we give the asymptotic form of \(\gamma _k(a)\) as \(a \rightarrow 0\) as well as a novel technique for evaluating integrals with integrands with \(\ln (-\ln x)\) and rational factors.     

Percolation of random nodal lines

We prove a Russo-Seymour-Welsh percolation theorem for nodal domains and nodal lines associated to a natural infinite dimensional space of real analytic functions on the real plane. More precisely, let \(U\) be a smooth connected bounded open set in \(\mathbf{R}^{2}\) and \(\gamma, \gamma '\) two disjoint arcs of positive length in the boundary of \(U\). We prove that there exists a positive constant \(c\), such that for any positive scale \(s\), with probability at least \(c\) there exists a connected component of the set \(\{x\in \smash{\bar{U}},\ f(sx) > 0\} \) intersecting both \(\gamma \) and \(\gamma '\), where \(f\) is a random analytic function in the Wiener space associated to the real Bargmann-Fock space. For \(s\) large enough, the same conclusion holds for the zero set \(\{x\in \smash{\bar{U}},\ f(sx) = 0\} \). As an important intermediate result, we prove that sign percolation for a general stationary Gaussian field can be made equivalent to a correlated percolation model on a lattice.     

A new theorem on the prime-counting function

For \(x>0\), let \(\pi (x)\) denote the number of primes not exceeding x. For integers a and \(m>0\), we determine when there is an integer \(n>1\) with \(\pi (n)=(n+a)/m\). In particular, we show that, for any integers \(m>2\) and \(a\leqslant \lceil e^{m-1}/(m-1)\rceil \), there is an integer \(n>1\) with \(\pi (n)=(n+a)/m\). Consequently, for any integer \(m>4\), there is a positive integer n with \(\pi (mn)=m+n\). We also pose several conjectures for further research; for example, we conjecture that, for each \(m=1,2,3,\ldots \), there is a positive integer n such that \(m+n\) divides \(p_m+p_n\), where \(p_k\) denotes the k-th prime.     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

$$I_0$$ and combinatorics at $$\lambda ^+$$λ+

We investigate the compatibility of \(I_0\) with various combinatorial principles at \(\lambda ^+\), which include the existence of \(\lambda ^+\)-Aronszajn trees, square principles at \(\lambda \), the existence of good scales at \(\lambda \), stationary reflections for subsets of \(\lambda ^{+}\), diamond principles at \(\lambda \) and the singular cardinal hypothesis at \(\lambda \). We also discuss whether these principles can hold in \(L(V_{\lambda +1})\).