Paper V visual guide · Visual 23 of 40 · HOMOGENEOUS COORDINATES / NO DIVISION BY ZERO

A pole is a chart boundary, not a broken group action

Traditional monograph: Theorem 13.2 (p. 26), Corollary 13.3 (p. 26).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Represent impedance by a nonzero pair \([u:v]\), where \([cu:cv]=[u:v]\) for \(c\ne0\). A finite impedance is \([z:1]\); infinity is \([1:0]\). For a nonzero reflection multiplier \(w\), use

\[ A(w)=\frac12\begin{pmatrix}1+w&1-w\\1-w&1+w\end{pmatrix}. \]
A projective orbit through infinity
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

A sequence of homogeneous coordinate pairs follows the orbit through a chart pole. Affine coordinates below identify the infinite value without dividing by zero.

Drawing labels and data 14 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • \([0:1]\)
  • \(z=0\)
  • \(\Gamma=-1\)
  • \([-i:1]\)
  • \(z=-i\)
  • \(\Gamma=-i\)
  • \([1:0]\)
  • \(z=\infty\)
  • \(\Gamma=1\)
  • \([i:1]\)
  • \(z=i\)
  • \(\Gamma=i\)
\[A(i)=\frac12\begin{pmatrix}1+i&1-i\\1-i&1+i\end{pmatrix}\]

\(A(i)^4=I:\quad\) the fourth step returns to \([0:1]\)

Open the full-size drawing

The action is defined before a ratio is taken

The determinant is \(w\), so the matrix cannot send a nonzero pair to zero. Direct multiplication gives

\[ A(w)A(w')=A(ww'),\qquad A(1)=I. \]

For \(w=i\), the orbit through zero is

\[ [0:1]\ \longmapsto\ [-i:1]\ \longmapsto\ [1:0] \ \longmapsto\ [i:1]\ \longmapsto\ [0:1]. \]

The third point is a legitimate projective point, even though a finite impedance formula has a zero denominator there. The second iterate is \(A(-1)\), which swaps the two coordinates. Thus a half turn exchanges \(0\) and \(\infty\) and sends each finite nonzero \(z\) to \(1/z\). The matched point \(\Gamma=0\), equivalently \(z=1\), is fixed by every phase multiplier. It is not part of the boundary orbit above. The exact checks test homogeneous pairs and their rescaling equivalence, rather than introducing an artificial complex value for \(1/0\).

Read this as

Compute with homogeneous pairs first. A denominator becomes a chart-selection issue rather than an exception to the cyclic action.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the frozen visual-guide PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper V

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index