클레이 수학 7대 난제 .. 7. Yang-Mills and Mass Gap
7. Yang-Mills and Mass Gap (양 - 밀스 이론과 질량 간극 가설)
수학의 새로운 발전을 위한 계기는 상당 부분 과학 특히 물리학으로부터 주어진다. 예를 들면 수학자 뉴턴과 라이프니츠가 17세기에 미적분학을 발명한 동기는 물리학을 위해서였다.
미적분학은 연속 운동을 수학적으로 엄밀하게 기술하는 방법을 제공함으로써 과학에 혁명을 일으켰다. 뉴턴과 라이프니츠의 방법은 유효했다. 그러나 미적분학의 기반을 이루는 수학이 제대로 완성되기까지는 약 250년이 더 필요했다.
지난 반세기 정도에 걸쳐서 개발된 물리학 이론과 관련해서 유사한 상황이 벌어지고 있다. 이 일곱 번째 밀레니엄 문제는 수학자들에게 물리학을 따라잡을 것을 요구한다.
양-밀스 바정식들은 양자물리학에서 나왔다. 그 방정식들은 지금으로부터 거의 50년 전에 물리학자 양전닝과 로버트 밀스가 중력을 제외한 자연의 힘들을 기술하기 위해서 정식화했다.
그 방정식들은 훌륭한 성과를 거두었다. 방정식으로부터 도출된 예측들은 전 세계 실험실에서 관찰된 입자들을 설명한다. 그러나 실용적으로 효율적임에도 불구하고 양-밀스 이론은 아직 수학적으로 완성되지 않았다.
일곱 번째 밀레니엄 문제가 요구하는 것 중 하나는 , 그 이론을 공리로부터 출발해서 수하적으로 전개하라는 것이다. 요구되는 수학적 이론은 실험실에서 관찰된 여러 조건에 부합해야 할 것이다. 특히 그 이론은 양-밀스 방적식들의 해라고 상정된 것들과 관련된 “질량 간극 가설”을 (수학적으로)입증해야 한다.
대부분의 물리학자들은 이 가설을 받아들여 전자가 질량을 가지는 이유를 설명한다. 질량 간극 가설을 증명할 수 있는지 여부는 양-밀스 이론을 올바르게 수학적으로 전개했는지 여부를 판가름할 수 있는 좋은 시험기준이라고 여겨진다.
그들 역시 전자가 왜 질량을 가지는지 엄밀하게 설명하지 못하고 있다. 다만 그렇가는 것을 관찰했을 뿐이다.
- 끝 -
