Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with formal-schemes
Search options answers only
not deleted
user 121
16
votes
Accepted
Formal group law is a group object in ...?
A formal group law over a scheme $S$ is a group object in the category of framed formal schemes over $S$. Objects in this category are formal schemes $X$ over $S$ equipped with an $S$-isomorphism $X …
- 45.7k
1
vote
Accepted
quotients of varieties as non-noetherian schemes?
The quotient exists as an algebraic space (if we ignore the literature that defines algebraic spaces to be separated). The equivalence relation is given by the standard action groupoid. This is étal …
- 45.7k
5
votes
Accepted
Is the formal completion of an affine group necessarily a formal group?
The universal map is not a map of formal groups without some extra condition. An easy class of counterexamples comes from completions of an affine group along a closed subscheme that does not contain …
- 45.7k