In Caspers et al. (Can. J. Math. 75[6] [2022], 1–18), transference results between multilinear Fourier and Schur multipliers on noncommutative $L_p$-spaces were shown for unimodular groups. We propose a suitable extension of the definition of multilinear Fourier multipliers for non-unimodular groups and show that the aforementioned transference results also hold in this more general setting.

We consider the space $\mathcal{P}_d$ of smooth complex projective plane curves of degree $d$. There is the tautological family of plane curves defined over $\mathcal{P}_d$, which has an associated monodromy representation $\rho _d: \pi _1(\mathcal{P}_d) \to \textrm{Mod}(\Sigma _g)$ into the mapping class group of the fiber. For $d \le 4$, classical algebraic geometry implies the surjectivity of $\rho _d$. For $d \ge 5$, the existence of a $(d-3)^{rd}$ root of the canonical bundle implies that $\rho _d$ cannot be surjective. The main result of this paper is that for $d = 5$, the image of $\rho _5$ is as large as possible, subject to this constraint. This requires combining the algebro-geometric work of Lönne with Johnson’s theory of the Torelli subgroup of $\textrm{Mod}(\Sigma _g)$.

The monogenic free inverse semigroup $FI_1$ is not finitely presented as a semigroup due to the classic result by Schein (1975). We extend this result and prove that a finitely generated subsemigroup of $FI_1$ is finitely presented if and only if it contains only finitely many idempotents. As a consequence, we derive that an inverse subsemigroup of $FI_1$ is finitely presented as a semigroup if and only if it is a finite semilattice.

We show that for $n \neq 1,4$, the simplicial volume of an inward tame triangulable open $n$-manifold $M$ with amenable fundamental group at infinity at each end is finite; moreover, we show that if also $\pi _1(M)$ is amenable, then the simplicial volume of $M$ vanishes. We show that the same result holds for finitely-many-ended triangulable manifolds which are simply connected at infinity.

The Basilica group is a well-known 2-generated weakly branch, but not branch, group acting on the binary rooted tree. Recently, a more general form of the Basilica group has been investigated by Petschick and Rajeev, which is an $s$-generated weakly branch, but not branch, group that acts on the $m$-adic tree, for $s,m\ge 2$. A larger family of groups, which contains these generalised Basilica groups, is the family of iterated monodromy groups. With the new developments by Francoeur, the study of the existence of maximal subgroups of infinite index has been extended from branch groups to weakly branch groups. Here we show that a subfamily of iterated monodromy groups, which more closely resemble the generalised Basilica groups, have maximal subgroups only of finite index.

This paper describes how to compute algorithmically certain twisted signature invariants of a knot $K$ using twisted Blanchfield forms. An illustration of the algorithm is implemented on $(2,q)$-torus knots. Additionally, using satellite formulas for these invariants, we also show how to obstruct the sliceness of certain iterated torus knots.

We consider K-theoretic Gromov-Witten theory of root constructions. We calculate some genus $0$ K-theoretic Gromov-Witten invariants of a root gerbe. We also obtain a K-theoretic relative/orbifold correspondence in genus $0$.

In this article, we study Galois points of plane curves and the extension of the corresponding Galois group to $\mathrm{Bir}(\mathbb{P}^2)$. We prove that if the Galois group has order at most $3$, it always extends to a subgroup of the Jonquières group associated with the point $P$. Conversely, with a degree of at least $4$, we prove that it is false. We provide an example of a Galois extension whose Galois group is extendable to Cremona transformations but not to a group of de Jonquières maps with respect to $P$. In addition, we also give an example of a Galois extension whose Galois group cannot be extended to Cremona transformations.

Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

Generalizing a result of Wulf-Dieter Geyer in his thesis, we prove that if $K$ is a finitely generated extension of transcendence degree $r$ of a global field and $A$ is a closed abelian subgroup of $\textrm{Gal}(K)$, then ${\mathrm{rank}}(A)\le r+1$. Moreover, if $\mathrm{char}(K)=0$, then ${\hat{\mathbb{Z}}}^{r+1}$ is isomorphic to a closed subgroup of $\textrm{Gal}(K)$.

We prove new results concerning the additive Galois module structure of wildly ramified non-abelian extensions $K/\mathbb{Q}$ with Galois group isomorphic to $A_4$, $S_4$, $A_5$, and dihedral groups of order $2p^n$ for certain prime powers $p^n$. In particular, when $K/\mathbb{Q}$ is a Galois extension with Galois group $G$ isomorphic to $A_4$, $S_4$ or $A_5$, we give necessary and sufficient conditions for the ring of integers $\mathcal{O}_{K}$ to be free over its associated order in the rational group algebra $\mathbb{Q}[G]$.

Given a group $G$ and an integer $n\geq 0$, we consider the family ${\mathcal F}_n$ of all virtually abelian subgroups of $G$ of $\textrm{rank}$ at most $n$. In this article, we prove that for each $n\ge 2$ the Bredon cohomology, with respect to the family ${\mathcal F}_n$, of a free abelian group with $\textrm{rank}$ $k \gt n$ is nontrivial in dimension $k+n$; this answers a question of Corob Cook et al. (Homology Homotopy Appl. 19(2) (2017), 83–87, Question 2.7). As an application, we compute the minimal dimension of a classifying space for the family ${\mathcal F}_n$ for braid groups, right-angled Artin groups, and graphs of groups whose vertex groups are infinite finitely generated virtually abelian groups, for all $n\ge 2$. The main tools that we use are the Mayer–Vietoris sequence for Bredon cohomology, Bass–Serre theory, and the Lück–Weiermann construction.

We show that continuous group homomorphisms between unitary groups of unital C*-algebras induce maps between spaces of continuous real-valued affine functions on the trace simplices. Under certain $K$-theoretic regularity conditions, these maps can be seen to commute with the pairing between $K_0$ and traces. If the homomorphism is contractive and sends the unit circle to the unit circle, the map between spaces of continuous real-valued affine functions can further be shown to be unital and positive (up to a minus sign).

Let $n$ be an integer congruent to $0$ or $3$ modulo $4$. Under the assumption of the ABC conjecture, we prove that, given any integer $m$ fulfilling only a certain coprimeness condition, there exist infinitely many imaginary quadratic fields having an everywhere unramified Galois extension of group $A_n \times C_m$. The same result is obtained unconditionally in special cases.

We find closed formulas for arbitrarily high mixed moments of characteristic polynomials of the Alternative Circular Unitary Ensemble, as well as closed formulas for the averages of ratios of characteristic polynomials in this ensemble. A comparison is made to analogous results for the Circular Unitary Ensemble. Both moments and ratios are studied via symmetric function theory and a general formula of Borodin-Olshanski-Strahov.

For a principal ideal domain $A$, the Latimer–MacDuffee correspondence sets up a bijection between the similarity classes of matrices in $\textrm{M}_{n}(A)$ with irreducible characteristic polynomial $f(x)$ and the ideal classes of the order $A[x]/(f(x))$. We prove that when $A[x]/(f(x))$ is maximal (i.e. integrally closed, i.e. a Dedekind domain), then every similarity class contains a representative that is, in a sense, close to being a companion matrix. The first step in the proof is to show that any similarity class corresponding to an ideal (not necessarily prime) of degree one contains a representative of the desired form. The second step is a previously unpublished result due to Lenstra that implies that when $A[x]/(f(x))$ is maximal, every ideal class contains an ideal of degree one.

Consider the following classes of pairs consisting of a group and a finite collection of subgroups:

• • $ \mathcal{C}= \left \{ (G,\mathcal{H}) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right \}$

• • $ \mathcal{D}= \left \{ (G,\mathcal{H}) \mid \text{the relative Dehn function of $(G,\mathcal{H})$ is well-defined} \right \} .$

Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that

1. 1. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.

2. 2. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.

3. 3. For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in \mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in \mathcal{H}$.

That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.

This paper studies the structure and preservational properties of lower bounded HNN extensions of inverse semigroups, as introduced by Jajcayová. We show that if $S^* = [ S;\; U_1,U_2;\; \phi ]$ is a lower bounded HNN extension then the maximal subgroups of $S^*$ may be described using Bass-Serre theory, as the fundamental groups of certain graphs of groups defined from the $\mathcal{D}$-classes of $S$, $U_1$ and $U_2$. We then obtain a number of results concerning when inverse semigroup properties are preserved under the HNN extension construction. The properties considered are completely semisimpleness, having finite $\mathcal{R}$-classes, residual finiteness, being $E$-unitary, and $0$-$E$-unitary. Examples are given, such as an HNN extension of a polycylic inverse monoid.

In this work, we study the Humbert-Edge curves of type 5, defined as a complete intersection of four diagonal quadrics in ${\mathbb{P}}^5$. We characterize them using Kummer surfaces, and using the geometry of these surfaces, we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we show how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus $g=\frac{n-1}{2}$ and the moduli space of Humbert-Edge curves of type $n\geq 5$ where $n$ is an odd number.

This paper is devoted to the study of generalized tilting theory of functor categories in different levels. First, we extend Miyashita’s proof (Math Z 193:113–146,1986) of the generalized Brenner–Butler theorem to arbitrary functor categories $\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C})$ with $\mathcal{C}$ an annuli variety. Second, a hereditary and complete cotorsion pair generated by a generalized tilting subcategory $\mathcal{T}$ of $\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C})$ is constructed. Some applications of these two results include the equivalence of Grothendieck groups $K_0(\mathcal{C})$ and $K_0(\mathcal{T})$, the existences of a new abelian model structure on the category of complexes $\mathop{\textrm{C}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C}))$, and a t-structure on the derived category $\mathop{\textrm{D}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C}))$.