The trace-free Einstein tensor is not variational for the metric as field variable

이 논문은 미분동형사상 불변성 가정을 배제하고 일반적인 국소 작용에 대해서도, 역계량을 장 변수로 할 때 무궤적 아인슈타인 텐서가 작용의 변분으로부터 유도될 수 없음을 증명합니다.

핵심

이 논문은 물리학의 가장 유명한 방정식 중 하나인 아인슈타인의 중력 방정식과 관련된 흥미로운 수수께끼를 풀어냅니다. 전문 용어 없이, 일상적인 비유를 통해 이 논문의 핵심 내용을 설명해 드리겠습니다.

1. 배경: 우주의 '균형'을 맞추는 문제

우리가 아는 일반 상대성 이론은 우주의 시공간이 어떻게 휘어지는지 설명합니다. 아인슈타인 방정식은 마치 **"시공간의 휘어짐 (중력) = 물질과 에너지의 분포"**라는 균형 방정식입니다.

그런데 물리학자들은 가끔 이 방정식의 **'대칭성'**을 깨뜨려 보고 싶어 합니다. 즉, 방정식의 양쪽에서 '무게 (Trace)'를 모두 빼버린 '무게 없는 (Trace-free)' 버전의 방정식을 고려해 보는 것입니다.

• 일반 방정식: "시공간의 전체적인 휘어짐 = 물질의 전체적인 영향"
• 무게 없는 방정식: "시공간의 휘어짐의 세부적인 모양 = 물질의 세부적인 영향" (전체적인 '무게'는 무시함)

이 '무게 없는 방정식'은 매우 매력적입니다. 왜냐하면 이 방정식을 풀면, 우주 상수 (우주를 밀어내는 힘) 가 고정된 값이 아니라, **해마다 달라질 수 있는 '변수'**로 나타날 수 있기 때문입니다. 마치 수학 문제를 풀 때 정답에 상수 $C$가 붙는 것처럼 말이죠.

2. 문제 제기: 이 방정식은 '만들 수' 있을까?

물리학자들은 보통 자연의 법칙을 **'작용 (Action)'**이라는 하나의 거대한 공식을 통해 유도합니다. 마치 레시피를 따라 요리를 하듯, 공식을 조금씩 변형 (변분) 하면 자연 법칙이 튀어나옵니다.

그런데 이 논문은 **"이 '무게 없는 아인슈타인 방정식'은 어떤 레시피 (작용) 로도 만들 수 없다"**고 선언합니다.

비유: 레시피 없는 요리

• 우리가 보통 요리를 할 때는 "재료 (장) 를 섞고, 불을 조절하고 (변분) 하면 맛있는 요리 (방정식) 가 나온다"는 레시피가 있습니다.
• 하지만 이 논문은 "이 특정 요리 (무게 없는 방정식) 는 어떤 레시피를 따라도 절대 나올 수 없다"고 말합니다.
• 기존에는 "레시피가 대칭적이어야 (다이버전스 불변성) 하니까 안 된다"는 이유가 있었지만, 이 논문은 **"대칭성 여부와 상관없이, 어떤 레시피든 이 요리는 불가능하다"**는 더 강력한 결론을 내립니다.

3. 해결 방법: '요리 실험실' (Vainberg-Tonti Lagrangian)

논문의 저자들은 이 방정식이 레시피에서 나올 수 있는지 확인하기 위해 **'변분 완성법 (Variational Completion)'**이라는 수학적 도구를 사용했습니다. 이를 쉽게 비유하자면 다음과 같습니다.

비유: 요리 레시피 복원 실험

1. 목표: 우리가 가지고 있는 '완성된 요리 (방정식)'를 보고, 이것이 어떤 '레시피 (작용)'에서 나왔는지 역으로 찾아내는 것입니다.
2. 실험: 저자들은 이 요리를 만드는 과정에서 재료를 $u$배로 늘려보거나 줄여보며 실험을 합니다. (예: 소금 양을 2 배로, 3 배로 해보면서 맛이 어떻게 변하는지 확인)
3. 결과: 이 실험을 통해 '가상의 레시피'를 만들어 보려 했습니다. 하지만 계산해 보니, 만들어진 레시피의 값이 '0'이 되어버렸습니다.
4. 결론: 레시피가 '0'이라면, 그 레시피로 요리를 해봐도 아무것도 나오지 않습니다. 즉, 우리가 가진 '무게 없는 방정식'이라는 요리는 어떤 레시피로도 만들 수 없다는 뜻입니다.

4. 핵심 결론: 왜 중요한가?

이 논문은 다음과 같은 중요한 사실을 밝혀냈습니다.

• 직접적인 유도 불가: '무게 없는 아인슈타인 방정식'은 아인슈타인 방정식과 수학적으로 동등해 보일 수 있지만, 자연의 근본 법칙을 나타내는 '작용 (Action)'이라는 공식을 통해 직접 유도할 수는 없습니다.
• 해석의 변화: 이는 이 방정식이 틀렸다는 뜻이 아닙니다. 다만, 이 방정식을 물리 법칙으로 받아들일 때, 우리가 흔히 생각하는 "레시피 (작용) 에서 유도된 것"이라는 관점을 버려야 한다는 뜻입니다.
• 유니모듈러 중력 (Unimodular Gravity): 이 논문은 '유니모듈러 중력'이라는 이론과도 연결됩니다. 유니모듈러 중력에서는 우주의 부피를 고정하는 조건을 넣어서 이 방정식을 유도하려 시도합니다. 하지만 이 논문은 "부피를 고정하는 조건을 넣더라도, 여전히 이 방정식은 '작용'을 직접 변분해서 나오는 결과가 아니다"라고 명확히 합니다. 대신, 우주 상수가 '라그랑주 승수 (조건을 지키기 위한 보조 도구)'로 나타날 뿐입니다.

요약

이 논문은 **"우리가 좋아하는 '무게 없는 아인슈타인 방정식'이라는 요리는, 어떤 레시피 (작용) 를 가지고 있어도 직접 만들어낼 수 없다"**는 사실을 수학적으로 증명했습니다.

이는 마치 **"어떤 그림은 어떤 붓질 (레시피) 로도 그릴 수 없다"**는 것을 증명하는 것과 같습니다. 그림 자체는 아름답고 유효할 수 있지만, 그 그림을 만들어내는 '근본적인 과정 (작용)'은 우리가 상상했던 것과는 다르게 작동하고 있다는 것을 의미합니다.

기술 요약

논문 요약: 계량 텐서 (Metric) 를 장 변수로 할 때 무대각 (Trace-free) 아인슈타인 텐서의 변분 불가능성

1. 연구 배경 및 문제 제기 (Problem)

• 무대각 아인슈타인 방정식: 일반 상대성 이론의 아인슈타인 방정식에서 대각 부분 (Trace) 을 제거한 형태인 $R_{\mu\nu} - \frac{1}{n}Rg_{\mu\nu} = \kappa(T_{\mu\nu} - \frac{1}{n}Tg_{\mu\nu})$은 우주상수 $\Lambda$가 적분 상수로 나타나는 등 흥미로운 물리적 함의를 가집니다.
• 기존의 통설: 잘 알려진 바와 같이, 무대각 아인슈타인 텐서 ($G^{tf}_{\mu\nu}$) 는 **미분동형사상 불변성 (diffeomorphism invariance)**을 가진 국소 작용 (local action) 을 역계량 텐서 (inverse metric, $g^{\mu\nu}$) 에 대해 변분할 때 도출될 수 없습니다. 그 이유는 미분동형사상 불변 작용의 변분은 항상 공변 발산 (covariant divergence) 이 0 이어야 하지만, $n \ge 3$인 경우 무대각 아인슈타인 텐서는 항등적으로 발산이 0 이 아니기 때문입니다.
• 핵심 질문: 만약 미분동형사상 불변성이라는 가정을 제거하고, 일반적인 국소 작용 (local action) 에 대해서도 이 결론이 성립하는가? 즉, 계량 텐서 (또는 역계량 텐서) 를 유일한 장 변수로 할 때, 무대각 아인슈타인 텐서가 어떤 국소 작용의 오일러 - 라그랑주 방정식으로 도출될 수 있는가?

2. 연구 방법론 (Methodology)

저자는 **역변분법 (inverse calculus of variations)**의 한 기법인 변분 완성 (variational completion) 방법, 구체적으로 바인베르크 - 폰티 (Vainberg-Tonti) 라그랑지안을 사용하여 문제를 해결했습니다.

• 바인베르크 - 폰티 라그랑지안: 주어진 텐서 밀도 표현식 $E_A[y^B]$ (여기서 $y^A$는 장 변수) 가 어떤 작용의 변분에서 비롯된 것일 때, 이에 대응하는 라그랑지안 밀도 $L[y^A]$를 다음과 같이 정의합니다.
  $$L[y^A] := y^B \int_a^1 E_B[uy^A] du$$
  (여기서 $a$는 $u \to a$일 때 $u E_B[uy^A] \to 0$이 되는 값입니다.)
• 정리 3 (비변분성 판정): 만약 바인베르크 - 폰티 라그랑지안이 존재함에도 불구하고, 이 라그랑지안으로부터 도출된 오일러 - 라그랑주 방정식이 원래의 표현식 $E_A[y^B]$와 다르다면, $E_A[y^B]$는 국소적으로 변분 가능 (locally variational) 하지 않다는 결론이 나옵니다.

3. 주요 기여 및 증명 과정 (Key Contributions & Proof)

저자는 역계량 텐서 $g^{\mu\nu}$를 장 변수로 간주할 때, 무대각 아인슈타인 텐서의 변분 불가능성을 다음과 같이 증명했습니다.

1. 밀도화 (Densitisation): 작용의 변분은 텐서 밀도 (weight 1) 를 생성하므로, 무대각 아인슈타인 텐서를 밀도화한 형태 $\tilde{G}^{tf}_{\mu\nu} = \sqrt{|g|} (R_{\mu\nu} - \frac{1}{n}Rg_{\mu\nu})$를 고려합니다.
2. 스케일링 분석: 역계량 텐서를 $u$배 ($g^{\mu\nu} \to u g^{\mu\nu}$) 스케일링했을 때 $\tilde{G}^{tf}_{\mu\nu}$의 거동을 분석합니다.
   • 계량 $g_{\mu\nu} \to u^{-1}g_{\mu\nu}$, 크리스토펠 기호 및 리치 텐서 $R_{\mu\nu}$는 불변.
   • 리치 스칼라 $R = g^{\mu\nu}R_{\mu\nu} \to u^{-1}R$.
   • 행렬식 인자 $\sqrt{|g|} \to |u|^{-n/2}\sqrt{|g|}$.
   • 결과적으로 $\tilde{G}^{tf}_{\mu\nu}$는 $|u|^{-n/2}$배 스케일링됩니다.
3. 바인베르크 - 폰티 라그랑지안 계산:
   • 위 스케일링 성질을 이용해 적분 한계 $a$를 결정합니다 ($n \ge 3$일 때 $a=\infty$).
   • 라그랑지안 $L$을 계산하면 다음과 같습니다.
     $$L = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[ug^{\mu\nu}] du \propto g^{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}$$
   • 핵심: 무대각 아인슈타인 텐서의 정의에 따라 $g^{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma} = 0$ (대각이 0 이므로) 입니다.
   • 따라서 계산된 바인베르크 - 폰티 라그랑지안 $L$은 항등적으로 0이 됩니다.
4. 결론 도출:
   • $L=0$이므로, 이에 해당하는 작용의 변분은 0 을 줍니다.
   • 그러나 원래의 표현식인 $\tilde{G}^{tf}_{\mu\nu}$는 0 이 아닙니다.
   • 따라서 정리 3에 따라, 무대각 아인슈타인 텐서는 역계량 텐서에 대한 어떤 국소 작용의 변분으로도 도출될 수 없습니다.

4. 결과 (Results)

• 주요 정리 (Theorem 1): $n \ge 3$인 시공간 차원에서, 밀도화된 무대각 아인슈타인 텐서는 미분동형사상 불변성 가정 없이도 역계량 텐서 ($g^{\mu\nu}$) 를 장 변수로 하는 임의의 국소 작용 (local action functional) 의 변분으로 도출될 수 없습니다.
• 일반화: 이 결과는 계량 텐서 $g_{\mu\nu}$를 장 변수로 할 때의 공변 무대각 아인슈타인 텐서 ($R^{\mu\nu} - \frac{1}{n}Rg^{\mu\nu}$) 에 대해서도 동일하게 성립합니다 (스케일링 인자가 다르지만, 최종적으로 대각합이 0 이 되어 라그랑지안이 0 이 됨).

5. 의의 및 함의 (Significance)

• 이론적 명확성: 무대각 아인슈타인 방정식이 표준 아인슈타인 방정식과 수학적으로 동등한 형태를 가질지라도, 장 변수가 계량 텐서일 때는 이를 직접적인 작용 원리 (action principle) 로부터 유도할 수 없음을 엄밀하게 증명했습니다.
• 유니모듈러 중력 (Unimodular Gravity) 과의 관계: 유니모듈러 중력에서는 부피 밀도를 고정하는 조건을 추가하여 변분 원리를 구성합니다. 이 경우 변분 결과는 우주상수가 라그랑주 승수로 나타나는 완전한 아인슈타인 방정식이 됩니다. 이는 무대각 방정식과 동치이지만, 무대각 방정식 자체가 직접적인 변분 결과물이 아님을 시사합니다.
• 대안적 접근의 필요성: 무대각 아인슈타인 방정식을 작용 원리로 유도하려면 역계량 텐서 외에 추가적인 보조 장 (auxiliary fields) 을 도입하거나, 장 변수를 재정의해야 함을 의미합니다 (최근 연구 [5-7] 에서 이러한 시도가 이루어짐).
• 범용성: 이 결과는 미분동형사상 불변성이라는 강력한 제약을 제거하고도 성립하므로, 일반 국소 장 이론의 구조에 대한 더 깊은 통찰을 제공합니다.

요약하자면, 이 논문은 무대각 아인슈타인 텐서가 계량 텐서를 유일한 동역학적 변수로 하는 어떤 국소 작용의 오일러 - 라그랑주 방정식이 될 수 없음을, 미분동형사상 불변성 가정을 배제한 채 바인베르크 - 폰티 라그랑지안 기법을 통해 엄밀하게 증명했습니다.