p-Groups with few conjugacy classes of normalizers

For a group $G$ , denote by $\omega (G)$ the number of conjugacy classes of normalizers of subgroups of $G$ . Clearly, $\omega (G)=1$ if and only if $G$ is a Dedekind group. Hence if $G$ is a 2-group, then $G$ is nilpotent of class $\le 2$ and if $G$ is a $p$ -group, $p>2$ , then $G$ is abelian. We prove a generalization of this. Let $G$ be a finite $p$ -group with $\omega (G)\le p+1$ . If $p=2$ , then $G$ is of class $\le 3$ ; if $p>2$ , then $G$ is of class $\le 2$ .     

Hyper-(rank one) groups

A group $G$ is called a $\mathcal{P }_1$ -group if it has a normal series of finite length whose factors have rank $1$ , while $G$ is an $\mathcal{H }_1$ -group if it has an ascending normal series of the same type. This paper investigates properties of $\mathcal{P }_1$ -groups and $\mathcal{H }_1$ -groups which correspond to known properties of nilpotent and supersoluble groups.     

Parabolic contractions of semisimple Lie algebras and their invariants

Let $G$ be a connected semisimple algebraic group with Lie algebra $\mathfrak{g }$ and $P$ a parabolic subgroup of $G$ with $\mathrm{Lie\, }P=\mathfrak{p }$ . The parabolic contraction $\mathfrak{q }$ of $\mathfrak{g }$ is the semi-direct product of $\mathfrak{p }$ and a $\mathfrak{p }$ -module $\mathfrak{g }/\mathfrak{p }$ regarded as an abelian ideal. We are interested in the polynomial invariants of the adjoint and coadjoint representations of $\mathfrak{q }$ . In the adjoint case, the algebra of invariants is easily described and it turns out to be a graded polynomial algebra. The coadjoint case is more complicated. Here we found a connection between symmetric invariants of $\mathfrak{q }$ and symmetric invariants of centralisers $\mathfrak{g }_e\subset \mathfrak{g }$ , where $e\in \mathfrak{g }$ is a Richardson element with polarisation $\mathfrak{p }$ . Using this connection and results of Panyushev et al. (J Algebra 313:343–391, 2007), we prove that the algebra of symmetric invariants of $\mathfrak{q }$ is free for all parabolic subalgebras in types $\mathbf A$ and $\mathbf C$ and some parabolics in type $\mathbf B$ . This technique also applies to the minimal parabolic subalgebras in all types. For $\mathfrak{p }=\mathfrak{b }$ , a Borel subalgebra of $\mathfrak{g }$ , one gets a contraction of $\mathfrak{g }$ recently introduced by Feigin (Selecta Math 18:513–537, 2012) and studied from invariant-theoretic point of view in our previous paper (Panyushev and Yakimova in Ann Inst Fourier 62(6):2053–2068, 2012).     

Finite groups all of whose second maximal subgroups are {\mathcal{H }}_p-groups

Let $G$ be a finite group. A subgroup $H$ of $G$ is called an $\mathcal{H }$ -subgroup of $G$ if $N_G(H)\cap H^g\le H$ for all $g\in G$ . A group $G$ is said to be an ${\mathcal{H }}_p$ -group if every cyclic subgroup of $G$ of prime order or order 4 is an $\mathcal{H }$ -subgroup of $G$ . In this paper, the structure of a finite group all of whose second maximal subgroups are ${\mathcal{H }}_p$ -subgroups has been characterized.     

Modular categories associated with unipotent groups

Let $G$ be a unipotent algebraic group over an algebraically closed field $\mathtt{k }$ of characteristic $p>0$ and let $l\ne p$ be another prime. Let $e$ be a minimal idempotent in $\mathcal{D }_G(G)$ , the $\overline{\mathbb{Q }}_l$ -linear triangulated braided monoidal category of $G$ -equivariant (for the conjugation action) $\overline{\mathbb{Q }}_l$ -complexes on $G$ under convolution (with compact support) of complexes. Then, by a construction due to Boyarchenko and Drinfeld, we can associate to $G$ and $e$ a modular category $\mathcal{M }_{G,e}$ . In this paper, we prove that the modular categories that arise in this way from unipotent groups are precisely those in the class $\mathfrak{C }_p^{\pm }$ .     

Weak quadratic overgroups for a class of Lie groups

Let $G$ be a connected and simply connected Lie group with Lie algebra $\mathfrak g $ . We say that a subset $X$ in the set $\mathfrak g ^\star / G$ of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in $X$ . In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup $G^+$ and a quadratic map $\varphi $ sending each generic orbit in $\mathfrak g ^\star $ to a $G^+$ -orbit in $\mathfrak{g ^+}^\star $ , in such a manner that the set $\varphi (\mathfrak g ^\star _{gen}){/ G^+}$ is convex hull separable. We then call $G^+$ a weak quadratic overgroup for $G$ . Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.     

A ramification theorem for the ratio of canonical forms of flat surfaces in hyperbolic three-space

A group $G$ is said to be periodic if for every $g\in G$ there exists a positive integer $n$ with $g^n=\mathrm{Id}$ . We prove that a finitely generated periodic group of homeomorphisms on the 2-torus that preserves a probability measure $\mu $ is finite. Moreover if the group consists of homeomorphisms isotopic to the identity, then it is abelian and acts freely on $\mathbb{T }^2$ . In the Appendix, we show that every finitely generated 2-group of toral homeomorphisms is finite.     

Chromatic Gallai identities operating on Lovász number

If $G$ is a triangle-free graph, then two Gallai identities can be written as $\alpha (G)+\overline{\chi }(L(G))=|V(G)|=\alpha (L(G))+\overline{\chi }(G)$ , where $\alpha $ and $\overline{\chi }$ denote the stability number and the clique-partition number, and $L(G)$ is the line graph of  $G$ . We show that, surprisingly, both equalities can be preserved for any graph $G$ by deleting the edges of the line graph corresponding to simplicial pairs of adjacent arcs, according to any acyclic orientation of  $G$ . As a consequence, one obtains an operator $\Phi $ which associates to any graph parameter $\beta $ such that $\alpha (G) \le \beta (G) \le \overline{\chi }(G)$ for all graph $G$ , a graph parameter $\Phi _\beta $ such that $\alpha (G) \le \Phi _\beta (G) \le \overline{\chi }(G)$ for all graph $G$ . We prove that $\vartheta (G) \le \Phi _\vartheta (G)$ and that $\Phi _{\overline{\chi }_f}(G)\le \overline{\chi }_f(G)$ for all graph  $G$ , where $\vartheta $ is Lovász theta function and $\overline{\chi }_f$ is the fractional clique-partition number. Moreover, $\overline{\chi }_f(G) \le \Phi _\vartheta (G)$ for triangle-free $G$ . Comparing to the previous strengthenings $\Psi _\vartheta $ and $\vartheta ^{+ \triangle }$ of $\vartheta $ , numerical experiments show that $\Phi _\vartheta $ is a significant better lower bound for $\overline{\chi }$ than $\vartheta $ .     

Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.     

Graphs, partitions and classes of groups

If ${\mathfrak X}$ is a class of groups, Delizia et?al. (Bull Austral Math Soc 75:313–320, 2007) call a group G ${\mathfrak X}$ -transitive (or an ${\mathfrak XT}$ -group) if whenever ${\langle a,b\rangle}$ and ${\langle b,c\rangle}$ are in ${\mathfrak X} \langle a,c\rangle$ is also in ${\mathfrak X}$ ( ${a,b,c\in G}$ ). The structure of ${\mathfrak XT}$ -groups has been investigated for a number of classes of groups, by Delizia, Moravec and Nicotera and others. A graph can be associated with a group in many ways. Delizia, Moravec and Nicotera introduce a graph which is a generalisation of the commuting graph of a group, but do not make use of the graph. We will use the properties of the graph to investigate further classes of groups and to obtain more detailed structural information.     

On the signed star domination number of regular multigraphs

Let $G$ be a graph with the vertex set $V(G)$ and the edge set $E(G)$ . A function $f: E(G)\longrightarrow \{-1, 1\}$ is said to be a signed star dominating function of $G$ if $\sum _{e \in E_G(v)}f (e)\ge 1 $ , for every $v \in V(G)$ , where $E_G(v) = \{uv\in E(G)\,|\,u \in V (G)\}$ . The minimum values of $\sum _{e \in E_G(v)}f (e)$ , taken over all signed star dominating functions $f$ on $G$ , is called the signed star domination number of $G$ and denoted by $\gamma _{SS}(G)$ . In this paper we determine the signed star domination number of regular multigraphs.     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

A Construction of Generalized Harish-Chandra Modules for Locally Reductive Lie Algebras

We study cohomological induction for a pair $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ , $ \mathfrak{g} $ being an infinitedimensional locally reductive Lie algebra and $ \mathfrak{k} \subset \mathfrak{g} $ being of the form $ \mathfrak{k}_{0} \subset C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ , where $ \mathfrak{k}_{0} \subset \mathfrak{g} $ is a finite-dimensional reductive in $ \mathfrak{g} $ subalgebra and $ C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ is the centralizer of $ \mathfrak{k}_{0} $ in $ \mathfrak{g} $ . We prove a general nonvanishing and $ \mathfrak{k} $ -finiteness theorem for the output. This yields, in particular, simple $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ -modules of finite type over k which are analogs of the fundamental series of generalized Harish-Chandra modules constructed in [PZ1] and [PZ2]. We study explicit versions of the construction when $ \mathfrak{g} $ is a root-reductive or diagonal locally simple Lie algebra.     

\mathfrak D -parallelism of normal and structure Jacobi operators for hypersurfaces in complex two-plane Grassmannians

In this paper, we give non-existence theorems for Hopf hypersurfaces in complex two-plane Grassmannians $G_2(\mathbb{C }^{m+2})$ with $\mathfrak D $ -parallel normal Jacobi operator ${\bar{R}}_N$ and $\mathfrak D $ -parallel structure Jacobi operator $R_{\xi }$ if the distribution $\mathfrak D $ or $\mathfrak D ^{\bot }$ component of the Reeb vector field is invariant by the shape operator, respectively.     

Generalized normal homogeneous Riemannian metrics on spheres and projective spaces

In this paper, we develop new methods to study generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres ${S^n}$ . We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$ , the family of $G$ -invariant Riemannian metrics on $S^n$ contains generalized normal homogeneous but not normal homogeneous metrics if and only if this family depends on more than one parameters and $n\ge 5$ . Any such family (that exists only for $n=2k+1$ ) contains a metric $g_\mathrm{can}$ of constant sectional curvature $1$ on $S^n$ . We also prove that $(S^{2k+1}, g_\mathrm{can})$ is Clifford–Wolf homogeneous, and therefore generalized normal homogeneous, with respect to $G$ (except the groups $G={ SU}(k+1)$ with odd $k+1$ ). The space of unit Killing vector fields on $(S^{2k+1}, g_\mathrm{can})$ from Lie algebra $\mathfrak g $ of Lie group $G$ is described as some symmetric space (except the case $G=U(k+1)$ when one obtains the union of all complex Grassmannians in $\mathbb{C }^{k+1}$ ).     

Extending structures for Lie algebras

Let $\mathfrak{g }$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g }$ as a subspace. The paper is devoted to the extending structures problem which asks for the classification of all Lie algebra structures on $E$ such that $\mathfrak{g }$ is a Lie subalgebra of $E$ . A general product, called the unified product, is introduced as a tool for our approach. Let $V$ be a complement of $\mathfrak{g }$ in $E$ : the unified product $\mathfrak{g } \,\natural \, V$ is associated to a system $(\triangleleft , \, \triangleright , \, f, \{-, \, -\})$ consisting of two actions $\triangleleft $ and $\triangleright $ , a generalized cocycle $f$ and a twisted Jacobi bracket $\{-, \, -\}$ on $V$ . There exists a Lie algebra structure $[-,-]$ on $E$ containing $\mathfrak{g }$ as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras $(E, [-,-]) \cong \mathfrak{g } \,\natural \, V$ . All such Lie algebra structures on $E$ are classified by two cohomological type objects which are explicitly constructed. The first one $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ will classify all Lie algebra structures on $E$ up to an isomorphism that stabilizes $\mathfrak{g }$ while the second object $\mathcal{H }^{2} (V, \mathfrak{g })$ provides the classification from the view point of the extension problem. Several examples that compute both classifying objects $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ and $\mathcal{H }^{2} (V, \mathfrak{g })$ are worked out in detail in the case of flag extending structures.     

Varieties Generated by Wreath Products of Abelian Groups

This paper is a survey of our recent results concerning metabelian varieties, and more specifically, varieties generated by wreath products of Abelian groups. We give a full classification of cases where sets of wreath products of Abelian groups $ \mathfrak{X} $ Wr $ \mathfrak{Y} $ = { X Wr Y | X ∈ $ \mathfrak{X} $ , Y ∈ $ \mathfrak{Y} $ } and $ \mathfrak{X} $ wr $ \mathfrak{Y} $ = {X wr Y | X ∈ $ \mathfrak{X} $ , Y ∈ $ \mathfrak{Y} $ } generate the product variety $ \mathfrak{X} $ var ( $ \mathfrak{Y} $ ).     

On generalizing transitivity, persistence, and sensitivity

A subgroup property $\alpha $ is transitive in a group $G$ if $U \alpha V$ and $V \alpha G$ imply that $U \alpha G$ whenever $U \le V \le G$ , and $\alpha $ is persistent in $G$ if $U \alpha G$ implies that $U \alpha V$ whenever $U \le V \le G$ . Even though a subgroup property $\alpha $ may be neither transitive nor persistent, a given subgroup $U$ may have the property that each $\alpha $ -subgroup of $U$ is an $\alpha $ -subgroup of $G$ , or that each $\alpha $ -subgroup of $G$ in $U$ is an $\alpha $ -subgroup of $U$ . We call these subgroup properties $\alpha $ -transitivity and $\alpha $ -persistence, respectively. We introduce and develop the notions of $\alpha $ -transitivity and $\alpha $ -persistence, and we establish how the former property is related to $\alpha $ -sensitivity. In order to demonstrate how these concepts can be used, we apply the results to the cases in which $\alpha $ is replaced with “normal” and the “cover-avoidance property.” We also suggest ways in which the theory can be developed further.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .