Dehn 비틀림과 스핀 4-다양체에 대한 Nielsen 실현 문제 | Synapse