Skip to main content

Questions tagged [compactifications]

Filter by
Sorted by
Tagged with
36 votes
1 answer
3k views

Is there a general theory of "compactification"?

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 ...
Tim Campion's user avatar
  • 63.9k
34 votes
6 answers
3k views

Compactification theorem for differentiable manifolds ?

Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds [...
Qfwfq's user avatar
  • 23.3k
34 votes
2 answers
3k views

"Transitivity" of the Stone-Cech compactification

Let $\beta \mathbb{N}$ be the Stone-Cech compactification of the natural numbers $\mathbb{N}$, and let $x, y \in \beta \mathbb{N} \setminus \mathbb{N}$ be two non-principal elements of this ...
Terry Tao's user avatar
  • 114k
20 votes
1 answer
1k views

Is the one-point compactification of $\mathbb{N}$ computably countable?

The one-point compactification $\mathbb{N}_\infty$ of $\mathbb{N}$ is obtained from the discrete space $\mathbb{N}$ by adjoining a limit point $\infty$. It may be identified with the subspace of ...
Andrej Bauer's user avatar
  • 48.8k
14 votes
2 answers
4k views

Direct construction of the Stone-Čech compactification using ultrafilters?

If $X$ is a set (regarded as a discrete space), its Stone-Čech compactification can be identified with the set of ultrafilters on $X$ with its natural (Stone) topology. If $X$ is a general ...
Qiaochu Yuan's user avatar
13 votes
1 answer
849 views

Mistake on article about Bohr compactification?

$\DeclareMathOperator\b{b}\newcommand\B{{\operatorname B}}$I wish to get help understanding the content of two theorems of [Iva] that seem mutually contradictory. First some context. Let $\b(\mathbb{R}...
stgo's user avatar
  • 193
13 votes
1 answer
329 views

Is there a metric compactification that doesn't create new paths?

Every separable metric space $A$ has a metrizable compactification, i.e. a compact metrizable space $X$ for which $A$ embeds topologically as a dense subspace of $X$. There are many approaches to ...
Jeremy Brazas's user avatar
12 votes
1 answer
1k views

Reference Request for Drinfeld and Laumon Compactifications

Background Let $X$ denote a smooth projective curve over $\mathbb{C}$ and let $G$ denote a semi-simple simply connected algebraic group over $\mathbb{C},$ which has associated flag variety $G/B.$ ...
Mike Skirvin's user avatar
  • 2,706
12 votes
1 answer
582 views

Compactification of 6d (2, 0) SCFT on 4-manifolds

This question is about the 6d (2, 0) superconformal field theory (also called 'theory X' by some people). This SCFT, which can be considered as a relative quantum field theory (see here for a ...
user avatar
11 votes
1 answer
434 views

A product on the square roots of unit matrix

There is a strange product that takes two square roots of unit matrix, say $A$ and $B$, $A^2=I$, $B^2=I$ to a square root again, $$ A\star B=(A+B)^{-1}(A-B+2I), \qquad (A\star B)^2=I$$ Could anybody ...
John's user avatar
  • 605
11 votes
2 answers
314 views

Spaces with every compactification $0$-dimensional which aren't locally compact

Recently I've proven the following theorem Theorem. Let $X$ be a zero-dimensional locally compact Hausdorff space. Then the following are equivalent: Every compactification of $X$ is zero-dimensional....
Jakobian's user avatar
  • 1,201
10 votes
2 answers
599 views

Non-bimeromorphic compactifications

Let $X$ be a (smooth, non-compact) complex space. By a compactification of $X$ we mean a compact complex space $\overline X$ which contains a dense open subset biholomorphic to $X$ (we shall identify ...
diverietti's user avatar
  • 7,902
10 votes
1 answer
333 views

Possible cardinalities of the remainders of compactifications of $\Bbb R$

With the usual topology on $\Bbb R$, a compactification $\mathrm{id}_{\Bbb R}:\Bbb R\to v\Bbb R$ can have a remainder $v\Bbb R \setminus \Bbb R$ of cardinality $1,2, 2^{\aleph_0}=\mathfrak c,$ or $2^{\...
DanielWainfleet's user avatar
10 votes
2 answers
476 views

Which points in the Samuel compactification of a metric space $X$ are limits of uniformly discrete subsets of $X$?

Given a metric space $(X.d)$ the Samuel compactification of $X$, written $sX$, is the unique compactification with the property that if $Y$ is an arbitrary compact Hausdorff space and $f:X\rightarrow ...
James E Hanson's user avatar
10 votes
1 answer
470 views

Monograph or rich survey on infinite-dimensional Riemann manifolds

I'm working with the space of smooth curves $\mathcal{C}$ in a smooth manifold $M$, having (different, pre-determined) fixed endpoints. I'd like to endow it with a Riemann structure (I already have a ...
Alex M.'s user avatar
  • 5,407
10 votes
0 answers
545 views

When is the one-point compactification well-pointed?

This is a follow up to my previous question. Question: Is there a reasonably natural set of conditions which guarantee that the one-point compactification $X^+$ of a locally compact Hausdorff ...
John Klein's user avatar
  • 18.8k
9 votes
2 answers
2k views

Stone-Čech compactification of $\mathbb R$

Let $\beta X$ - is a Stone-Čech compactification of $X$. $I=(-1,1)$ - is an interval of the real line. Is it true that $\beta \mathbb R\setminus I = \beta(\mathbb R\setminus I)$? In other words, it ...
Mariarty's user avatar
  • 385
9 votes
1 answer
739 views

Compactifications of varieties with small complement

Let $X$ be a smooth variety over an algebraically closed field $k$. If it makes things easier, $X$ may be assumed to be quasi-projective. By Nagata (or quasi-projectivity) there exists a proper ...
Lars's user avatar
  • 4,450
9 votes
0 answers
373 views

Embedding $\beta\mathbb{N}$ into a product of Cantor sets

Let us consider $\beta\mathbb{N}$, the Stone-Čech compactification of the natural numbers (where we do not take $0$ to be a natural number, so the only idempotent elements are nonprincipal ...
Simon_Peterson's user avatar
8 votes
1 answer
272 views

Characterization of pretty compact spaces

This is a cross post from MSE. I believe that the following problem have already been considered by some sophisticated topologist. Definition 1. A non-compact Hausdorff topological space $X$ is called ...
Norbert's user avatar
  • 1,697
8 votes
2 answers
2k views

End point compactification for metric spaces

Freundenthal introduced ends of topological spaces and the end point compactification of locally compact topological spaces adding one point for each end of the topological space (see here). For ...
Guillaume Brunerie's user avatar
8 votes
1 answer
588 views

Is there an explicit construction of the Bohr Compactification of the Integers?

Is it possible to explicitly describe the Bohr compactification of $\mathbb Z$? This is equivalent to describing all the group homomorphisms $\mathbb R/\mathbb Z \to \mathbb R/\mathbb Z$ including ...
Daron's user avatar
  • 1,955
8 votes
1 answer
1k views

Wonderful compactification

Suppose $G$ is a semi-simple group of adjoint type over an algebraic closed field, and $X$ its wonderful compactification a la De Concini and Procesi. Let $P=MU$ be a parabolic subgroup in $G$, and ...
Ramin's user avatar
  • 1,362
8 votes
1 answer
439 views

Does a flat compactification always exist?

Let $\pi:X\to S$ be a separated flat morphism of finite type of Noetherian schemes. Does $\pi$ necessarily factor as an open immersion followed by a proper flat morphism? The analogue of this question ...
user avatar
8 votes
1 answer
703 views

Sheaf (Gieseker) compactification of moduli space of vector bundles

I am given to understand that the moduli space $M_k^G$ of $G$ vector bundles with second Chern class $c_2=k$ over an algebraic curve/variety (for me a Riemann surface is enough/projective space for ...
Marion's user avatar
  • 587
8 votes
0 answers
522 views

Deligne-Mumford moduli spaces and compactification of symmetric matrices

The real Deligne-Mumford moduli space $\bar M_{0,n+1}(\mathbb R)$ of stable genus zero curves with $n+1$ marked points is a compactification of the space of configurations of $n$ distinct ordered ...
Konrad Schöbel's user avatar
7 votes
2 answers
733 views

Existence of a compactification of $\mathbb{R}$ with $\aleph_0$ remainder

We know that the space $\mathbb{R}$ has compactifications with one point remainder, and two point remainder. but there is no compactification of $\mathbb{R}$ with three point remainder and the same ...
Ali Reza's user avatar
  • 1,788
7 votes
2 answers
2k views

A question about some special compactifications of $\mathbb{R}$

We Know that the topological space $Y$ is a compactification of the topological space $X$, if the space $Y$ is compact and hausdorff and $X$ is dense in $Y$. If for a positive integer $n$ we have a ...
Ali Reza's user avatar
  • 1,788
7 votes
2 answers
1k views

Bohr compactification as a topological compactification

Let $G$ be a locally compact Hausdorff group. Denote its Bohr compactification by $bG$. Despite group structure, $G$ has several (Hausdorff) compactifications that, in a sense, the smallest one is ...
XIII's user avatar
  • 747
7 votes
1 answer
470 views

Are countable FC-groups maximally almost periodic?

An FC-group is a group in which every element has a finite conjugacy class. A group G is said to be maximally almost periodic if there is an injective homomorphism from G into a compact Hausdorff ...
Robin Tucker-Drob's user avatar
7 votes
2 answers
1k views

A question about the Stone–Čech compactification of discrete spaces

Let $D(\kappa)$ be the discrete space of cardinality $\kappa$, and $\beta D(\kappa)$ its Stone–Čech compactification. Is there, for every infinite cardinal $\kappa$, a subset $Y \in [\beta D(\kappa)]^...
Alberto Levi's user avatar
7 votes
1 answer
208 views

An explicit description of neighborhoods of the rank 2 boundary in the Satake Compactification of $\mathbf{A}_2$

My Motivation: I'm having a hard time following the description of the topology in the Satake Compactification of locally symmetric spaces. The group theory is something I'm finding a bit tricky to ...
jacob's user avatar
  • 2,824
7 votes
1 answer
578 views

Flatly compactifiable morphisms

Let $f:U \to S$ be a flat morphism. Let us say that $f$ is flatly compactifiable if there exists a proper morphism $\bar{f}:X \to S$ and a closed subscheme $Z \subset X$ such that 1) $U = X \...
Sasha's user avatar
  • 39.3k
7 votes
0 answers
499 views

Compactification of the moduli space of Kähler manifolds with negative constant scalar curvatures

Moishezon compactification is very important in the study of the moduli space of varieties which admit canonical metrics. Moishezon showed that any non-projective Moishezon manifold $X$, after a ...
user avatar
7 votes
0 answers
491 views

Alterations of regular varieties

Let $X$ be a regular quasi-projective variety over a perfect field $k$. The existence of a "good compactification" of $X$, i.e. a regular projective variety $\bar{X}$ with an embedding $X\...
Lars's user avatar
  • 4,450
6 votes
2 answers
830 views

Do all homogeneous spaces have homogeneous compactifications?

Let $X$ be a separable metric space which is homogeneous, i.e. for every two points $x,y\in X$ there is a homeomorphism $h$ of $X$ onto itself such that $h(x)=y$. A compactification of $X$ is a ...
D.S. Lipham's user avatar
  • 3,317
6 votes
1 answer
342 views

Is each Parovichenko compact space homeomorphic to the remainder of a soft compactification of $\mathbb N$?

Definition 1. A compactification $c\mathbb N$ of the discrete space $\mathbb N$ is called soft if for any disjoint sets $A,B\subset\mathbb N$ with $\bar A\cap\bar B\ne\emptyset$ there exists a ...
Taras Banakh's user avatar
  • 41.8k
6 votes
1 answer
186 views

Is the conformal compactification of $M \setminus \{ p \}$ unique?

Let $(M,c)$ be a compact conformal manifold and $p \in M$. $M$ is a conformal compactification of $M \setminus \{ p \}$, because the embedding $M \setminus \{p\} \hookrightarrow M$ is an isometry. ...
user143031's user avatar
6 votes
1 answer
318 views

How complicated can the path component of a compact metric space be?

Let $X$ be a compact metric space and $P$ be a path component of $X$. Since we are not assuming $X$ is locally path connected, $P$ must need not be open nor closed. Certainly, $P$ must be separable ...
Jeremy Brazas's user avatar
6 votes
1 answer
307 views

Is there a compactification with nontrivial connected remainder?

Question: Let $X$ be a continuum and $p \in X$. Under what conditions does there exist a compactification $\gamma (X-p)$ with $\gamma (X-p) - (X-p)$ connected and nondegenerate? Throughout, $X$ is a ...
Daron's user avatar
  • 1,955
6 votes
0 answers
76 views

About path-connected components of the Bohr compactification of $\mathbb{R}^d$

Let ${\rm b}(\mathbb{R}^d)$ denote the Bohr compactification of $\mathbb{R}^d$, with $d\in\mathbb{N}$. This is the Pontryagin dual of the group $\mathbb{R}^d_d$, corresponding to $\mathbb{R}^d$ with ...
stgo's user avatar
  • 193
6 votes
0 answers
159 views

Completion/Compactification of a Kähler metric on $\mathbb C^2$

Consider $\mathbb{C}^{2}$ equipped with the Kähler form $$ \omega_{\mu}=\frac{i}{2} \partial \bar{\partial} \log \left(\left(1+|z|^{2}\right)^{\mu}+|w|^{2}\right), $$ where $\mu$ is a positive real ...
Robbixmaths's user avatar
6 votes
0 answers
243 views

A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
Yemon Choi's user avatar
  • 25.8k
5 votes
2 answers
1k views

Ends of topological spaces. Why independent of choice of ascending sequence of compact subsets?

Quoting from http://en.wikipedia.org/wiki/End_(topology): "Let X be a topological space, and suppose that K1 ⊂ K2 ⊂ K3 ⊂ · · · is an ascending sequence of compact ...
Simon's user avatar
  • 53
5 votes
1 answer
1k views

One point compactification of $(\mathbb{C}^{\ast})^n$

I would like to know if there is a closed form formula for the homotopy type of $\widehat{(\mathbb{C^{\ast}})^n}$? For example, it is not difficult to see that $\widehat{\mathbb{C^{\ast}}}$ has the ...
Priyavrat Deshpande's user avatar
5 votes
1 answer
287 views

Is each compactification of $\mathbb N$ soft?

Definition. A compactification $c\mathbb N$ of the countable discrete space $\mathbb N$ is defined to be soft if for any disjoint sets $A,B\subset\mathbb N\subset c\mathbb N$ with $\bar A\cap\bar B\ne\...
Taras Banakh's user avatar
  • 41.8k
5 votes
3 answers
410 views

Are Hausdorff compactifications of a Tychonoff space $X$ in one-to-one correspondence with completely regular subalgebras of $BC(X)$?

Let $X$ be a completely regular (Tychonoff) topological space. It is known that if $\mathscr F\subseteq C(X,[0,1])$ separates points and closed sets (that is, for every closed set $E\subseteq X$ and $...
triple_sec's user avatar
5 votes
1 answer
240 views

Reference for homeomorphism between "analytic" compactification of $M_{g,n}$ and Deligne-Mumford compactification

There are several natural ways to endow the compactification of the space of marked Riemann surfaces $M_{g,n}$ ($2g+n\geq 3$), with a topology, which is defined using "differential geometric or ...
compact's user avatar
  • 51
5 votes
0 answers
273 views

Intuition for the McGerty-Nevins compactification of quiver varieties

In Section 4 of the paper Kirwan surjectivity for quiver varieties (Inventiones Math. 2018) McGerty and Nevins define a compactification of the moduli space of representations of the preprojective ...
Yellow Pig's user avatar
  • 2,964
5 votes
0 answers
294 views

On toroidal compactifications of Hilbert Kuga-Sato varieties

Let $F$ be a totally real field of degree d. There are Hilbert modular varieties over $\mathbb{Q}$ that paramatrize abelian varieties of dimension d with an action of $\mathcal{O}_F$ the ring of ...
Bear's user avatar
  • 845