E hai ragione, infatti ho sbagliato io a dire il pullback. (Va bene per i campi scalari, ma non è quella cosa in generale.) Poi, se provi su un
esempio semplice non ha proprio senso. Usa la definizione di pullback che sai, perché comunque la derivata di Lie usa il pullback di \(\phi_t\) come sopra. Spiace averti confuso.