# Questions tagged [involutions]

The tag has no usage guidance.

64 questions
Filter by
Sorted by
Tagged with
77 views

### Has the determinant of a involution of the first kind ever been considered as an invariant?

Let $k$ be a field of characteristic zero. Let $A, B$ be central, simple algebras over $k$ of even degree $n,m > 1$. Let $\sigma$ be an involution on $A$, which is either symplectic or orthogonal. ...
• 1,387
129 views

### Decomposition of finite abelian groups of even order if there is an involution

Let $G$ be a finite abelian group and $\sigma :G\rightarrow G$ an automorphism of order two ($\sigma\circ \sigma =id_G$). Denote by $F$ and $A$ the subgroups of fixed and anti-fixed points of $\sigma$ ...
96 views

### Elementary abelian 2-subgroups of $\mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$ (with and without choice)

Consider the absolute Galois group $G_{\mathbb{Q}} := \mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$. As I understand it, the only torsion elements have order $2$ (by Artin-Schreier), and they are ...
• 3,901
206 views

### Unitary involutions on a simple central algebra after a scalar extension

$\DeclareMathOperator{id}{id}$ Let $L/K$ be a quadratic separable extension of fields. Let $A$ be a central simple algebra over $L$ such that its norm $N_{L/K}(A)$ splits. Then we know that there ...
1 vote
57 views

1 vote
166 views

### Involutions in $\infty$-categories

$\newcommand{\id}{\mathrm{id}}$An involution in a category is a functor $\mathbf{B}\mathbb{Z}/2\to\mathcal{C}$, corresponding precisely to an object $X$ of $\mathcal{C}$ together with a $\mathbb{Z}/2$-...
• 9,387
145 views

• 3,901
96 views

### Related involutions

Let's say that we have finite field $\mathbb F_q$ and we have a couple of involutions $g,f$ with exactly one fixed point (zero). Let's take any element $\alpha \in \mathbb F_q$ Let's start applying ...
58 views

### Color algebras and color involutions

If $A$ is a $G$-graded algebra then one can define on it a color involution, i.e. a bijective linear map preserving the grading such that the image of a product of two homogeneous elements is defined ...
• 41
381 views

### Involutive automorphism of simple Lie algebra

I am sorry if this question is too elementary to be posted here, but no experts answer this question when I post it on Math Stackexchange. Let $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ be a Cartan ...
• 729
66 views

• 2,613
94 views

• 2,219
2k views

### Positive definite matrices diagonalised by orthogonal matrices that are also involutions

Let $A$ be a positive definite matrix. Then, $A$ is diagonalized by an orthogonal matrix $P$. I want to know when this matrix is also an involution, i.e., $P^2 = I$. If there is any ...
• 1,199
144 views

### Eigenspaces and covering relations of twisted involutions

Let $\theta:G\to G$ be an involution of a complex connected reductive Lie group, preserving a maximal torus $T$ (which, for me, lies inside a $\theta$-invariant Borel $B$). Let $K = G^\theta$ be the ...
• 27.2k
1 vote
65 views

### Isotropy of skew-Hermitian forms over division algebras

Assume char(F) $\neq$ 2. Let $D$ be a central division algebra over a field $F$ and $h: V \rightarrow D$ be an anisotropic skew-Hermitian form. We can easily see that $h_{\bar{F}}$ is totally ...
378 views

### Descent of coherent sheaves on finite coverings

Let $X$ be a non-singular hyperelliptic curve (over $\mathbb{C}$) and $\pi:X \to \mathbb{P}^1$ be a $2:1$ covering. Let $\sigma:X \to X$ be the hyperelliptic involution and $E$ be a locally free sheaf ...
• 2,002
1 vote
148 views

### More on finite groups generated by involutions

Can finite groups, which are generated by involutions, be represented as a quotient of a Coxeter group?
606 views

### What classifies involutive automorphisms on finite groups? What classifies involutions on finite based rings?

Groups Let $G$ be a finite group. An involutive automorphism on $G$ is an automorphism $i\colon G \to G$ such that $i^2 = 1_G$. Question 1. What classifies involutive automorphisms on a given (non-...
• 5,475
320 views

### Irreducible Symmetric Pairs

Let $\mathfrak{g}$ be a simple Lie algebra with a compact subalgebra $\mathfrak{k}$ such that $(\mathfrak{g},\mathfrak{k})$ corresponds to an irreducible Riemann symmetric space. Denote by $\sigma$ be ...
• 729
514 views

### Compact dual of a noncompact Lie group

Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra, and fix a Cartan involution $\theta$ of $\mathfrak{g}_0$, which gives a Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. ...
• 729
123 views

246 views

### equivalence classes of arch diagrams in bijection with permutations

By an arch diagram of size $n$, I mean a diagram consisting of $n$ arches matching $2n$ points, where the points are ordered on a line running from left to right. An arch diagram is basically just a ...
• 3,213
522 views

### Number of fixed points in Zagier's involution (Fermat's Theorem) [closed]

Zagier's has found a famous one sentence proof for Fermat's theorem on sums of two squares. It centers on the following involution of the set $S= \lbrace (x,y,z) \in N^3: x^2+4yz=p \rbrace$ having ...
• 111
336 views

• 252
188 views

### Extension of an involutive automorphism

Suppose that $g$ is a complex semi-simple Lie algebra and $g'$ its reductive subalgebra. If $\tau$ is an involutive automorphism of $g'$, can $\tau$ be extended to an involutive automorphism of $g$ ...
• 729
295 views

### An angle-doubling trick of Kirillov and Berenstein [closed]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...
• 18.8k
615 views

### A question on conjugacy classes of central involutions in a finite group

An involution $a$ of a group $G$ is called central if there exists a sylow $2$-subgroup $H$ of $G$ such that $a \in C_G(H)$, or equivalently if the centralizer of $a$ contains a sylow $2$-subgroup. ...
• 1,147
It appears to be standard that the set of non-identity involutions in $SL(2, 2^n) = PSL(2, 2^n)$ forms a single conjugacy class. What is the best reference for this? I note that https://math....