Gauge DeTurck de fundo para fluxo de calor de Yang–Mills: identidades de energia, coercividade de Faddeev–Popov e barreiras de margem de Gribov | Synapse