We give a differential-geometric construction of compact manifolds with holonomy Spin(7) which is based on Joyce's second construction of compact Spin(7)-manifolds and Kovalev's gluing construction of compact 𝐺₂-manifolds. We provide several examples of compact Spin(7)-manifolds, at least one of which is new. Here in this paper we need orbifold admissible pairs (\overline{𝑋}, 𝐷) consisting of a compact Kähler orbifold \overline{𝑋} with isolated singular points modelled on ℂ⁴/ℤ₄, and a smooth anticanonical divisor 𝐷 on \overline{𝑋}. Also, we need a compatible antiholomorphic involution 𝜎 on \overline{𝑋} which fixes the singular points on \overline{𝑋} and acts freely on the anticanoncial divisor 𝐷. If two orbifold admissible pairs (\overline{𝑋}₁, 𝐷₁), (\overline{X}₂, 𝐷₂) and compatible antiholomorphic involutions 𝜎_𝑖 on \overline{𝑋}_𝑖 for 𝑖 = 1, 2 satisfy the gluing condition, we can glue (\overline{𝑋}₁ ∖ 𝐷₁)/⟨𝜎₁⟩ and (\overline{𝑋}₂ ∖ 𝐷₂)/⟨𝜎₂⟩ together to obtain a compact Riemannian 8-manifold (𝑀, 𝑔) whose holonomy group Hol(𝑔) is contained in Spin(7). Furthermore, if the \widehat{𝐴}-genus of 𝑀 equals 1, then 𝑀 is a compact Spin(7)-manifold, i.e. a compact Riemannian manifold with holonomy Spin(7).

We prove a scale-invariant boundary Harnack principle for inner uniform domains over a large family of Dirichlet spaces. A novel feature of our work is that we do not assume volume doubling property for the symmetric measure.

In this article, we establish the notion of strong (𝑟, 𝑘, 𝑎, 𝑏)-stability related to closed hypersurfaces immersed in the hyperbolic space ℍ^𝑛+1, where 𝑟 and 𝑘 are nonnegative integers satisfying the inequality 0 ≤ 𝑘 < 𝑟 ≤ 𝑛 −2 and 𝑎 and 𝑏 are real numbers (at least one nonzero). In this setting, considering some appropriate restrictions on the constants 𝑎 and 𝑏, we show that geodesic spheres are strongly (𝑟, 𝑘, 𝑎, 𝑏)-stable. Afterwards, under a suitable restriction on the higher order mean curvatures 𝐻_𝑟+1 and 𝐻_𝑘+1, we prove that if a closed hypersurface into the hyperbolic space ℍ^𝑛+1 is strongly (𝑟, 𝑘, 𝑎, 𝑏)-stable, then it must be a geodesic sphere, provided that the image of its Gauss mapping is contained in the chronological future (or past) of an equator of the de Sitter space.

Let 𝜑 be a linear map between operator spaces. To measure the intensity of 𝜑 being isometric we associate with it a number, called the isometric degree of 𝜑 and written id(𝜑), as follows. Call 𝜑 a strict 𝑚-isometry with 𝑚 a positive integer if it is an 𝑚-isometry, but is not an (𝑚 + 1)-isometry. Define id(𝜑) to be 0, 𝑚, and ∞, respectively if 𝜑 is not an isometry, a strict 𝑚-isometry, and a complete isometry, respectively. We show that if 𝜑:𝑀_𝑛 → 𝑀_𝑝 is a unital completely positive map between matrix algebras, then id(𝜑) ∈ {0, 1, 2, …, [(𝑛 −1)/2], ∞} and that when 𝑛 ≥ 3 is fixed and 𝑝 is sufficiently large, the values 1, 2, …, [(𝑛 −1)/2] are attained as id(𝜑) for some 𝜑. The ranges of such maps 𝜑 with 1 ≤ id(𝜑) < ∞ provide natural examples of operator systems that are isometric, but not completely isometric, to 𝑀_𝑛. We introduce and classify, up to unital complete isometry, a certain family of such operator systems.

The logarithmic derivative of a point process plays a key rôle in the general approach, due to the third author, to constructing diffusions preserving a given point process. In this paper we explicitly compute the logarithmic derivative for determinantal processes on ℝ with integrable kernels, a large class that includes all the classical processes of random matrix theory as well as processes associated with de Branges spaces. The argument uses the quasi-invariance of our processes established by the first author.

Categories of W*-bimodules are shown in an explicit and algebraic way to constitute an involutive W*-bicategory.

The aim of this paper is to give an upper bound for the dimension of a torus 𝑇 which acts on a GKM manifold 𝑀 effectively. In order to do that, we introduce a free abelian group of finite rank, denoted by 𝒜(Γ, 𝛼, ∇), from an (abstract) (𝑚, 𝑛)-type GKM graph (Γ, 𝛼, ∇). Here, an (𝑚, 𝑛)-type GKM graph is the GKM graph induced from a 2𝑚-dimensional GKM manifold 𝑀^2𝑚 with an effective 𝑛-dimensional torus 𝑇^𝑛-action which preserves the almost complex structure, say (𝑀^2𝑚, 𝑇^𝑛). Then it is shown that 𝒜(Γ, 𝛼, ∇) has rank ℓ(> 𝑛) if and only if there exists an (𝑚, ℓ)-type GKM graph (Γ, \widetilde{𝛼}, ∇) which is an extension of (Γ, 𝛼, ∇). Using this combinatorial necessary and sufficient condition, we prove that the rank of 𝒜(Γ_𝑀, 𝛼_𝑀, ∇_𝑀) for the GKM graph (Γ_𝑀, 𝛼_𝑀, ∇_𝑀) induced from (𝑀^2𝑚, 𝑇^𝑛) gives an upper bound for the dimension of a torus which can act on 𝑀^2𝑚 effectively. As one of the applications of this result, we compute the rank associated to 𝒜(Γ, 𝛼, ∇) of the complex Grassmannian of 2-planes 𝐺₂(ℂ^𝑛+2) with the natural effective 𝑇^𝑛+1-action, and prove that this action on 𝐺₂(ℂ^𝑛+2) is the maximal effective torus action which preserves the standard complex structure.

Homological tilting modules of finite projective dimension are investigated. They generalize both classical and good tilting modules of projective dimension at most one, and produce recollements of derived module categories of rings in which generalized localizations of rings are involved. To decide whether a good tilting module is homological, a sufficient and necessary condition is presented in terms of the internal properties of the given tilting module. Consequently, a class of homological, non-trivial, infinitely generated tilting modules of higher projective dimension is constructed, and the first example of an infinitely generated 𝑛-tilting module which is not homological for each 𝑛 ≥ 2 is exhibited. To deal with both tilting and cotilting modules consistently, the notion of weak tilting modules is introduced. Thus similar results for infinitely generated cotilting modules of finite injective dimension are obtained, though dual technique does not work for infinite-dimensional modules.

Let 𝐹_𝑡, where 𝑡 ∈ ℝ, be an analytic family of plane-to-plane mappings with 𝐹₀ having a critical point at the origin. The paper presents effective algebraic methods of computing the number of those cusp points of 𝐹_𝑡, where 0 < |𝑡| ≪ 1, emanating from the origin at which 𝐹_𝑡 has a positive/negative local topological degree.

Motivated by the study of kernels of bilinear pseudodifferential operators with symbols in a Hörmander class of critical order, we investigate boundedness properties of strongly singular Calderón–Zygmund operators in the bilinear setting. For such operators, whose kernels satisfy integral-type conditions, we establish boundedness properties in the setting of Lebesgue spaces as well as endpoint mappings involving the space of functions of bounded mean oscillations and the Hardy space. Assuming pointwise-type conditions on the kernels, we show that strongly singular bilinear Calderón–Zygmund operators satisfy pointwise estimates in terms of maximal operators, which imply their boundedness in weighted Lebesgue spaces.

Let 𝑅 be a Cohen–Macaulay local ring with a canonical module. We consider Auslander's (higher) delta invariants of powers of certain ideals of 𝑅. Firstly, we shall provide some conditions for an ideal to be a parameter ideal in terms of delta invariants. As an application of this result, we give upper bounds for orders of Ulrich ideals of 𝑅 when 𝑅 has Gorenstein punctured spectrum. Secondly, we extend the definition of indices to the ideal case, and generalize the result of Avramov–Buchweitz–Iyengar–Miller on the relationship between the index and regularity.

We define an “ample canonical height” for an endomorphism on a projective variety, which is essentially a generalization of the canonical heights for polarized endomorphisms introduced by Call–Silverman. We formulate a dynamical analogue of the Northcott finiteness theorem for ample canonical heights as a conjecture, and prove it for endomorphisms on varieties of small Picard numbers, abelian varieties, and surfaces. As applications, for the endomorphisms which satisfy the conjecture, we show the non-density of the set of preperiodic points over a fixed number field, and obtain a dynamical Mordell–Lang type result on the intersection of two Zariski dense orbits of two endomorphisms on a common variety.

For a metric measure space, we consider the set of distributions of 1-Lipschitz functions, which is called the 1-measurement. On the 1-measurement, we have the Lipschitz order relation introduced by M. Gromov. The aim of this paper is to study the maximum and maximal elements of the 1-measurement of a metric measure space with respect to the Lipschitz order. We present a necessary condition of a metric measure space for the existence of the maximum of the 1-measurement. We also consider a metric measure space that has the maximum of its 1-measurement.

This article presents an analysis of the normalized Yamabe flow starting at and preserving a class of compact Riemannian manifolds with incomplete edge singularities and negative Yamabe invariant. Our main results include uniqueness, long-time existence and convergence of the edge Yamabe flow starting at a metric with everywhere negative scalar curvature. Our methods include novel maximum principle results on the singular edge space without using barrier functions. Moreover, our uniform bounds on solutions are established by a new ansatz without in any way using or redeveloping Krylov–Safonov estimates in the singular setting. As an application we obtain a solution to the Yamabe problem for incomplete edge metrics with negative Yamabe invariant using flow techniques. Our methods lay groundwork for studying other flows like the mean curvature flow as well as the porous medium equation in the singular setting.