A level set at a regular value is a smooth submanifold. By the regular level set theorem, its codimension is the dimension of the target. For determinant-one real symmetric matrices, is nonzero because gives , so the constraint has codimension one.
New to topics? Read the docs here!