[논문 리뷰] Galilean and Carrollian Hodge star operators

Marián Fecko|arXiv (Cornell University)|2022. 06. 20.

Black Holes and Theoretical Physics참고 문헌 24인용 수 6

한 줄 요약

이 논문은 비표준 메트릭 텐서가 존재하지 않아 표준 메트릭 기반의 호지 스타 연산자 구성이 실패하는 갈릴레오 및 칼로우리안 시공간에 대해 호지 스타 연산자의 유사체를 도입한다. 시간 1형식, 공간 메트릭, 체적 형식 등의 정준 구조를 활용하여 각 시공간당 두 개씩 총 네 종류의 호지 스타 연산자(공간 메트릭 또는 시간 프로젝터를 사용)를 구성한다. 주요 기여는 좌표에 종속되지 않고 기하학적으로 기술된 형태로 갈릴레오 및 칼로우리안 전기역학을 간결하게 표현할 수 있게 해주는 것이다.

ABSTRACT

The standard Hodge star operator is naturally associated with metric tensor (and orientation). It is routinely used to concisely write down physics equations on, say, Lorentzian spacetimes. On Galilean (Carrollian) spacetimes, there is no canonical (nonsingular) metric tensor available. So, the usual construction of the Hodge star does not work. Here we propose analogs of the Hodge star operator on Galilean (Carrollian) spacetimes. They may be used to write down important physics equations, e.g. equations of Galilean (Carrollian) electrodynamics.

연구 동기 및 목표

• 갈릴레오 및 칼로우리안 시공간에서 비표준 메트릭 텐서의 부재로 인해 표준 호지 스타 연산자 구성이 불가능한 문제를 다룬다.
• 이러한 시공간에서 이용 가능한 정준 기하학적 구조—예를 들어 시간 1형식, 공간 메트릭, 체적 형식—을 식별한다.
• 표준 호지 스타의 본질적인 쌍대성 및 유사 쌍대성 특성을 유지하는 호지 스타 연산자의 유사체를 개발한다.
• 특히 갈릴레오 및 칼로우리안 기하학에서 물리 법칙, 특히 전기역학을 간결하고 좌표에 종속되지 않은 형태로 표현할 수 있도록 한다.
• 퇴화하거나 특이한 메트릭을 갖는 시공간에서의 호지 쌍대성에 대한 프레임워크를 구축하고, 미분기하학을 비로렌츠 설정으로 확장한다.

제안 방법

• 시간 1형식과 공간 메트릭(또는 그 쌍대)을 통해 갈릴레오 및 칼로우리안 시공간을 정의하여 고차원 형식과 고차원 다중벡터의 존재를 보장한다.
• 각 시공간당 두 가지의 서로 다른 호지 스타 연산자를 구성한다: (1) 공간 메트릭 $h^{ab}$ 또는 그 쌍대 $\tilde{h}_{ab}$를 사용하고, (2) 시간 프로젝터 $k_{ab}$ 또는 $\check{k}^{ab}$를 사용한다.
• 갈릴레오의 경우 $h^{ab}$와 $k_{ab}$를, 칼로우리안의 경우 $\tilde{k}^{ab}$와 $\tilde{h}_{ab}$를 활용하여 정준 인덱스 상향 및 하향 변환을 통해 혼합 텐서 장 $\omega^{a\dots b}_{\ \ \ c\dots d}$를 구성한다.
• 적합한 기저에서의 명시적 성분 공식을 유도하여, 호지 스타 연산자가 $p$-형식을 $(d-p)$-형식으로 캐논리컬하게 매핑함을 보여준다.
• 새로운 연산자가 미분형식에 작용할 때의 행동을 비교하여, 민코프스키 시공간에서 알려진 결과와의 일관성을 검증한다.
• 이 연산자를 적용하여 갈릴레오 및 칼로우리안 전기역학을 구성하고, 다중성 보존 형태로 맥스웰 유사 방정식을 표현한다.

실험 결과

연구 질문

• RQ1 비퇴화된 메트릭 텐서가 없는 갈릴레오 및 칼로우리안 시공간에서도 호지 스타 연산자를 정의할 수 있는가?
• RQ2 호지 스타 유사체를 구성하기 위해 메트릭과 그 역행의 대체로 사용할 수 있는 정준 기하학적 구조는 무엇인가?
• RQ3 결과로 도출된 호지 스타 연산자가 인보크 및 시공간의 내재 기하학과 관련하여 어떻게 행동하는가?
• RQ4 새로운 호지 스타 연산자를 사용하여 갈릴레오 및 칼로우리안 전기역학과 같은 물리 법칙을 간결하게 표현할 수 있는가?
• RQ5 갈릴레오 및 칼로우리안 호지 스타 연산자가 형식 매핑 및 쌍대성 특성 측면에서 표준 민코프스키 호지 스타와 어떻게 비교되는가?

주요 결과

• 총 네 종류의 서로 다른 호지 스타 연산자가 구성되었으며, 갈릴레오 시공간에 대해 $h^{ab}$와 $k_{ab}$를 기반으로 한 두 개, 칼로우리안 시공간에 대해 $\tilde{h}_{ab}$와 $\tilde{k}^{ab}$를 기반으로 한 두 개이다. 모든 연산자는 정준 기하학적 구조를 사용한다.
• 호지 스타 연산자는 $p$-형식을 $(d-p)$-형식으로 캐논리컬하고 좌표에 종속되지 않은 방식으로 매핑하며, 본질적인 쌍대성 특성을 유지한다.
• 명시적 공식은 $1+3$ 차원에서 갈릴레오, 칼로우리안, 민코프스키의 경우에 형식에 대한 호지 스타 작용이 상당히 다름을 보여주며, 특히 벡터 및 스칼라 성분의 쌍대화 방식에서의 차이를 드러낸다.
• 갈릴레오 호지 스타의 경우 $*(fdt + \mathbf{a}\cdot d\mathbf{r}) = dt \wedge \mathbf{a}\cdot d\mathbf{S}$이고, 칼로우리안 호지 스타의 경우 $*(fdt + \mathbf{a}\cdot d\mathbf{r}) = f dV$로 표현되며, 이는 서로 다른 기하학적 쌍대성 구조를 반영한다.
• 특정 경우에 $k_{ab}$ 또는 $\tilde{k}^{ab​}$를 기반으로 한 호지 스타 연산자는 최상위 및 최하위 형식에 대해 0을 출력하여 일부 성분에서 쌍대성의 붕괴를 나타낸다.
• 이 프레임워크는 갈릴레오 및 칼로우리안 전기역학을 간결하게 기술할 수 있게 하며, 맥스웰 유사 방정식이 $dF = 0$ 및 $d*F = -J$ 형태로 표현되어 로렌츠 경우와 유사한 다중성 보존 형태를 취한다.