Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^{d}$ for some $n$ and some $d\geqslant 2$. Each pair of points has a Euclidean distance in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair distances corresponding to the edges of $G$. In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an unknowable Euclidean transformation) from a given set of point-pair distances together with knowledge of $d$ and $n$. In this setting the distances are given simply as a set of real numbers; they are not labeled with the combinatorial data that describes which point pair gave rise to which distance, nor is data about $G$ given. We show, perhaps surprisingly, that in terms of generic uniqueness, labels have no effect. A generic configuration is determined by an unlabeled set of point-pair distances (together with $d$ and $n$) if and only if it is determined by the labeled distances.

We prove global well-posedness of the time-dependent degenerate thermistor problem by establishing a uniform-in-time bounded mean ocsillation (BMO) estimate of inhomogeneous parabolic equations. Applying this estimate to the temperature equation, we derive a BMO bound of the temperature uniform with respect to time, which implies that the electric conductivity is an $A_{2}$ weight. The Hölder continuity of the electric potential is then proved by applying the De Giorgi–Nash–Moser estimate for degenerate elliptic equations with an $A_{2}$ coefficient. The uniqueness of the solution is proved based on the established regularity of the weak solution. Our results also imply the existence of a global classical solution when the initial and boundary data are smooth.

Let $F_{2}$ denote the free group on two generators $a$ and $b$. For any measure-preserving system $(X,{\mathcal{X}},{\it\mu},(T_{g})_{g\in F_{2}})$ on a finite measure space $X=(X,{\mathcal{X}},{\it\mu})$, any $f\in L^{1}(X)$, and any $n\geqslant 1$, define the averaging operators

$$\begin{eqnarray}\displaystyle {\mathcal{A}}_{n}f(x):=\frac{1}{4\times 3^{n-1}}\mathop{\sum }_{g\in F_{2}:|g|=n}f(T_{g}^{-1}x), & & \displaystyle \nonumber\end{eqnarray}$$

$|g|$

$g$

$X$

$f\in L^{1}(X)$

${\mathcal{A}}_{n}f(x)$

$n$

$x$

$L^{1}$

$F_{2}$

$L^{p}$

$p>1$

$L\log L$

$(1,1)$

$\ell ^{1}(F_{2})$

We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between K-theoretic Donaldson invariants studied by Göttsche and Nakajima-Yoshioka and K-theoretic Vafa-Witten invariants introduced by Thomas and also studied by Göttsche and Kool. We verify our conjectures in many examples (for example, on K3 surfaces).

We establish the sharp upper bounds on the indexes for most of the twisted flag varieties under the spin groups ${\operatorname {\mathrm {Spin}}(n)}$.

Let $F$ be a totally real number field, ${\wp}$ a place of $F$ above $p$ . Let ${\it\rho}$ be a $2$ -dimensional $p$ -adic representation of $\text{Gal}(\overline{F}/F)$ which appears in the étale cohomology of quaternion Shimura curves (thus ${\it\rho}$ is associated to Hilbert eigenforms). When the restriction ${\it\rho}_{{\wp}}:={\it\rho}|_{D_{{\wp}}}$ at the decomposition group of ${\wp}$ is semistable noncrystalline, one can associate to ${\it\rho}_{{\wp}}$ the so-called Fontaine–Mazur ${\mathcal{L}}$ -invariants, which are however invisible in the classical local Langlands correspondence. In this paper, we prove one can find these ${\mathcal{L}}$ -invariants in the completed cohomology group of quaternion Shimura curves, which generalizes some of Breuil’s results [Breuil, Astérisque, 331 (2010), 65–115] in the $\text{GL}_{2}/\mathbb{Q}$ -case.

We compute the Donaldson–Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the invariants in terms of the topological vertex. Utilizing identities for the topological vertex proved in Bryan et al. [‘Trace identities for the topological vertex’, Selecta Math. (N.S.)24 (2) (2018), 1527–1548, arXiv:math/1603.05271], we derive product formulas for the partition functions. The connected version of the partition function is written in terms of Jacobi forms. In the special case where the elliptic surface is a K3 surface, we get a derivation of the Katz–Klemm–Vafa formula for primitive curve classes which is independent of the computation of Kawai–Yoshioka.

Starting from loop equations, we prove that the wave functions constructed from topological recursion on families of degree $2$ spectral curves with a global involution satisfy a system of partial differential equations, whose equations can be seen as quantizations of the original spectral curves. The families of spectral curves can be parametrized with the so-called times, defined as periods on second type cycles, and with the poles. These equations can be used to prove that the WKB solution of many isomonodromic systems coincides with the topological recursion wave function, which proves that the topological recursion wave function is annihilated by a quantum curve. This recovers many known quantum curves for genus zero spectral curves and generalizes this construction to hyperelliptic curves.

Our main result in this article is a compactness result which states that a noncollapsed sequence of asymptotically locally Euclidean (ALE) scalar-flat Kähler metrics on a minimal Kähler surface whose Kähler classes stay in a compact subset of the interior of the Kähler cone must have a convergent subsequence. As an application, we prove the existence of global moduli spaces of scalar-flat Kähler ALE metrics for several infinite families of Kähler ALE spaces.

Let $\mathbb {S}^{d-1}$ denote the unit sphere in Euclidean space $\mathbb {R}^d$, $d\geq 2$, equipped with surface measure $\sigma _{d-1}$. An instance of our main result concerns the regularity of solutions of the convolution equation

$$\begin{align*}a\cdot(f\sigma_{d-1})^{\ast {(q-1)}}\big\vert_{\mathbb{S}^{d-1}}=f,\text{ a.e. on }\mathbb{S}^{d-1}, \end{align*}$$

$a\in C^\infty (\mathbb {S}^{d-1})$

$q\geq 2(d+1)/(d-1)$

$f\in L^2(\mathbb {S}^{d-1})$

$C^\infty (\mathbb {S}^{d-1})$

$\mathbb {S}^{d-1}$

$C^\infty $

We introduce inner amenability for discrete probability-measure-preserving (p.m.p.) groupoids and investigate its basic properties, examples, and the connection with central sequences in the full group of the groupoid or central sequences in the von Neumann algebra associated with the groupoid. Among other things, we show that every free ergodic p.m.p. compact action of an inner amenable group gives rise to an inner amenable orbit equivalence relation. We also obtain an analogous result for compact extensions of equivalence relations that either are stable or have a nontrivial central sequence in their full group.

In Angulo-Ardoy et al. [Anal. PDE, 9(3) (2016), 575–596], we found some necessary conditions for a Riemannian manifold to admit a local limiting Carleman weight (LCW), based on the Cotton–York tensor in dimension 3 and the Weyl tensor in dimension 4. In this paper, we find further necessary conditions for the existence of local LCWs that are often sufficient. For a manifold of dimension 3 or 4, we classify the possible Cotton–York, or Weyl tensors, and provide a mechanism to find out whether the manifold admits local LCW for each type of tensor. In particular, we show that a product of two surfaces admits an LCW if and only if at least one of the two surfaces is of revolution. This provides an example of a manifold satisfying the eigenflag condition of Angulo-Ardoy et al. [Anal. PDE, 9(3) (2016), 575–596] but not admitting LCW.

Remixed Eulerian numbers are a polynomial q-deformation of Postnikov’s mixed Eulerian numbers. They arose naturally in previous work by the authors concerning the permutahedral variety and subsume well-known families of polynomials such as q-binomial coefficients and Garsia–Remmel’s q-hit numbers. We study their combinatorics in more depth. As polynomials in q, they are shown to be symmetric and unimodal. By interpreting them as computing success probabilities in a simple probabilistic process we arrive at a combinatorial interpretation involving weighted trees. By decomposing the permutahedron into certain combinatorial cubes, we obtain a second combinatorial interpretation. At $q=1$, the former recovers Postnikov’s interpretation whereas the latter recovers Liu’s interpretation, both of which were obtained via methods different from ours.

We prove that the hitting measure is singular with respect to the Lebesgue measure for random walks driven by finitely supported measures on cocompact, hyperelliptic Fuchsian groups. Moreover, the Hausdorff dimension of the hitting measure is strictly less than one. Equivalently, the inequality between entropy and drift is strict. A similar statement is proven for Coxeter groups.

Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of $\mathbb {Q}$ and to give a new proof of the vanishing of Massey triple products in Galois cohomology.

In this paper, we prove one divisibility of the Iwasawa–Greenberg main conjecture for the Rankin–Selberg product of a weight two cusp form and an ordinary complex multiplication form of higher weight, using congruences between Klingen Eisenstein series and cusp forms on $\mathrm {GU}(3,1)$, generalizing an earlier result of the third-named author to allow nonordinary cusp forms. The main result is a key input in the third-named author’s proof of Kobayashi’s $\pm $-main conjecture for supersingular elliptic curves. The new ingredient here is developing a semiordinary Hida theory along an appropriate smaller weight space and a study of the semiordinary Eisenstein family.

We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least $2$ whose Chern character represents a nonzero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank $1$ local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included.

We introduce and study a multi-marginal optimal partial transport problem. Under a natural and sharp condition on the dominating marginals, we establish uniqueness of the optimal plan. Our strategy of proof establishes and exploits a connection with another novel problem, which we call the Monge–Kantorovich partial barycenter problem (with quadratic cost). This latter problem has a natural interpretation as a variant of the factories-and-mines description of optimal transport. We then turn our attention to various analytic properties of these two problems. Of particular interest, we show that monotonicity of the active marginals with respect to the amount $m$ of mass to be transported can fail, a surprising difference from the two-marginal case.

We extend the modularity lifting result of P. Kassaei (‘Modularity lifting in parallel weight one’,J. Amer. Math. Soc.26 (1) (2013), 199–225) to allow Galois representations with some ramification at $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$. We also prove modularity mod 5 of certain Galois representations. We use these results to prove new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent $p$-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in P. Kassaei (‘Modularity lifting in parallel weight one’, J. Amer. Math. Soc.26 (1) (2013), 199–225).