[논문 리뷰] Errata and Addenda to ``Anomaly Cancellation Condition in Lattice Gauge Theory''

Hiroshi Igarashi, Kiyoshi Okuyama외 1명|ArXiv.org|2000. 12. 15.

Cosmology and Gravitation Theories인용 수 10

한 줄 요약

이 논문은 일반적인 고스트 수 $g$에 대해 라티스 양자게이지 이론에서 비보존성의 보정을 위한 기존 논문의 중간 유도 과정에서의 기술적 오류를 수정한다. 주요 정리들은 그대로 유지되며, 비자명한 이상성에 기여하는 것은 필드 강도 계수의 완전 반대칭 부분들 뿐이며, 특히 기존 논문에서 생략된 $B_1^{[a_0\cdots a_g]b} = 0$와 같은 새로운 제약 조건을 유도한다. 이는 연속 이론과 BRS 코hom로지와의 일致성을 확보한다.

ABSTRACT

We correct some intermediate expressions and arguments in hep-lat/0002009 (Nucl. Phys. B 585 (2000) 471--513). The main results do not change. We also mention some additional observations, including a constraint on a coefficient of the possible nontrivial anomaly which was not given in the paper.

연구 동기 및 목표

• 일반적인 고스트 수 $g$에 대해 기존 논문의 라티스 양자게이지 이론에서의 이상성 보정 유도 과정 중 오류가 있는 중간 표현과 추론을 수정하는 것.
• 비자명한 해에 대해 필드 강도 계수 $\widetilde{\omega}_{\mu}^{a_0[a_1\cdots a_g]}$의 완전 반대칭성의 역할을 명확히 하는 것.
• 기존 논문에 포함되지 않았던 계수 $B_1^{[a_0\cdots a_g]b}$에 대한 이전에 누락된 제약 조건을 유도하는 것.
• 초스페이스 형식을 통해 $\widetilde{d} = d + s$를 사용하여 라티스 이상성 구조와 연속 이론의 BRS 코hom로지 간의 등가성을 확립하는 것.
• 임의의 차원 라티스에서의 $U(1)^N$ 게이지 이론에 대해 공변 Poincaré 보조정리의 간단하고 일반화 가능한 증명을 제공하는 것.

제안 방법

• 고스트 수 $g$에 대한 일관성 조건의 국소적 해를 분석하기 위해 BRS 코hom로지 프레임워크를 사용한다.
• BRS 연산자 $s$와 초스페이스 미분자 $\widetilde{d} = d + s$에 대한 부분 적분을 수행하며, BRS-자명한 항들까지 고려한다.
• 비자명한 이상성에 기여하는 것은 필드 강도 계수의 완전 반대칭 부분들 뿐임을 보여주며, 이는 비자명한 해에서 $\widetilde{\omega}_{\mu}^{[a_0\cdots a_g]}$의 가정을 정당화한다.
• 식 (6.23)에서 $B_2$와 $B_0$ 간의 대칭성에 대한 잘못된 유도를 반대칭화와 비가환 미분 계산에 기반한 올바른 추론으로 대체한다.
• 이상성 항을 재기록하고 라티스와 연속 이론의 구조 간 등가성을 보여주기 위해 초스페이스 접속 $\widetilde{A}^a = A^a + C^a$를 도입한다.
• 합산 $\sum_n$ 하에서 $Y_2^{ab}$ 기여는 BRS-자명한 항들까지 고려해 사라지며, $\varphi_3^{ab}$ 기여는 주 항목에 흠(Temporal) 흡수될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 기존 논문에서 일반적인 고스트 수 $g$에 대해 이상성 보정을 위한 중간 유도 과정에서 어떤 수정이 필요한가?
• RQ2 비자명한 해에 대해 $\widetilde{\omega}_{\mu}^{a_0[a_1\cdots a_g]}$의 완전 반대칭성 가정이 타당한 이유는 무엇이며, 이를 엄밀하게 어떻게 증명할 수 있는가?
• RQ3 비자명한 이상성 기여만 남기기 위해 계수 $B_1^{[a_0\cdots a_g]b}$, $B_2^{[a_1\cdots a_g]b}$, $B_0^{[a_1\cdots a_g]bc}$에 어떤 제약 조건을 두어야 하는가?
• RQ4 초스페이스 형식을 통해 라티스 이상성 구조와 연속 이론의 BRS 코hom로지 간 등가성을 어떻게 증명할 수 있는가?
• RQ5 $U(1)^N$ 라티스 양자게이지 이론에 대해 일반적이고 차원에 종속되지 않는 공변 Poincaré 보조정리의 증명을 어떻게 구성할 수 있는가?

주요 결과

• 일반적인 고스트 수 $g$에 대해 중간 단계의 오류가 있었음에도 불구하고, 라티스 양자게이지 이론에서 이상성 보정에 관한 주요 정리는 그대로 유지된다.
• 비자명한 이상성에 기여하는 것은 $\widetilde{\omega}_{\mu}^{a_0[a_1\cdots a_g]}$의 완전 반대칭 부분 뿐이며, 이는 비자명한 해에서의 완전 반대칭성 가정을 정당화한다.
• 식 (6.13)의 계수 정규화는 $\widetilde{\omega}_{\mu}^{[a_0\cdots a_g]}(n) = \frac{1}{3!} \varepsilon_{\mu\nu\rho\sigma} \frac{(-1)^{g(g+1)/2}}{g+1} \Omega_{\nu\rho\sigma}^{[a_0\cdots a_g]}(n+\widehat{\mu})$로 수정되어야 한다.
• 기존 논문에 포함되지 않았지만 연속 이론과의 일致성을 확보하기 위해 필수적인, 이전에 누락된 제약 조건 $B_1^{[a_0\cdots a_g]b} = 0$이 도출된다.
• 식 (6.23)의 잘못된 표현을 대체하여 $B_2^{[a_1\cdots a_g b]} = 0$과 $B_0^{[a_1\cdots a_g b]c} = 0$의 제약 조건이 도입되어 비자명한 기여만 남는다.
• 초스페이스 형식을 통해 $\widetilde{d} = d + s$와 $\widetilde{A}^a = A^a + C^a$를 사용하면, 라티스와 연속 이론의 이상성 구조 간 등가성을 증명하는 통합적 프레임워크를 제공한다.