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.

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).

In this paper, we prove that the lower triangular matrix category $\Lambda =\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are $\textrm{Hom}$-finite, Krull–Schmidt $K$-quasi-hereditary categories and $M$ is an $\mathcal{U}\otimes _K \mathcal{T}^{op}$-module that satisfies suitable conditions, is quasi-hereditary. This result generalizes the work of B. Zhu in his study on triangular matrix algebras over quasi-hereditary algebras. Moreover, we obtain a characterization of the category of the $_\Lambda \Delta$-filtered $\Lambda$-modules.

In a 4-manifold, the composition of a Riemannian Einstein metric with an almost paracomplex structure that is isometric and parallel defines a neutral metric that is conformally flat and scalar flat. In this paper, we study hypersurfaces that are null with respect to this neutral metric, and in particular we study their geometric properties with respect to the Einstein metric. Firstly, we show that all totally geodesic null hypersurfaces are scalar flat and their existence implies that the Einstein metric in the ambient manifold must be Ricci-flat. Then, we find a necessary condition for the existence of null hypersurface with equal nontrivial principal curvatures, and finally, we give a necessary condition on the ambient scalar curvature, for the existence of null (non-minimal) hypersurfaces that are of constant mean curvature.

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.

The algebraic mapping torus $M_{\Phi }$ of a group $G$ with an automorphism $\Phi$ is the HNN-extension of $G$ in which conjugation by the stable letter performs $\Phi$. We classify the Dehn functions of $M_{\Phi }$ in terms of $\Phi$ for a number of right-angled Artin groups (RAAGs) $G$, including all $3$-generator RAAGs and $F_k \times F_l$ for all $k,l \geq 2$.

In this paper, we investigate the structure of certain solutions of the fully nonlinear Yamabe flow, which we call almost quotient Yamabe solitons as they extend quite naturally those already called quotient Yamabe solitons. We present sufficient conditions for a compact almost quotient Yamabe soliton to be either trivial or isometric with an Euclidean sphere. We also characterize noncompact almost gradient quotient Yamabe solitons satisfying certain conditions on both its Ricci tensor and potential function.

Let $f\;:\; M\rightarrow \mathbb{C}P^{2}$ be an isometric immersion of a compact surface in the complex projective plane $\mathbb{C}P^{2}$. In this paper, we consider the Helfrich-type functional $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)=\int _{M}(|H|^{2}+\lambda _{1}+\lambda _{2} C^{2})\textrm{d} M$, where $\lambda _{1}, \lambda _{2}\in \mathbb{R}$ with $\lambda _{1}\geqslant 0$, $H$ and $C$ are respectively the mean curvature vector and the Kähler function of $M$ in $\mathbb{C}P^{2}$. The critical surfaces of $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)$ are called Helfrich surfaces. We compute the first variation of $\mathcal{H}_{\lambda _{1},\lambda _{2}}(f)$ and classify the homogeneous Helfrich tori in $\mathbb{C}P^{2}$. Moreover, we study the Helfrich energy of the homogeneous tori and show the lower bound of the Helfrich energy for such tori.

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 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$.

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.

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]$.

In this paper, we prove Kato’s main conjecture for $CM$ modular forms for primes of potentially ordinary reduction under certain hypotheses on the modular form.

In this paper, we express the reduction types of Picard curves in terms of tropical invariants associated with binary quintics. We also give a general framework for tropical invariants associated with group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne–Mumford compactification $\overline{M}_{0,n}$.

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.

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.

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)$.

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.

In this paper, we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya–Celikbas and Araya–Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings.

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.