/sci/ - Science & Math

I'm desperately trying to understand why the divisor [math](\pi^*(A) - dE)[/math] defines a morphisms that becomes [math]/phi_{\bar{k}}[/math] when you base extend to [math]\bar{k}[/math]. I've been feeling like a brainlet since I started working on that proof.