# Questions tagged [orthogonal-groups]

The tag has no usage guidance.

60 questions
Filter by
Sorted by
Tagged with
276 views

### Maximal subgroups of projective general linear group

$\newcommand{\sc}{\mathrm{sc}}$All the groups below are algebraic groups over an algebraically closed field, From Page $163$ of Malle and Testerman's book "Linear algebraic groups and finite ...
• 501
1 vote
252 views

### Subgroups of $\operatorname{PGL}_n$

As algebraic groups over an algebraically closed field $K$ of characteristic not $2$, $\operatorname{GO}_{2n}$ is a closed normal subgroup of the conformal orthogonal group $\operatorname{CO}_{2n}$. ...
• 501
1 vote
98 views

### Orthonormal matrices with columns that switch signs

Consider an orthonormal matrix $W\in\mathbb{R}^{2n\times 2n}$ that satisfies the "abs property" $$|w_i|^T |w_{i+n}|=1$$ for all $i \in \{1,2,\ldots,n\}$, where $w_i \in \mathbb{R}^{2n}$ is ...
• 13
151 views

### Probability distribution of vectors obtained from Gram-Schmidt process on i.i.d. Gaussian vectors

Given $N$ vectors in $K$ dimensions that are independently and identically distributed according to a Gaussian distribution with mean $0$ and standard deviation equal to an identity matrix, what is ...
• 29
316 views

• 886
55 views

### Does a transitive action of $O(L^{\#}/L)$ imply a transitive action of $O(L)$ on $L^{\#}/L$?

Given an even lattice $L$ the orthogonal group $O(L)$ acts on the discriminant group $L^{\#}/L$ as is known. Hence, for every $\gamma \in O(L)$ there is a $\overline{\gamma}\in O(L^{\#}/L)$ that acts ...
• 21
1 vote
175 views

### Is the group law for SO(2n, R) encoded in so(2n,R)?

Note that this is a partial duplicate of my math.stackexchange question here. In this post I am asking something slightly broader. Note that I am a mathematical physicist and not a representation ...
• 31
6k views

### Is SO(4) a subgroup of SU(3)?

$\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$I want to write a $3 \times 3$ complex-matrix representation of $\SO(4)$, for example, we know that $\SO(5)$ is a subgroup of $\SU(4)$, so we ...
• 341
295 views

### Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$

Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified. Is there any characterization of $\Gamma$ such that $\Gamma$...
• 1,351
509 views

### Finite subgroups of $O_n(\mathbb{Z})$ versus $O_n(\mathbb{Q})$

Are there any cases of finite subgroups of $O_n(\mathbb{Q})$ not contained in not isomorphic to any subgroup of $O_n(\mathbb{Z})$?
• 2,679
122 views

### What are the stable cohomology classes of the "orthogonal groups" of finite abelian groups?

Let $A$ be a finite abelian group, and equip it with a nondegenerate symmetric bilinear form $\langle,\rangle : A \times A \to \mathrm{U}(1)$. Then you can reasonably talk about the "orthogonal ...
• 52.7k
415 views

### Does $O(4,\mathbb{Q})$ have an exceptional outer automorphism?

Does the orthogonal group $O(4,\mathbb{Q})$ have an exceptional outer automorphism analogous to that of its subgroup, the Coxeter/Weyl group $W(F_4)$?
• 2,679
133 views

### Generators of the automorphism group of a quadratic form

Suppose that $q$ is an integral quadratic form, not necessarily unimodular or even non-degenerate, and write $O_q(\mathbb{Z})$ for its automorphism group. According to this question this group is ...
1 vote
163 views

### Classification of the group action

Let $G$ be a closed subgroup of $O(n)$ such that $\mathbb R^n/G$ is isometric to $\mathbb R^{n-2} \times \mathbb R_+$. Can we have a classification of $G$ up to conjugation?
• 1,351
400 views

### Grand tour of the special orthogonal group

Is there a continuous function $f:[0,+\infty) \to \operatorname{SO}(n)$ whose image is dense in $\operatorname{SO}(n)$ and that is well behaved in certain ways? For each $\varepsilon>0$ it doesn't ...
• 11.8k
315 views

### Generators of the orthogonal group of a quadratic form in odd dimension in characteristic 2

In characteristic not $2$, the Theorem of Cartan-Dieudonné states: [Grove, Theorem 6.6]: Let $q$ be a nondegenerate symmetric quadratic form of dimension $n$ in characteristic not $2$. Then every ...
• 168
966 views

### Is $O_n({\bf Q})$ dense in $O_n({\bf R})$?

I am wondering if the orthogonal group $O_n({\bf Q})$ is dense in $O_n({\bf R})$? It is easily checked for $n = 2$ but I think that there is a general principle concerning compact algebraic groups ...
• 18.5k
1 vote
207 views

### Motivation and reference for Brauer algebras

I am looking for a good reference and motivation for Brauer monoid and Brauer algebras. Kindly help me with some suggestions. Thanks.
• 113
1 vote
166 views

### Central extensions of orthogonal group by $C_2$

Suppose $(V,Q)$ is a quadratic space for definite quadratic form $Q$. It is stated in Pin groups that there are two central extensions of the orthogonal group $O(V)$ by the cyclic group $C_2$, ...
• 191
98 views

### Decomposition of the Schwartz space as a representation for the orthogonal group

The Schwartz space $\mathcal{S}(\mathbb{R}^n)$ is naturally a $O_n(\mathbb{R})$-representation. I'm assuming that this is a relatively well-behaved representation among the infinite-dimensional ones ...
• 9,529
1k views

• 18.5k
83 views

### Can we extend a function from the diagonal matrices to an orthogonally-invariant function on $\text{GL}_n$?

This is a cross-post. Let $g:(0,\infty)^n \to [0,\infty)$ be a symmetric function -i.e. $g(\sigma_1,\dots,\sigma_n)$ does not depend on the order of the $\sigma_i$, with $g(1,\dots,1)=0$. We ...
• 6,591
484 views

### Is every generator of $Z({\rm Spin}_n^{\epsilon}(q))$ a square element in ${\rm Spin}_n^{\epsilon}(q)$?

A. I wonder if every generator of $Z({\rm Spin}_n^{\epsilon}(q))$ is a square element in ${\rm Spin}_n^{\epsilon}(q)$? B. When $Z(\Omega_{2m}^{\epsilon}(q))\cong C_2$, is the unique element of order ...
• 261
267 views

### Parametrizing quotient of matrices by the orthogonal group

I am trying to parametrize the collection of $d\times m$ real matrices quotient $d\times d$ orthogonal matrices. Formally, define $\sim$ on $\mathbb{R}^{d\times m}$ by $X\sim Y$ if there exists an ...
• 461
560 views

• 6,591
213 views

### When does isometric projection respect multiplication?

Every $A \in \text{GL}_n(\mathbb{R})$ has a unique orthogonal polar factor $O_A=A(\sqrt{A^TA})^{-1}$, ( $A=O_AP_A$, $O \in \operatorname{O}_n, P \in \operatorname{Psym}_n$see Polar decomposition). ...
• 6,591
139 views

### Given finite $G\subset O(n)$, is there a "standard" cell structure on $S^{n-1}$ with $G$ acting cellularly?

Let $G\subset O(n)$ be a finite orthogonal group. Is there a regular CW-complex structure on $S^{n-1}$ on which $G$ acts cellularly which is in any sense "natural"? What I'm looking for is ...
• 2,831
134 views

### Solution of the Yang-Baxter equation associated to the $U_q[osp(2n+2|2m)^{(2)}]$ Lie superalgebra

I have a solution (a $R$ matrix) of the Yang-Baxter equation, $$R_{12}(x_{1})R_{13}(x_{1}x_{2})R_{23}(x_{2})=R_{23}(x_{2})R_{13}(x_{1}x_{2})R_{12}(x_{1})$$ that probably ...
444 views

381 views

### Homological stability for orthogonal groups

In Vogtmann's paper "Spherical posets and homological stability for $O_{n,n}$" it is shown that for all fields different than the field $F_2$ with two elements the homology groups of the orthogonal ...
• 235
709 views

### Representations of orthogonal groups over the field of two elements

I am looking for some references on modular representation theory of the orthogonal groups $O_{2n+1}(2)$, $O_{2n}^{+}(2)$, or $O_{2n}^{-}(2)$ over $\mathbb{F}_2$.
• 235
429 views

### references for faithful orthogonal (or unitary) representation of symmetric groups

Let $S_n$ be the symmetric group of $n$ points. I want to find references (or proofs) for the following statement (1). (1). There does not exist any faithful orthogonal representation  S_n\...
• 543
PREABMLE TO MY QUESTION I am reading about convex sets and hulls in orthogonal/rectilinear spaces. As can be seen in this publication, for a given set of points in $\mathbb{R}^{2}$, there are many ...