Questions tagged [nilpotent-groups]
The nilpotent-groups tag has no usage guidance.
34 questions with no upvoted or accepted answers
26
votes
0
answers
1k
views
Is every $p$-group the $\mathbb{F}_p$-points of a unipotent group
Let $\Gamma$ be a finite group of order $p^n$. Is there necessarily a unipotent algebraic group $G$ of dimension $n$, defined over $\mathbb{F}_p$, with $\Gamma \cong G(\mathbb{F}_p)$?
I have no real ...
- 156k
11
votes
0
answers
252
views
Can the orbit with respect to a rotation on the torus hit an algebraic variety infinitely often?
Question: Does there exist a $d$-tuple $\alpha = (\alpha_1,\dots,\alpha_d) \in \mathbb{R}^d$ (with $1,\alpha_1, \dots,\alpha_d$ linearly independent over $\mathbb{Q}$) and an algebraic variety $V \...
- 1,914
9
votes
0
answers
439
views
(Torsion in) homology of free nilpotent groups
It is known that for free $k$-step nilpotent group on $r$ generators $N(r, k)$ its integral homology is torsion-free in degrees $\leq 3$ (obvious for 1 and 2, Igusa&Orr computations for 3). ...
- 4,600
8
votes
0
answers
1k
views
Computational complexity of multiplication in a nilpotent group?
What is the computational complexity of multiplication in a Carnot group ?
Background: A Carnot group is a real nilpotent Lie group $N$ whose Lie algebra $Lie(N)$ admits a direct sum decomposition
...
- 785
7
votes
0
answers
232
views
Growth of spheres in FINITE nilpotent groups - Gaussian approximation (central limit theorem)?
Standard setup. Consider a group and choose generators. Word-metric (or in the other words - distance on the Cayley graph of the group+generators) - converts a group into a metric space, which is ...
- 24.8k
7
votes
0
answers
435
views
Reconstructing a nilpotent Lie algebra from its cohomology with $A_{\infty}$-structure
Let $L$ be a nilpotent Lie algebra (over a field of char 0) and $CE^{\bullet}(L)$ be its Chevalley-Eilenberg dg-algebra. By homotopy transfer, there exists a structure of an $A_{\infty}$-algebra on ...
- 1,274
6
votes
0
answers
138
views
Equation in a nilpotent group
Let $G$ be a nilpotent group of class at most $r$
(that is, $\gamma^{r+1}G=1$).
Let elements $g_1,\dotsc,g_n\in G$ be fixed.
We are interested in the set $V\subseteq\mathbb Z^n$ of solutions $x=(x_1,\...
- 809
5
votes
0
answers
351
views
Adjoint identity on finite nilpotent groups
Let $G$ be a finite nilpotent group. Consider the following (adjoint) identity from [BuPa, Theorem 9.6]:
$$\left(\prod_{\chi \in \mathrm{Irr}(G)} \frac{\chi}{\chi(1)} \right)^2 =\frac{|Z(G)|}{|G|}\...
5
votes
0
answers
172
views
Finitely generated nilpotent groups with hyperbolic automorphisms
$\DeclareMathOperator\Out{Out}\DeclareMathOperator\GL{GL}$
Let $G$ be a finitely generated nilpotent group.
We call an automorphism of $G$ hyperbolic if the induced automorphism of the free part of ...
- 8,529
5
votes
0
answers
182
views
Finitely generated nilpotent groups as cusp groups
I recently learned about the following question, asked by I. Kapovich :
Is there an example of a group $G$ which is hyperbolic relative to some parabolic subgroups that are nilpotent of class $\geq 3$...
- 2,090
5
votes
0
answers
126
views
Regularity of polynomial growth of groups
Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies:
$$
A n^d \leq B_n \leq Bn^d
$$
for some constants $A$, $B$.
My question ...
- 2,449
4
votes
0
answers
209
views
A different approach to proving a property of finite solvable groups
Edit: I'd be happy to hear any vague thoughts you might have, however far they may be from a complete solution!
I asked this on math.stackexchange a couple of days ago, but it didn't attract any ...
- 1,433
4
votes
0
answers
133
views
Linear vs algebraic unipotent quotient stacks
Consider algebraic stacks of the form $\mathbb{C}^n/G$ where $G$ is a unipotent group satisfying either
Type 1: $G$ acts on $\mathbb{C}^n$ via affine linear transformations
Type 2: $G$ acts on $\...
- 3,752
4
votes
0
answers
140
views
Order problem in nilpotent groups
Let $G$ be a f.g. nilpotent group. I wanted to know if the order problem (given $g \in G$, deciding if there exists $n$ s.t. $g^n=e$) is decidable in $G$? In such a group, the word problem is ...
- 333
3
votes
0
answers
164
views
Semi-direct products and associated graded Lie algebras
Let $G$ and $H$ be groups and $G\ltimes H$ their semi-direct product given by $f\colon G\to \operatorname{Aut}(H)$ satisfying $f(g)=\operatorname{id}_H$ in $H/[H,H]\,$ for all $g\in G$. In this ...
- 985
3
votes
0
answers
61
views
Dilation of a Voronoi cell in a nilpotent Lie group
Let $N$ be a nilpotent Lie group equipped with some left-invariant metric $d$ and a family of dilations $\{\delta_t\}_{t \in \mathbb{R}_+}$. Suppose that there is a collection of points $\{x_i\} \...
- 556
3
votes
0
answers
93
views
About the nilpotency of a subgroup
Let $G$ be a compact group. Let $\mathcal N$ be a family of closed normal subgroups of nilpotency class at most $k$. Assume that $\mathcal N$ is closed under finite intersections and $\bigcap_{N\in\...
- 2,118
2
votes
0
answers
48
views
Homomorphism to a finite p-group/Lie ring Q: estimate on |Q|
Let $L$ be a finitely generated, torsion-free nilpotent group. Furthermore, assume it is also a Lie ring, i.e. a Lie algebra but over $\mathbb{Z}$. The correspondance between $L$ as a group and $L$ as ...
- 61
2
votes
0
answers
81
views
Lattice in a simply connected nilpotent Lie group
Given a connected and simply connected nilpotent Lie group $N$ with a left invariant metric, we assume that there is a lattice $\Gamma$ of $G$. Let $B_1(e)$ be the $1$-ball at the identity element in $...
- 21
2
votes
0
answers
134
views
Automorphisms of (nilpotent) groups : torsion cokernel on the abelianisation implies torsion cokernel on the center?
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\End{End}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Z{Z}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Span{Span}\DeclareMathOperator\ker{ker}\...
2
votes
0
answers
83
views
Euler class of extension of free nilpotent groups
Fix some $n \geq 2$. For $k \geq 1$, let $N_k$ be the free $k$-step nilpotent group on $n$ generators, i.e., the quotient of the free group $F_n$ by the $(k+1)^{\text{st}}$ term $\gamma_{k+1}(F_n)$ ...
- 21
2
votes
0
answers
127
views
Homeomorphism type of the horofunction boundary for nilpotent Lie groups
Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form
$$\beta_y(x)=d(x,y)-d(w,y).$$
The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...
- 2,090
2
votes
0
answers
74
views
The nilpotentizer of the Hirsch-Plotkin radical in a finitely generated poly-(locally nilpotent) group
Let $G$ be a radical group (a group having a normal series with locally nilpotent factors) and $H$ its Hirsch Plotkin racial (i.e the locally nilpotent radical of $G$). It is well known that $C_G(H)\...
- 287
2
votes
0
answers
74
views
Operators associated with unitary representations of nilpotent Lie group
Let $G$ be a nilpotent Lie Group, and $\pi:G\to B(\mathcal H)$ be an irreducible unitary representation on the Hilbert space $\mathcal H$. One can use the Bochner integral to define a linear map as ...
- 106
2
votes
0
answers
122
views
Extending a representation to a finite little group
I have a question related to Mackey theory applied to discrete nilpotent groups which are not torsion-free and are infinite.
Let us suppose that $G$ is a type I infinite discrete nilpotent group ...
- 81
1
vote
0
answers
71
views
Is center of connected nilpotent Lie group lattice hereditary?
This might be a stupid question, but I couldn't find a reference/explanation.
Let $G$ be a connected nilpotent Lie group, and $\Gamma$ a lattice in it.
If $Z$ is the center of $G$, is it true that $\...
- 143
1
vote
0
answers
132
views
Nilpotency of topological groups
A group $G$ is said to be nilpotent if $G$ has a central series of finite length, that is, a series of normal subgroups
$$
\{1\} = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_n = G
$$
...
- 901
1
vote
0
answers
46
views
Descending FC series
In analogy to the central series one can define a FC series as a sequence $A_i$ of normal subgroups such that
$$
\{1\} = A_0 \lhd A_1 \lhd A_2 \lhd \cdots \lhd A_n = G
$$
such that $A_{i+1}/ A_i$ is ...
- 4,422
1
vote
0
answers
150
views
Reference request for the list of nilpotent subgroups of SU(2)?
It's not hard to show that all non-abelian nilpotent subgroups of $SU(2)$ are actually finite and in fact are conjugate to one of the generalized quaternion groups of order a power of two, $$Q_{2^n} =...
- 5,299
1
vote
0
answers
166
views
Lower central series in a free pro-p group
Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$.
Is ...
- 11.3k
1
vote
0
answers
268
views
infranilmanifolds: harmonic forms parallel?
I am studying Lott's paper : "On the spectrum of a finite volume negatively-curved manifold" and the satement is following:
We have an compact infranilmanifold $N$ which is finitely covered by a ...
- 11
0
votes
0
answers
172
views
When does this commutative non-associative algebra have nilpotent elements?
Consider a non-associative commutative unital algebra of finite dimension where the product is defined by a Cayley table such that elements are generated with real number coefficients
$(a_0, \dotsc, ...
- 769
0
votes
0
answers
74
views
Estimate of the nilpotency class from the subgroup
Let $G$ be a nilpotent group and $H \vartriangleleft G$ a normal subgroup such that $[G:H] \le m$.
Assume $H$ has the nilpotency class $ \le n$. Can we show the nilpotency class of $G$ is bounded by a ...
- 2,535
0
votes
0
answers
233
views
A normal form theorem for presentations of finite $p$-groups of nilpotency class $2$?
When constructing examples of nonabelian finite $p$-groups with abelian automorphism group (and certain other desired properties), the authors of papers like http://arxiv.org/pdf/1304.1974v1.pdf leave ...
- 492