Questions tagged [coarse-geometry]

The tag has no usage guidance.

17 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12 votes
0 answers
289 views

Topology is to semi-decidability, coarse structures are to what?

There is a folklore correspondence between topology as semi-decidability amongst computer scientists, which is explained in places like: The monograph Synthetic Topology: of Data Types and Classical ...
Siddharth Bhat's user avatar
8 votes
0 answers
195 views

Coarse quotient maps

Interesting connections and analogies have been observed between non-linear geometry of Banach spaces and coarse geometry. In the former subject, people have investigated the notion of uniform (or ...
Narutaka OZAWA's user avatar
8 votes
0 answers
181 views

Can two random graphs be metrically embedded into one another?

Let $X, Y$ be two random graphs on $n$ vertices (say, in $G(n, p)$ model for some $p$). Can anything (expectation, value with high probabiity, ...) be said about $D(X, Y)$, where $D$ is the minimal ...
Marcin Kotowski's user avatar
7 votes
0 answers
176 views

Coarsifying persistence modules

The context Let $I=[0,∞)$ and consider the category of persistence modules $(V,π)$ indexed over $I$ satisfying: For all $t$ in $I$ but a closed discrete set of points $T$, there exists a ...
user148575's user avatar
5 votes
0 answers
108 views

Why are coarse maps required to be proper?

In the context of coarse spaces, a map between coarse spaces $f:X\to Y$ is called coarse if it is bornologous (it maps controlled sets to controlled sets), and proper, in the sense that preimages of ...
geodude's user avatar
  • 2,129
4 votes
0 answers
109 views

Alternative uniformities on topological groups

Are there any interesting alternative uniformities defined on topological groups besides the usual four (left, right, and their meet/join)? I am curious because in the (sort of) dual setting of coarse ...
Cameron Zwarich's user avatar
4 votes
0 answers
152 views

Ends of a negatively curved Riemannian manifold

Let $M$ be a complete Riemannian manifold. Let us use the standard definition of "end", for example, as in this article. If $M$ has non-negative Ricci curvature, it is well-known that it has ...
Math_Learner's user avatar
4 votes
0 answers
153 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
50 views

Dependence of Roe algebra and coarse index on the Riemannian metric

Let $(M,g)$ be a spin Riemannian manifold. The coarse index of the Dirac operator $D$ lies in the $K$-theory of the Roe algebra, which I will denote by $C^*(M,g)$ since its construction uses $g$. I ...
geometricK's user avatar
  • 1,871
3 votes
0 answers
126 views

Comparing the group convolution algebra with the equivariant Roe algebra

Let $G$ be a Lie group equipped with a left-invariant metric. Then $C_c(G)$ is a $*$-algebra of convolution operators on $L^2(G)$. Let $\mathbb{C}[|G|]^G$ denote the $*$-subalgebra of bounded ...
geometricK's user avatar
  • 1,871
2 votes
0 answers
127 views

Algebra of finite width matrices

$\DeclareMathOperator\FWM{FWM}\DeclareMathOperator\End{End}$For any ring $R$ there's an algebra of finite width matrices with entries in $R$. By finite width matrices I mean the ones that have only ...
Denis T's user avatar
  • 4,436
2 votes
0 answers
166 views

Characterization of growth in terms of coarse algebraic topology

$$ \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mbb}[1]{\mathbb{#1}} \newcommand{\opn}[1]{\operatorname{#1}} \DeclareMathOperator\cap{cap} \def\sse{\subseteq} $$ Coarse spaces Let $X$ be a coarse ...
Grisha Taroyan's user avatar
1 vote
0 answers
73 views

Groups without "almost equivariant" coarse embeddings

Let $X$ be a set. We say that $\psi:X\times X\to[0,\infty)$ is a CND (conditionally negative definite) kernel if there is a Hilbert space $\mathcal{H}$ and a map $f:X\to\mathcal{H}$ such that \begin{...
I. Vergara's user avatar
1 vote
0 answers
61 views

Consequences of having unbounded points in a bornology

For a set $X$ a bornology $\mathcal{B}$ is essentially an ideal in the power set $\mathcal{P}(X)$. Many sources including Wikipedia state additional property that $X = \bigcup \mathcal{B}$. Call it a ...
Nik Bren's user avatar
  • 509
1 vote
0 answers
91 views

Question about coarse fixed point property in large-scale geometry

I read the article of Steven Hair "A degree-theoretic proof of a coarse fixed point principle". I have the following question. I start with some main definitions from this article. A coarse ...
UserIn's user avatar
  • 103
0 votes
0 answers
59 views

Can the sequence of complete graphs coarsely embed into Hilbert space?

Basically the title. If I have the metric space which is the disjoint union of the sequence of complete graphs, and the usual graph metric, has it been shown that the metric space can be coarsely ...
kreitz's user avatar
  • 53
0 votes
0 answers
237 views

The set of all functions which vanish at infinity is a subset of the set of all functions which have vanishing variation

Let $X$ be a coarse space, we define the following: $D_b(X)$ is the set of all bounded functions $f:X\rightarrow \mathbb{C}$ $f\in $$D_b(X)$ is said to vanish at infinity if for each $\varepsilon$>0 ...
Hussain Rashed's user avatar