All Questions
4,451 questions with no upvoted or accepted answers
7
votes
0
answers
107
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
- 3,984
7
votes
0
answers
124
views
The bidual of the space of divergence-free vector fields
Consider the Banach space $L_1(\mathbb R^n, \mathbb R^n)$ of integrable vector fields $(n>1$) together with its subspace $N$ formed by those vectors fields whose divergence (computed in the ...
- 11.3k
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
- 557
7
votes
0
answers
299
views
Possible Birkhoff spectra for irrational rotations
Let $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ be the unit circle (think of it as of the interval $[0,1)$ with endpoints identified). Assume that $\alpha$ is irrational and consider the rotation by $\alpha$, ...
- 1,658
7
votes
0
answers
248
views
Isometries on the unit sphere
Suppose that $X$ and $Y$ are two Banach spaces, $S_{X}$ and $S_{Y}$ their unit spheres, and $f$ an onto isometry between $S_X$ and $S_Y$. Does it follow that $X$ and $Y$ are isometric?
- 1,361
7
votes
0
answers
237
views
Understanding the odd-dimensional index
Given a Dirac operator $D$ on a closed odd-dimensional manifold $M$, I've sometimes heard it said that the Fredholm index of $D$ vanishes because it is an ungraded self-adjoint operator, so that $\dim\...
- 1,903
7
votes
0
answers
373
views
What is known about "almost orthogonal vectors"?
Motivation:
Suppose we have a kernel $k(a,b)$ defined over the natural numbers.
Then by the Moore–Aronszajn theorem, we can embedd the natural number $a$ in some Hilbert space $\mathbb{H}$, which we ...
user6671
7
votes
0
answers
262
views
When is the exponential of a map proper?
Let $X$ be a compact Hausdorff space. Then if $f: A \to B$ is a map between discrete spaces, the induced map $f^\ast: X^B \to X^A$ is proper.
Question: Are there other classes of map $f: A \to B$ ...
- 63.9k
7
votes
2
answers
824
views
Fourier series of smooth functions in infinitely many variables
Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
- 401
7
votes
0
answers
103
views
Rough classification of Peano Curves
By Peano curve I mean a continuous map from the unit interval that fills the unit square in $\mathbb R^2$.
In the paper:
Shchepin, E. V.; Bauman, K. E., Minimal Peano curve, Proc. Steklov Inst. Math....
- 4,862
7
votes
0
answers
85
views
Analogue of Friedrichs extension for Hilbert $C^*$-modules
Suppose one has a densely defined symmetric operator $T:\mathcal{M}\rightarrow\mathcal{M}$, where $\mathcal{M}$ is a Hilbert $A$-module for a $C^*$-algebra $A$. Suppose that $T$ is non-negative, so ...
- 1,903
7
votes
0
answers
177
views
Does this ideal in $B(L_1)$ have a (bounded) right approximate identity?
I will take a roundabout way to defining this ideal, because (a) this route is how my collaborators and I came to it (b) this alternative definition, rather than the standard one, may suggest a ...
- 25.8k
7
votes
1
answer
394
views
Inverse limit in the category of $C^{\ast}$-algebras or operator spaces
Does the inverse limits (projective limits) exist in the category of $C^{\ast}$-algebras or operator spaces?
I tried to search but could not find a proper reference. Any reference or comments about ...
- 1,115
7
votes
0
answers
185
views
A special connected subset of the Cantor fan
Is there a dense connected subset $X$ of the Cantor fan $$(C\times [0,1])/(C\times \{1\})$$ such that for every two connected subsets $X_1,X_2\subseteq X$, the intersection $X_1\cap X_2$ is connected?
...
- 3,317
7
votes
0
answers
432
views
(geodesic) smoothness of f-divergence with respect to the Wasserstein metric
We consider the f-divergence, which takes the form
$$
D_f(P \| Q) = \int_\Omega f\left(\frac{dP}{dQ}\right) dQ.
$$
For example, when $f(t) = t \log t$, we obtain the KL-divergence.
My question is ...
- 1,127
7
votes
0
answers
181
views
Compact Kaehler submanifolds of projectivized Hilbert space
If we take a separable complex Hilbert space $H$, its projective space $PH$ is an infinite-dimensional Kähler manifold in a fairly obvious sense (see below). Suppose $M \subset PH$ is a finite-...
- 22.3k
7
votes
0
answers
172
views
Countable network vs countable Borel network
Definition. A family $\mathcal N$ of subsets of a topological space $X$ is called
$\bullet$ a network if for any open set $U\subset X$ and point $x\in U$ there exists a set $N\in\mathcal N$ such that $...
- 41.9k
7
votes
0
answers
174
views
Is each Choquet topological group strong Choquet?
A topological space $X$ is called (strong) Choquet if the player II has a winning strategy in the (strong) Choquet game.
It is known that a metrizable space $X$ is
$\bullet$ Choquet if and only if it ...
- 41.9k
7
votes
0
answers
119
views
The automorphism group of the fibered cylinder
My collegue (Oleg Gutik) is interested in finding a proper reference to a description of the group $G$ of homeomorphisms $h:\mathbb T\times\mathbb R\to\mathbb T\times\mathbb R$ of the cylinder that ...
- 41.9k
7
votes
0
answers
287
views
Does geometric realization commute with passing to the compactly generated topology?
My question is in the title, but here is a more detailed formulation:
Let Top be the category of all topological spaces and continuous maps, and let CGTop be the subcategory of compactly generated ...
- 8,803
7
votes
0
answers
328
views
Status of two Banach space theory open problems posted by Pełczyński
In the book 'Open Problems in the Geometry and Analysis of Banach Spaces', I am interested in the following two problems.
Problem $1$: Let $X$ be a separable infinite-dimensional Banach space that is ...
- 623
7
votes
0
answers
200
views
Equivalent strictly convex norms in spaces of small density
Can one construct in ZFC a Banach space of density character $\omega_1$ that does not have an equivalent strictly convex norm?
Maybe one may apply some kind of a Löwenheim–Skolem-type argument to a ...
- 11.3k
7
votes
0
answers
243
views
Loomis-Whitney versus Gagliardo inequalities
When searching for a reference, I discovered a curious fact about the Wikipedia page concerning the Loomis-Whitney Inequality (LWI).This page, which exists only in an English version, states that the ...
- 52.3k
7
votes
0
answers
106
views
The first homotopic Baire class
Let $X$ and $Y$ be topological spaces. A map $f:X\to Y$ belongs to the first Baire class (to the first homotopic Baire class), if there exists a continuous map $H:X\times \omega\to Y$ (a continuous ...
- 367
7
votes
0
answers
305
views
Generalizing Gromov Hausdorff distance using Vietoris topology
There are two notions of convergence of a sequence of metric space. One is by the Gromov Hausdorff distance for compact metric spaces, another one is the pointed Gromov Hausdorff convergence for ...
- 1,630
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
7
votes
0
answers
222
views
Can C*/W*-algebras be realized as (involutive?) monoid/co-monoid objects?
I would like to know how close one can get to realizing the category of C*-algebras as a category of monoid objects. Related (almost, but not quite, duplicate) questions are:
"Recovering a monoidal ...
- 146
7
votes
0
answers
549
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
7
votes
0
answers
504
views
Intersection form of logarithmic transformations
Now I want to calculate the intersection form of a logarithmic transformation which is defined as follows.
Let $X$ be an oriented, closed, simply-connected 4-manifold and $T^2\subset X$
be an ...
7
votes
0
answers
478
views
Characterizing the sum $L^1 + L^\infty + L^{1,\infty} + L^{\infty, 1}$ of iterated Lebesgue spaces "by duality"
For the usual Lebesgue spaces $L^p (\mu)$ ($p \in [1,\infty]$) on a ($\sigma$-finite) measure space $(X,\mu)$, it is well-known that one has the characterization
$$
L^p (\mu) = \left\{f : X \to \Bbb{...
- 734
7
votes
0
answers
214
views
Is each completely minimal topological group minimal?
A topological group $G$ is called
$\bullet$ minimal if it admits no strictly weaker Hausdorff group topology;
$\bullet$ completely minimal if it is Raikov-complete in each weaker Hausdorff group ...
- 41.9k
7
votes
0
answers
1k
views
Books on von Neumann algebras
I am interested in non-commutative $L^p$ spaces. I have a very basic background on von Neumann algebras. But all the papers appearing now a days really requires very deep knowledge of von Neumann ...
- 455
7
votes
0
answers
132
views
Different definitions of fractional sobolev spaces
Let $\Omega$ be a bounded and smooth domain in $\mathbb R^d$. For any $s\in (0,1)$ we can define $H_s(\Omega)$ to be the space of functions $u\in L^2(\Omega)$ such that $$(x,y)\mapsto \frac{|u(x)-u(y)|...
- 630
7
votes
0
answers
3k
views
What is vague convergence and what does it accomplish?
For convenience, let's say that I have a locally compact Hausdorff space $X$ and am concerned with probability measures on its Borel $\sigma$-algebra $\mathcal{B}(X)$. Natural vector spaces to ...
- 1,114
7
votes
0
answers
369
views
Baire category of tall ideals
Problem. Is it consistent with ZFC that $\mathfrak t=\omega_1$ and each $\omega_1$-generated tall $P$-ideal is of the second Baire category?
(Asked 01.10.2016 by David Chodounsky at page 20 of Volume ...
- 4,535
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
7
votes
0
answers
304
views
Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories
Let
$d\in\left\{2,3\right\}$
$\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$
$\Phi_t:\mathcal V_0\to\mathcal V_t$ such that $\...
- 167
7
votes
0
answers
501
views
intuitive connection between The KdV equations and the Virasoro bott group
I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....
- 979
7
votes
0
answers
171
views
Are there always large discrete families of normal measures?
Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...
- 2,389
7
votes
0
answers
430
views
algebraic structure of Integral Steenrod squares
It is well known that the classical Steenrod squares $Sq^a$ satisfy the Adem relations
$$Sq^aSq^b= \sum_c \binom{b-c-1}{a-2c}Sq^{a+b-c}Sq^c\;.$$
In the case where $a$ is odd, one can define an ...
- 928
7
votes
0
answers
244
views
Commutation preserving operators
Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...
- 633
7
votes
0
answers
340
views
Embeddings between weighted Besov spaces
Consider the Besov spaces $B_{p,q}^s(\mathbb{R}^d)$ for parameters $0<p,q\leq \infty$ and $s\in \mathbb{R}$. The weighted Besov space $B_{p,q}^s(\mathbb{R}^d;\mu)$ is defined for $\mu \in \mathbb{R}...
- 2,306
7
votes
0
answers
266
views
Remote points in $\beta X$
It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space $...
- 79
7
votes
0
answers
227
views
Uniform approximation of separately continuous functions on zero-dimensional spaces
For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...
- 41.9k
7
votes
0
answers
168
views
Cutting a piece of cake that $n$ people value as exactly $w$
Stromquist and Woodall (1985) study the problem of Sets on which several measures agree. There are $n$ non-atomic value measures on the unit circle, and a parameter $w\in(0,1)$. The goal is to find a ...
- 3,549
7
votes
0
answers
183
views
Is there a quotient of $c_0$ without the approximation property?
The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...
- 71
7
votes
0
answers
571
views
Thom Class of tensor bundles
Suppose $\xi$ and $\eta$ are oriented vector bundles over a CW-complex $B$. Is it possible to express the Thom class (with ${\mathbb Z}$ coefficients) of $\xi\otimes \eta$ or even ${\rm Sym}^2(\xi)$ ...
- 2,830
7
votes
0
answers
141
views
Kolmogorov superposition representation of Lipschitz functions
Kolmogorov's superposition theorem states that
if $f:[0,1]^n \to \mathbb{R}$ is an arbitrary continuous function, then it has the representation
\begin{align}
f(x) = \sum_{q=0}^{2n} \Phi_q (\sum_{p=1}...
- 371
7
votes
0
answers
241
views
A "slice-map" type problem for symmetric tensors in the square of a nuclear C*-algebra
Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras.
Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...
- 25.8k
7
votes
0
answers
269
views
Approximation in the tensor square of a weakly exact von Neumann algebra
Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...
- 25.8k