# Questions tagged [compactifications]

The compactifications tag has no usage guidance.

98
questions

4
votes

0
answers

90
views

### Ends of a metric space?

I'm looking for a definition of “ends” of a metric space that is well-defined even for non geodesic or locally finite metric spaces, invariant under quasi-isometries (or more generally coarse ...

3
votes

0
answers

48
views

### Algebraic characterisation of the end space of a proper geodesic space in terms of non-continuous functions

$\DeclareMathOperator\Bf{B_\mathrm{f}}\DeclareMathOperator\Bc{B_\mathrm{c}}\DeclareMathOperator\Cf{C_\mathrm{f}}\DeclareMathOperator\Cd{C_\mathrm{d}}\DeclareMathOperator\Cc{C_\mathrm{c}}$Based on a ...

1
vote

0
answers

108
views

### End space of non-compact 2-manifolds described with proper rays

I am wondering if the classification of noncompact surfaces given by Ian Richards can be stated with proper rays instead of nested sequences of connected open subsets with compact boundary. I asked ...

0
votes

1
answer

81
views

### Representing split-complex numbers as intervals and related compactification

Since there is an isomorphism between split-complex numbers and $\mathbb{R}^2$ with element-wise operations, of the following form $a + bj \leftrightarrow (a - b, a + b)$, one can think about a split-...

4
votes

0
answers

84
views

### Explicit toroidal compactification of Hilbert modular varieties

Hirzebruch's construction of toroidal compactification of Hilbert modular surfaces is explicit, namely one can explicitly choose rational polyhedral cone decomposition in a sort of optimal way using ...

0
votes

0
answers

83
views

### Ergodic action on product spaces

Let $(X_1 \times X_2,d\mu)$ be a measure space with $X_2$ compact. Suppose that we have a continuous (diagonal) action of a topological group $G$ on $X=X_1 \times X_2$. I know that the action of $G$ ...

17
votes

1
answer

972
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 ...

6
votes

1
answer

255
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 ...

3
votes

0
answers

114
views

### Smooth toric compactification of $\mathbb C^n$

By a compactification $(X,Y)$ of $\mathbb C^n$, we mean an irreducible compact complex space $X$ and a closed analytic subspace $Y\subset X$ such that $X\setminus Y$ is biholomorphic to $\mathbb C^n$. ...

3
votes

0
answers

172
views

### Functoriality for compactifications of locally symmetric spaces

Let $X$ be a symmetric space associated to an algebraic group $G$ defined over $\mathbb{Q}$ and $G(\mathbb{R})$ acts on $X$ from the left. Let $\Gamma \subset G(\mathbb{Q})$ be an arithmetic subgroup ...

2
votes

1
answer

142
views

### Inducing maps between Martin boundaries

This is a reworking of a question I asked on math.se.
Given two countable discrete metric spaces $X_{1}$ and $X_{2}$, each equipped with a (irreducible and transient)* random walk given by transition ...

7
votes

1
answer

205
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 ...

1
vote

1
answer

175
views

### Fixed points of one-point-compactification

Let $M$ be a locally compact (Hausdorff) space, and $g:M\to M$ an isomorphism (think of an action of a finite cyclic group).
By some generalities one can show that the "obvious" map $(M^g)^+\...

6
votes

0
answers

140
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 ...

10
votes

1
answer

282
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^{\...

8
votes

1
answer

363
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 ...

5
votes

0
answers

213
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 ...

0
votes

0
answers

146
views

### A ``1-soft'' improvement of the Parovichenko theorem

This is a ``1-soft'' modification of this problem. We start with the necessary definitions.
Definition 1. A compactification $c\mathbb N$ of the discrete space $\mathbb N$ is called 1-soft if for any ...

4
votes

1
answer

213
views

### Nowhere compact subsets of the plane

Suppose $X\subseteq \mathbb R^2$ is nowhere compact ($X$ has no compact neighborhood) and non-empty.
Can $X$ be densely embedded into the plane?
In other words, is there a dense set $X'\subseteq ...

1
vote

1
answer

175
views

### The Stone-Čech compactification of a inverse system

Is the Stone-Čech compactification of the inverse limit of an inverse system $\left\{ X_{i},f_{ij},I\right\} $ of Tychonoff spaces equal to the limit of the inverse system $\left\{ \beta X_{i},\beta ...

35
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 ...

1
vote

0
answers

134
views

### Subspaces of compact spaces and quotients of Hausdorff spaces

Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...

0
votes

1
answer

70
views

### Does surjective map induce surjective map on Hewitt real compactifications?

Let $\beta X$ be the Stone-Čech compactification and $\upsilon X$ be the
Hewitt real compactification of a completely regular space $X$.
It is well
known that any continuous surjective map $f:X\...

3
votes

1
answer

181
views

### Research in compactifications of locally compact spaces

I would like to know how is it going the research in compactifications of locally compact Hausdorff spaces. Are there people doing this? Are there relevant conjectures on it?

3
votes

0
answers

165
views

### Universal closure of schemes à la Nagata

Nagata compactification theorem is the following fundamental result:
Let $S$ be a qcqs scheme. Let $X$ be a separated $S$-scheme of finite type. Then there exists a proper $S$-scheme $\overline{X}$ ...

6
votes

1
answer

145
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.
...

10
votes

2
answers

332
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 ...

2
votes

1
answer

69
views

### Are compactifications of completely $T_{4}$ spaces completely $T_{4}$?

The title is the question.
Given a locally compact completely $T_{4}$ space $X$ (every subspace is $T_{4}$) and a (Hausdorff) compactification $\overline{X}$ of $X$, is $\overline{X}$ also completely ...

2
votes

1
answer

111
views

### Naive compactification of $\mathbb{C}^*$-fibrations

Let $\pi:X \to Y$ be a $\mathbb{C}^*$-fibration between complex manifolds in the sense that there exists a fixed integer $a$ such that for every $y \in Y$, $\pi^{-1}(y)=(\mathbb{C}^*)^a$. Suppose ...

2
votes

1
answer

381
views

### Stone-Cech Compactification of the real line

I have a question in $\beta\mathbb{R}$, the Stone-Cech compactification of the real line $\mathbb{R}$. My question is: is $\beta\mathbb{R}$ a $\mathrm{F}$-space, i.e., the closure of two disjoint open ...

1
vote

0
answers

277
views

### The Deligne-Mumford Compactification for Closed Surfaces

I am reading this note on super-Riemann surfaces. In the second paragraph of section 7.4.1 (page 87), there is a statement that I am trying to understand:
The compactified moduli space of closed ...

6
votes

1
answer

310
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 ...

5
votes

1
answer

266
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\...

12
votes

1
answer

454
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 ...

3
votes

2
answers

443
views

### What are the components of the Stone-Cech Remainder?

Suppose $X = \displaystyle\bigsqcup_{i \in I} X_i$ is the disjoint union of infinitely many continua. The components of the Stone-Cech remainder $X^*$ can be described as follows. Treat $I$ as a ...

5
votes

1
answer

501
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 ...

1
vote

0
answers

38
views

### Do maximally almost periodic groups embed homeomorphically into their Bohr compactifications? [duplicate]

If $G$ is a Hausdorff topological group and $bG$ is its Bohr compactification, Wikipedia says that $G$ is called maximally almost periodic (MAP) if and only if the natural map $i : G \to bG$ is ...

6
votes

1
answer

266
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 ...

2
votes

0
answers

81
views

### Extending Kahler metric across a divisor

Let $(X,\omega)$ be a complete noncompact Kahler manifold of finite volume. Suppose $X$ is can be compactified to a compact projective manifold $M$ so that $D=M-X$ is a divisor of simple normal ...

0
votes

0
answers

89
views

### Can we express separability of a ray-remainder in terms of the function algebra?

Let $X = [0, 1)$ be a ray and $C(X)$ the algebra of bounded continuous real functions. The spectrum of $C(X)$ is the Stone-Cech compactification $\beta [0,1) $ of the ray. It's easy to see the ...

6
votes

2
answers

781
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 ...

2
votes

1
answer

143
views

### Locally toric resolutions of compactifications

Suppose $U$ is a smooth, open $n$-dimensional variety over $\mathbb{C}.$ Say $X, X'$ are two proper normal-crossings compactifications of $U$. Call a map $m: X'\to X$ a modification if it is an ...

1
vote

2
answers

329
views

### How to choose a continuous function which vanishes **only** on the closed set

We are reading John Roe's book Lectures on Coarse Geometry. We come across a question in P27 line 9:
Suppose $X$ is a paracompact and locally compact Hausdorff space, $\bar{X}$ is a ...

2
votes

1
answer

117
views

### Two questions related to Dirichlet spaces and Sobolev spaces

I want to ask a question that arises from reading this paper.
Let $X$ be a locally compact space which is countable at infinity and let $\xi$ be a Radon measure on $X$. Suppose $V$ is a Hilbert ...

7
votes

0
answers

469
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 ...

8
votes

1
answer

505
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 ...

5
votes

0
answers

237
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 ...

2
votes

0
answers

131
views

### toroidal compactifications of modulis spaces of ppav's

Are the modular toroidal compactifications of ppav's (second Voronoi) defined by Alexeev without self-intersections? i.e. are the irreducible component of the boundary divisor normal? If not, can one ...

3
votes

1
answer

363
views

### Sigma algebras on the Stone–Čech compactification of a countable discrete group

Let $\Gamma$ be a countable discrete group and $\beta \Gamma$ be its Stone–Čech compactification.
My question is that
Does the $\sigma$-algebra generated by clopen sets in $\beta \Gamma$ equal to ...

7
votes

1
answer

973
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 ...