Problem 27 - Algebraic Topology

Question

Show that after a suitable change of basis, a skew-symmetric nonsingular bilinear form over \(\mathbb{Z}\) can be represented by a matrix consisting of \(2 \times 2\) blocks \(\left(\begin{array}{l}0 \\ 1 \\ 1\end{array}\right)\) along the diagonal and zeros elsewhere. [For the matrix of a bilinear form, the following operation can be realized by a change of basis: Add an integer multiple of the \(i^{t h}\) row to the \(j^{t h}\) row and add the same integer multiple of the \(i^{t h}\) column to the \(j^{t h}\) column. Use this to fix up each column in turn. Note that a skew-symmetric matrix must have zeros on the diagonal.]

Step-by-Step Solution

Answer

A skew-symmetric nonsingular bilinear form over \( \mathbb{Z} \) can be transformed into \(2 \times 2\) symplectic blocks along the diagonal.

Step 1: Define a Skew-Symmetric Matrix

A skew-symmetric matrix is one where the transpose of the matrix is equal to the negative of the matrix itself, i.e., for an \( n \times n \) matrix \( A \), \( A^T = -A \). This implies that the diagonal elements of the matrix are zero due to the property \( a_{ii} = -a_{ii} \). Thus, \( a_{ii} = 0 \).

Step 2: Examine the Structure of the Matrix

Given a nonsingular skew-symmetric matrix, the goal is to decompose it into blocks of the form \( \begin{pmatrix} 0 & 1 \ -1 & 0 \end{pmatrix} \). These are \(2 \times 2\) blocks that span a skew-symmetric subspace, known as symplectic blocks.

Step 3: Utilize Row and Column Operations

Use the allowable operations of adding an integer multiple of one row (or column) to another to transform the matrix gradually. Start with the first row and column, and focus on transforming the matrix to have zeros except in pairs of elements forming a \(2 \times 2\) block as described.

Step 4: Construct the Transformation Basis

Continue by transforming each subsequent pair of rows and columns to form additional \(2 \times 2\) blocks along the diagonal. This involves systematic adjustments to the original matrix by integer-based row and column operations per the rules given.

Step 5: Ensure Nonsingular Property is Maintained

Throughout these transformations, verify that the matrix remains nonsingular. A nonsingular skew-symmetric matrix in even dimensions can always be transformed into the direct sum of \(2 \times 2\) symplectic blocks.

Step 6: Conclude with the Desired Representation

Once all rows and columns are adjusted, the skew-symmetric matrix should consist of symplectic \(2 \times 2\) blocks of the form \( \begin{pmatrix} 0 & 1 \ -1 & 0 \end{pmatrix} \) on the diagonal, demonstrating that this is possible via a suitable change of basis.

Key Concepts

Bilinear Form

A bilinear form is a special type of mathematical function that takes in two vectors and returns a scalar. This form is particularly important in linear algebra and geometry. When you have two vector spaces and a bilinear form, the function is linear in each argument separately. This means:

• If you change one vector (while keeping the other constant), the output will change linearly.
• Similar linearity holds if you change the other vector while keeping the first constant.

Bilinear forms can be represented by matrices. In these cases, the form can be expressed as a product involving two vectors and a matrix in the middle. This matrix is what describes the bilinear form in a concrete manner. A special kind of bilinear form is the skew-symmetric bilinear form, which is significant in our context. In skew-symmetry, the associated matrix has the property that transposing it results in the negative of that matrix. Such forms have zero on the diagonal, making them unique. The exercise deals with these specific forms, aiming to transform them into symplectic blocks neatly using integer-based row and column transformations.

Matrix Transformation

Matrix transformation is a process by which a given matrix is turned into another matrix, typically of a simpler or more convenient form, through a series of operations. In the context of skew-symmetric matrices, transformation involves using operations such as:

• Adding or subtracting integer multiples of one row to/from another row.
• Analogously, performing column operations.

These operations are useful in achieving the desired block form of the matrix while maintaining its fundamental properties like skew-symmetry and nonsingularity. The transformation process in the given solution involves systematically adjusting each row and column pair. By focusing on one pair at a time and methodically zeroing out unnecessary entries, the matrix assumes a structure where significant entries form specific blocks. The discipline in following row and column operations ensures that the integrity of the matrix is preserved while reshaping it into a configuration that is easier to analyze or utilize. Such transformations are vital not only in simplifying calculations but also in achieving a deeper understanding of the matrix's structure and the vector spaces associated with it. When applied to skew-symmetric matrices, it results in the configuration that represents a bilinear form's most manageable state.

Symplectic Blocks

Symplectic blocks, in the realm of skew-symmetric matrices, refer to specially structured submatrices that appear down the diagonal of a transformed matrix. These blocks are typically of the form:\[\begin{pmatrix}0 & 1 \-1 & 0\end{pmatrix}\]These blocks are known as symplectic blocks and are crucial for understanding the properties of the matrix at hand.When dealing with skew-symmetric matrices, symplectic blocks play an essential role in revealing the matrix's underlying structure. The transformation of the matrix into a block diagonal form with these symplectic matrices allows for easier manipulation and examination. The goal is to rearrange the entries of the matrix such that all non-zero elements are organized into these 2x2 symplectic structures.Moreover, each block corresponds to a pair of dimensions in the vector space associated with the matrix, ensuring that their bilinear form remains unchanged while being represented in a simpler manner. Symplectic blocks symbolize the inherent symmetries in the matrix and maintain the property of the form that can be particularly useful in physical applications and theoretical explorations alike. Understanding these blocks can provide insights into the dynamic behaviors described by the matrix and ensure that all transformations retain the original non-degenerate nature of the matrix.