We introduce a variant of horocompactification which takes “directions” into account. As an application, we construct a compactification of the Teichmüller spaces via the renormalized volume of quasi-Fuchsian manifolds. Although we observe that the renormalized volume itself does not give a distance, the compactification allows us to define a new distance on the Teichmüller space. We show that the translation length of pseudo-Anosov mapping classes with respect to this new distance is precisely the hyperbolic volume of their mapping tori. A similar compactification via the Weil–Petersson metric is also discussed.

Consider a cohomologically hyperbolic birational self-map defined over the algebraic numbers, for example, a birational self-map in dimension two with the first dynamical degree greater than one, or in dimension three with the first and the second dynamical degrees distinct. We give a boundedness result about heights of its periodic points. This is motivated by a conjecture of Silverman for polynomial automorphisms of affine spaces. We also study the Kawaguchi–Silverman conjecture concerning dynamical and arithmetic degrees for certain rational self-maps in dimension two. In particular, we reduce the problem to the dynamical Mordell–Lang conjecture and verify the Kawaguchi–Silverman conjecture for some new cases. As a byproduct of the argument, we show the existence of Zariski dense orbits in these cases.

In this paper, we establish a refined transversality theorem on linear perturbations from a new perspective of Hausdorff measures. Furthermore, we give its applications not only to singularity theory but also to multiobjective optimization.

This paper deals with links and braids up to link-homotopy, studied from the viewpoint of Habiro's clasper calculus. More precisely, we use clasper homotopy calculus in two main directions. First, we define and compute a faithful linear representation of the homotopy braid group, by using claspers as geometric commutators. Second, we give a geometric proof of Levine's classification of 4-component links up to link-homotopy, and go further with the classification of 5-component links in the algebraically split case.

For every fixed ℎ ≥ 1, we construct an infinite family of simply connected symplectic 4-manifolds 𝑋′_𝑔,ℎ[𝑖], for all 𝑔 > ℎ and 0 ≤ 𝑖 < 2𝑝 − 1, where 𝑝 = ⌊ \frac{𝑔 + 1}{ℎ + 1} ⌋. Each manifold 𝑋′_𝑔,ℎ[𝑖] is the total space of a symplectic genus 𝑔 Lefschetz pencil constructed by an explicit monodromy factorization. We then show that each 𝑋′_𝑔,ℎ[𝑖] is diffeomorphic to a complex surface that is a fiber sum formed from two standard examples of hyperelliptic genus ℎ Lefschetz fibrations, here denoted 𝑍_ℎ and 𝐻_ℎ. Consequently, we see that 𝑍_ℎ, 𝐻_ℎ, and all fiber sums of them admit an infinite family of explicitly described Lefschetz pencils, which we observe are different from families formed by the degree doubling procedure.

Let 𝑉_𝐿 be the vertex algebra associated to a non-degenerate even lattice 𝐿, 𝜃 the automorphism of 𝑉_𝐿 induced from the −1 symmetry of 𝐿, and 𝑉_𝐿⁺ the fixed point subalgebra of 𝑉_𝐿 under the action of 𝜃. In this series of papers, we classify the irreducible weak 𝑉_𝐿⁺-modules and show that any irreducible weak 𝑉_𝐿⁺-module is isomorphic to a weak submodule of some irreducible weak 𝑉_𝐿-module or to a submodule of some irreducible 𝜃-twisted 𝑉_𝐿-module. Let 𝑀(1)⁺ be the fixed point subalgebra of the Heisenberg vertex operator algebra 𝑀(1) under the action of 𝜃. In this paper (Part 2), we show that there exists an irreducible 𝑀(1)⁺-submodule in any non-zero weak 𝑉_𝐿⁺-module and we compute extension groups for 𝑀(1)⁺.

In this paper, we formulate a new conjecture concerning Kato's Euler system for elliptic curves 𝐸 over ℚ. This ‘Generalized Perrin-Riou Conjecture’ predicts a precise congruence relation between a Darmon-type derivative of the zeta element of 𝐸 over an arbitrary real abelian field and the critical value of an appropriate higher derivative of the 𝐿-function of 𝐸 over ℚ. We prove the conjecture specializes in the relevant case of analytic rank one to recover Perrin-Riou's conjecture on the logarithms of zeta elements, and also that, under mild technical hypotheses, the ‘order of vanishing’ part of the conjecture is unconditionally valid in arbitrary rank. This approach also allows us to prove a natural higher-rank generalization of Rubin's formula concerning derivatives of 𝑝-adic 𝐿-functions and to establish an explicit connection between the 𝑝-part of the classical Birch and Swinnerton-Dyer formula and the Iwasawa main conjecture in arbitrary rank and for arbitrary reduction at 𝑝. In a companion article we prove that the approach developed here also provides a new interpretation of the Mazur–Tate conjecture that leads to the first (unconditional) theoretical evidence in support of this conjecture for curves of strictly positive rank.

We consider a continuum percolation built over stationary ergodic point processes. Assuming that the occupied region has a unique unbounded cluster and the cluster satisfies volume regularity and isoperimetric condition, we prove a quenched invariance principle for reflecting diffusions on the cluster.

In this paper we study a long-standing conjecture of Huneke and Wiegand which is concerned with the torsion submodule of certain tensor products of modules over one-dimensional local domains. We utilize Hochster's theta invariant and show that the conjecture is true for two periodic modules. We also make use of a result of Orlov and formulate a new condition which, if true over hypersurface rings, forces the conjecture of Huneke and Wiegand to be true over complete intersection rings of arbitrary codimension. Along the way we investigate the interaction between the vanishing of Tate (co)homology and torsion in tensor products of modules, and obtain new results that are of independent interest.

We shall propose a new proof scheme for Planar Cover Conjecture, focusing on the rotation systems of planar coverings of connected graphs. We shall introduce the notion of “rotation compatible coverings” and show that a rotation compatible covering of 𝐺 embedded on the sphere can be covered by a regular covering of 𝐺 embedded on an orientable closed surface on which its covering transformation group acts. The surface may not be homeomorphic to the sphere in general, but its quotient becomes either the sphere or the projective plane which contains 𝐺. As an application of our theory, we shall prove that if a 3-connected graph 𝐺 has a 3-connected finite planar covering such that the pre-images of each vertex has sufficiently large distance, then 𝐺 can be embedded on the projective plane.