Search results
Results From The WOW.Com Content Network
The proper base change theorem is needed to show that this is well-defined, i.e., independent (up to isomorphism) of the choice of the compactification. Moreover, again in analogy to the case of sheaves on a topological space, a base change formula for g ∗ {\displaystyle g_{*}} vs. R f ! {\displaystyle Rf_{!}} does hold for non-proper maps f .
Barwise compactness theorem (mathematical logic) Base change theorems (algebraic geometry) Basel problem (mathematical analysis) Bass's theorem (group theory) Basu's theorem ; Bauer–Fike theorem (spectral theory) Bayes' theorem (probability) Beatty's theorem (Diophantine approximation) Beauville–Laszlo theorem (vector bundles)
In mathematics, base change may mean: Base change map in algebraic geometry; Fiber product of schemes in algebraic geometry; Change of base (disambiguation) in linear algebra or numeral systems; Base change lifting of automorphic forms
This change can be computed by substituting the "old" coordinates for their expressions in terms of the "new" coordinates. More precisely, if f(x) is the expression of the function in terms of the old coordinates, and if x = Ay is the change-of-base formula, then f(Ay) is the expression of the same function in terms of the new coordinates.
For example, the product of affine spaces A m and A n over a field k is the affine space A m+n over k. For a scheme X over a field k and any field extension E of k, the base change X E means the fiber product X × Spec(k) Spec(E). Here X E is a scheme over E. For example, if X is the curve in the projective plane P 2
Let be a Grothendieck topology and a scheme.Moreover let be a group scheme over , a -torsor (or principal -bundle) over for the topology (or simply a -torsor when the topology is clear from the context) is the data of a scheme and a morphism : with a -invariant (right) action on that is locally trivial in i.e. there exists a covering {} such that the base change over is isomorphic to the ...
More strongly, properness is local on the base in the fpqc topology. For example, if X is a scheme over a field k and E is a field extension of k, then X is proper over k if and only if the base change X E is proper over E. [3] Closed immersions are proper. More generally, finite morphisms are proper. This is a consequence of the going up theorem.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Base_change_(scheme_theory)&oldid=826060195"