Is there a general theory of “compactification”?Uniqueness of compactification of an end of a manifoldWhat is “Teichmüller Theory” and its history?Category of topological spaces with open or closed mapsReference for homeomorphism between “analytic” compactification of $M_g,n$ and Deligne-Mumford compactificationIs there a relationship between the moduli space of spatial polygons and the moduli space of labeled points?Is there a compactification with nontrivial connected remainder?What automorphic forms are expected to occur in the zeta function of moduli space of curves?
Is there a general theory of “compactification”?
Uniqueness of compactification of an end of a manifoldWhat is “Teichmüller Theory” and its history?Category of topological spaces with open or closed mapsReference for homeomorphism between “analytic” compactification of $M_g,n$ and Deligne-Mumford compactificationIs there a relationship between the moduli space of spatial polygons and the moduli space of labeled points?Is there a compactification with nontrivial connected remainder?What automorphic forms are expected to occur in the zeta function of moduli space of curves?
$begingroup$
In various branches of mathematics one finds diverse notions of compactification, used for diverse purposes. Certainly one does not expect all instances of "compactification" to be specializations of one unique general notion. But perhaps there is something to be said from a more "taxonomic" perspective? That is, can we systematically categorize what are the chief distinctions to be drawn between different types of "compactification"?
Let's look at some examples. I would love to get some more examples to add to this list.
Topology:
one-point compactification of locally compact spaces.
Stone-Cech compactification of completely regular spaces.
Bohr compactification of a topological group.
Algebraic Geometry:
Wonderful compactification of a $G$-space.
Deligne-Mumford compactification of a moduli stack of curves.
Differential Geometry:
end compactification of a manifold.
Mathematical Physics:
- Various spacetime compactifications
I'm getting increasingly out of my depth as I go on, but let's list some
Commonalities:
One needs a notion of "compact".
One identifies a class of "nice" spaces and canonical maps to "compact" spaces. Such maps should have "dense image" in an appropriate sense.
One is typically interested in cases where the canonical maps are "embeddings" in an appropriate sense.
Distinctions:
One might try to compactify in a "maximal" or "minimal" way.
One may wish to have some interpretation of the new points as "ideal points" of the original space, e.g. "points at infinity". These might be equivalence classes of some kind of "line" in the old space for example.
In the case where one is compactifying some kind of moduli space, one likes to have a geometric interpretation of the new points one is adding, so that the compactification is also some kind of moduli space.
Sometimes one is interested in compactifying a broad class of spaces, and may want some kind of universal property.
Other times, one is compactifying one or a handful of particular space(s), and the emphasis is more on the geometric interpretation of the new points one is adding.
Question: Are there further commonalities between different notions of compactification? Are there further important distinctions to be drawn? To what extent is there a general theory of "compactification"?
ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
$endgroup$
|
show 2 more comments
$begingroup$
In various branches of mathematics one finds diverse notions of compactification, used for diverse purposes. Certainly one does not expect all instances of "compactification" to be specializations of one unique general notion. But perhaps there is something to be said from a more "taxonomic" perspective? That is, can we systematically categorize what are the chief distinctions to be drawn between different types of "compactification"?
Let's look at some examples. I would love to get some more examples to add to this list.
Topology:
one-point compactification of locally compact spaces.
Stone-Cech compactification of completely regular spaces.
Bohr compactification of a topological group.
Algebraic Geometry:
Wonderful compactification of a $G$-space.
Deligne-Mumford compactification of a moduli stack of curves.
Differential Geometry:
end compactification of a manifold.
Mathematical Physics:
- Various spacetime compactifications
I'm getting increasingly out of my depth as I go on, but let's list some
Commonalities:
One needs a notion of "compact".
One identifies a class of "nice" spaces and canonical maps to "compact" spaces. Such maps should have "dense image" in an appropriate sense.
One is typically interested in cases where the canonical maps are "embeddings" in an appropriate sense.
Distinctions:
One might try to compactify in a "maximal" or "minimal" way.
One may wish to have some interpretation of the new points as "ideal points" of the original space, e.g. "points at infinity". These might be equivalence classes of some kind of "line" in the old space for example.
In the case where one is compactifying some kind of moduli space, one likes to have a geometric interpretation of the new points one is adding, so that the compactification is also some kind of moduli space.
Sometimes one is interested in compactifying a broad class of spaces, and may want some kind of universal property.
Other times, one is compactifying one or a handful of particular space(s), and the emphasis is more on the geometric interpretation of the new points one is adding.
Question: Are there further commonalities between different notions of compactification? Are there further important distinctions to be drawn? To what extent is there a general theory of "compactification"?
ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
$endgroup$
4
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
1
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
1
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
2
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
2
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33
|
show 2 more comments
$begingroup$
In various branches of mathematics one finds diverse notions of compactification, used for diverse purposes. Certainly one does not expect all instances of "compactification" to be specializations of one unique general notion. But perhaps there is something to be said from a more "taxonomic" perspective? That is, can we systematically categorize what are the chief distinctions to be drawn between different types of "compactification"?
Let's look at some examples. I would love to get some more examples to add to this list.
Topology:
one-point compactification of locally compact spaces.
Stone-Cech compactification of completely regular spaces.
Bohr compactification of a topological group.
Algebraic Geometry:
Wonderful compactification of a $G$-space.
Deligne-Mumford compactification of a moduli stack of curves.
Differential Geometry:
end compactification of a manifold.
Mathematical Physics:
- Various spacetime compactifications
I'm getting increasingly out of my depth as I go on, but let's list some
Commonalities:
One needs a notion of "compact".
One identifies a class of "nice" spaces and canonical maps to "compact" spaces. Such maps should have "dense image" in an appropriate sense.
One is typically interested in cases where the canonical maps are "embeddings" in an appropriate sense.
Distinctions:
One might try to compactify in a "maximal" or "minimal" way.
One may wish to have some interpretation of the new points as "ideal points" of the original space, e.g. "points at infinity". These might be equivalence classes of some kind of "line" in the old space for example.
In the case where one is compactifying some kind of moduli space, one likes to have a geometric interpretation of the new points one is adding, so that the compactification is also some kind of moduli space.
Sometimes one is interested in compactifying a broad class of spaces, and may want some kind of universal property.
Other times, one is compactifying one or a handful of particular space(s), and the emphasis is more on the geometric interpretation of the new points one is adding.
Question: Are there further commonalities between different notions of compactification? Are there further important distinctions to be drawn? To what extent is there a general theory of "compactification"?
ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
$endgroup$
In various branches of mathematics one finds diverse notions of compactification, used for diverse purposes. Certainly one does not expect all instances of "compactification" to be specializations of one unique general notion. But perhaps there is something to be said from a more "taxonomic" perspective? That is, can we systematically categorize what are the chief distinctions to be drawn between different types of "compactification"?
Let's look at some examples. I would love to get some more examples to add to this list.
Topology:
one-point compactification of locally compact spaces.
Stone-Cech compactification of completely regular spaces.
Bohr compactification of a topological group.
Algebraic Geometry:
Wonderful compactification of a $G$-space.
Deligne-Mumford compactification of a moduli stack of curves.
Differential Geometry:
end compactification of a manifold.
Mathematical Physics:
- Various spacetime compactifications
I'm getting increasingly out of my depth as I go on, but let's list some
Commonalities:
One needs a notion of "compact".
One identifies a class of "nice" spaces and canonical maps to "compact" spaces. Such maps should have "dense image" in an appropriate sense.
One is typically interested in cases where the canonical maps are "embeddings" in an appropriate sense.
Distinctions:
One might try to compactify in a "maximal" or "minimal" way.
One may wish to have some interpretation of the new points as "ideal points" of the original space, e.g. "points at infinity". These might be equivalence classes of some kind of "line" in the old space for example.
In the case where one is compactifying some kind of moduli space, one likes to have a geometric interpretation of the new points one is adding, so that the compactification is also some kind of moduli space.
Sometimes one is interested in compactifying a broad class of spaces, and may want some kind of universal property.
Other times, one is compactifying one or a handful of particular space(s), and the emphasis is more on the geometric interpretation of the new points one is adding.
Question: Are there further commonalities between different notions of compactification? Are there further important distinctions to be drawn? To what extent is there a general theory of "compactification"?
ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications
ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
edited Oct 14 at 20:51
Tim Campion
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
asked Oct 14 at 14:48
Tim CampionTim Campion
17.7k5 gold badges62 silver badges151 bronze badges
17.7k5 gold badges62 silver badges151 bronze badges
4
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
1
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
1
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
2
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
2
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33
|
show 2 more comments
4
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
1
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
1
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
2
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
2
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33
4
4
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
1
1
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
1
1
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
2
2
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
2
2
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33
|
show 2 more comments
1 Answer
1
active
oldest
votes
$begingroup$
There's a distinction that I find striking but don't know how to formalize usefully or how to evaluate its importance: In algebraic geometry, moduli spaces get compactified, and this involves adding a relatively small set to the original space. Roughly speaking, the original space parametrizes some nice objects, and the compactification adds points "at infinity" parametrizing some sort of degenerations of those nice objects. Typically, the part at infinity has lower dimension than the original space. In contrast, in "my world" of ultrafilters and Stone-Cech (or similar) compactifications, the part at infinity tends to be far bigger than the original space. A countable discrete space and the real line both have Stone-Cech compactifications of cardinality $2^c$ where $c$ is the cardinal of the continuum.
And it's not just a matter of the size of the part at infinity; it's also a matter of the intuitive interpretation of those extra points. It's difficult for me to imagine a non-principal ultrafilter on $mathbb N$ as a "degenerate" natural number.
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
$endgroup$
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
add a comment
|
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/4.0/"u003ecc by-sa 4.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f343831%2fis-there-a-general-theory-of-compactification%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There's a distinction that I find striking but don't know how to formalize usefully or how to evaluate its importance: In algebraic geometry, moduli spaces get compactified, and this involves adding a relatively small set to the original space. Roughly speaking, the original space parametrizes some nice objects, and the compactification adds points "at infinity" parametrizing some sort of degenerations of those nice objects. Typically, the part at infinity has lower dimension than the original space. In contrast, in "my world" of ultrafilters and Stone-Cech (or similar) compactifications, the part at infinity tends to be far bigger than the original space. A countable discrete space and the real line both have Stone-Cech compactifications of cardinality $2^c$ where $c$ is the cardinal of the continuum.
And it's not just a matter of the size of the part at infinity; it's also a matter of the intuitive interpretation of those extra points. It's difficult for me to imagine a non-principal ultrafilter on $mathbb N$ as a "degenerate" natural number.
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
$endgroup$
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
add a comment
|
$begingroup$
There's a distinction that I find striking but don't know how to formalize usefully or how to evaluate its importance: In algebraic geometry, moduli spaces get compactified, and this involves adding a relatively small set to the original space. Roughly speaking, the original space parametrizes some nice objects, and the compactification adds points "at infinity" parametrizing some sort of degenerations of those nice objects. Typically, the part at infinity has lower dimension than the original space. In contrast, in "my world" of ultrafilters and Stone-Cech (or similar) compactifications, the part at infinity tends to be far bigger than the original space. A countable discrete space and the real line both have Stone-Cech compactifications of cardinality $2^c$ where $c$ is the cardinal of the continuum.
And it's not just a matter of the size of the part at infinity; it's also a matter of the intuitive interpretation of those extra points. It's difficult for me to imagine a non-principal ultrafilter on $mathbb N$ as a "degenerate" natural number.
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
$endgroup$
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
add a comment
|
$begingroup$
There's a distinction that I find striking but don't know how to formalize usefully or how to evaluate its importance: In algebraic geometry, moduli spaces get compactified, and this involves adding a relatively small set to the original space. Roughly speaking, the original space parametrizes some nice objects, and the compactification adds points "at infinity" parametrizing some sort of degenerations of those nice objects. Typically, the part at infinity has lower dimension than the original space. In contrast, in "my world" of ultrafilters and Stone-Cech (or similar) compactifications, the part at infinity tends to be far bigger than the original space. A countable discrete space and the real line both have Stone-Cech compactifications of cardinality $2^c$ where $c$ is the cardinal of the continuum.
And it's not just a matter of the size of the part at infinity; it's also a matter of the intuitive interpretation of those extra points. It's difficult for me to imagine a non-principal ultrafilter on $mathbb N$ as a "degenerate" natural number.
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
$endgroup$
There's a distinction that I find striking but don't know how to formalize usefully or how to evaluate its importance: In algebraic geometry, moduli spaces get compactified, and this involves adding a relatively small set to the original space. Roughly speaking, the original space parametrizes some nice objects, and the compactification adds points "at infinity" parametrizing some sort of degenerations of those nice objects. Typically, the part at infinity has lower dimension than the original space. In contrast, in "my world" of ultrafilters and Stone-Cech (or similar) compactifications, the part at infinity tends to be far bigger than the original space. A countable discrete space and the real line both have Stone-Cech compactifications of cardinality $2^c$ where $c$ is the cardinal of the continuum.
And it's not just a matter of the size of the part at infinity; it's also a matter of the intuitive interpretation of those extra points. It's difficult for me to imagine a non-principal ultrafilter on $mathbb N$ as a "degenerate" natural number.
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
answered Oct 14 at 15:33
Andreas BlassAndreas Blass
60.9k7 gold badges146 silver badges238 bronze badges
60.9k7 gold badges146 silver badges238 bronze badges
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
add a comment
|
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
13
13
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
$begingroup$
To me it seems that Stone–Čech has to be big because it tries to be universal. On the other hand, one-point compactifications and compactifications in algebraic geometry try to be nice spaces.
$endgroup$
– R. van Dobben de Bruyn
Oct 14 at 16:03
7
7
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
$begingroup$
In part this is because the universal objects tend not to exist within algebraic geometry. For instance the universal cover of a complex variety tends to be transcendental in nature and outside the algebraic geometry "universe"; instead one has to take formal inverse limits of finite extensions to work with things like the etale fundamental group as a substitute. Similarly any Stone-Cech type "universal blowup" of an algebraic singularity would be extremely non-algebraic in nature, so one works with one or more finitely complicated partial blowups instead.
$endgroup$
– Terry Tao
Oct 14 at 23:05
5
5
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
$begingroup$
@R.vanDobbendeBruyn That is a common line of thinking, based on familiar examples such as $mathbbN$ and $mathbbR$. But consider the fact that if you give $aleph_1$ its order topology, its Stone-Čech compactification is the same as its 1-point compactification.
$endgroup$
– Robert Furber
Oct 15 at 1:06
1
1
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
$begingroup$
@RobertFurber That only holds because that ordinal space is “almost compact” to begin with, in quite a strong sense : it has a unique uniformity inducing its topology.
$endgroup$
– Henno Brandsma
Oct 15 at 10:32
add a comment
|
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f343831%2fis-there-a-general-theory-of-compactification%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
4
$begingroup$
I think in more geom contexts (ie not point set topology) a fairly neat way to "define" the boundary at infinity would be as a pro-object in the appropriate category, ie the formal diagram lim (XK) over compact subspaces K. (eg the hemicompact definition I just learned from one of ur links is a srequirement on the indexing category for this diagram). Presumably this says something about compactifications. I think I read this in a recent paper of toen and pantev
$endgroup$
– EBz
Oct 14 at 17:00
1
$begingroup$
This has come up before, but the Bohr compactification is not a compactification in one commonly used sense, because the universal map from an abelian group to its Bohr compactification is not a topological embedding (i.e. the original topology does not agree with the subspace topology on the image). Similarly, the restriction of the Stone-Čech compactification to completely regular spaces is not a necessary part of the construction, but arises because doing so makes the universal mapping an embedding (a space is completely regular iff it is embeddable in a compact Hausdorff space).
$endgroup$
– Robert Furber
Oct 15 at 1:18
1
$begingroup$
Some compacitifactions try to keep some of the geometry of the space they compactify. For example, a conformal compactification tries to keep the conformal structure on the interior. In nice examples, it produces a manifold with boundary or with corners. The boundary at infinity of a Cartan-Hadamard space can be defined so that it keeps track of directions of geodesics. These are examples of the very last bullet in the list.
$endgroup$
– Sebastian Goette
Oct 15 at 8:46
2
$begingroup$
The end compactification is for a lot more than just manifolds. It's a point-set concept that works for any hemicompact space (and really any space at all, but as with the Stone–Čech compactification, I'm not sure if it's still a compactification outside of its original context).
$endgroup$
– Toby Bartels
Oct 15 at 11:54
2
$begingroup$
Dual question: is there a general theory of "making things discrete" [think: find an epimorphism from a set]? Examples: underlying set of a manifold; set of $k$-rational points of a variety; underlying vector space of a Banach space... Once again, if you want the result of this operation to not be too huge, you'll need to make (arbitrary) choices (e.g. the choice of a dense countable set inside a topological space).
$endgroup$
– André Henriques
Oct 15 at 21:33