13

Part of 2021 Alibaba Global Math Competition

Problems(1)

Regular submanifold usually has no Lie group structure

Source: Alibaba Global Math Competition 2021, Problem 13

M_n=\{(u,v) \in S^n \times S^n: u \cdot v=0\}

n \ge 2

u \cdot v

is the Euclidean inner product of

u

v

. Suppose that the topology of

M_n

is induces from

S^n \times S^n

.
(1) Prove that

M_n

is a connected regular submanifold of

S^n \times S^n

M_n

is Lie Group if and only if

n=2

group theorysubmanifoldManifoldgeometrytopologycollege contests