We classify all closed non-orientable $\mathbb{P}^2$-irreducible 3-manifolds obtained by identifying the faces of a cube. These turn out to be the closed non-orientable $\mathbb{P}^2$-irreducible 3-manifolds with surface-complexity one. We show that they are the four flat ones.
- ๋
ผ๋ฌธ ID: 2501.01328
- ์ ๋ชฉ: Non-orientable 3-manifolds of surface-complexity one
- ์ ์: Gennaro Amendola (eCampus University, Italy)
- ๋ถ๋ฅ: math.GT (๊ธฐํ ์์์ํ)
- ๋ฐํ ์๊ฐ: 2025๋
1์ 2์ผ
- ๋
ผ๋ฌธ ๋งํฌ: https://arxiv.org/abs/2501.01328
๋ณธ ๋
ผ๋ฌธ์ ์ ์ก๋ฉด์ฒด ๋ฉด ๋์ผ์๋ฅผ ํตํด ์ป์ด์ง๋ ๋ชจ๋ ํ๊ณก์ ๋น๋ฐฉํฅ์ฑ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด๋ฅผ ๋ถ๋ฅํ๋ค. ์ด๋ค์ ์ ํํ ํ๋ฉด ๋ณต์ก๋๊ฐ 1์ธ ํ๊ณก์ ๋น๋ฐฉํฅ์ฑ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด์ด๋ค. ์ ์๋ ์ด๋ค์ด ์ ํํ 4๊ฐ์ ํํ ๋ค์์ฒด์์ ์ฆ๋ช
ํ๋ค.
- ์ญ์ฌ์ ๊ธฐ์: ์ ์ก๋ฉด์ฒด ๋ฉด ๋์ผ์๋ฅผ ํตํ ํ๊ณก์ 3-๋ค์์ฒด ๊ตฌ์ฑ ์ฐ๊ตฌ๋ 1895๋
ํธ์์นด๋ ์ ์
์ ์์ ๋น๋กฏ๋์์ผ๋ฉฐ, ๊ธฐ๋ณธ๊ตฐ๊ณผ ๋ฒ ํฐ ์์ ์์ ์ฐ๊ตฌ์ ์ฌ์ฉ๋์๋ค.
- ๋น๋ฐฉํฅ์ฑ ๋ค์์ฒด์ ํฌ์์ฑ:
- 8๊ฐ์ง 3์ฐจ์ ๊ธฐํํ ์ค 5๊ฐ์ง๋ง ๋น๋ฐฉํฅ์ฑ ํํ์ ๊ฐ์ง
- Matveev ๋ณต์ก๋๊ฐ 9 ์ดํ์ธ ๋พฐ์กฑํ ์๊ณก 3-๋ค์์ฒด ์ค 75,956๊ฐ ์ค 14,045๊ฐ๋ง ๋น๋ฐฉํฅ์ฑ
- Matveev ๋ณต์ก๋๊ฐ 7 ์ดํ์ธ ํ๊ณก์ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด ์ค 318๊ฐ ์ค 8๊ฐ๋ง ๋น๋ฐฉํฅ์ฑ
- ๋ณต์ก๋ ์ด๋ก : ๋
ผ๋ฌธ์ 3-๋ค์์ฒด ๋ณต์ก๋์ ์ธ ๊ฐ์ง ๊ฐ๋
์ ๋ค๋ฃฌ๋ค:
- Matveev ๋ณต์ก๋: ์ผ๊ฐ๋ถํ ์ ํ์ํ ์ต์ ์ฌ๋ฉด์ฒด ๊ฐ์
- ์ ์ก๋ฉด์ฒด ๋ณต์ก๋: ์ ์ก๋ฉด์ฒดํ์ ํ์ํ ์ต์ ์ ์ก๋ฉด์ฒด ๊ฐ์
- ํ๋ฉด ๋ณต์ก๋: ํก๋จ ์นจ์
ํ๊ณก์ ๊ณก๋ฉด์ด ๋ค์์ฒด๋ฅผ ๊ตฌ๋ก ๋ถํดํ ๋ ํ์ํ ์ต์ ์ผ์ค์ ๊ฐ์
ํ๋ฉด ๋ณต์ก๋๊ฐ 1์ธ ๋น๋ฐฉํฅ์ฑ 3-๋ค์์ฒด๋ฅผ ๋ถ๋ฅํ๋ ๊ฒ์ผ๋ก, ์ด๋ค์ ์ด๋ค ์๋ฏธ์์ "๊ฐ์ฅ ๋จ์ํ" ๋น๋ฐฉํฅ์ฑ ๋ค์์ฒด์ด๋ฉฐ, 3-๋ค์์ฒด ๋ถ๋ฅ์ ์์ ํ ์ดํด๋ฅผ ์ํ ๊ธฐ์ด๋ฅผ ์ ๊ณตํ๋ค.
- ์์ ๋ถ๋ฅ: ํ๋ฉด ๋ณต์ก๋๊ฐ 1์ธ ํ๊ณก์ ๋น๋ฐฉํฅ์ฑ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด๊ฐ ์ ํํ 4๊ฐ์ ํํ ๋ค์์ฒด์์ ์ฆ๋ช
- ์ด๋ก ์ ๋จ์ํ: ์ด๋ก ์ ๊ฒฐ๊ณผ๋ฅผ ์ฌ์ฉํ์ฌ ๊ฒ์ ๊ณผ์ ์ ๋จ์ํํ๊ณ 512๊ฐ์ง ๊ฐ๋ฅํ ์ ์ก๋ฉด์ฒด ๋ฉด ์ ์ฐฉ์ ์์ ํ ์ด๊ฑฐํ๋ ๊ฒ์ ํํผ
- ๋ณต์ก๋ ๋์น์ฑ: ํน์ ์กฐ๊ฑด์์ ํ๋ฉด ๋ณต์ก๋์ ์ ์ก๋ฉด์ฒด ๋ณต์ก๋์ ๋์น์ฑ์ ์ฆ๋ช
- ๊ตฌ์ฑ ๋ฐฉ๋ฒ: ์ ์ก๋ฉด์ฒดํ์์ ์ผ๊ฐ๋ถํ ๋ก์ ์ฒด๊ณ์ ๋ณํ ๋ฐฉ๋ฒ ์ ๊ณต
์ ์ก๋ฉด์ฒดํ ์ ์: 3-๋ค์์ฒด M์ ์ ์ก๋ฉด์ฒดํ๋ ์ธํฌ ๋ถํด๋ก์:
- ๊ฐ 2-์ธํฌ(์ ์ฌ๊ฐํ)๋ 4๊ฐ ๋ณ์ ๋ฐ๋ผ ์ ์ฐฉ
- ๊ฐ 3-์ธํฌ(์ ์ก๋ฉด์ฒด)๋ 6๊ฐ ๋ฉด์ ์ ์ก๋ฉด์ฒด ๊ฒฝ๊ณ ๋ฐฉ์์ผ๋ก ๋ฐฐ์ด
ํ๋ฉด ๋ณต์ก๋: ๋ค์์ฒด M์ ํ๋ฉด ๋ณต์ก๋๊ฐ c์ ๊ฐ๋ค๋ ๊ฒ์ M์ด c๊ฐ์ ์ผ์ค์ ์ ๊ฐ์ง ์ค์ถฉ์ Dehn ๊ณก๋ฉด์ ๊ฐ์ง๋ฉฐ, c๋ณด๋ค ์ ์ ์ผ์ค์ ๊ฐ์๋ฅผ ๊ฐ์ง ์ค์ถฉ์ Dehn ๊ณก๋ฉด์ด ์กด์ฌํ์ง ์์์ ์๋ฏธํ๋ค.
์ ๋ฆฌ 3: ์ฐ๊ฒฐ๋ ํ๊ณก์ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด(Sยณ, RPยณ, Lโ,โ ์ ์ธ)์ ๋ํด, ํ๋ฉด ๋ณต์ก๋๋ ์ ์ก๋ฉด์ฒด ๋ณต์ก๋์ ๊ฐ๋ค.
์ ์ก๋ฉด์ฒดํ์์ ์ผ๊ฐ๋ถํ ๋ก์ ๋ณํ:
๋
ผ๋ฌธ์ 4๊ฐ์ง "๋ธ๋ก"์ ๊ตฌ์ฑ์ ์ ์ํ๋ค:
- 5-์ฌ๋ฉด์ฒด ๋ธ๋ก: 4๊ฐ ์ฌ๋ฉด์ฒด๊ฐ ์ค์ฌ ์ฌ๋ฉด์ฒด์ ๋ฉด์ ์ ์ฐฉ
- ๋ค์ง๊ธฐ ๋ธ๋ก: 5-์ฌ๋ฉด์ฒด ๋ธ๋ก ๊ธฐ์ด์์ ์ ์ฌ๊ฐํ์ ๋ ์ผ๊ฐํ์ ๋ฐ๋ผ ์ฌ๋ฉด์ฒด ์ ์ฐฉ
- 5๊ฐ ๋ธ๋ก: 5๊ฐ ๋ณ์ ๋ณ ํํ์์ ์์ํ์ฌ ๊ฒฝ๊ณ ์ผ๊ฐํ์ ๋ฐ๋ผ ์ฌ๋ฉด์ฒด ์ ์ฐฉ
- 4๊ฐ ๋ธ๋ก: 4๊ฐ ๋ณ์ ๋ณ ํํ(ํ๋ฉด์ฒด)์์ ์์ํ์ฌ ๋ ๋๋ฉด ์ผ๊ฐํ์ ๋ฐ๋ผ ๋ ์ฌ๋ฉด์ฒด ์ ์ฐฉ
๋ณด์กฐ์ ๋ฆฌ 6: ๋จ์ผ ์ ์ก๋ฉด์ฒด ์ ์ก๋ฉด์ฒดํ๋ฅผ ๊ฐ์ง ๊ฐ 3-๋ค์์ฒด๋ ์ 4๊ฐ์ง ๋ธ๋ก ์ค ํ๋๋ฅผ ํตํ ์ ์ฌ๊ฐํ ์ ์ฐฉ์ ์ผ๊ฐ๋ถํ ์ ๊ฐ์ง๋ค.
์ ์๋ ์ปดํจํฐ ์ ์ ์กฐ์ฌ๊ฐ ์๋ ์ด๋ก ์ ๋ถ์ ๋ฐฉ๋ฒ์ ์ฑํํ๋ค:
- Matveev ๋ณต์ก๋์ ์๋ ค์ง ๊ฒฐ๊ณผ ํ์ฉ
- ์ ์ก๋ฉด์ฒดํ์์ ์ผ๊ฐ๋ถํ ๋ก์ ๋ณํ ๋ถ์
- ๋ณ์ ์ฐจ์ ๋ถ์์ ํตํ ๋ถ๊ฐ๋ฅํ ๊ฒฝ์ฐ ๋ฐฐ์
์ ๋ฆฌ 4 (์ฃผ์ ๊ฒฐ๊ณผ): ํ๋ฉด ๋ณต์ก๋๊ฐ 1์ธ ํ๊ณก์ ๋น๋ฐฉํฅ์ฑ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด๋ ์ ํํ 4๊ฐ์ด๋ฉฐ, ์ด๋ค์ 4๊ฐ์ ํํ ๋ค์์ฒด์ด๋ค:
| Burton ๊ธฐํธ | Regina ๊ธฐํธ | ์ ์ก๋ฉด์ฒดํ ํํ |
|---|
| Kยฒ ร Sยน | KB x S1 | ํ์ค ์ ์ฐฉ |
| Tยฒ ร I/(0 1; 1 0) | SFS KB: (1,1) | ํ์ค ์ ์ฐฉ |
| Kยฒ ร I/(1 0; 0 -1) | KB/n3 x~ S1 | ํ์ค ์ ์ฐฉ |
| Kยฒ ร I/(-1 1; 0 -1) | SFS KB/n3: (1,1) | ํน์ ์ ์ฐฉ |
๋จ์ ์ฌ์(1 1; 1 0)์ ์ํ ๋ค๋ฐ ๋ถ์์ ํตํด:
- ํด๋น ๋ค์์ฒด๋ Matveev ๋ณต์ก๋ 6์ ๊ฐ์ง
- ๋ณ์ ์ฐจ์ ๋ถ์์ ํตํด ๋จ์ผ ์ ์ก๋ฉด์ฒด ์ ์ก๋ฉด์ฒดํ๋ก ์คํ๋ ์ ์์์ ์ฆ๋ช
- ์ ์ผํ ์ผ๊ฐ๋ถํ ์์ ์ฐจ์ 4์ธ ๋ณ์ด ์์ผ๋ฉฐ, ์ด๋ ๋จ์ผ ์ ์ก๋ฉด์ฒด ์ ์ก๋ฉด์ฒดํ์ ์๊ตฌ์ฌํญ๊ณผ ๋ชจ์
- Matveev ๋ณต์ก๋: 1988๋
Matveev์ ์ํด ์ ์, ์ผ๊ฐ๋ถํ ๊ธฐ๋ฐ
- ์ ์ก๋ฉด์ฒด ๋ณต์ก๋: ์ ์ก๋ฉด์ฒดํ ๊ธฐ๋ฐ ๋ณต์ก๋ ๊ฐ๋
- ํ๋ฉด ๋ณต์ก๋: ๊ณก๋ฉด ์นจ์
๊ธฐ๋ฐ์ ๋ ์ ์ฐํ ์ ์
- ํ๋ฉด ๋ณต์ก๋ 0์ธ 3-๋ค์์ฒด: 3๊ฐ (๋ชจ๋ ๋ฐฉํฅ์ฑ)
- ํ๋ฉด ๋ณต์ก๋ 1์ธ ๋ฐฉํฅ์ฑ 3-๋ค์์ฒด: 11๊ฐ
- ํ๋ฉด ๋ณต์ก๋ 2์ธ ๋ฐฉํฅ์ฑ 3-๋ค์์ฒด: 80๊ฐ
๋
ผ๋ฌธ์ Vigara๊ฐ ์ ์ํ Montesinos ๋ณต์ก๋์ ์ผ์ค์ ์คํํธ๋ผ ๋ฑ ๊ด๋ จ ๊ฐ๋
๋ ์ธ๊ธํ๋ค.
- ์์ ๋ถ๋ฅ: ํ๋ฉด ๋ณต์ก๋ 1์ธ ๋น๋ฐฉํฅ์ฑ Pยฒ-๊ธฐ์ฝ 3-๋ค์์ฒด๋ ์ ํํ 4๊ฐ์ ํํ ๋ค์์ฒด
- ๊ธฐํํ์ ํน์ฑ: ๊ฐ ํํ ๋ค์์ฒด๋ 3๊ฐ์ Seifert ์ฌ์ ํ๋ฅผ ๊ฐ์ง๋ฉฐ, ์ ์ก๋ฉด์ฒดํ๋ฅผ ํตํด ์ง๊ด์ ์ผ๋ก ํํ ๊ฐ๋ฅ
- ๋ณต์ก๋ ๊ด๊ณ: ์ฐ๊ตฌ๋ ๊ฒฝ์ฐ์์ ํ๋ฉด ๋ณต์ก๋์ ์ ์ก๋ฉด์ฒด ๋ณต์ก๋๊ฐ ๊ฐ์
- ๊ณ์ฐ ์ ์ฝ: ํ์ฌ ๋ฐฉ๋ฒ์ ์ฃผ๋ก ์ด๋ก ๋ถ์ ๊ธฐ๋ฐ์ด๋ฉฐ, ๋ ๋์ ๋ณต์ก๋์ ๊ฒฝ์ฐ ์ปดํจํฐ ๋ณด์กฐ๊ฐ ํ์ํ ์ ์์
- ๋ฒ์ ์ ํ: Pยฒ-๊ธฐ์ฝ์ธ ๊ฒฝ์ฐ๋ง ๊ณ ๋ ค
- ๋ฐฉ๋ฒ ์ ์ฉ์ฑ: ํ์ฌ ๋ฐฉ๋ฒ์ด ๋ ๋ณต์กํ ๊ฒฝ์ฐ์ ์ถฉ๋ถํ ํจ์จ์ ์ด์ง ์์ ์ ์์
์ ์๋ ํ์ ์ฐ๊ตฌ์์ ์ปดํจํฐ ๋ณด์กฐ๋ฅผ ์ฌ์ฉํ์ฌ ๋ ๋์ ๋ณต์ก๋์ ๊ฒฝ์ฐ๋ฅผ ์ฒ๋ฆฌํ ๊ณํ์ด๋ค.
- ์ด๋ก ์ ์๋ฐ์ฑ: ์์ ํ ์ํ์ ์ฆ๋ช
์ ๊ณต, ๋
ผ๋ฆฌ ๋ช
ํ
- ๋ฐฉ๋ฒ ํ์ ์ฑ: ์ ์ก๋ฉด์ฒดํ์ ์ผ๊ฐ๋ถํ ์ ๊ต๋ฌํ๊ฒ ์ฐ๊ฒฐํ์ฌ ๋ฌด์ฐจ๋ณ ์ด๊ฑฐ ํํผ
- ๊ฒฐ๊ณผ ์์ ์ฑ: ์์ ๋ถ๋ฅ ์ ๊ณต, ๋๋ฝ ์์
- ๊ธฐํํ์ ์ง๊ด์ฑ: ์ ์ก๋ฉด์ฒดํ๋ฅผ ํตํ ๊ธฐํํ์ ์ง๊ด์ ํํ ์ ๊ณต
- ๊ณ์ฐ ๋ณต์ก์ฑ: ๋ ๋์ ๋ณต์ก๋์ ๊ฒฝ์ฐ ์์ ์ด๋ก ๋ฐฉ๋ฒ์ด ์ถฉ๋ถํ ํจ์จ์ ์ด์ง ์์ ์ ์์
- ์์ฉ ์ ํ: ๊ฒฐ๊ณผ๊ฐ ์ฃผ๋ก ์ด๋ก ์ ์ด๋ฉฐ ์ค์ ์์ฉ ๊ฐ์น ์ ํ์
- ์ผ๋ฐํ ์ด๋ ค์: ๋ ์ผ๋ฐ์ ์ธ ๊ฒฝ์ฐ๋ก์ ๋ฐฉ๋ฒ ํ์ฅ์ฑ ๋ถ๋ช
ํ
- ํ์ ์ ๊ฐ์น: 3-๋ค์์ฒด ์ด๋ก ์ ์ค์ํ ๋ถ๋ฅ ๊ฒฐ๊ณผ ์ ๊ณต
- ๋ฐฉ๋ฒ๋ก ์ ๊ธฐ์ฌ: 3-๋ค์์ฒด ๋ณต์ก๋ ์ฐ๊ตฌ์ ์๋ก์ด ๊ด์ ์ ๊ณต
- ๊ธฐ์ด์ฑ: ํ์ ๋ ๋ณต์กํ ๊ฒฝ์ฐ ์ฐ๊ตฌ์ ๊ธฐ์ด ๋ง๋ จ
- 3-๋ค์์ฒด ์์์ํ์ ์ด๋ก ์ฐ๊ตฌ
- ์ ์ฐจ์ ์์์ํ์ ๋ถ๋ฅ ๋ฌธ์
- ๊ธฐํ ์์์ํ์ ๋ณต์ก๋ ์ด๋ก ์ฐ๊ตฌ
๋
ผ๋ฌธ์ 21๊ฐ์ ๊ด๋ จ ๋ฌธํ์ ์ธ์ฉํ๋ฉฐ, 3-๋ค์์ฒด ์ด๋ก ์ ์ฃผ์ ๋ฐ์ ์ ํฌ๊ดํ๋ค:
- ํธ์์นด๋ ์ ๊ฐ์ฒ์ ์
์
- Matveev ๋ณต์ก๋ ์ด๋ก
- ํ๋ 3-๋ค์์ฒด ๋ถ๋ฅ์ ๊ณ์ฐ ๋ฐฉ๋ฒ
- ๊ด๋ จ ๋ณต์ก๋ ๊ฐ๋
๋ฐ ๋ถ๋ฅ ๊ฒฐ๊ณผ
๋ณธ ๋
ผ๋ฌธ์ ๊ธฐํ ์์์ํ ๋ถ์ผ์์ ์์ ํ๊ณ ์๋ฐํ ๋ถ๋ฅ ๊ฒฐ๊ณผ๋ฅผ ์ ๊ณตํ๋ค. ์ฐ๊ตฌ ๋์์ด ์๋์ ์ผ๋ก ํน์ํ์ง๋ง, ๋ฐฉ๋ฒ์ ์ผ์ ํ ๋ณดํธ์ฑ์ ๊ฐ์ง๋ฉฐ, 3-๋ค์์ฒด์ ๋ณต์ก๋ ๊ตฌ์กฐ ์ดํด์ ๊ท์คํ ํต์ฐฐ๋ ฅ์ ์ ๊ณตํ๋ค.