Questions tagged [compactifications]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
0answers
68 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
0answers
117 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 ...
1
vote
1answer
102 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
1answer
181 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
1answer
154 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
0answers
134 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
1answer
257 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^{\...
7
votes
1answer
320 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
0answers
194 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
0answers
144 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
1answer
201 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
1answer
162 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 ...
34
votes
1answer
2k 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
0answers
99 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
1answer
61 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
1answer
178 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
0answers
152 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
1answer
127 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
2answers
282 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
1answer
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
1answer
105 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
1answer
309 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
0answers
241 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
1answer
288 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
1answer
252 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
1answer
405 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
2answers
366 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
1answer
464 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
0answers
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
1answer
246 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
0answers
72 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
0answers
86 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
2answers
656 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
1answer
133 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
2answers
286 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 ...
3
votes
1answer
115 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
0answers
451 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
1answer
414 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
0answers
208 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
0answers
125 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
1answer
315 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
1answer
911 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 ...
4
votes
1answer
277 views

Minimal Nagata-like compactification

Working over a field $k$, Nagata's compactification theorem implies that any separated scheme $X$ of finite type over $k$ admits a compactification (a dense open immersion $i \colon X\hookrightarrow\...
3
votes
1answer
332 views

Uniqueness of smooth compactification upto a smooth morphism

By a $k$-variety, we will mean a separated scheme of finte type over a field $k$. Let $k$ be of characteristic 0. Given a smooth quasi-projective $k$-variety $X$, there is a projective $k$-variety $\...
1
vote
0answers
243 views

Siegel domains and the Baily-Borel compactification of $\mathcal{A}_2$

Consider the connected, almost simple, algebraic group $Sp_4$ over $\mathbb{Q}$ (embedded canonically in $GL_4$). For the following facts, I refer the reader to Murnaghan, Linear Algebraic Groups, ...
7
votes
1answer
186 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 ...
3
votes
0answers
311 views

Equivariant form of Nagata's compactification theorem?

Given a finite group $G$ acting on an algebraic variety $X$ (let's say over $\mathbb C$, if that helps), is there always a proper variety $\bar X$ with a $G$ action such that $X \to \bar X$ is a $G$-...
9
votes
0answers
329 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 ...
1
vote
0answers
240 views

Stone-Cech compactification of $\mathbb{R}^n$ and smooth functions

I am currently attending a course where we are now covering the Stone-Cech compactification. Today we proved in some detail that extensions of bounded smooth functions on $\mathbb{R}^n$ to $\beta\...
1
vote
2answers
614 views

How is a MacNeille completion “universal” like a beta-compactification is “universal”?

The beta-compactification of a topological space is characterized as the largest space such that every mapping from the original space to another (range) space can be extended through to a mapping ...