Determinant of associated real matrix from a complex one Given $X\in \operatorname{GL}(n, \mathbb{C}) $, let $X_r\in \operatorname{GL}(2n, \mathbb{R}) $ be the real matrix obtained by substituting to each complex entry $a+ib$ the matrix $\begin{pmatrix} a & & - b \\ b & & a \end{pmatrix}$.
Does someone can give me the details of the proof that $\det(X_r) =|\det(X)|^2$?
The only thing I have tried is to use the fact that the determinant is a wedge product but it seems not work.
 A: Since $|a+ib|^2=\det\begin{pmatrix} a & & - b \\ b & & a \end{pmatrix}$,$$\begin{align}\det X\cdot\overline{\det X}&=\sum_{\sigma,\,\sigma^\prime\in S_n}\varepsilon_\sigma\varepsilon_{\sigma^\prime}\prod_{j=1}^n\prod_{k=1}^nX_{j\sigma(j)}\overline{X_{k\sigma^\prime(k)}}\\&=\sum_{\sigma,\,\sigma^\prime}\varepsilon_{\sigma\circ\sigma^\prime}\prod_j(XX^\dagger)_{j(\sigma\circ\sigma^\prime)}\\&=\sum_{\sigma\in S_{2n}}\varepsilon_\sigma\prod_{j=1}^{2n}(X_r)_{j\sigma(j)}\\&=\det X_r.\end{align}$$
A: One may view this as a determinant of a block matrix. In general (cf. John Silvester, Determinants of Block Matrices), if $R$ is a commutative ring and $C$ is a commutative subring of $M_m(R)$, each matrix $Z\in M_n(C)$ can be viewed as a matrix $Y\in M_{mn}(R)$ and
$$
\det{}_RY=\det{}_R\left(\det{}_CZ\right).\tag{1}
$$
In your case, let $m=2,\, R=\mathbb R$ and $C=\left\{\pmatrix{a&-b\\ b&a}:a,b\in\mathbb R\right\}$. Since $f:a+ib\mapsto\pmatrix{a&-b\\ b&a}$ is a ring isomorphism between $\mathbb C$ and $C$, when it is applied entrywise to a matrix $X\in M_n(\mathbb C)$, we have
$$
\det{}_Cf(X)=f(\det{}_{\mathbb C}X).\tag{2}
$$
Now let $Z=f(X)\in M_n(C)$ and $Y=X_r\in M_{2n}(\mathbb R)$. By $(1)$ and $(2)$,
$$
\det{}_{\mathbb R}Y
=\det{}_{\mathbb R}\left(\det{}_CZ\right)
=\det{}_{\mathbb R}\left(\det{}_Cf(X)\right)
=\det{}_{\mathbb R}\left(f(\det{}_{\mathbb C}X)\right)
=|\det{}_{\mathbb C}X|^2.
$$
A: Another option is to think about the matrix $X_r$ as a $2n \times 2n$ complex matrix. Motivated by the $2 \times 2$ case, over the complex numbers, we have the identity
$$ \begin{pmatrix} a - ib & 0 \\ 0 & a + ib \end{pmatrix} = P^{-1} \begin{pmatrix} a & -b \\ b & a \end{pmatrix} P$$
where
$$ P = \frac{1}{\sqrt{2}} \begin{pmatrix} -iI_n & iI_n \\ I_n & I_n \end{pmatrix}, \,\,\,
 P^{-1} = \frac{1}{\sqrt{2}} \begin{pmatrix} iI_n & I_n \\ -iI_n & I_n \end{pmatrix}. $$
Since similar matrices have the same determinant, we have
$$ \det(X_r) = \det \begin{pmatrix} a - ib & 0 \\ 0 & a + ib \end{pmatrix} = \det(a - ib) \det(a + ib) = \\
\det(X) \cdot \det(\overline{X}) = \det(X) \cdot \overline{\det(X)} = \left| \det(X) \right|^2. $$
