>そういう書き方はWaldの中で一度も出てきたことがないのでよくわからないです

x1が座標の一つ目(x,y,zならx)でないのなら、何を表してる？

>やっぱprojectionですね
そのとおりだけど、前の >>295 を使うとすぐわかる。成分がδ^a_1　δ^1_b　になる。
行列としてみると(1,1)成分だけが１、残りが0だから射影にほかならない。

と書くと、δ^a_1　δ^1_b　は数でなくてidentityにベクトルをいれた(1,0)テンソル云念って
反論がきそうだけど、普通の添え字記号では上の議論は自明なんだよね。Wald記号
でも自明にならないはずはないだんけど。a,bをα、βに置き換えればいいのかな。