We introduce interpolated multiple Hurwitz polylogs and interpolated multiple Hurwitz zeta values. In addition, we discuss the generating functions for the sum of the polylogs/zeta values of fixed weight, depth, and all heights. The functions are expressed in terms of generalized hypergeometric functions. Compared with the pioneering results of Ohno and Zagier on the generating function, our setup generalizes the results in three directions, namely, at general heights, with a t-interpolation, and as a Hurwitz type. As an application, by fixing the Hurwitz parameter to rational numbers, the generating functions for multiple zeta values with level are given.

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball.

To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homology of the double branched cover of the link or surface. We define a pairing on the first disoriented homology group of a surface and show that this is equal to the intersection pairing of the branched cover. These results generalize work of Gordon and Litherland, for embedded surfaces in the 3-sphere, to arbitrary surfaces in the 4-ball. We also give a generalization of the signature formula of Gordon–Litherland to the general setting.

Our results are underpinned by a theorem describing a handle decomposition of the branched double cover of a codimension-2 submanifold in the n-ball, which generalizes previous results of Akbulut–Kirby and others.

We describe the small-time heat kernel asymptotics of real powers $\operatorname {\Delta }^r$, $r \in (0,1)$ of a non-negative self-adjoint generalized Laplacian $\operatorname {\Delta }$ acting on the sections of a Hermitian vector bundle $\mathcal {E}$ over a closed oriented manifold M. First, we treat separately the asymptotic on the diagonal of $M \times M$ and in a compact set away from it. Logarithmic terms appear only if n is odd and r is rational with even denominator. We prove the non-triviality of the coefficients appearing in the diagonal asymptotics, and also the non-locality of some of the coefficients. In the special case $r=1/2$, we give a simultaneous formula by proving that the heat kernel of $\operatorname {\Delta }^{1/2}$ is a polyhomogeneous conormal section in $\mathcal {E} \boxtimes \mathcal {E}^* $ on the standard blow-up space $\operatorname {M_{heat}}$ of the diagonal at time $t=0$ inside $[0,\infty )\times M \times M$.

Residual torsion-free nilpotence has proved to be an important property for knot groups with applications to bi-orderability and ribbon concordance. Mayland proposed a strategy to show that a two-bridge knot group has a commutator subgroup which is a union of an ascending chain of para-free groups. This paper proves Mayland’s assertion and expands the result to the subgroups of two-bridge link groups that correspond to the kernels of maps to $\mathbb{Z}$. We call these kernels the Alexander subgroups of the links. As a result, we show the bi-orderability of a large family of two-bridge link groups. This proof makes use of a modified version of a graph-theoretic construction of Hirasawa and Murasugi in order to understand the structure of the Alexander subgroup for a two-bridge link group.

Using probabilistic tools, we prove that any weak* continuous semigroup $(T_t)_{t \geqslant 0}$ of self-adjoint unital completely positive measurable Schur multipliers acting on the space $\mathrm {B}({\mathrm {L}}^2(X))$ of bounded operators on the Hilbert space ${\mathrm {L}}^2(X)$, where X is a suitable measure space, can be dilated by a weak* continuous group of Markov $*$-automorphisms on a bigger von Neumann algebra. We also construct a Markov dilation of these semigroups. Our results imply the boundedness of the McIntosh’s ${\mathrm {H}}^\infty $ functional calculus of the generators of these semigroups on the associated Schatten spaces and some interpolation results connected to ${\mathrm {BMO}}$-spaces. We also give an answer to a question of Steen, Todorov, and Turowska on completely positive continuous Schur multipliers.

We prove Fermat’s Last Theorem over $\mathbb {Q}(\sqrt {5})$ and $\mathbb {Q}(\sqrt {17})$ for prime exponents $p \ge 5$ in certain congruence classes modulo $48$ by using a combination of the modular method and Brauer–Manin obstructions explicitly given by quadratic reciprocity constraints. The reciprocity constraint used to treat the case of $\mathbb {Q}(\sqrt {5})$ is a generalization to a real quadratic base field of the one used by Chen and Siksek. For the case of $\mathbb {Q}(\sqrt {17})$, this is insufficient, and we generalize a reciprocity constraint of Bennett, Chen, Dahmen, and Yazdani using Hilbert symbols from the rational field to certain real quadratic fields.

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb {R}_{\mathcal {G}}$ and the reduct of $\mathbb {R}_{\text {an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the gamma function on $(0,\infty )$ and the zeta function on $(1,\infty )$.

We present a unified theory for the almost periodicity of functions with values in an arbitrary Banach space, measures and distributions via almost periodic elements for the action of a locally compact abelian group on a uniform topological space. We discuss the relation between Bohr- and Bochner-type almost periodicity, and similar conditions, and how the equivalence among such conditions relates to properties of the group action and the uniformity. We complete the paper by demonstrating how various examples considered earlier all fit in our framework.

We investigate the pluriclosed flow on Oeljeklaus–Toma manifolds. We parameterize left-invariant pluriclosed metrics on Oeljeklaus–Toma manifolds, and we classify the ones which lift to an algebraic soliton of the pluriclosed flow on the universal covering. We further show that the pluriclosed flow starting from a left-invariant pluriclosed metric has a long-time solution $\omega _t$ which once normalized collapses to a torus in the Gromov–Hausdorff sense. Moreover, the lift of $\tfrac {1}{1+t}\omega _t$ to the universal covering of the manifold converges in the Cheeger–Gromov sense to $(\mathbb H^s\times \mathbb C^s, \tilde {\omega }_{\infty })$, where $\tilde {\omega }_{\infty }$ is an algebraic soliton.

We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by “spread modules,” which are sometimes called “interval modules” in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that the free abelian group generated by the “single-source” spread modules gives rise to a new invariant which is finer than the rank invariant.

We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf algebroids. As an application, we investigate normal Hopf ideals in commutative Hopf algebroids (affine groupoid schemes) in connection with the study of normal affine subgroupoids.

In this paper, we study the stability of the ring solution of the N-body problem in the entire sphere $\mathbb {S}^2$ by using the logarithmic potential proposed in Boatto et al. (2016, Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 472, 20160020) and Dritschel (2019, Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 377, 20180349), derived through a definition of central force and Hodge decomposition theorem for 1-forms in manifolds. First, we characterize the ring solution and study its spectral stability, obtaining regions (spherical caps) where the ring solution is spectrally stable for $2\leq N\leq 6$, while, for $N\geq 7$, the ring is spectrally unstable. The nonlinear stability is studied by reducing the system to the homographic regular polygonal solutions, obtaining a 2-d.o.f. Hamiltonian system, and therefore some classic results on stability for 2-d.o.f. Hamiltonian systems are applied to prove that the ring solution is unstable at any parallel where it is placed. Additionally, this system can be reduced to 1-d.o.f. by using the angular momentum integral, which enables us to describe the phase portraits and use them to find periodic ring solutions to the full system. Some of those solutions are numerically approximated.

We study the asymptotic behavior of the N-dimensional colored Jones polynomial of the figure-eight knot evaluated at $\exp \bigl ((u+2p\pi \sqrt {-1})/N\bigr )$, where u is a small real number and p is a positive integer. We show that it is asymptotically equivalent to the product of the p-dimensional colored Jones polynomial evaluated at $\exp \bigl (4N\pi ^2/(u+2p\pi \sqrt {-1})\bigr )$ and a term that grows exponentially with growth rate determined by the Chern–Simons invariant. This indicates a quantum modularity of the colored Jones polynomial.

For every minimal one-sided shift space X over a finite alphabet, left special elements are those points in X having at least two preimages under the shift operation. In this paper, we show that the Cuntz–Pimsner $C^*$-algebra $\mathcal {O}_X$ has nuclear dimension $1$ when X is minimal and the number of left special elements in X is finite. This is done by describing concretely the cover of X, which also recovers an exact sequence, discovered before by Carlsen and Eilers.

We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers, we call it a positive Ulrich sheaf if this bilinear form is symmetric or Hermitian and positive-definite. In that case, our result provides a common theoretical framework for several results in real algebraic geometry concerning the existence of algebraic certificates for certain geometric properties. For instance, it implies Hilbert’s theorem on nonnegative ternary quartics, via the geometry of del Pezzo surfaces, and the solution of the Lax conjecture on plane hyperbolic curves due to Helton and Vinnikov.

Motivated by the desire to understand the geometry of the basic loci in the reduction of Shimura varieties, we study their “group-theoretic models”—generalized affine Deligne–Lusztig varieties—in cases where they have a particularly nice description. Continuing the work of Görtz and He (2015, Cambridge Journal of Mathematics 3, 323–353) and Görtz, He, and Nie (2019, Peking Mathematical Journal 2, 99–154), we single out the class of cases of Coxeter type, give a characterization in terms of the dimension, and obtain a complete classification. We also discuss known, new, and open cases from the point of view of Shimura varieties/Rapoport–Zink spaces.

We introduce “braided” versions of self-similar groups and Röver–Nekrashevych groups, and study their finiteness properties. This generalizes work of Aroca and Cumplido, and the first author and Wu, who considered the case when the self-similar groups are what we call “self-identical.” In particular, we use a braided version of the Grigorchuk group to construct a new group called the “braided Röver group,” which we prove is of type $\operatorname {\mathrm {F}}_\infty $. Our techniques involve using so-called d-ary cloning systems to construct the groups, and analyzing certain complexes of embedded disks in a surface to understand their finiteness properties.

We consider direct and inverse Jacobi transforms with measures

$$\begin{align*}d\mu(t)=2^{2\rho}(\operatorname{sinh} t)^{2\alpha+1}(\operatorname{cosh} t)^{2\beta+1}\,dt\end{align*}$$

$$\begin{align*}d\sigma(\lambda)=(2\pi)^{-1}\Bigl|\frac{2^{\rho-i\lambda}\Gamma(\alpha+1)\Gamma(i\lambda)} {\Gamma((\rho+i\lambda)/2)\Gamma((\rho+i\lambda)/2-\beta)}\Bigr|^{-2}\,d\lambda,\end{align*}$$

$$\begin{align*}\inf\Lambda((-1)^{m-1}f), \quad m\in \mathbb{N}, \end{align*}$$

$\Lambda (f)=\sup \,\{\lambda>0\colon f(\lambda )>0\}$

$m\ge 2$

$\int _{0}^{\infty }\lambda ^{2k}f(\lambda )\,d\sigma (\lambda )=0$

$k=0,\dots ,m-2$

We prove that admissible functions for this problem are positive-definite with respect to the inverse Jacobi transform. The solution of Logan’s problem was known only when $\alpha =\beta =-1/2$. We find a unique (up to multiplication by a positive constant) extremizer $f_m$. The corresponding Logan problem for the Fourier transform on the hyperboloid $\mathbb {H}^{d}$ is also solved. Using the properties of the extremizer $f_m$ allows us to give an upper estimate of the length of a minimal interval containing not less than n zeros of positive definite functions. Finally, we show that the Jacobi functions form the Chebyshev systems.

An affine variety with an action of a semisimple group G is called “small” if every nontrivial G-orbit in X is isomorphic to the orbit of a highest weight vector. Such a variety X carries a canonical action of the multiplicative group ${\mathbb {K}^{*}}$ commuting with the G-action. We show that X is determined by the ${\mathbb {K}^{*}}$-variety $X^U$ of fixed points under a maximal unipotent subgroup $U \subset G$. Moreover, if X is smooth, then X is a G-vector bundle over the algebraic quotient $X /\!\!/ G$.

If G is of type ${\mathsf {A}_n}$ ($n\geq 2$), ${\mathsf {C}_{n}}$, ${\mathsf {E}_{6}}$, ${\mathsf {E}_{7}}$, or ${\mathsf {E}_{8}}$, we show that all affine G-varieties up to a certain dimension are small. As a consequence, we have the following result. If $n \geq 5$, every smooth affine $\operatorname {\mathrm {SL}}_n$-variety of dimension $< 2n-2$ is an $\operatorname {\mathrm {SL}}_n$-vector bundle over the smooth quotient $X /\!\!/ \operatorname {\mathrm {SL}}_n$, with fiber isomorphic to the natural representation or its dual.

We first provide a detailed proof of Kato’s classification theorem of log p-divisible groups over a Noetherian Henselian local ring. Exploring Kato’s idea further, we then define the notion of a standard extension of a classical finite étale group scheme (resp. classical étale p-divisible group) by a classical finite flat group scheme (resp. classical p-divisible group) in the category of finite Kummer flat group log schemes (resp. log p-divisible groups), with respect to a given chart on the base. These results are then used to prove that log p-divisible groups are formally log smooth. We then study the finite Kummer flat group log schemes $T_n(\mathbf {M}):=H^{-1}(\mathbf {M}\otimes _{{\mathbb Z}}^L{\mathbb Z}/n{\mathbb Z})$ (resp. the log p-divisible group $\mathbf {M}[p^{\infty }]$) of a log 1-motive $\mathbf {M}$ over an fs log scheme and show that they are étale locally standard extensions. Lastly, we give a proof of the Serre–Tate theorem for log abelian varieties with constant degeneration.