-
A Sylvester equation approach for the computation of zero-group-velocity points in waveguides
Authors:
Bor Plestenjak,
Daniel A. Kiefer,
Hauke Gravenkamp
Abstract:
Eigenvalues of parameter-dependent quadratic eigenvalue problems form eigencurves. The critical points on these curves, where the derivative vanishes, are of practical interest.
A particular example is found in the dispersion curves of elastic waveguides, where such points are called zero-group-velocity (ZGV) points. Recently, it was revealed that the problem of computing ZGV points can be model…
▽ More
Eigenvalues of parameter-dependent quadratic eigenvalue problems form eigencurves. The critical points on these curves, where the derivative vanishes, are of practical interest.
A particular example is found in the dispersion curves of elastic waveguides, where such points are called zero-group-velocity (ZGV) points. Recently, it was revealed that the problem of computing ZGV points can be modeled as a multiparameter eigenvalue problem (MEP), and several numerical methods were devised. Due to their complexity, these methods are feasible only for problems involving small matrices. In this paper, we improve the efficiency of these methods by exploiting the link to the Sylvester equation. This approach enables the computation of ZGV points for problems with much larger matrices, such as multi-layered plates and three-dimensional structures of complex cross-sections.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Computation of leaky waves in layered structures coupled to unbounded media by exploiting multiparameter eigenvalue problems
Authors:
Hauke Gravenkamp,
Bor Plestenjak,
Daniel A. Kiefer,
Elias Jarlebring
Abstract:
We present a semi-analytical approach to compute quasi-guided elastic wave modes in horizontally layered structures radiating into unbounded fluid or solid media. This problem is of relevance, e.g., for the simulation of guided ultrasound in embedded plate structures or seismic waves in soil layers over an elastic half-space. We employ a semi-analytical formulation to describe the layers, thus dis…
▽ More
We present a semi-analytical approach to compute quasi-guided elastic wave modes in horizontally layered structures radiating into unbounded fluid or solid media. This problem is of relevance, e.g., for the simulation of guided ultrasound in embedded plate structures or seismic waves in soil layers over an elastic half-space. We employ a semi-analytical formulation to describe the layers, thus discretizing the thickness direction by means of finite elements. For a free layer, this technique leads to a well-known quadratic eigenvalue problem for the mode shapes and corresponding horizontal wavenumbers. Rigorously incorporating the coupling conditions to account for the adjacent half-spaces gives rise to additional terms that are nonlinear in the wavenumber. We show that the resulting nonlinear eigenvalue problem can be cast in the form of a multiparameter eigenvalue problem whose solutions represent the wave numbers in the plate and in the half-spaces. The multiparameter eigenvalue problem is solved numerically using recently developed algorithms.
△ Less
Submitted 18 January, 2024;
originally announced April 2024.
-
Gruenberg-Kegel graphs: cut groups, rational groups and the Prime Graph Question
Authors:
Andreas Bächle,
Ann Kiefer,
Sugandha Maheshwary,
Ángel del Río
Abstract:
The Gruenberg-Kegel graph of a group is the undirected graph whose vertices are those primes which occur as the order of an element of the group, and distinct vertices $p$, $q$ are joined by an edge whenever the group has an element of order $pq$. It reflects interesting properties of the group. A group is said to be cut if the central units of its integral group ring are trivial. This is a rich f…
▽ More
The Gruenberg-Kegel graph of a group is the undirected graph whose vertices are those primes which occur as the order of an element of the group, and distinct vertices $p$, $q$ are joined by an edge whenever the group has an element of order $pq$. It reflects interesting properties of the group. A group is said to be cut if the central units of its integral group ring are trivial. This is a rich family of groups, which contains the well studied class of rational groups, and has received attention recently. In the first part of this paper we give a complete classification of the Gruenberg-Kegel graphs of finite solvable cut groups which have at most three elements in their prime spectrum. For the remaining cases of finite solvable cut groups, we strongly restrict the list of the possible Gruenberg-Kegel graphs and realize most of them by finite solvable cut groups. Likewise, we give a list of the possible Gruenberg-Kegel graphs of finite solvable rational groups and realize as such all but one of them. As an application, we completely classify the Gruenberg-Kegel graphs of metacyclic, metabelian, supersolvable, metanilpotent and $2$-Frobenius groups for the classes of cut groups and rational groups, respectively. The Prime Graph Question asks whether the Gruenberg-Kegel graph of a group coincides with that of the group of normalized units of its integral group ring. The recent appearance of a counter-example for the First Zassenhaus Conjecture on the torsion units of integral group rings has highlighted the relevance of this question. We answer the Prime Graph Question for integral group rings for finite rational groups and most finite cut groups.
△ Less
Submitted 27 September, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
-
A dichotomy for integral group rings via higher modular groups as amalgamated products
Authors:
Andreas Bächle,
Geoffrey Janssens,
Eric Jespers,
Ann Kiefer,
Doryan Temmerman
Abstract:
We show that $\mathcal{U}(\mathbb{Z}G)$, the unit group of the integral group ring $\mathbb{Z} G$, either satisfies Kazhdan's property (T) or is, up to commensurability, a non-trivial amalgamated product, in case $G$ is a finite group satisfying some mild conditions. Crucial in the proof is the construction of amalgamated decompositions of the elementary group $\operatorname{E}_2(\mathcal{O})$, wh…
▽ More
We show that $\mathcal{U}(\mathbb{Z}G)$, the unit group of the integral group ring $\mathbb{Z} G$, either satisfies Kazhdan's property (T) or is, up to commensurability, a non-trivial amalgamated product, in case $G$ is a finite group satisfying some mild conditions. Crucial in the proof is the construction of amalgamated decompositions of the elementary group $\operatorname{E}_2(\mathcal{O})$, where $\mathcal{O}$ is an order in a rational division algebra. A major step is to introduce subgroups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ inside the so-called higher modular groups $\operatorname{SL}_+(Γ_n(\mathbb{Z}))$, which are discrete subgroups of certain $2 \times 2$ matrix groups with entries in a Clifford algebra. The groups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ mimic the elementary groups in linear groups over rings. We prove that $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ has in general a non-trivial decomposition as a free product with amalgamated subgroup $\operatorname{E}_2(Γ_{n-1}(\mathbb{Z}))$. From this we obtain that also the higher modular groups do have a very clearly structured amalgam decompositions in low dimensions.
△ Less
Submitted 25 March, 2020; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Abelianization and fixed point properties of units in integral group rings
Authors:
Andreas Bächle,
Geoffrey Janssens,
Eric Jespers,
Ann Kiefer,
Doryan Temmerman
Abstract:
Let $G$ be a finite group and $\mathcal{U} (\mathbb{Z} G)$ the unit group of the integral group ring $\mathbb{Z} G$. We prove a unit theorem, namely a characterization of when $\mathcal{U}(\mathbb{Z}G)$ satisfies Kazhdan's property $(\operatorname{T})$, both in terms of the finite group $G$ and in terms of the simple components of the semisimple algebra $\mathbb{Q}G$. Furthermore, it is shown that…
▽ More
Let $G$ be a finite group and $\mathcal{U} (\mathbb{Z} G)$ the unit group of the integral group ring $\mathbb{Z} G$. We prove a unit theorem, namely a characterization of when $\mathcal{U}(\mathbb{Z}G)$ satisfies Kazhdan's property $(\operatorname{T})$, both in terms of the finite group $G$ and in terms of the simple components of the semisimple algebra $\mathbb{Q}G$. Furthermore, it is shown that for $\mathcal{U}( \mathbb{Z} G)$ this property is equivalent to the weaker property $\operatorname{FAb}$ (i.e. every subgroup of finite index has finite abelianization), and in particular also to a hereditary version of Serre's property $\operatorname{FA}$, denoted $\operatorname{HFA}$. More precisely, it is described when all subgroups of finite index in $\mathcal{U} (\mathbb{Z} G)$ have both finite abelianization and are not a non-trivial amalgamated product. A crucial step for this is a reduction to arithmetic groups $\operatorname{SL}_n(\mathcal{O})$, where $\mathcal{O}$ is an order in a finite dimensional semisimple $\mathbb{Q}$-algebra $D$, and finite groups $G$ which have the so-called cut property. For such groups $G$ we describe the simple epimorphic images of $\mathbb{Q} G$. The proof of the unit theorem fundamentally relies on fixed point properties and the abelianization of the elementary subgroups $\operatorname{E}_n(D)$ of $\operatorname{SL}_n(D)$. These groups are well understood except in the degenerate case of lower rank, i.e.\ for $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ an order in a division algebra $D$ with a finite number of units. In this setting we determine Serre's property \FA for $\operatorname{E}_2(\mathcal{O})$ and its subgroups of finite index. We construct a generic and computable exact sequence describing its abelianization, affording a closed formula for its $\mathbb{Z}$-rank.
△ Less
Submitted 22 January, 2021; v1 submitted 29 November, 2018;
originally announced November 2018.
-
On Units in Orders in 2-by-2 Matrices over Quaternion Algebras with Rational Center
Authors:
Ann Kiefer
Abstract:
We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and $3$, to hyperbolic space of higher dimensions using Clifford algebras.
We hence get an algorithm which gives a finite set of generators of finite index subgroup…
▽ More
We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and $3$, to hyperbolic space of higher dimensions using Clifford algebras.
We hence get an algorithm which gives a finite set of generators of finite index subgroups of a discrete subgroup of Vahlen's group, i.e. a group of $2$-by-$2$ matrices with entries in the Clifford algebra satisfying certain conditions.
The motivation comes from units in integral group rings and this new algorithm allows to handle unit groups of orders in $2$-by-$2$ matrices over rational quaternion algebras. The rings investigated are part of the so-called exceptional components of a rational group algebra.
△ Less
Submitted 31 January, 2020; v1 submitted 27 September, 2016;
originally announced September 2016.
-
Presentations of Groups Acting Discontinuously on Direct Products of Hyperbolic Spaces
Authors:
Eric Jespers,
Ann Kiefer,
Ángel del Río
Abstract:
The problem of describing the group of units $\mathcal{U}(\mathbb{Z} G)$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$ has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order $\mathcal{O}$ in the simple epimorphic images $A$ of…
▽ More
The problem of describing the group of units $\mathcal{U}(\mathbb{Z} G)$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$ has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order $\mathcal{O}$ in the simple epimorphic images $A$ of the rational group algebra $\mathbb{Q} G$. Making use of the presentation part of Poincaré's Polyhedron Theorem, Pita, del Río and Ruiz proposed such a method for a large family of finite groups $G$ and consequently Jespers, Pita, del Río, Ruiz and Zalesskii described the structure of $\mathcal{U}(\mathbb{Z} G)$ for a large family of finite groups $G$. In order to handle many more groups, one would like to extend Poincaré's Method to discontinuous subgroups of the group of isometries of a direct product of hyperbolic spaces. If the algebra $A$ has degree 2 then via the Galois embeddings of the centre of the algebra $A$ one considers the group of reduced norm one elements of the order $Ø$ as such a group and thus one would obtain a solution to the mentioned problem. This would provide presentations of the unit group of orders in the simple components of degree 2 of $\mathbb{Q} G$ and in particular describe the unit group of $\mathbb{Z} G$ for every group $G$ with irreducible character degrees less than or equal to 2. The aim of this paper is to initiate this approach by executing this method on the Hilbert modular group, i.e. the projective linear group of degree two over the ring of integers in a real quadratic extension of the rationals. This group acts discontinuously on a direct product of two hyperbolic spaces of dimension two. The fundamental domain constructed is an analogue of the Ford domain of a Fuchsian or a Kleinian group.
△ Less
Submitted 29 April, 2015;
originally announced April 2015.
-
Revisiting Poincaré's Theorem on presentations of discontinuous groups via fundamental polyhedra
Authors:
Eric Jespers,
Ann Kiefer,
Ángel del Río
Abstract:
We give a new self-contained proof of Poincaré's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only makes use of basic geometric concepts. In a sense one hence obtains a proof that is of a more constructive nature than most known proofs.
We give a new self-contained proof of Poincaré's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only makes use of basic geometric concepts. In a sense one hence obtains a proof that is of a more constructive nature than most known proofs.
△ Less
Submitted 29 April, 2015;
originally announced April 2015.
-
Dirichlet-Ford domains and Double Dirichlet domains
Authors:
Eric Jespers,
Stanley Orlando Juriaans,
Ann Kiefer,
Antonio Calixto Souza Filho,
Antonio De Andrade E. Silva
Abstract:
We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for t…
▽ More
We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$- and $3$-space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for the bisectors defining the Dirichlet domain of center $i \in \HQ^2$ or center $j \in \HQ^3$, we obtain a simple condition on the matrix entries of the side-pairing transformations of the fundamental domain of a Fuchsian or Kleinian group to be a DF-domain. Using the same methods, we also complement a result of Lakeland stating that a cofinite Fuchsian group has a DF domain (or a Dirichlet domain with multiple centers) if and only if it is an index $2$ subgroup of the discrete group G of reflections in a hyperbolic polygon.
△ Less
Submitted 21 June, 2016; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Describing units of integral group rings up to commensurability
Authors:
Florian Eisele,
Ann Kiefer,
Inneke Van Gelder
Abstract:
We restrict the type of $2 \times 2$-matrices which can occur as simple components in the Wedderburn decomposition of the rational group algebra of a finite group. This results in a description up to commensurability of the group of units of the integral group ring $\mathbb Z G$ for all finite groups $G$ that do not have a non-commutative Frobenius complement as a quotient.
We restrict the type of $2 \times 2$-matrices which can occur as simple components in the Wedderburn decomposition of the rational group algebra of a finite group. This results in a description up to commensurability of the group of units of the integral group ring $\mathbb Z G$ for all finite groups $G$ that do not have a non-commutative Frobenius complement as a quotient.
△ Less
Submitted 17 September, 2014; v1 submitted 30 January, 2014;
originally announced January 2014.
-
From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups
Authors:
Eric Jespers,
Stanley Orlando Juriaans,
Ann Kiefer,
Antonio de Andrade e Silva,
Anotnio Calixto Souza Filho
Abstract:
We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre…
▽ More
We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\mathbb{Q}$. The main difficulty is to deal with orders in quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space $\mathbb{H}^3$ (respectively hyperbolic two space $\mathbb{H}^2$) for a discrete subgroup of ${\rm PSL}_2(\mathbb{C})$ (respectively ${\rm PSL}_2(\mathbb{R})$) of finite covolume. Our results on group rings are a continuation of earlier work of Ritter and Sehgal, Jespers and Leal.
△ Less
Submitted 27 October, 2013;
originally announced October 2013.
-
Poincaré Bisectors in Hyperbolic Spaces
Authors:
Eric Jespers,
Stanley Orlando Juriaans,
Ann Kiefer,
Antonio Calixto de Souza Filho,
Antonio De Andrade E Silva
Abstract:
We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups,…
▽ More
We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups, and for the construction of a finite set of generators of the unit group of the integral group ring of a finite nilpotent group. An easy implementable algorithm, DAFC, is also given and used in the search for generators of discrete groups.
△ Less
Submitted 25 November, 2014; v1 submitted 5 May, 2012;
originally announced May 2012.
