Skip to main content

Questions tagged [compactifications]

Filter by
Sorted by
Tagged with
13 votes
1 answer
850 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
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
0 votes
1 answer
99 views

A question about G-Hewitt spaces

In the paper linked below, S. A. Antonyan gives the following proposition without proof (in fact all results are given without proof). I need a proof of this theorem. If anyone has information on this ...
Mehmet Onat's user avatar
  • 1,367
1 vote
2 answers
202 views

Spaces $X$ with every compactification $0$-dimensional with $\beta X\setminus X$ not locally compact

Previously, in this post I've shown the following characterization of spaces with only zero-dimensional compactifications: Theorem. Let $X$ be strongly zero-dimensional and $\beta X\setminus X$ ...
Jakobian's user avatar
  • 1,201
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
0 votes
0 answers
60 views

Spectral analysis of Dirac operators coupled to gauge potential on $\mathbb{R}^n$

Dirac operators on compact manifolds seem to have been studied well, such as in this book and also this one. However, I cannot easily find comprehensive treatment of Dirac operators coupled to gauge ...
Isaac's user avatar
  • 3,477
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
0 votes
0 answers
188 views

Behavior of subtree of $\mathbb{Z}^2$ embedded in $\mathbb{C}$ under compactification of the latter to the riemann sphere

I consider a countable subtree $T$ of the integer lattice isomorphic to $\mathbb{Z}^2$ with directed edges. It shall be embedded in $\mathbb{C}$ where the edge $(u,v)$ points from $u$ to $v$ if and ...
Jens Fischer's user avatar
-2 votes
1 answer
118 views

Mismatch between equivalent definitions of the Bohr compactification of the reals

I feel I'm overlooking something very silly. The Bohr compactification of $\mathbb R$ has two equivalent definitions. The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
Daron's user avatar
  • 1,955
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
1 vote
0 answers
101 views

When is the "Gelfand Remainder" compact?

Suppose we have a noncompact Hausdorff space $S$ and a Banach algebra $A \subset C^*(S,\mathbb R)$ of the space of real-valued bounded functions on $S$. For niceness let's assume $A$ separates the ...
Daron's user avatar
  • 1,955
3 votes
0 answers
107 views

Fulton-MacPherson compactifications (and wonderful compactifications) as relative Proj

Let $X$ be a (smooth complex projective) variety. The Fulton-MacPherson compactification $X[n]$ is obtained from $X^n$ by blowing up the diagonals in a certain order. Is it possible to write down a (...
adrian's user avatar
  • 318
1 vote
0 answers
114 views

Homeomorphism between interiors of simplex and permutohedron

The $n$-dimensional permutohedron $P_n$ is a polytope whose facets (i.e.\ codimension $1$ faces) are in 1-to-1 correspondence with all faces (of codimension${}\geq 1$) of the $n$-simplex $\Delta_n$, ...
Xin Nie's user avatar
  • 1,804
1 vote
1 answer
152 views

Points in the Stone Cech compactification are intersection of open sets

Let $\beta \mathbb{N}$ be the Stone Cech compactification of the natural numbers and let $ x\in \beta \mathbb{N}$. Is it true that there exists a sequence of open sets $\{U_n\}_{n=1}^\infty$ in $\beta ...
Serge the Toaster's user avatar
2 votes
0 answers
102 views

What is the meaning of universal family of Fulton Macpherson configuration space?

Fulton and Macpherson suggests the way to compactify the set of $n$-labelled distinct point on variety in their paper, "A Compactification of Configuration Spaces" In this paper, the process ...
ChoMedit's user avatar
  • 285
4 votes
2 answers
583 views

Compactification of a product of manifolds

Let $M$ be a smooth manifold. We make the assumption that $M$ can be viewed as the interior of a compact manifold with boundary $\overline{M}$. In practice, for an explicit manifold, any ...
zarathustra's user avatar
0 votes
1 answer
204 views

Are degrees and ramification degrees preserved upon passing to the smooth compactification?

Let $\phi :C_1\to C_2$ be morphism of projective singular curve. Let $\tilde{C}_1$ and $\tilde{C}_2$ be their smooth compactification. Then $\phi$ extends to $\tilde{\phi} : \tilde{C}_1\to \tilde{C}...
Duality's user avatar
  • 1,531
1 vote
0 answers
263 views

Implicit function theorem and compactification of algebraic curve

Let $C$ be a singular curve defined over a local field $K$. Let $\tilde{C}$ be its smooth compactification(maybe this is not normalization). Why $\tilde{C}(K)\neq \emptyset$ implies ${C}(K)\neq \...
Duality's user avatar
  • 1,531
1 vote
0 answers
96 views

Are the irreducible components appearing in the resolution of singularities of a Hilbert modular surface defined over $\mathbb{Q}$?

It seems to me that this is claimed in van der Geer's "Hilbert modular surfaces" on p. 245 at the beginning of XI.2 (without justification). My current state of belief/knowledge: The ...
dfn's user avatar
  • 93
2 votes
0 answers
152 views

Line bundles on toric varieties associated to Weyl chamber

I am interested in studying toric varieties associated to the fan of Weyl chambers. General information would be best but I am also interested in the specific case of the Weyl chamber of $\mathfrak{sl}...
Merrick Cai's user avatar
2 votes
1 answer
133 views

On the zero-dimensional strata of the Fulton-MacPherson conpactification

Let $\operatorname{Conf}_n(\mathbb{R})$ be the configuration space of $n$ marked points on the real line. What is the difference between $\operatorname{Conf}_n(\mathbb{R})$ and the locus of zero-...
Banana23's user avatar
4 votes
1 answer
236 views

What is the Freudenthal compactification of a wildly punctured n-sphere?

Let $C$ be a compact and totally-disconnected subspace of the $n$-sphere $\mathbb{S}^n$, where $n\geq 2$. Question: Must the Freudenthal compactification of $\mathbb{S}^n \setminus C$ be homeomorphic ...
Agelos's user avatar
  • 1,926
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
2 votes
0 answers
218 views

Borel-Weil-Bott theorem for wonderful compactification in characteristic p

Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
Merrick Cai's user avatar
4 votes
0 answers
190 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 ...
user148575's user avatar
3 votes
0 answers
64 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 ...
Carlos Adrián's user avatar
1 vote
0 answers
143 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 ...
Carlos Adrián's user avatar
1 vote
1 answer
184 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-...
Anixx's user avatar
  • 10.1k
4 votes
0 answers
141 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 ...
GTA's user avatar
  • 1,024
0 votes
0 answers
153 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$ ...
Osheaga's user avatar
  • 59
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
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
3 votes
0 answers
204 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$. ...
Hang's user avatar
  • 2,789
3 votes
0 answers
250 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 ...
random123's user avatar
  • 443
2 votes
1 answer
152 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 ...
Robert Thingum'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
1 vote
1 answer
225 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)^+\...
Leonard's user avatar
  • 151
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
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
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
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
0 votes
0 answers
162 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 ...
Taras Banakh's user avatar
  • 41.8k
4 votes
1 answer
278 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 ...
D.S. Lipham's user avatar
  • 3,317
1 vote
1 answer
215 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 ...
Mehmet Onat's user avatar
  • 1,367
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
1 vote
0 answers
166 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 ...
cl4y70n____'s user avatar
0 votes
1 answer
92 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\...
Mehmet Onat's user avatar
  • 1,367
3 votes
1 answer
187 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?
Lucas Henrique's user avatar
3 votes
0 answers
195 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}$ ...
user avatar
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