Found a proof sketch here (App. D.3), couldn’t it find elsewhere in canonical SLT references eg gray book. Idea seems simple:
(We’ll prove it for the local RLCT because the splitting lemma most naturally applies when dealing with local diffeomorphisms—but if you’re interested in the statement for the global RLCT, then since RLCT is min over local RLCT (3.2.2), just work with the local RLCT at the minimizing point and the rest of the argument follows)
Local RLCT is invariant under local diffeomorphism, easy to prove by the volume scaling formula (check exercise 17).
Apply the splitting lemma (elementary proof in Gilmore 3.4) to locally express the function as a quadratic in the nondegenerate plus the rest.
Use Remark 7.2.3 in the gray book which says that if K(wa,wb)=Ka(wa)+Kb(wb) and φ(wa,wb)=φa(wa)φb(wb) (which the change of variable in the splitting lemma satisfies), then λ=λa+λb (also easy to prove with the volume scaling formula).
So λ is lower-bounded by the RLCT in the quadratic part, which is d12 (again easy to prove with the volume scaling formula, check pg 17 here)
Where in the literature can I find the proof of the lower bound?
Found a proof sketch here (App. D.3), couldn’t it find elsewhere in canonical SLT references eg gray book. Idea seems simple:
(We’ll prove it for the local RLCT because the splitting lemma most naturally applies when dealing with local diffeomorphisms—but if you’re interested in the statement for the global RLCT, then since RLCT is min over local RLCT (3.2.2), just work with the local RLCT at the minimizing point and the rest of the argument follows)
Local RLCT is invariant under local diffeomorphism, easy to prove by the volume scaling formula (check exercise 17).
Apply the splitting lemma (elementary proof in Gilmore 3.4) to locally express the function as a quadratic in the nondegenerate plus the rest.
Use Remark 7.2.3 in the gray book which says that if K(wa,wb)=Ka(wa)+Kb(wb) and φ(wa,wb)=φa(wa)φb(wb) (which the change of variable in the splitting lemma satisfies), then λ=λa+λb (also easy to prove with the volume scaling formula).
So λ is lower-bounded by the RLCT in the quadratic part, which is d12 (again easy to prove with the volume scaling formula, check pg 17 here)