Keywords

#theorem_on_formal_functions

Theorem on formal functions

In algebraic geometry, the theorem on formal functions states the following:Let be a proper morphism of noetherian schemes with a coherent sheaf on X. Let be a closed subscheme of S defined by and formal completions with respect to and . Then for each the canonical (continuous) map: is an isomorphism of (topological) -modules, where The left term is . The canonical map is one obtained by passage to limit.

Fri 29th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Theorem on formal functions Formal scheme Tarski's undefinability theorem Formal proof Gödel's incompleteness theorems Formal verification Harmonic function Stein factorization Entscheidungsproblem Cauchy–Kovalevskaya theorem
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.