Problem 6 - Algebraic Geometry

Question

Automorphisms of \(\mathbf{P}^{1}\). Think of \(\mathbf{P}^{1}\) as \(\mathbf{A}^{1} \cup\\{x\), then we define a fractional linear transformation of \(\mathbf{P}^{1}\) by sending \(x \mapsto(u x+b) /(c x+d),\) for \(u, b, c, d \in k\) \(u d-h c \neq 0\) (a) Show that a fractional linear transformation induces an automorphism of \(\mathbf{P}^{1}\) (i.e., an isomorphism of \(\mathbf{P}^{1}\) with itself). We denote the group of all these fractional linear transformations by PGL(1). (b) Let Aut \(\mathbf{P}^{1}\) denote the group of all automorphisms of \(\mathbf{P}^{1}\). Show that Aut \(\mathbf{P}^{1} \simeq\) Aut \(k(x),\) the group of \(k\) -automorphisms of the field \(k(x)\) (c) Now show that every automorphism of \(k(x)\) is a fractional linear transformation, and deduce that \(P G L(1) \rightarrow\) Aut \(P^{1}\) is an isomorphism.

Step-by-Step Solution

Answer

The fractional linear transformation induces automorphisms of \( \mathbf{P}^{1} \), Aut \( \mathbf{P}^{1} \) and Aut \( k(x) \) are isomorphic and every automorphism of \( k(x) \) is a fractional linear transformation. This implies \( PGL(1) \) is an isomorphism of Aut \( P^{1} \).

Step 1 - Inducing Automorphism

First, we need to show that a fractional linear transformation induces an automorphism of \( \mathbf{P}^{1} \). To do this, it is essential to note that a fractional linear transformation does not change the homogeneity of a polynomial, and hence the equivalence class in the projective space remains unchanged.

Step 2 - Establishing the Equality of Group of Automorphisms

Next, we need to prove that the group of all automorphisms of \( \mathbf{P}^{1} \) is the same as the group of \( k \) -automorphisms of the field \( k(x) \). To do this, observe that any automorphism of \( \mathbf{P}^{1} \) induces a \( k \) -automorphism of the field of rational functions on \( \mathbf{P}^{1} \), which is \( k(x) \), and vice versa.

Step 3 - Showing Every Automorphism as Fractional Linear Transformation

In order to show that every automorphism of \( k(x) \) can be expressed as a fractional linear transformation, note that any automorphism of \( k(x) \) will not change the degree of the polynomial, hence can be represented as fractions of first degree polynomials, which is equivalent to fractional linear transformations.

Step 4 - Validating the Isomorphism

Lastly, we deduce that \( PGL(1) \) is isomorphic to Aut \( P^{1} \) by establishing a one-to-one correspondence between the set of all fractional linear transformations (i.e. \( PGL(1) \)) and the group of all automorphisms of \( \mathbf{P}^{1} \), which means the map of every element in \( PGL(1) \) to Aut \( P^{1} \) is an isomorphism.

Key Concepts

Projective Space

Projective space is a fundamental idea in geometry and algebra. It extends the concept of points and lines in the traditional Euclidean space by incorporating "points at infinity," allowing for the description of parallel lines intersecting in a unique point at infinity.

This is particularly useful in many areas of mathematics, such as algebraic geometry, where dealing with these infinite points simplifies the theory. For example, in a projective space, every pair of distinct lines intersects at exactly one point.

In the context of our problem, \( \mathbf{P}^{1} \) is the projective line over a field \( k \). It consists of all lines through the origin in a two-dimensional vector space \( k^2 \). By combining the affine line \( \mathbf{A}^{1} \) and a point at infinity, this space elegantly handles the behavior of polynomials at their limits.

Fractional Linear Transformation

A fractional linear transformation is one of the most important types of transformations in projective space. It can be described by the function \( x \mapsto \frac{ux + b}{cx + d} \), where \( u, b, c, d \) are elements in the field \( k \) and \( ud - bc eq 0 \).

This condition ensures that the transformation is invertible, which means it can be undone or reversed, making it a useful tool for constructing automorphisms.

Such transformations are essential in projective space since they map lines to lines and can be used to describe transformations of the entire space.

This kind of transformation is the simplest non-trivial transformation of the projective line \( \mathbf{P}^{1} \), and it plays a crucial role in understanding the structure and symmetries within the space.

Automorphism Group

The automorphism group of a mathematical object is a group consisting of all isomorphisms from that object to itself, representing its symmetries. In the case of \( \mathbf{P}^{1} \), the automorphism group is denoted as \( \text{Aut} \mathbf{P}^{1} \).

A remarkable property here is that any automorphism of the projective line is induced by a fractional linear transformation. This shows the powerful connection between such transformations and projective geometry.

In our example, we demonstrate that the automorphism group \( \text{Aut} \mathbf{P}^{1} \), which consists of all projective space symmetries, is isomorphic to the group \( PGL(1) \) of all fractional linear transformations, highlighting the intrinsic link between the two concepts.

Field of Rational Functions

The field of rational functions, often denoted by \( k(x) \), is a central topic in algebra. It consists of all fractions of polynomials with coefficients in a field \( k \), where the denominator is not zero.

This field plays a key role in various areas, such as algebraic geometry and number theory, due to its properties resembling the field of rational numbers.

Within the context of projective space, every function in the field can be expressed as a fractional linear transformation, reflecting the deep connection between algebraic functions and geometric transformations.

By understanding how automorphisms in the field of rational functions correspond to transformations of the projective line, we can better appreciate the unified structure that these mathematical constructs exhibit, and further grasp how fields relate to geometric symmetries.