All Questions
4,450 questions with no upvoted or accepted answers
6
votes
0
answers
324
views
Ricci-flat metrics on Cotangent bundles in adapted complex structure
greetings,
Let $(M,g)$ be a compact Riemannian manifold. On some neighbourhood $X$ of the zero section in the cotangent bundle $T^{*}L$ we have a complex structure $J$ and a Kähler form $\omega$ s.t. ...
- 61
6
votes
0
answers
411
views
Birth-Death Process associated with Orthogonal Polynomials
I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...
- 22.8k
6
votes
0
answers
410
views
Fundamental group of non-Hausdorff surfaces & actions of discrete Heisenberg group
Let $G$ be a discrete group, acting on a space $X$ (by homeomorphisms). I will say that the action is properly discontinuous if for any $x, y \in X$, there are neighborhoods $U_x$ and $U_y$ such that ...
- 616
6
votes
0
answers
697
views
distributions on Lie groups and representations
Let $G$ be a Lie group and $\pi$ a continuous action on $V$, a Fréchet space.
This action induces a representation of the space of compactly supported functions, $C_c(G)$, with convolution as product ...
- 342
6
votes
0
answers
969
views
What relates to measure spaces as topological spaces relate to metric spaces ?
Has there been study of a generalization of measure spaces along the following or similar lines ?
Given a measure space $(X, \Sigma, \mu)$, define for $U\in\Sigma$ a $\mu$-ball of radius $r$ of $U$ ...
- 529
6
votes
0
answers
257
views
What is the intersection of the closures of left invertible operators and right invertible operators?
From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
- 515
6
votes
0
answers
98
views
Do the translates of integrable function approximate its radial part?
For an integrable function $f$ on $\mathbb R^n$ we consider its ``radial'' part
$$R(f)(x)=\int_{\mathrm{SO}(n)} f(kx)dk.$$ What is the minimal condition on $f$ so that the span of translates of $f$ (...
- 415
6
votes
0
answers
715
views
What is the structure of a space of $\sigma$-algebras?
Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
- 8,512
6
votes
0
answers
561
views
Continuous images of Cantor cubes
The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
- 11.5k
6
votes
0
answers
387
views
Local minimum from directional derivatives in the space of convex bodies
I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...
- 5,971
6
votes
0
answers
8k
views
Dual space of continuous functions
Let $C_b(\Omega,V )=$ { $ f:\Omega\rightarrow V $ } is the Banach space of all bounded continuous functions in Banach space $V$ with a norm $\|\cdot\|$ defined as $\|f\|_\infty=\sup _{x\in\Omega}\|f(x)...
- 385
6
votes
0
answers
484
views
Square and cube?
Gowers and Maurey proved in their remarkable paper(s), that there is a Banach space $X$ such that $X$ is isomorphic to its cube $X\oplus X\oplus X$ but not to isomorphic to its square $X\oplus X$. ...
- 113
6
votes
0
answers
366
views
Whitney approximation without second countable
One version of Whitney's approximation theorem states the following:
Let $N$ be a smooth, Hausdorff, second-countable (or paracompact) manifold, then given any continuous function $F:N\to \mathbb{R}...
- 39k
6
votes
0
answers
3k
views
Projective and injective tensor product
It is well known that for arbitrary Banach spaces $X$ and $Y$ we have that the dual space
$(X \hat{\otimes}_{\pi} Y)^* = \mathcal{L}(X, Y^*)$.
If we take $\ell^p$ and $\ell^q$ such that $p < q^{\...
6
votes
0
answers
733
views
$f(x) \ne g(x)$ but $f(f(x))=g(g(x))$ - is there a name/some discussion of this property?
In the context of iteration of functions I look at the eigenvalues of the associated matrixoperator/Carleman-matrix .
If a function $\small f(x)$ has a negative eigenvalue in its associated ...
- 5,342
6
votes
0
answers
295
views
Is there an idempotent measure on the free LD system?
This is a follow up question to MO question "Idempotent measures on the free binary system?".
Let $(A,*)$ be the free binary operation on one generator which satisfies the left self distributive law:
...
- 3,547
6
votes
1
answer
2k
views
Finite element method inverse estimate
$\DeclareMathOperator\diam{diam}$Looking for a proof in the literature of the following lemma:
Let $K\subset\mathbb{R}^d$ be a bounded domain. Let $P_X$ be a finite dimensional subspace of $\mathcal{...
- 3,217
6
votes
0
answers
285
views
How to use the Lefschetz trace formula on infinite dimensional spaces?
I think the Lefschetz trace formula says something like:
if $F: X \to X$ is a continuous map of compact manifolds, then
$\chi(X^F) = \sum (-1)^i \mathrm{Tr} f_*|_{H_i(X)}$
First of all, this ...
- 8,723
6
votes
0
answers
360
views
The Space of Cellular Maps
Let $X$ and $Y$ be CW complexes.
Inside of the space of maps $\mathrm{map}(X,Y)$, we have the subspace $\mathrm{CW}(X,Y)$, consisting of just the cellular maps from $X$ to $Y$. The Cellular ...
- 12.5k
6
votes
0
answers
299
views
Spectrum of an operator arising in a dynamical problem
(Question edited according to Denis Serre comment).
While studying the action of dilating map of the circle on probability measures, I ran across the following operator:
$$\mathcal{K}^* : L^2_0(\mu)\...
- 14.4k
6
votes
0
answers
509
views
The Mapping Cylinder of a Pullback Square
Suppose I have a pullback square, which I think of as a map from the fibration
$q:X\to A$ to the fibration $p:Y\to B$. Then there is an induced map $m: M \to N$
from the mapping cylinder $M$ of $X\...
- 12.5k
6
votes
0
answers
354
views
Ordering of completely bounded maps
Let A be a C*-algebra, let H be a Hilbert space, and let $T:A\rightarrow B(H)$ be a completely bounded (cb) map (that is, the dilations to maps $M_n(A)\rightarrow M_n(B(H))$ are uniformly bounded). ...
- 18.7k
6
votes
0
answers
2k
views
Weak lower semi-continuity
Which conditions assure the weak lower semicontinuity of, say, an integral functional of the type
$F(u):=\int_\Omega f(u(x),Du(x))dx$ on $W^{1,2}(\Omega,\mathbb{R}^N)$ for a bounded, if you will even ...
6
votes
0
answers
639
views
Hilbert subspaces of indefinite inner product spaces
Let $E$ be a real linear space, endowed with a non-degenerate symmetric
bilinear form $(.,.)$.
Suppose that the [indefinite] inner product space $(E,(.,.))$
satisfies the following [sequential] ...
- 4,060
6
votes
1
answer
897
views
Flat norm metrizes the weak* topology
I've come across the following statement in literature (without proof or reference) about the flat norm of currents
$$
F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...
5
votes
0
answers
77
views
What is the maximal advantage of randomized over deterministic algorithms for approximation in the worst-case?
Let $X\subset Y$ be Banach spaces and $B_X:=\{x\in X: \|x\|_X\le1\}$ be the unit ball of $X$.
The goal is to find an approximation of every element from $B_X$ with error measured in $Y$ by using at ...
5
votes
0
answers
160
views
Hartman uniform distribution of means
Background: for a discrete abelian group $G$, a character of $G$ is a homomorphism $\chi:G\to \mathbf S^1$, $\mathbf S^1$ being the circle group $\{z\in \mathbb C:|z|=1\}$ with ordinary multiplication....
- 929
5
votes
0
answers
185
views
Stone–Weierstrass theorem for topological fields
It was showed in "The Stone–Weierstrass Theorem for valuable fields" that the Stone–Weierstrass theorem holds for any topological field whose topology comes from an absolute value or a Krull ...
- 51
5
votes
0
answers
180
views
A variant of Schwarz's theorem on generators of smooth $G$-invariant functions
Let $V$ be a finite dimensional euclidean space and let $G\subset O(V)$ be a finite (or compact) group, let $\mathbb{R}[V]$ be the algebra of polynomial functions on $V$. If $E\subset \mathcal{C}^\...
- 4,123
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
5
votes
0
answers
94
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
- 60.5k
5
votes
0
answers
899
views
Is such a Banach space $X$ isometrically isomorphic to a Hilbert space or not?
Let $X$ be a real or complex Banach space. $X$ satisfies:There exists real or complex series $\{a_k\}_{k=1}^n,\{b_k\}_{k=1}^n$ (which satisfies that:$\begin{cases}
a_k,b_k\in \mathbb{R}\ \forall k=1,\...
- 181
5
votes
0
answers
213
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
- 1,429
5
votes
0
answers
360
views
Injectivity of div–curl operator
$\DeclareMathOperator\div{div}\DeclareMathOperator\curl{curl}$Consider a div–curl system
\begin{align*}
Lu &= (\div(u), \curl(u)) \text{ in } \Omega \subset M, \text{ a 3-manifold}, \\
u &= 0 \...
- 419
5
votes
0
answers
249
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 661
5
votes
0
answers
131
views
Is the opposite of the category of $\kappa$-Lindelöf Hausdorff spaces locally presentable?
Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...
- 63.9k
5
votes
0
answers
269
views
$T_1$ paratopological group having a dense commutative subgroup is commutative
I'm learning about topological groups from Arhangelskii and Tkachenko "Topological groups and related structures" and this is one of the exercises there.
A paratopological group is a group ...
- 1,201
5
votes
0
answers
159
views
Log Sobolev inequality uniform in parameters
Fix a positive integer $N$. For $\theta \in [0,2\pi]$, set $\sigma_k(\theta) :=(\cos(k\theta),\sin(k\theta)) \in S^1$ for each integer $1\leq k\leq N$. Now for vectors $x_1,\ldots,x_N\in \mathbb{R}^2$,...
- 873
5
votes
0
answers
177
views
Do closed subsets of the generalised Cantor space have an analogue of the perfect set property?
For a regular uncountable cardinal $\kappa$, consider $2^\kappa$ with the "less than box topology" (tree topology? Easton/Bounded support topology?) in which basic open sets are of the form $...
- 2,206
5
votes
0
answers
141
views
Under what assumption on a proper map does the preimage of sufficiently small neighborhood is homotopy equivalent to the fiber?
Let $\pi\colon X\rightarrow Y$ be a proper map of topological spaces. Let's assume that both $X$ and $Y$ are paracompact, Hausdorff and locally weakly contractible. Then is it enough to conclude that ...
- 790
5
votes
0
answers
194
views
When does the Fourier transform of a measure decay?
Let $\mu$ be a Borel measure on $\Bbb R^d$.
It is well known that $\mu= |f|dx$ with $f\in L^1(\Bbb R^d)$ then its Fourier transform satisfies
$$\widehat{\mu}(\xi)\to0,\qquad \xi\to\infty.$$
However if ...
- 1,101
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
5
votes
0
answers
137
views
A list of properties of $(\bigoplus \ell^1_n)_{\ell^p}$, $1<p<\infty$
The Banach space $E=(\bigoplus_{n=1}^{\infty}\ell^1_n)_{\ell^p}$ for $1<p<\infty$ shows up in various places in the literature to construct counterexamples. The purpose of this post is to ...
- 2,605
5
votes
0
answers
265
views
Automorphic Banach spaces
A Banach space $X$ is called automorphic if for every closed subspace $Y\subseteq X$ with $\dim X/Y=\infty$, every automorphism (= linear continuous isomorphism) of $Y$ can be extended to an ...
- 4,535
5
votes
0
answers
204
views
Given a totally ordered system of Banach spaces, can we we always change the norms to get isometric embeddings?
Given a real vector space $V$ which is the union of a totally ordered family of vector subspaces $V=\bigcup_{i\in I} V_i$. By that I mean that we assume that $(I,\leq)$ is a totally ordered set and ...
- 609
5
votes
0
answers
103
views
What conditions guarantee differentiability of higher-order functions?
Sorry if my language is not precise.
Let $f_i:\mathbb{R}^m\to \mathbb{R}^n$ be some differentiable functions in the sense of auto-diff. How can you construct new functions $g(f_1,f_2,f_3,...)$ such ...
5
votes
0
answers
231
views
Does Tychonov's theorem directly imply Zorn's lemma?
This question was formerly posted on MSE https://math.stackexchange.com/questions/4578923/ without getting an answer.
I know that Tychonov's theorem, Zorn's lemma, the axiom of choice, the well-...
- 16.4k
5
votes
0
answers
158
views
Does "achieving more GH-distances than some compact space" imply compactness?
Previously asked and bountied at MSE:
For complete metric spaces $X,Y$, write $X\trianglelefteq Y$ iff for every complete metric space $Z$ such that the Gromov-Hausdorff distance between $X$ and $Z$ ...
- 20.9k
5
votes
0
answers
198
views
If $\lim_{t\to +\infty} \int_{0}^{\pi} f(x)\exp(e^{xt}) \, dx=0$ then $f=0$ a.e?
Question, Let $f \in L^1(\alpha, \beta)$ , $\beta>0$ and
$$
F(x)= \int_{\alpha}^{\beta} f(t)\exp(e^{xt}) \, dt
$$ such that $\displaystyle \lim_{x\to +\infty}F(x)=0$. Does this imply that $f$ is ...
- 1,503
5
votes
0
answers
135
views
Criteria for tightness of Gaussian measures on Banach spaces
In Bogachev's book "Gaussian Measures" (Example 3.8.13) sufficient conditions for the (uniform) tightness of a sequence of centered Borel Gaussian probability measures on a separable Hilbert ...
- 505