All Questions
3,573 questions with no upvoted or accepted answers
7
votes
0
answers
131
views
Approximation of a continuous curve on commuting matrices
I have a continuous curve $A:\mathbf{R}_+\rightarrow \text{M}_N(\mathbf{R})$ such that
$[A(t),A(s)] \operatorname*{\longrightarrow}_{t,s\rightarrow +\infty} 0$, where $[A(t),A(s)] = A(t)A(s)-A(s)A(t)$....
- 3,425
7
votes
0
answers
294
views
Applications of Banach space homology
There is a well-developed theory of Banach space homology. What are some of its useful applications to Banach space theory and which important questions can one answer using it? In other words, how ...
- 175
7
votes
0
answers
151
views
Stochastic analysis on nuclear Fréchet spaces
This is a reference request question, so to make it clear what I am after, I will give a quick outline of the area I am thinking in and some questions that arise.
A lot of the time in infinite-...
- 439
7
votes
0
answers
164
views
Nontrivial examples of locally compact quantum groups
What are some families of locally compact quantum groups that are neither groups, duals of groups, compact, nor discrete?
- 3,816
7
votes
0
answers
177
views
What is the current status of research on the von Neumann's inequality for $n \ge 3$?
Problem
Let $(T_1, \ldots, T_n)$ be a tuple of commuting contractions in Hilbert space $H$.
Does a constant $C_n \ge 1$ exist, for which it would be true, that:
$$\forall_{p \in \mathbb{C}[x_1, \ldots,...
- 63
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 20.5k
7
votes
0
answers
162
views
Relation between the additive Haar measure on $(K,+)$ and the multiplicative Haar measure on $K^{*}$ for a global field $K$
The following question comes from my studying of Alain Connes's paper Trace Formula in Noncommutative Geometry and the Zeros of the Riemann Zeta Function. In it, on p. 11, Connes notes that if $K$ is ...
- 1,805
7
votes
0
answers
123
views
Steklov eigenvalue for circle valued functions
Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization:
$$\sigma_1(M,g)...
- 2,095
7
votes
0
answers
80
views
Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator
Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
- 808
7
votes
0
answers
198
views
The spectrum of the Banach algebra of certain arithmetic functions under Dirichlet convolution
I was thinking about using the tools of functional analysis to study some subring of arithmetic functions under Dirichlet convolution. If I let $D_s$ be the ring of arithmetic functions with finite ...
- 190
7
votes
0
answers
120
views
What is the closed cone generated by constant and coordinate functions and closed under taking $f\mapsto\max(f,0)$?
Let $C$ be the smallest closed convex cone of functions from $\mathbb{R}^n$ to $\mathbb{R}$ that contains all constant functions, all coordinate functions, and such that $\max(f,0)\in C$ whenever $f\...
- 2,772
7
votes
0
answers
193
views
Reduced group C*-algebra $C^*_r(\mathbb{Z}/2*\mathbb{Z}/2)$: norm of specific elements
Consider the free product of $\mathbb{Z}/2$ with itself with generators
$$
\mathbb{Z}/2*\mathbb{Z}/2=\langle u,v\mid u^2=1=v^2\rangle
$$
and regard its group $C^*$-algebra
$$
C^*(\mathbb{Z}/2*\mathbb{...
- 598
7
votes
0
answers
2k
views
Algebraizing topology and analysis via condensed mathematics
I asked this question on Mathematics Stackexchange, but one of the users suggested that I ask this question at MathOverflow.
I've just come across a Twitter thread by Laurent Fargues explaining a work ...
- 79
7
votes
0
answers
317
views
Multiple Fourier series
In the book by Elias M.Stein and Guido Weiss "Introduction to Fourier Analysis on Euclidean Spaces" one states in page 268 the following theorem:
Theorem 1: The trigonometric series
$$\...
7
votes
0
answers
144
views
Convex pigeonhole principle in Banach spaces
In this question, all Banach spaces will be infinite-dimensional and separable, and all subspaces will be infinite-dimensional and closed.
Say that a subset of the unit sphere $S_X$ of a Banach space $...
- 1,005
7
votes
0
answers
207
views
Is the derivative the unique operation on points in the plane that preserves convexity?
Let $C(n)$ be the space of multisets of size $n$ of points in the Euclidean plane, topologised appropriately, and consider a surjective continuous map: $$D:C(n)\rightarrow C(n-1)$$
Such that the ...
- 1,949
7
votes
0
answers
242
views
Has this Banach algebra been studied?
Given $\Omega$ as $[0,1]^n$ or the closed unit ball in $\mathbb{R}^n$, we can consider the algebra of complex valued polynomials with pointwise multiplication and its closure with respect to the norm
...
- 71
7
votes
0
answers
132
views
Smoothing property of a certain singular integral operator of non-convolution type
For simplicity, suppose that the dimension $d=2$, and let $g_s(x)$ be the Coulomb or Riesz potential defined by
$$g_s(x) := \begin{cases} -\frac{1}{2\pi}\ln|x|, & {s=0} \\ c_s|x|^{-s},& {0<...
- 873
7
votes
0
answers
351
views
Fractional Laplacian and chain rule
For the classical Laplacian, we have
$$\Delta (h(u)) = h'\Delta u + h''(u)|\nabla u|^2$$
for smooth functions $h$ and $u$.
Does a similar chain rule hold (up to a reminder term) also for the ...
- 161
7
votes
0
answers
294
views
Weaker version of the Borel lemma for vector-valued functions
Borel's lemma for Frechét-spaces $V$ says:
(i) For every $(v_j)_{j \in \mathbb{N}} \in V^\mathbb{N}$ there exists a smooth $f: \mathbb{R} \to V$ such that
$$f^{(j)}(0) = v_j.$$
For general locally ...
- 1,474
7
votes
0
answers
158
views
$C^*$ algebras whose nontrivial projections form a non empty compact connected set
Apart from $M_2(\mathbb{C})$. what is an example of a $C^*$ algebra $A$ whose set of non trivial projections form a non empty compact connected set?
Is there an example of this situation such that ...
- 356
7
votes
0
answers
3k
views
Definition of homogeneous Sobolev spaces
As we know the inhomogeneous Sobolev space (we only consider $s>0$)
$${H}^{s}\left(\mathbb{R}^{n}\right)=\left\{f \in L^2(\mathbb{R}^n):\int_{\mathbb{R}^{n}}|\xi|^{2 s}|\hat{f}(\xi)|^{2} \mathrm{d} ...
- 633
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
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
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
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
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
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
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
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
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,124
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
172
views
Choice and the Baire property in non-separable complete metric spaces
It's known to be consistent with ZF+DC that every subset of $\mathbb{R}$ has the Baire property (BP). (E.g. Shelah's model). If so, then every subset of every complete separable metric space has ...
- 29.8k
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
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