arXiv research

Study pseudo-Kähler and hypersymplectic structures on semidirect products.

Geodesics and curvature of semidirect product groups with right invariant metrics are determined. In the special case of an isometric semidirect product, the curvature is shown to be the sum of the curvature of the two groups. A series of examples, like the magnetic extension of a group, are then considered.

We study the semidirect product of a Lie algebra with a representation up to homotopy and provide various examples coming from Courant algebroids, string Lie 2-algebras, and omni-Lie algebroids. In the end, we study the semidirect product of a Lie group with a representation up to homotopy and use it to give an integra…

Study maps in semidirect products of groups, proving Lipschitz properties without intrinsic dilations.

The Landau-Lifshitz equation is derived as the reduction of a geodesic flow on the group of maps into the rotation group. Passing the symmetries of spatial isotropy to the reduced space is an example of semidirect product reduction by stages.

We study the general geometrical structure of the coadjoint orbits of a semidirect product formed by a Lie group and a representation of this group on a vector space. The use of symplectic induction methods gives new insight into the structure of these orbits. In fact, each coadjoint orbit of such a group is obtained b…

The paper examines semidirect products of groups with Z and finds conditions for Z-structures and EZ-structures.

In this paper we prove existence of complete minimal surfaces in some metric semidirect products. These surfaces are similar to the doubly and singly periodic Scherk minimal surfaces in $\mathbb R^3$. In particular, we obtain these surfaces in the Heisenberg space with its canonical metric, and in Sol3 with a one-param…

The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we integrate such a Lie 2-algebra to a strict Lie 2-group in the finite dimensiona…

Compact groups with polynomial growth have specific embeddings.

New minimal surfaces found in a specific type of 3D space.

We prove that there exists a geometric bijection between the sets of adjoint and coadjoint orbits of a semidirect product, provided a similar bijection holds for particular subgroups. We also show that under certain conditions the homotopy types of any two orbits in bijection with each other are the same. We apply our …

Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended mapping class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show tha…

Study of pure mapping class groups on infinite graphs.

Let $S$ be a complex reductive group acting holomorphically on a complex Lie group $N$ via holomorphic automorphisms. Let $K(S)\subset S$ be a maximal compact subgroup. The semidirect product $G := N\rtimes K(S)$ acts on $N$ via biholomorphisms. We give an explicit description of the isomorphism classes of $G$-equivari…

We show that each of the Artin groups of type $B_n$ and $D_n$ can be presented as a semidirect product $F \rtimes {\cal B}_n$, where $F$ is a free group and ${\cal B}_n$ is the $n$-string braid group. We explain how these semidirect product structures arise quite naturally from fibrations, and observe that, in each cas…

This note classifies splittable lattices in a specific Lie group.

An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity …

Study of symmetries in deformed q-map spaces reveals a complex group structure.

In the present paper, we prove that the group $G_{n}^{2}$ of free $n$-strand braids is isomorphic to a subgroup of a semidirect product of some Coxeter group that we denote by $C(n,2)$ and the symmetric group $S_{n}$.

In this paper, we prove the Farrell-Jones Conjecture for the solvable Baumslag-Solitar groups with coefficients in an additive category. We also extend our results to groups of the form, Z[1/p] semidirect product with any virtually cyclic group, where p is a prime number.

Geometric derivation of quantum dynamics from Lie group actions.

The Garside group, as a generalization of braid groups and Artin groups of finite types, is defined as the group of fractions of a Garside monoid. We show that the semidirect product of Garside monoids is a Garside monoid. We use the semidirect product $\mathbb Z\ltimes G^n$ of the infinite cyclic group $\mathbb Z$ and…

Poly-free groups are constructed as iterated semidirect products of free groups. The class of poly-free groups includes the classical pure braid groups, fundamental groups of fiber-type hyperplane arrangements, and certain subgroups of the automorphism groups of free groups. The purpose of this article is to compute ce…

In this article we define the twisted product of groups as the generalization of the semidirect product of groups. We will find the necessary and sufficient condition in order that the twisted product of groups to be a group. In particular, for two copies of the same group, the twisted product of group by itself throug…

We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obta…

We prove that any regular Casimir in 3D magnetohydrodynamics is a function of the magnetic helicity and cross-helicity. In other words, these two helicities are the only independent regular integral invariants of the coadjoint action of the MHD group $\text{SDiff}(M)\ltimes\mathfrak X^*(M)$, which is the semidirect pro…

Study of discrete analogues of Atiyah sequence in principal bundles.

In this paper we examine the structure of Riemannian manifolds with a special kind of Codazzi tensors. We use them to construct globally hyperbolic Lorentzian manifolds with complete Cauchy hypersurfaces for any weakly irreducible holonomy representation with parallel spinors, i.e. with a holonomy group which is a semi…

Let G be an acylindrically hyperbolic group. We consider a random subgroup H in G, generated by a finite collection of independent random walks. We show that, with asymptotic probability one, such a random subgroup H of G is a free group, and the semidirect product of H acting on E(G) is hyperbolically embedded in G, w…

This paper considers control systems defined on Lie algebroids. After deriving basic controllability tests for general control systems, we specialize our discussion to the class of mechanical control systems on Lie algebroids. This class of systems includes mechanical systems subject to holonomic and nonholonomic const…

The paper proves limitations on actions of a specific group on spheres.

On the ambient space of a Lie group with a left invariant metric that is isometric and isomorphic to a semidirect product $\mathbb{R}^2\rtimes_A\mathbb{R}$, we consider a domain $Ω\subseteq \mathbb{R}^2\rtimes_A\{0\}$ and vertical $π$-graphs over $Ω$ and study the partial differential equation a function $u:Ω\rightarro…

Paper uses Long-Moody construction for new braid group representations.

We discover a new example of a generic rank 2-distribution on a 5-manifold with a 6-dimensional transitive symmetry algebra, which is not present in Cartan's classical five variables paper. It corresponds to the Monge equation z' = y + (y'')^(1/3) with invariant quartic having root type [4], and a 6-dimensional non-sol…

We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between Lie algebra actions on manifolds and transformation Lie algebroids. In particula…

We show that torsion-free four-dimensional $\mathrm{GL}(2)$-structures are flat up to a coframe transformation with a mapping taking values in a certain subgroup $H\subset\mathrm{SL}(4,\mathbb{R})$ which is isomorphic to a semidirect product of the three-dimensional continuous Heisenberg group $H_3(\mathbb{R})$ and the…

Investigates fluid flow perturbations using geometric theory.

Study of split Nakamura manifolds and their automorphisms.

We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} …

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degre…

Let $f\colon M\to N$ be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen showed that if $f$ induces a homology equivalence on all finite covers, then $f$ is in fact homotopic to a homeomorphism. Their proof used the statement that every graph manifold is fin…

Locally conformally product Lie algebras are characterized and constructed.

We study special functions on euclidean spaces from the viewpoint of riemannian symmetric spaces. Here the euclidean space $E^n = G/K$ where $G$ is the semidirect product $R^n \cdot K$ of the translation group with a closed subgroup $K$ of the orthogonal group O(n). We give exact parameterizations of the space of $(G,K…

Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that Gamma satisfies the unstable Gromov-Lawson-Rosenberg Conjecture. On the way we wi…

This paper proves all endomorphisms of framed little disk operad are automorphisms.

We investigate the algebraic structure of complex Lie groups equipped with left-invariant metrics which are expanding semi-algebraic solitons to the Hermitian curvature flow (HCF). We show that the Lie algebras of such Lie groups decompose in the semidirect product of a reductive Lie subalgebra with their nilradicals. …

We prove that the celebrated Itô's theorem for groups remains valid at the level of Leibniz algebras: if $\mathfrak{g}$ is a Leibniz algebra such that $\mathfrak{g} = A + B$, for two abelian subalgebras $A$ and $B$, then $\mathfrak{g}$ is metabelian, i.e. $[ \, [\mathfrak{g}, \, \mathfrak{g}], \, [ \mathfrak{g}, \, \ma…