一面沒有玻璃的透鏡
你在前一階梯已經見過那條頭條結論：重力彎折光。一束擦過太陽的星光會偏轉一個微小的角度，因為質量把光線必須穿過的時空壓出了凹陷。現在把這個想法放大到極致。把太陽換成一整個星系——相當於一兆個太陽的質量——端端正正地坐在我們與它背後某個更明亮天體之間。從那遙遠天體發出、經過星系附近的每一條光線，都被向內彎折。星系不再只是一道障礙；它已變成一面巨大而笨拙的透鏡，全然由扭曲的時空構成。這就是重力透鏡。
其深層原因，正是整道階梯反覆回到的那一個。光永遠盡可能筆直地行進；可在大質量附近，「筆直」是彎的，因為舞台本身——時空——被彎曲了。透鏡並不抓住光，也不讓它變慢。它只是給光提供了一片扭曲的地貌，而光忠實地走著直線，出來時便指向了一個新方向。一團前景質量，悄悄地為它身後的一切畫面掌著舵。
弧線、光環與重影
你究竟看到什麼，取決於三位主角——你、透鏡、光源——排成一線的精確程度。若排列近乎完美、透鏡又是圓的，光源的光便從四面八方均勻地彎進來，繞著透鏡合攏成一整圈光環：愛因斯坦環，這一效應最美的獎盃。把光源稍稍挪離中心，圓環便碎成幾道明亮的弧線，或裂成兩個、四個、乃至更多個*同一*天體的分立的像——同一個類星體同時出現在好幾處，就像透過高腳酒杯的杯腳看一支蠟燭，看到了好幾支。
perfect alignment source nudged off-center
(Einstein ring) (multiple images)
distant .-''''-. * (image 1)
source -----> / \ ----->
* | LENS ()| () LENS
(behind | galaxy | galaxy
the lens) \ / * (image 2)
'-....-'
light wraps all two paths around the
the way around lens -> two ghost images稱量看不見的東西
這正是為什麼重力透鏡不只是一張漂亮的明信片，而是一台精密儀器。透鏡把光彎得多厲害，只取決於一件事：它含有多少質量，以及這些質量如何鋪展。它根本不在乎質量是發光還是漆黑一片。所以，只要你拍下一個星系造出的弧線與重影，再去問「什麼樣的質量、怎樣排佈，才會把光彎成這恰好的圖案？」，你便能讀出該星系的總重量——包括你看不見的一切。
而答案回來時透著古怪。我們能看見的光——所有恆星與發光氣體——所能彎折光線的程度，遠不及我們實際觀測到的。要解釋那些弧線，一個星系團所需的質量，大約是其可見物質能提供的五倍。那裡有某種沉重之物，卻完全不發光。重力透鏡並不告訴我們這種暗物質究竟是什麼，但它忠實地畫出了它所在之處的地圖，因為重力是誠實的：它對一切質量都作出回應，無論看得見還是看不見。
- 拍下畸變。捕捉前景質量背後的弧線、光環或被拉長的星系形狀。
- 反推回質量。找出那種質量分佈，它造成的光的彎折恰好能產生這個圖案——重力替你完成了測量。
- 減去發光的部分。把這個總質量與真正發光的質量相比；那一大塊剩餘，就是你剛剛繪製出的暗物質。
從怪事到日常的望遠鏡
愛因斯坦本人在 1936 年算出了這個環，卻認為它毫無指望地不切實際——那種排列似乎太罕見，永遠捕捉不到。他這是誠實，可他把概率猜錯了：第一個被透鏡化的類星體——一對「雙胞胎」，結果竟是同一個天體被看了兩次——於 1979 年被發現，如今望遠鏡記錄在冊的透鏡已數以千計。更妙的是，由於透鏡不僅會扭曲、也會放大，天文學家如今會刻意瞄準大質量的星系團，把它們當作天然的變焦鏡頭，捕捉來自早期宇宙、任何望遠鏡單憑自身都看不到的暗淡的嬰兒星系。
退一步，細品這個迴環。一個出自廣義相對論的單一想法——質量彎曲時空，光順著彎走——起初不過是 1919 年日食測出的那道精巧的 1.75 角秒的偏移。把它拉伸到星系的尺度，同樣的這道偏移，如今能稱量看不見的物質、用重力造出望遠鏡、並為宇宙的膨脹計時。光的彎折，不再是一樁供人慶祝的勝利，而成了我們早飯前就要用上的工具。