In this paper, we apply the theory of algebraic cohomology to study the amenability of Thompson’s group $\mathcal {F}$. We introduce the notion of unique factorization semigroup which contains Thompson’s semigroup $\mathcal {S}$ and the free semigroup $\mathcal {F}_n$ on n ($\geq 2$) generators. Let $\mathfrak {B}(\mathcal {S})$ and $\mathfrak {B}(\mathcal {F}_n)$ be the Banach algebras generated by the left regular representations of $\mathcal {S}$ and $\mathcal {F}_n$, respectively. We prove that all derivations on $\mathfrak {B}(\mathcal {S})$ and $\mathfrak {B}(\mathcal {F}_n)$ are automatically continuous, and every derivation on $\mathfrak {B}(\mathcal {S})$ is induced by a bounded linear operator in $\mathcal {L}(\mathcal {S})$, the weak-operator closed Banach algebra consisting of all bounded left convolution operators on $l^2(\mathcal {S})$. Moreover, we prove that the first continuous Hochschild cohomology group of $\mathfrak {B}(\mathcal {S})$ with coefficients in $\mathcal {L}(\mathcal {S})$ vanishes. These conclusions provide positive indications for the left amenability of Thompson’s semigroup.

The central theme of this paper is the holomorphic spectral theory of the canonical Laplace operator of the complement of the “complexified unit circle” $\{(z,w) \in \widehat {{\mathbb C}}^2 \colon z \cdot w = 1\}$. We start by singling out a distinguished set of holomorphic eigenfunctions on the bidisk in terms of hypergeometric ${}_2F_1$ functions and prove that they provide a spectral decomposition of every holomorphic eigenfunction on the bidisk. As a second step, we identify the maximal domains of definition of these eigenfunctions and show that these maximal domains naturally determine the fine structure of the eigenspaces. Our main result gives an intrinsic classification of all closed Möbius invariant subspaces of eigenspaces of the canonical Laplacian of $\Omega $. Generalizing foundational prior work of Helgason and Rudin, this provides a unifying complex analytic framework for the real-analytic eigenvalue theories of both the hyperbolic and spherical Laplace operators on the open unit disk resp. the Riemann sphere and, in particular, shows how they are interrelated with one another.

Let $\mathfrak {g}$ be a complex semisimple Lie algebra with associated Yangian $Y_{\hbar }\mathfrak {g}$. In the mid-1990s, Khoroshkin and Tolstoy formulated a conjecture which asserts that the algebra $\mathrm {D}Y_{\hbar }\mathfrak {g}$ obtained by doubling the generators of $Y_{\hbar }\mathfrak {g}$, called the Yangian double, provides a realization of the quantum double of the Yangian. We provide a uniform proof of this conjecture over $\mathbb {C}[\kern-1.2pt\![{\hbar }]\!\kern-1.2pt]$ which is compatible with the theory of quantized enveloping algebras. As a by-product, we identify the universal R-matrix of the Yangian with the canonical element defined by the pairing between the Yangian and its restricted dual.

Given an affine Coxeter group W, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan–Lusztig cells for W. Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in W. Low elements in W were introduced to study the word problem of the corresponding Artin–Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in W. In this article, we show, in the case of an affine Coxeter group, that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a by-product of our proof, we show that the descent walls – the walls that separate a region from the fundamental alcove – of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.

Irregular cusps of an orthogonal modular variety are cusps where the lattice for Fourier expansion is strictly smaller than the lattice of translation. The presence of such a cusp affects the study of pluricanonical forms on the modular variety using modular forms. We study toroidal compactification over an irregular cusp, and clarify there the cusp form criterion for the calculation of Kodaira dimension. At the same time, we show that irregular cusps do not arise frequently: besides the cases when the group is neat or contains $-1$, we prove that the stable orthogonal groups of most (but not all) even lattices have no irregular cusp.

We introduce a class of Falconer distance problems, which we call of restricted type, lying between the classical version and its pinned variant. Prototypical restricted distance sets are the diagonal distance sets, k-point configuration sets given by

$$ \begin{align*}\Delta^{\mathrm{diag}}(E)= \{ \,|(x,x,\dots,x)-(y_1,y_2,\dots,y_{k-1})| : x, y_1, \dots,y_{k-1} \in E\, \}\end{align*} $$

$E\subset \mathbb {R}^d$

$k\ge 3$

$\Delta ^{\mathrm{diag}}(E)$

(0.1)

$$ \begin{align} \dim(E)> \begin{cases} \frac{2d+1}3, & k=3, \\ \frac{(k-1)d}k,& k\ge 4. \end{cases} \end{align} $$

$C^\omega $

We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analog of the Plücker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gröbner basis for the grove ideal.

Let A be a separable (not necessarily unital) simple $C^*$-algebra with strict comparison. We show that if A has tracial approximate oscillation zero, then A has stable rank one and the canonical map $\Gamma $ from the Cuntz semigroup of A to the corresponding lower-semicontinuous affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$-algebra which has almost stable rank one must have stable rank one, provided it has strict comparison and the canonical map $\Gamma $ is surjective.

In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

We prove a weak version of the cross-product conjecture: $\textrm {F}(k+1,\ell ) \hskip .06cm \textrm {F}(k,\ell +1) \ge (\frac 12+\varepsilon ) \hskip .06cm \textrm {F}(k,\ell ) \hskip .06cm \textrm {F}(k+1,\ell +1)$, where $\textrm {F}(k,\ell )$ is the number of linear extensions for which the values at fixed elements $x,y,z$ are k and $\ell $ apart, respectively, and where $\varepsilon>0$ depends on the poset. We also prove the converse inequality and disprove the generalized cross-product conjecture. The proofs use geometric inequalities for mixed volumes and combinatorics of words.

We continue our study from Peterzil et al. (2022, Preprint, arXiv:2208.08293) of finite-dimensional definable groups in models of the theory $T_{\partial }$, the model companion of an o-minimal ${\mathcal {L}}$-theory T expanded by a generic derivation $\partial $ as in Fornasiero and Kaplan (2021, Journal of Mathematical Logic 21, 2150007).

We generalize Buium’s notion of an algebraic D-group to ${\mathcal {L}}$-definable D-groups, namely $(G,s)$, where G is an ${\mathcal {L}}$-definable group in a model of T, and $s:G\to \tau (G)$ is an ${\mathcal {L}}$-definable group section. Our main theorem says that every definable group of finite dimension in a model of $T_\partial $ is definably isomorphic to a group of the form

$$ \begin{align*}(G,s)^\partial=\{g\in G:s(g)=\nabla g\},\end{align*} $$

for some ${\mathcal {L}}$-definable D-group $(G,s)$ (where $\nabla (g)=(g,\partial g)$).

We obtain analogous results when T is either the theory of p-adically closed fields or the theory of pseudo-finite fields of characteristic $0$.

To understand the p-adic étale cohomology of a proper smooth variety over a p-adic field, Faltings compared it to the cohomology of his ringed topos, by the so-called Faltings’ main p-adic comparison theorem, and then deduced various comparisons with p-adic cohomologies originating from differential forms. In this article, we generalize the former to any proper and finitely presented morphism of coherent schemes over an absolute integral closure of $\mathbb {Z}_p$ (without any smoothness assumption) for torsion abelian étale sheaves (not necessarily finite locally constant). Our proof relies on our cohomological descent for Faltings’ ringed topos, using a variant of de Jong’s alteration theorem for morphisms of schemes due to Gabber–Illusie–Temkin to reduce to the relative case of proper log-smooth morphisms of log-smooth schemes over a complete discrete valuation ring proved by Abbes–Gros. A by-product of our cohomological descent is a new construction of Faltings’ comparison morphism, which does not use Achinger’s results on $K(\pi ,1)$-schemes.

This paper goes beyond Katz–Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally, and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g\geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz–Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus, we prove that this stronger convergence cannot occur.

The notion of indicator of an analytic function, that describes the function’s growth along rays, was introduced by Phragmen and Lindelöf. Trigonometric convexity is a defining property of the indicator. For multivariate cases, an analogous property of trigonometric convexity was not known so far. We prove the property of trigonometric convexity for the indicator of multivariate analytic functions, introduced by Ivanov. The results that we obtain are sharp. Derivation of a multidimensional analogue of the inverse Fourier transform in a sector and obtaining estimates on its decay is an important step of our proof.

In this paper, we study the Dirichlet problem for systems of mean value equations on a regular tree. We deal both with the directed case (the equations verified by the components of the system at a node in the tree only involve values of the unknowns at the successors of the node in the tree) and the undirected case (now the equations also involve the predecessor in the tree). We find necessary and sufficient conditions on the coefficients in order to have existence and uniqueness of solutions for continuous boundary data. In a particular case, we also include an interpretation of such solutions as a limit of value functions of suitable two-players zero-sum games.

The meridional rank conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper, we investigate the analogous conjecture for knotted spheres in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order in Coxeter groups and alternating groups, which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, we show that the meridional rank of knotted spheres is not additive under connected sum, so that either bridge number also collapses, or meridional rank is not equal to bridge number for knotted spheres.

The purpose of this paper is to introduce and study the following graph-theoretic paradigm. Let

$$ \begin{align*}T_Kf(x)=\int K(x,y) f(y) d\mu(y),\end{align*} $$

$f: X \to {\Bbb R}$

$\mu $

$$ \begin{align*}\Lambda_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) d\mu(x^l),\end{align*} $$

${\mathcal E}(G)$

$\Lambda _G(p_1, \ldots , p_n)$

$C>0$

(0.1)

$$ \begin{align} \Lambda_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, \mu)} \end{align} $$

$f_i$

$1\le i\le n$

$T_K$

$X={\Bbb F}_q^d$

$K(x^i,x^j)$

$x^i-x^j$

We prove some conditions for higher-dimensional algebraic fibering of pro-p group extensions, and we establish corollaries about incoherence of pro-p groups. In particular, if $1 \to K \to G \to \Gamma \to 1$ is a short exact sequence of pro-p groups, such that $\Gamma $ contains a finitely generated, non-abelian, free pro-p subgroup, K a finitely presented pro-p group with N a normal pro-p subgroup of K such that $K/ N \simeq \mathbb {Z}_p$ and N not finitely generated as a pro-p group, then G is incoherent (in the category of pro-p groups). Furthermore, we show that if K is a finitely generated, free pro-p group with $d(K) \geq 2$, then either $\mathrm{Aut}_0(K)$ is incoherent (in the category of pro-p groups) or there is a finitely presented pro-p group, without non-procyclic free pro-p subgroups, that has a metabelian pro-p quotient that is not finitely presented, i.e., a pro-p version of a result of Bieri–Strebel does not hold.

We study symmetric and antisymmetric tensor products of Hilbert-space operators, focusing on norms and spectra for some well-known classes favored by function-theoretic operator theorists. We pose many open questions that should interest the field.

Building on work of Furstenberg and Tzkoni, we introduce $\mathbf {r}$-flag affine quermassintegrals and their dual versions. These quantities generalize affine and dual affine quermassintegrals as averages on flag manifolds (where the Grassmannian can be considered as a special case). We establish affine and linear invariance properties and extend fundamental results to this new setting. In particular, we prove several affine isoperimetric inequalities from convex geometry and their approximate reverse forms. We also introduce functional forms of these quantities and establish corresponding inequalities.