# Questions tagged [orthogonal-groups]

The orthogonal-groups tag has no usage guidance.

38
questions

**4**

votes

**0**answers

47 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 ...

**4**

votes

**1**answer

162 views

### Explicit computation of spinor norm

I've asked this on math.stackexchange, unsuccessfully. I hope this question is appropriate for mathoverflow.
Let $V$ be a finite-dimensional vector space over a field $K$ with $\operatorname{char}K\...

**11**

votes

**2**answers

368 views

### Continuous version of the fundamental theorem of invariant theory for the orthogonal group

A standard result in the invariant theory of the orthogonal group states the following.
Theorem
Let $(E, \langle .,. \rangle)$ be an n-dimensional euclidean vector space,
let $f : E^m \rightarrow {\bf ...

**0**

votes

**0**answers

78 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 ...

**3**

votes

**2**answers

416 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 ...

**3**

votes

**1**answer

108 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 ...

**3**

votes

**1**answer

147 views

### Upper bound on the sectional curvature of the orthogonal group

Consider the orthogonal group $O(n)$ as a Riemannian manifold endowed with the usual (bi-invariant) metric $\langle P, Q \rangle_A = \textrm{Tr}\ P^\top Q$ for tangent vectors $P, Q$, with $$T_A O(n) =...

**1**

vote

**1**answer

139 views

### On the number of involutions in some groups

How many involutions are there in $O_7(11)$ and $PSp_6(11)$ respectively? (Note that the sizes of the two groups mentioned here are the same.)

**2**

votes

**0**answers

51 views

### Automorphisms of algebras and orthogonal groups

This is a followup of my previous question.
Let $A$ be a finite dimensional associative unital $F$-algebra. According to YCor's answer in the previous link, the property that a given linear map $s_A :...

**8**

votes

**5**answers

371 views

### Nearest matrix orthogonally similar to a given matrix

Given $A,B\in\Bbb R^{n\times n}$ is there technique find $$\min_{ T\in O(n,\Bbb R)}\|A-TBT^{-1}\|_F\mbox{ or }\min_{ T\in O(n,\Bbb R)}\|A-TBT^{-1}\|_2$$ within additive approximation error in $\...

**3**

votes

**0**answers

193 views

### What's the unipotent radical of the reduction of a bad orthogonal group?

Consider a DVR $A$ with fraction field $K$ and residue field $k$. Assume $2 \in A^\times$. Let $Q: A^n \rightarrow A$ be a quadratic form defined over $A$. Then one has the (naively defined) ...

**4**

votes

**0**answers

171 views

### What is known about the projective representations of $\mathrm{SO}(n_1,n_2)$?

He${}$llo MO.
Let $\mathrm{O}(n_1,n_2)$ be the pseudo-orthogonal group. I am interested in its (continuous, not necessarily unitary, finite-dimensional) irreducible projective representations, for ...

**6**

votes

**1**answer

233 views

### Separating closed $SO(p,q)$ orbits by invariant polynomials

Consider the real Lie group $SO(p,q)$ (I believe that it happens to be a linearly reductive algebraic group over $\mathbb{R}$, if that's relevant). Also, if relevant, I'm mostly interested in the (...

**8**

votes

**0**answers

156 views

### Clebsch-Gordan coefficients of $SO(5)$

The reduced CG coefficients for $SO(d):SO(d-1)$ are in principle known in full generality for $d\leq 4$: they are trivial for $d=2$, equivalent to $3j$ symbols of $SU(2)$ for $d=3$, and to $9j$ ...

**6**

votes

**0**answers

178 views

### Positive-definite lattice with O(n,n) Gram matrix generated by minimal vectors

Consider a positive-definite $2n$-dimensional lattice with minimum norm $\mu$. It is sometimes possible to find a generating set of minimal vectors for the lattice such that the Gram matrix takes the ...

**6**

votes

**2**answers

220 views

### Bounding the non-multiplicativity of isometric projection

Every $A \in \text{GL}_n(\mathbb{R})$ has a unique Polar decomposition:
$A=O_AP_A$, $O \in \operatorname{O}_n, P \in \operatorname{Psym}_n$.
In particular the orthogonal factor is given by $$O_A=A(\...

**5**

votes

**1**answer

188 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).
...

**4**

votes

**1**answer

121 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 ...

**4**

votes

**1**answer

117 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,
\begin{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})
\end{equation}
that probably ...

**6**

votes

**2**answers

306 views

### On certain solutions of a quadratic form equation

This is a continuation of this question: A class of quadratic equations
Let $f(x,y) = ax^2 + bxy + cy^2$ be an irreducible and indefinite binary quadratic form. Consider the equation
$$\displaystyle ...

**4**

votes

**2**answers

424 views

### Invariant polynomials under diagonal action of the orthogonal group

Consider the diagonal action of the orthogonal group $O(n)$ on $\mathbb{R}^n\times\mathbb{R}^n$ defined as: $U\cdot (x,y) = (Ux,Uy)$ for $U\in O(n)$ and $x,y\in\mathbb{R}^n$. I am looking for a ...

**0**

votes

**2**answers

107 views

### Functions with scalar times orthogonal Jacobian [duplicate]

I am interested in understanding functions $f:\mathbb{R}^d \rightarrow \mathbb{R}^d $ whose Jacobian at every point $x \in \mathbb{R}^d$ is a scalar times an orthogonal matrix.
I've seen a similar ...

**4**

votes

**2**answers

1k views

### functions with orthogonal Jacobian

I'm working on a model that would require to use vectorial functions of $\mathbb{R}^n \rightarrow \mathbb{R}^n$, such that $\forall x, y \in \mathbb{R}^n$, $\lVert \frac{df(x)}{dx}(y) \lVert_2 = \...

**0**

votes

**2**answers

110 views

### Simultaneous special orthogonal similarity problem

Given matrices $A,B,C,D\in\Bbb K^{n\times n}$ where $\Bbb K$ is a ring is there an efficient technique to compute set $O$ with $OO'=I$ where $'$ is transpose and $\mathsf{Det}(O)=\pm1$ such that
$$A=...

**11**

votes

**0**answers

233 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 ...

**6**

votes

**2**answers

568 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$.

**5**

votes

**1**answer

238 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\...

**5**

votes

**2**answers

405 views

### Ascertain properties of a new kind of rectilinear-convex set

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 ...

**-2**

votes

**2**answers

429 views

### Maximal-Orthogonal Convex Hull (or Maximal-Rectilinear Convex Hull) [closed]

Edit : Consider giving a reason for down vote.
In my research, I have come across a this paper from the Computational Geometry field and I am not able to understand the concept of Maximal-...

**8**

votes

**3**answers

547 views

### Parameterizing rotations of a cube

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...

**6**

votes

**1**answer

308 views

### A question about $O(3,1)$

Recall that $O(3,1)$ is the collection of matrices $A\in M_4(\mathbb R)$ such that
$$A\begin{pmatrix}1 &&&\\&1&&\\&&1&\\&&&-1\end{pmatrix}A^T=\begin{...

**13**

votes

**4**answers

1k views

### Determining if a matrix is orthogonal

Let g be an element of $GL_n(\mathbb C)$. We know that there are orthogonal groups $O(\beta)=\{X\in GL_n(\mathbb C) \mid X^t\beta X=\beta\}$ for any $\beta$, invertible symmetric matrix. Though these ...

**3**

votes

**1**answer

204 views

### Minimal polynomial of unipotents in orthogonal group

Consider split orthogonal group $O(2l)$ over a field of characteristic zero. We may assume the matrix of the bilinear form to be $\begin{pmatrix} O&I\\ I&O\end{pmatrix}$.
Let $u$ be a ...

**4**

votes

**2**answers

238 views

### Orbits of the maximal compact subgroup on the light cone for $p$-adic groups

It is known that if $Q$ is an indefinite non-degenerate quadratic form on $ \mathbb{R}^n$ with $n \ge 3$, then any maximal compact subgroup $K$ of the orthogonal group $SO(Q)$ acts transitively on the ...

**7**

votes

**1**answer

832 views

### When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.)
Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group $\...

**10**

votes

**4**answers

1k views

### The periodic values in Bott periodicity

After Bott periodicity is proved, one still has to compute the stable values. For the unitary group $U$, this is easy since you can get away with just $\pi_0$ and $\pi_1$. However, I'm having ...

**1**

vote

**1**answer

268 views

### $p$-adic analogues of $SO(3)$

I read in the paper " From Laplace to Langlands via representations of orthogonal groups" by Benedict Gross and Mark Reeder that there are, up to isomorphism, two orthogonal groups of the (non-...

**4**

votes

**1**answer

234 views

### Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let
$$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$
and
$$SO_n(k,...