Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFinding conjugate stabilizer subgroups in PSL(2; q) and related groups
77
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We reduce a case of the hidden subgroup problem (HSP) in SL(2; q), PSL(2; q), and PGL(2; q), three related families of finite groups of Lie type, to efficiently solvable HSPs in the affine group AGL(1; q). These groups act on projective space in an almost 3-transitive way, and we use this fact in each group to distinguish conjugates of its Borel (upper triangular) subgroup, which is also the stabilizer subgroup of an element of projective space. Our observation is mainly group-theoretic, and as such breaks little new ground in quantum algorithms. Nonetheless, these appear to be the first positive results on the HSP in finite simple groups such as PSL(2; q).
rate research
Read More
In this paper, we prove a combination theorem for indicable subgroups of infinite-type (or big) mapping class groups. Importantly, all subgroups from the combination theorem, as well as those from the other results of the paper, can be constructed so that they do not lie in the closure of the compactly supported mapping class group and do not lie in the isometry group for any hyperbolic metric on the relevant infinite-type surface. Along the way, we prove an embedding theorem for indicable subgroups of mapping class groups, a corollary of which gives embeddings of pure big mapping class groups into other big mapping class groups that are not induced by embeddings of the underlying surfaces. We also give new constructions of free groups, wreath products with $mathbb Z$, and Baumslag-Solitar groups in big mapping class groups that can be used as an input for the combination theorem. One application of our combination theorem is a new construction of right-angled Artin groups in big mapping class groups.
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ variables of degree $N_1$ in $x_f$ and of degree $N_2$ in their complex conjugates $overline{x_f}$. In particular, we show that the dimension of this space is $2$, for $(N_1,N_2)=(5,5)$. This solves the Conjecture 2 given in Zhu, Kueng, Grassl and Gross affirmatively. In other words if an orbit of the complex Clifford group is a projective $4$-design, then it is automatically a projective $5$-design.
We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an intersecting family if for any $g_1,g_2 in S$, there exists an element $xin PG(1,q)$ such that $x^{g_1}= x^{g_2}$. It is known that the maximum size of an intersecting family in $PSL(2,q)$ is $q(q-1)/2$. We prove that all intersecting families of maximum size are cosets of point stabilizers for all odd prime powers $q>3$.
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $pi_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed normal subgroups $N$ of $pi_1(C)$. In Normal subgroups of fundamental groups of affine curves in positive characteristic we proved the same result under the additional hypothesis that $k$ had countable cardinality.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
