This paper is the first of a two part series devoted to describing relations between congruence and crystallographic braid groups. We recall and introduce some elements belonging to congruence braid groups and we establish some (iso)-morphisms between crystallographic braid groups and corresponding quotients of congruence braid groups.

We compute the Jantzen filtration of a $\mathcal {D}$-module on the flag variety of $\operatorname {\mathrm {SL}}_2(\mathbb {C})$. At each step in the computation, we illustrate the $\mathfrak {sl}_2(\mathbb {C})$-module structure on global sections to give an algebraic picture of this geometric computation. We conclude by showing that the Jantzen filtration on the $\mathcal {D}$-module agrees with the algebraic Jantzen filtration on its global sections, demonstrating a famous theorem of Beilinson and Bernstein.

In this article, we study rational matrix representations of VZ p-groups (p is any prime). Using our findings on VZ p-groups, we explicitly obtain all inequivalent irreducible rational matrix representations of all p-groups of order $\leq p^4$. Furthermore, we establish combinatorial formulae to determine the Wedderburn decompositions of rational group algebras for VZ p-groups and all p-groups of order $\leq p^4$, ensuring simplicity in the process.

For a finite group G, let $\operatorname { {AD}}(G)$ denote the Fourier norm of the antidiagonal in $G\times G$. The author showed recently in [‘An explicit minorant for the amenability constant of the Fourier algebra’, Int. Math. Res. Not. IMRN 2023 (2023), 19390–19430] that $\operatorname { {AD}}(G)$ coincides with the amenability constant of the Fourier algebra of G and is equal to the normalized sum of the cubes of the character degrees of G. Motivated by a gap result for amenability constants from Johnson [‘Non-amenability of the Fourier algebra of a compact group’, J. Lond. Math. Soc. (2) 50 (1994), 361–374], we determine exactly which numbers in the interval $[1,2]$ arise as values of $\operatorname { {AD}}(G)$. As a by-product, we show that the set of values of $\operatorname { {AD}}(G)$ does not contain all its limit points. Some other calculations or bounds for $\operatorname { {AD}}(G)$ are given for familiar classes of finite groups. We also indicate a connection between $\operatorname { {AD}}(G)$ and the commuting probability of G, and use this to show that every finite group G satisfying $\operatorname { {AD}}(G)< {61}/{15}$ must be solvable; here, the value ${61}/{15}$ is the best possible.

Let $B(\Omega )$ be a Banach space of holomorphic functions on a bounded connected domain $\Omega $ in ${{\mathbb C}^n}$. In this paper, we establish a criterion for $B(\Omega )$ to be reflexive via evaluation functions on $B(\Omega )$, that is, $B(\Omega )$ is reflexive if and only if the evaluation functions span the dual space $(B(\Omega ))^{*} $.

Let $X=GC$ be a group, where C is a cyclic group and G is either a generalized quaternion group or a dihedral group such that $C\cap G=1$. In this paper, X is characterized and, moreover, a complete classification for $X$ is given, provided that G is a generalized quaternion group and C is core-free.

We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases, we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood–Richardson coefficients for symmetric groups.

The Dehn quandle of a closed orientable surface is the set of isotopy classes of nonseparating simple closed curves with a natural quandle structure arising from Dehn twists. In this paper, we consider the finiteness of some canonical quotients of these quandles. For a surface of positive genus, we give a precise description of the 2-quandle of its Dehn quandle. Further, with some exceptions for genus more than 2, we determine all values of n for which the n-quandle of its Dehn quandle is finite. The result can be thought of as the Dehn quandle analogue of a similar result of Hoste and Shanahan for link quandles [‘Links with finite n-quandles’, Algebr. Geom. Topol. 17(5) (2017), 2807–2823]. We also compute the size of the smallest nontrivial quandle quotient of the Dehn quandle of a surface. Along the way, we prove that the involutory quotient of an Artin quandle is precisely the corresponding Coxeter quandle, and also determine the smallest nontrivial quotient of a braid quandle.

We study the asymptotic behaviour of the least energy solutions to the following class of nonlocal Neumann problems:

$$ \begin{align*} \begin{cases} { d(-\Delta)^{s}u+ u= \vert u\vert^{p-1}u } & \text{in } \Omega, \\ {u>0} & \text{in } \Omega, \\ { \mathcal{N}_{s}u=0 } & \text{in } \mathbb{R}^{n}\setminus \overline{\Omega}, \end{cases} \end{align*} $$

where $\Omega \subset \mathbb {R}^{n}$ is a bounded domain of class $C^{1,1}$, $1<p<({n+s})/({n-s}),\,n>\max \{1, 2s \}, 0<s<1, d>0$ and $\mathcal {N}_{s}u$ is the nonlocal Neumann derivative. We show that for small $d,$ the least energy solutions $u_d$ of the above problem achieve an $L^{\infty }$-bound independent of $d.$ Using this together with suitable $L^{r}$-estimates on $u_d,$ we show that the least energy solution $u_d$ achieves a maximum on the boundary of $\Omega $ for d sufficiently small.

Let $L=-\Delta +V$ be a Schrödinger operator in ${\mathbb R}^n$ with $n\geq 3$, where $\Delta $ is the Laplace operator denoted by $\Delta =\sum ^{n}_{i=1}({\partial ^{2}}/{\partial x_{i}^{2}})$ and the nonnegative potential V belongs to the reverse Hölder class $(RH)_{q}$ with $q>n/2$. For $\alpha \in (0,1)$, we define the operator

$$ \begin{align*} T_N^{L^{\alpha}} f(x) =\sum_{j=N_1}^{N_2} v_j(e^{-a_{j+1}L^\alpha} f(x)-e^{-a_{j}L^\alpha} f(x)) \quad \mbox{for all }x\in \mathbb R^n, \end{align*} $$

where $\{e^{-tL^\alpha } \}_{t>0}$ is the fractional heat semigroup of the operator L, $\{v_j\}_{j\in \mathbb Z}$ is a bounded real sequence and $\{a_j\}_{j\in \mathbb Z}$ is an increasing real sequence.

We investigate the boundedness of the operator $T_N^{L^{\alpha }}$ and the related maximal operator $T^*_{L^{\alpha }}f(x):=\sup _N \vert T_N^{L^{\alpha }} f(x)\vert $ on the spaces $L^{p}(\mathbb {R}^{n})$ and $BMO_{L}(\mathbb {R}^{n})$, respectively. As extensions of $L^{p}(\mathbb {R}^{n})$, the boundedness of the operators $T_N^{L^{\alpha }}$ and $T^*_{L^{\alpha }}$ on the Morrey space $L^{\rho ,\theta }_{p,\kappa }(\mathbb {R}^{n})$ and the weak Morrey space $WL^{\rho ,\theta }_{1,\kappa }(\mathbb {R}^{n})$ has also been proved.

We give a complete description of Rees quotients of free inverse semigroups given by positive relators that satisfy nontrivial identities, including identities in signature with involution. They are finitely presented in the class of all inverse semigroups. Those that satisfy a nontrivial semigroup identity have polynomial growth and can be given by an irredundant presentation with at most four relators. Those that satisfy a nontrivial identity in signature with involution, but which do not satisfy a nontrivial semigroup identity, have exponential growth and fall within two infinite families of finite presentations with two generators. The first family involves an unbounded number of relators and the other involves presentations with at most four relators of unbounded length. We give a new sufficient condition for which a finite set X of reduced words over an alphabet $A\cup A^{-1}$ freely generates a free inverse subsemigroup of $FI_A$ and use it in our proofs.

We study the problem of extending an order-preserving real-valued Lipschitz map defined on a subset of a partially ordered metric space without increasing its Lipschitz constant and preserving its monotonicity. We show that a certain type of relation between the metric and order of the space, which we call radiality, is necessary and sufficient for such an extension to exist. Radiality is automatically satisfied by the equality relation, so the classical McShane–Whitney extension theorem is a special case of our main characterization result. As applications, we obtain a similar generalization of McShane’s uniformly continuous extension theorem, along with some functional representation results for radial partial orders.

Using the special value at $u=1$ of Artin–Ihara L-functions, we associate to every $\mathbb {Z}$-cover of a finite connected graph a polynomial, which we call the Ihara polynomial. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce–Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specialising to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and I-graphs (including the generalised Petersen graphs). We also express the p-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the p-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb {Z}$-cover, our result gives us back Lengyel’s calculation of the p-adic valuations of Fibonacci numbers.

For a prime p and a rational elliptic curve $E_{/\mathbb {Q}}$, set $K=\mathbb {Q}(E[p])$ to denote the torsion field generated by $E[p]:=\operatorname {ker}\{E\xrightarrow {p} E\}$. The class group $\operatorname {Cl}_K$ is a module over $\operatorname {Gal}(K/\mathbb {Q})$. Given a fixed odd prime number p, we study the average nonvanishing of certain Galois stable quotients of the mod-p class group $\operatorname {Cl}_K/p\operatorname {Cl}_K$. Here, E varies over all rational elliptic curves, ordered according to height. Our results are conditional, since we assume that the p-primary part of the Tate–Shafarevich group is finite. Furthermore, we assume predictions made by Delaunay for the statistical variation of the p-primary parts of Tate–Shafarevich groups. We also prove results in the case when the elliptic curve $E_{/\mathbb {Q}}$ is fixed and the prime p is allowed to vary.

This article introduces the Clairaut conformal Riemannian map. This notion includes the previously studied notions of Clairaut conformal submersion, Clairaut Riemannian submersion, and the Clairaut Riemannian map as particular cases, and is well known in the classical theory of surfaces. Toward this, we find the necessary and sufficient condition for a conformal Riemannian map $\varphi : M \to N$ between Riemannian manifolds to be a Clairaut conformal Riemannian map with girth $s = e^f$. We show that the fibers of $\varphi $ are totally umbilical with mean curvature vector field the negative gradient of the logarithm of the girth function, that is, $-\nabla f$. Using this, we obtain a local splitting of M as a warped product and a usual product, if the horizontal space is integrable (under some appropriate hypothesis). We also provide some examples of the Clairaut conformal Riemannian maps to confirm our main theorem. We observe that the Laplacian of the logarithmic girth, that is, of f, on the total manifold takes the special form. It reduces to the Laplacian on the horizontal distribution, and if it is nonnegative, the universal covering space of M becomes a product manifold, under some hypothesis on f. Analysis of the Laplacian of f also yields the splitting of the universal covering space of M as a warped product under some appropriate conditions. We calculate the sectional curvature and mixed sectional curvature of M when f is a distance function. We also find the relationships between the total manifold and the fibers being symmetrical and, in particular, having constant sectional curvature, and from there, we compare their universal covering spaces, if fibers are also complete, provided f is a distance function. We also find a condition on the curvature tensor of the fibers to be semi-symmetric, provided that the total manifold is semi-symmetric and f is a distance function. In turn, this gives the warped product of symmetric, semi-symmetric spaces into two symmetric, semi-symmetric subspaces (under some hypothesis). Also if the Hessian or the Laplacian of the Riemannian curvature tensor fields is zero, or has a harmonic curvature tensor, then the fibers of $\varphi $ also satisfy the same property, if f is also a distance function. By obtaining Bochner-type formulas for Clairaut conformal Riemannian maps, we establish the relations between the divergences of the Ricci curvature tensor on fibers and horizontal space and the corresponding scalar curvature. We also study the horizontal Killing vector field of constant length and show that they are parallel under appropriate hypotheses. This in turn gives the splitting of the total manifold, if it admits a horizontal parallel Killing vector field and if the horizontal space is integrable. Finally, assuming that $\nabla f$ is a nontrivial gradient Ricci soliton on M, we prove that any vertical vector field is incompressible and hence the volume form of the fiber is invariant under the flow of the vector field.