Greg's example from Hartshorne is actually a special case of a more general situation. Under any dominant map of affine varieties, the inverse image of the generic point is the scheme associated to a finitely generated domain over the function field of the target. Hence by Noether's normalization, this inverse image scheme is a finite cover of an affine space over that function field. It follows that over an open set U of the target, the map factors as a finite cover of the projection of U x k^n --> U, where n is the transcendence degree of the field extension defined by the original map. In Hartshorne's exercise of course n = 0. This is the argument for the structure of a dominant morphism in Mumford's red book, I.8, proof of theorem 3.

In my experience the word yoga has been explained to mean "yoke" or "union", from the Sanscrit, and refers to any practice meant to help achieve oneness, or perhaps understanding, as the unknown touched upon above.

Greg's example from Hartshorne is actually a special case of a more general situation. Under any dominant map of affine varieties, the inverse image of the generic point is the scheme associated to a finitely generated domain over the function field of the target. Hence by Noether's normalization, this inverse image scheme is a finite cover of an affine space over that function field. It follows that over an open set U of the target, the map factors as a finite cover of the projection of U x k^n --> U, where n is the transcendence degree of the field extension defined by the original map. In Hartshorne's exercise of course n = 0. This is the argument for the structure of a dominant morphism in Mumford's red book, I.8, proof of theorem 3.

In my experience the word yoga has been explained to mean "yoke" or "union", from the Sanscrit, and refers to any practice meant to help achieve oneness, or perhaps understanding, as the unknown touched upon above. But my impression is that practicing yoga is more spiritual than intellectual.