For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi _n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi _n(X)$ the structure of a topological group, and when $X$ is compact, the induced pseudometric topology is independent of the metric $d$. In this paper, we study the properties of this pseudometric and how it relates to previously studied structures on $\pi _n(X)$. Our main result is that the pseudometric topology agrees with the shape topology on $\pi _n(X)$ if $X$ is compact and $LC^{n-1}$ or if $X$ is an inverse limit of finite polyhedra with retraction bonding maps.

We study the possible singularities of an m-subharmonic function $\varphi $ along a complex submanifold V of a compact Kähler manifold, finding a maximal rate of growth for $\varphi $ which depends only on m and k, the codimension of V. When $k < m$, we show that $\varphi $ has at worst log poles along V, and that the strength of these poles is moreover constant along V. This can be thought of as an analogue of Siu’s theorem.

In this paper, we first give a necessary and sufficient condition for a factor code with an unambiguous symbol to admit a subshift of finite type restricted to which it is one-to-one and onto. We then give a necessary and sufficient condition for the standard factor code on a spoke graph to admit a subshift of finite type restricted to which it is finite-to-one and onto. We also conjecture that for such a code, the finite-to-one and onto property is equivalent to the existence of a stationary Markov chain that achieves the capacity of the corresponding deterministic channel.

We investigate the translation lengths of group elements that arise in random walks on the isometry groups of Gromov hyperbolic spaces. In particular, without any moment condition, we prove that non-elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo-Anosov, and almost every random walk on $\mathrm {Out}(F_n)$ eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk.

We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichmüller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.

In this paper, we express the reduction types of Picard curves in terms of tropical invariants associated with binary quintics. We also give a general framework for tropical invariants associated with group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne–Mumford compactification $\overline{M}_{0,n}$.

We investigate the geometry of codimension one foliations on smooth projective varieties defined over fields of positive characteristic with an eye toward applications to the structure of codimension one holomorphic foliations on projective manifolds.

Let $G=(V, E)$ be a locally finite graph with the vertex set V and the edge set E, where both V and E are infinite sets. By dividing the graph G into a sequence of finite subgraphs, the existence of a sequence of local solutions to several equations involving the p-Laplacian and the poly-Laplacian systems is confirmed on each subgraph, and the global existence for each equation on graph G is derived by the convergence of these local solutions. Such results extend the recent work of Grigor’yan, Lin and Yang [J. Differential Equations, 261 (2016), 4924–4943; Rev. Mat. Complut., 35 (2022), 791–813]. The method in this paper also provides an idea for investigating similar problems on infinite graphs.

We prove that for a homogeneous linear partial differential operator $\mathcal {A}$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation satisfying

\[ \mathcal{A} u(x)= f(x) \qquad \text{almost everywhere}. \]

$\mathbf {R}^N$

$0 \le m < N$

$m$

$(m+1)$

We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/heteroclinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called a Markov iterated function system, a two-dimensional iterated function system in which the compositions are chosen in a Markovian way. Then we apply the result to the setting of three-dimensional partially hyperbolic diffeomorphisms.

For any primitive substitution whose Perron eigenvalue is a Pisot unit, we construct a domain exchange that is measurably conjugate to the subshift. Additionally, we give a condition for the subshift to be a finite extension of a torus translation. For the particular case of weakly irreducible Pisot substitutions, we show that the subshift is either a finite extension of a torus translation or its eigenvalues are roots of unity. Furthermore, we provide an algorithm to compute eigenvalues of the subshift associated with any primitive pseudo-unimodular substitution.

In this paper, we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya–Celikbas and Araya–Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings.

We will present the proof of existence and uniqueness of renormalized solutions to a broad family of strongly non-linear elliptic equations with lower order terms and data of low integrability. The leading part of the operator satisfies general growth conditions settling the problem in the framework of fully anisotropic and inhomogeneous Musielak–Orlicz spaces. The setting considered in this paper generalized known results in the variable exponents, anisotropic polynomial, double phase and classical Orlicz setting.

This paper is concerned with the relationship of $y$-smooth integers and de Bruijn's approximation $\Lambda (x,\,y)$. Under the Riemann hypothesis, Saias proved that the count of $y$-smooth integers up to $x$, $\Psi (x,\,y)$, is asymptotic to $\Lambda (x,\,y)$ when $y \ge (\log x)^{2+\varepsilon }$. We extend the range to $y \ge (\log x)^{3/2+\varepsilon }$ by introducing a correction factor that takes into account the contributions of zeta zeros and prime powers. We use this correction term to uncover a lower order term in the asymptotics of $\Psi (x,\,y)/\Lambda (x,\,y)$. The term relates to the error term in the prime number theorem, and implies that large positive (resp. negative) values of $\sum _{n \le y} \Lambda (n)-y$ lead to large positive (resp. negative) values of $\Psi (x,\,y)-\Lambda (x,\,y)$, and vice versa. Under the Linear Independence hypothesis, we show a Chebyshev's bias in $\Psi (x,\,y)-\Lambda (x,\,y)$.

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural epimorphisms between mapping class groups of surfaces with marked points. We study these groups in a systematic way. An application of this theory is a counterexample to the genus $2$ case of a conjecture by Putman and Wieland on virtual linear representations of mapping class groups. In the last section, we study profinite completions of hyperelliptic mapping class groups: we extend the congruence subgroup property to the general class of hyperelliptic mapping class groups introduced above and then determine the centralizers of multitwists and of open subgroups in their profinite completions.