'게이지 논증'은 사기였을까 — 다발 기하학으로 다시 세운 70년 된 유도

1956년, 일본의 물리학자 우티야마 류유(Ryoyu Utiyama)는 Physical Review 101권 1597쪽에 짧은 논문 하나를 실었다. 제목은 「상호작용의 불변론적 해석」. 그는 국소 게이지 불변성을 요구하면 상호작용의 형태가 거의 강제된다는 정리를 증명했다. 물리학 교과서들은 그 뒤 수십 년 동안 이 아이디어를 조금 다른 방식으로, 즉 "대칭을 요구했더니 전자기장이 튀어나왔다"는 식의 이야기로 가르쳐 왔다. 그런데 2002년 철학자 크리스토퍼 마틴은 Philosophy of Science 69권에 실린 논문에서 그 이야기에 정면으로 반대했다. 그는 이 ‘게이지 논증’이 임시변통이며, 결론은 처음부터 손으로 집어넣은 것이라고 지적했다.

2026년 10월 19일, UC 어바인의 제임스 오언 웨더럴과 워싱턴 대학의 벤저민 파인차이히가 arXiv에 올린 27쪽짜리 논문은 그 반대편에 선다. 제목은 「‘게이지 논증’의 기하학」. 저자들의 주장은 이렇다. 교과서판은 실제로 망가져 있다. 그러나 논증 자체가 망가진 것은 아니고, 애초에 잘못된 언어로 쓰였을 뿐이다. 올바른 언어는 섬유다발(fiber bundle)의 기하학이며, 그 언어로 다시 쓰면 이 논증은 ‘무에서 유를 창조하는 마술’이 아니라 "주어진 기하 구조가 허용하는 역학은 무엇인가"라는 아주 평범한 질문이 된다.

교과서가 "유도"라고 부르는 것

교과서판의 출발점은 전하를 띤 복소 스칼라 마당 φ와 클라인-고든 라그랑지안이다. 이 라그랑지안은 φ에 상수를 곱하는 전역 U(1) 변환에 대해 불변이다. 여기서 한 걸음 더 나아가, 상수를 시공간의 함수 Λ(x)로 바꾸면 어떻게 될까. 계산해 보면 라그랑지안은 더 이상 불변이 아니다. 남는 항이 생긴다. 그 항을 상쇄하려고 새 벡터장 A_a를 도입하고, 그것이 Λ의 미분만큼 함께 변하도록 규정하면 불변성이 회복된다.

이야기는 여기서 끝나지 않는다. 새로 들어온 A_a에는 운동항이 없어서, 그대로 두면 장방정식이 이상해진다. 그래서 곡률 F_ab = ∂_aA_b − ∂_bA_a를 만들어 −¼F_abF^ab를 더한다. 그러면 A_a에 대한 변분이 맥스웰 방정식을, φ에 대한 변분이 전자기장 속의 클라인-고든 방정식을 낳는다. 덤도 따라온다. 질량항 ½m²A_aA^a는 국소 게이지 불변성을 깨뜨리므로, 광자는 질량이 0이어야 한다. 교과서는 여기서 승리를 선언한다.

철학자들이 던진 세 개의 반론

마틴의 첫 번째 반론은 "왜 국소화하는가"다. 흔히 드는 두 가지 변명이 모두 실패한다고 그는 본다. 하나는 "국소적 장론이니까"라는 설명인데, 처음의 클라인-고든 라그랑지안은 이미 국소적 장론이다. 다른 하나는 "특수상대성이 동시적 조작을 금지하니까"라는 설명인데, 게이지 변환은 좌표계를 바꾸는 것과 같은 수동적 조작이므로 애초에 전달할 것이 없다. 게다가 전역 변환은 국소 변환의 부분군이므로, 국소 변환이 문제라면 전역 변환도 똑같이 문제다.

두 번째 반론은 유일성이다. 국소 게이지 불변성만 요구하면 라그랑지안은 하나로 정해지지 않는다. 파울리 항 같은 다른 불변항을 얼마든지 더할 수 있다. 최소 결합 라그랑지안이 유일해지는 것은 로런츠 불변성, 재규격화 가능성, 형식적 단순성을 추가로 요구한 뒤다. 그렇다면 실제로 일을 하는 것은 게이지 대칭이 아니라 그 나머지 조건일 수 있다. 세 번째 반론은 가장 아프다. 자유장에서 출발했다면 A_a는 게이지 변환으로 0으로 보낼 수 있어야 하고, 그러면 F_ab도 항상 0이다. 결국 새 장의 실재성은 논증이 유도한 것이 아니라 손으로 넣은 것이다.

무대를 바꾸면 보이는 것: 다발 위의 마당

저자들의 재구성은 여기서 시작한다. 복소 스칼라 마당을 "시공간에서 복소수로 가는 함수"로 보는 대신, 복소 1차원 벡터다발 π: E → M의 단면(section)으로 본다. 함수로 볼 수 있다는 것 자체가 이미 두 가지를 가정한 것이다. 다발이 자명하다는 것, 그리고 전역적 자명화(trivialization) ζ가 하나 고정되어 있다는 것. 실수 마당과 달리 복소 마당에는 이런 선택의 여지가 있다. 실수체는 완비 순서체로서 서로 유일하게 동형이지만, 복소수에는 그런 강성이 없다.

뫼비우스 띠의 정규직교 프레임 다발은 원 위의 자명하지 않은 주 Z/2-다발이다. 전역적 자명화가 애초에 존재하지 않는 가장 단순한 예다 — Tazerenix, CC BY-SA 4.0 (Wikimedia Commons)

왜 이 관점이 중요한가. 라그랑지안에는 미분 ∂가 등장하는데, 그 미분은 시공간 계량이 정해주는 것이 아니다. 시공간의 미분 연산자는 접다발에 작용하고, 우리 마당이 사는 다발 E와는 아무 관계가 없다. E 위에는 원래 특권적인 미분 개념이 없다. 자명화 ζ를 고정했기 때문에 미분이 정해졌을 뿐이고, 다른 자명화를 고르면 다른 미분 연산자가 나온다. 저자들이 강조하는 것은 여기다. 라그랑지안이 의존하는 것은 전역적 자명화가 아니라 미분 연산자다.

"상호작용"이라는 이름의 정체

이제 교과서 계산을 다시 읽으면 뜻이 달라진다. 서로 다른 두 미분 연산자 ∂와 ∂̃ 사이에는 언제나 A_a가 있어서 ∂_a = ∂̃_a + iA_a로 쓸 수 있다. 교과서가 "새로운 상호작용 항이 생겼다"고 부른 그 항은, 실은 같은 라그랑지안을 다른 미분 연산자에 대해 다시 쓴 결과다. 저자들의 표현을 빌면, 그 항은 상호작용을 나타내는 것이 아니라 "어떤 미분이든 다른 미분으로 자유롭게 표현할 수 있는 자유"를 나타낸다.

구면 위 폐곡선을 따라 벡터를 평행이동하면 출발점으로 돌아와도 방향이 달라진다. 홀로노미라고 부르는 이 효과가, 미분 연산자가 왜 추가적인 기하 구조인지를 보여준다 — User84446654, CC BY-SA 4.0 (Wikimedia Commons)

그렇다면 마틴의 세 번째 반론, 즉 장을 손으로 넣었다는 비판은 어떻게 되는가. 저자들은 그것을 인정한다. 다만 그것이 치명적이지 않다고 본다. 논증이 장의 존재를 결론으로 내야 한다는 기대 자체가 잘못 잡힌 기대라는 것이다. 연결과 곡률은 결론이 아니라 출발점의 일부다. 처음부터 "무"였던 것이 없었다면, "무에서 유"라는 비판도 성립하지 않는다.

뉴턴 시공간에서 갈릴레이 시공간으로

논문에서 가장 흥미로운 대목은 이 재구성이 20세기 중반 시공간 철학의 유명한 논증과 구조적으로 동일하다는 관찰이다. 뉴턴은 자신의 법칙을 쓰려면 절대 공간, 즉 선호되는 정지 상태를 뜻하는 벡터장 ξ^a까지 필요하다고 가정했다. 그러나 운동법칙의 따름정리 V가 보여주듯 역학은 절대 속도에 의존하지 않는다. 갈릴레이 변환이 보존하는 구조, 즉 시간 계량과 공간 계량과 미분 연산자만 있으면 충분하다. 웨일과 스타인의 이 논증은 "뉴턴은 필요 이상의 구조를 가정했다"는 결론에 이른다.

저자들은 같은 수순을 게이지 이론에 적용한다. 고정된 전역 자명화를 가정하는 것은 선호 정지계를 가정하는 것과 같다. 그 구조가 실제 역학에서 하는 일은 미분 연산자를 정해주는 것뿐이므로, 자명화는 과잉이다. 그렇다면 자명화를 완전히 버리고 다발과 내적만 남기면 어떨까. 이 경우는 레이프니츠 시공간에 해당한다. 구조가 너무 적어서 법칙이 불변이 되지 않는다. 미분 연산자를 다시 들여와야 한다. 결론은 중간지대다. 클라인-고든 이론이 요구하는 구조는 갈릴레이 시공간에 해당하는, 즉 미분 연산자까지 포함하되 전역 자명화는 포함하지 않는 구조다.

우티야마 정리: 곡률 말고는 남지 않는다

여기서 논문은 새 가설을 하나 도입한다. 미분 연산자, 즉 연결 자체를 역학적 대상으로 취급하자는 것이다. 저자들은 이것이 앞의 논의에서 유도되는 것이 아니라 독립적인 가설임을 분명히 밝힌다. 일반상대론에서 계량이 아인슈타인 방정식으로 정해지는 것과의 유비, 또는 "정해주지 않으면 임시변통처럼 보인다"는 동기가 제시되지만, 어디까지나 발견적 동기다. 교과서가 운동항을 손으로 더하는 그 지점이, 기하학적 판본에서는 "연결을 역학화한다"는 가설로 대체된다.

그다음이 우티야마의 정리다. 연결에 대한 1차 라그랑지안이 주다발 구조만의 함수이고, 수직 주다발 자기동형사상들에 대해 불변이라면, 그 라그랑지안은 반드시 곡률 라그랑지안이어야 한다. 다시 말해 연결과 곡률 말고 다른 배경 구조에 기대지 않겠다고 요구하는 순간, 남는 것은 곡률의 스칼라 함수뿐이다. 여기에 이미 도입한 구조, 즉 시공간 계량과 킬링 계량만 쓴다는 조건을 더하면, 곡률에 대해 2차인 자명하지 않은 항 가운데 유일한 것이 양-밀스 라그랑지안이다. 교과서에서 "가장 단순한 재규격화 가능한 항을 골랐다"고 서술되던 선택이, 여기서는 구조적 제약의 결과로 다시 나타난다.

무엇이 해결되고, 무엇이 남았나

저자들은 마틴의 세 반론에 하나씩 답한다. 국소화의 근거에 대해서는, 그들이 문제 된 두 변명을 쓰지 않았다고 답한다. 대신 변환들이 어떤 구조를 보존하는지를 라그랑지안 의존성의 진단 도구로 쓴다. 유일성에 대해서는 결론을 낮춘다. 논증은 라그랑지안을 유일하게 결정하지 않으며, 가능한 형태에 제약을 걸 뿐이다. 최종 이론은 개념적 고려와 경험적 시험의 합작이라는 것이다. 장의 실재성에 대해서는 비판을 받아들이고, 대신 논증이 증명하려던 것을 축소한다.

논문이 스스로 인정한 한계도 분명하다. 연결을 역학화하는 단계는 유도된 결론이 아니라 새 가설이다. 파울리 항처럼 구조 조건을 만족하면서도 배제되지 않는 항이 있으며, 저자들은 그것들이 최소 결합 방정식의 인과적 성질 같은 다른 논거로만 배제될 수 있다고 보고 후속 연구 과제로 남긴다. 같은 저자들의 다른 작업(웨더럴과 마치의 최근 연구)이 그 방향의 단서라는 정도로 언급된다. 또 하나, 이 논문은 물리학 논문이 아니라 physics.hist-ph에 올라온 철학 논문이다. 새로운 계산을 제시하는 대신, 이미 알려진 정리들의 논리적 지위를 다시 배열한다.

독자에게

이 논문이 흥미로운 이유는 결론의 크기가 아니라 결론의 겸손함에 있다. "대칭에서 자연의 논리가 나온다"는 웅장한 주장은 "우리가 가정한 기하 구조가 허용하는 라그랑지안은 이런 형태뿐이다"라는 지극히 온건한 주장으로 바뀐다. 저자들은 이 축소가 손실이 아니라 이득이라고 본다. 마술은 사라지지만, 무엇을 가정했고 무엇을 얻었는지가 보이기 때문이다.

그렇다면 질문은 독자에게 넘어온다. 어떤 이론의 "유도"가 마음에 걸릴 때, 우리가 의심해야 하는 것은 계산인가, 아니면 그 계산이 이미 품고 있던 가정인가. 그리고 그 가정을 명시적으로 드러내는 일은 이론을 약화시키는 일인가, 아니면 정확히 어디까지 믿을 수 있는지를 알려주는 일인가.

참고 자료

J. O. Weatherall, B. H. Feintzeig, 「The Geometry of the "Gauge Argument"」, arXiv:2610.26049 [physics.hist-ph], 2026년 10월 19일 제출, 27쪽. https://arxiv.org/abs/2610.26049

C. Martin, 「Gauge Principles, Gauge Arguments and the Logic of Nature」, Philosophy of Science 69(3), 221–234 (2002).

R. Utiyama, 「Invariant Theoretical Interpretation of Interaction」, Physical Review 101, 1597 (1956).

이미지: Tazerenix, 「Mobius frame bundle.png」, CC BY-SA 4.0; User84446654, 「Holonomy-vis-with-label.png」, CC BY-SA 4.0. 모두 Wikimedia Commons.