Skip to main content

All Questions

4,469 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
13 votes
0 answers
462 views

Is there a simple and reflexive Banach algebra?

There are many Banach algebras which, as Banach spaces, are reflexive. Of course, unitisation is just adding one dimension so this operation preserves reflexivity, hence there are many reflexive, ...
Tomasz Kania's user avatar
  • 11.3k
13 votes
0 answers
323 views

Kolmogorov width for cartesian products

For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is $$ \delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...
Jochen Wengenroth's user avatar
13 votes
0 answers
474 views

Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard bold.)$\newcommand{\FA}{{...
Yemon Choi's user avatar
  • 25.8k
13 votes
0 answers
483 views

Where to use differential calculus on space of measures?

One great inside of Felix Otto is that the Wasserstein metric from optimal transportation gives the space of (finite second moment, probability) measures on $\mathbb{R}^n$ (or a manifold) a kind of ...
Benoît Kloeckner's user avatar
13 votes
0 answers
564 views

Symmetric (extended) Haagerup tensor product

Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...
Matthew Daws's user avatar
  • 18.7k
13 votes
0 answers
816 views

How hard is it to make a differential operator Hermitian?

Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
Theo Johnson-Freyd's user avatar
12 votes
0 answers
196 views

UMD constant of finite dimensional spaces

For a Banach space $B$, its one-sided Unconditional Martingale Difference (UMD) constant $C^-_p$ (for $p \in (1,\infty)$) is the smallest value such that for all $B$-valued martingale difference ...
Marco's user avatar
  • 408
12 votes
0 answers
373 views

Does Thompson's group $V$ have property AP?

Property AP: A discrete group $\Gamma$ has property AP (Approximation Property) if there exists a net $(\phi_i)_{i \in I}$ of finitely supported functions on $\Gamma$ such that $\phi_i \to 1 $ weak$^*$...
tattwamasi amrutam's user avatar
12 votes
0 answers
476 views

Are Sobolev trace spaces equal from both sides of the boundary?

Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure. Assume $\partial\Omega=\partial\Omega'$. Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
Joonas Ilmavirta's user avatar
12 votes
0 answers
923 views

What's the appropriate notion of a Unitary representation of a Lie algebra?

Here Lie algebras/groups are real. The most straightforward definition might be: Def: A representation $\rho:\mathfrak{g} \rightarrow \mathfrak{gl}(V)$ is unitary if $V$ is equipped with a Hermitian ...
Alex Zorn's user avatar
  • 922
12 votes
0 answers
284 views

Star-shaped Folner sequence

Fix a (finite) generating set $S$ for $\Gamma$ (discrete) amenable. Given a Følner sequence (i.e. a sequence of finite sets $F_n$ whose boundary $\partial F_n$ in the Cayley graph of $S$ is such that $...
ARG's user avatar
  • 4,432
12 votes
0 answers
435 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
Fred Dashiell's user avatar
12 votes
0 answers
478 views

What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
Dan Ramras's user avatar
  • 8,803
11 votes
0 answers
342 views

The diagonal operators and unconditionality

The following is well-known: Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$. Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with the ...
S Argyros's user avatar
  • 986
11 votes
0 answers
374 views

A game of harmonic series(s)

Given a set $A\subseteq\mathbb{R}_{>0}$, consider the following (two-player, perfect-information, length-$\omega$) game $H_A$: Players $1$ and $2$ alternately play strictly increasing natural ...
Noah Schweber's user avatar
11 votes
0 answers
344 views

Tauberian Theorem for 1-parameter groups of operators

The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
ABIM's user avatar
  • 5,405
11 votes
0 answers
615 views

Is every Baire metric space a complete metric space in disguise?

I am currently giving lectures in real analysis and a student asked an interesting question I couldn't answer, so I'm posting it here: Let's say that a metric space $X$ is Baire if every countable ...
fedja's user avatar
  • 61.9k
11 votes
0 answers
707 views

What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?

The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions: $\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...
Sara's user avatar
  • 111
11 votes
0 answers
266 views

Quantifier swap in Banach space theory

The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...
Jason Zhao's user avatar
11 votes
0 answers
389 views

Von Neumann Inequality in Banach spaces

It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space: Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
erz's user avatar
  • 5,529
11 votes
0 answers
2k views

A question on trig series

Assume $\{a_k\}_{k\ge1}$ is a real sequence such that $u(x) = \sum_{k\ge 1}a_k\sin(kx)$ is a smooth function, and for every $x \in [-\pi, \pi]$ $$\left(\sum_{k\ge 1}\frac{a_k}{k}\sin(kx)\right)\left(\...
Jacob Lu's user avatar
  • 903
11 votes
0 answers
322 views

Does any real function have a Lipschitzian restriction on $D$?

Does any real function have a Lipschitzian restriction on $D$, where $D$ is an infinite subset of $\Bbb R$ with an accumulation point?
Dattier's user avatar
  • 4,074
11 votes
0 answers
381 views

Concerning Luzin-(N)-property

Definition: a function $f:\mathbb{R}\to \mathbb{R}$ has Luzin-(N)-Property if $f$ maps any null set to a null set. By https://www.encyclopediaofmath.org/index.php/Luzin-N-property, it is known that ...
喻 良's user avatar
  • 4,201
11 votes
0 answers
320 views

Constructing an infinite chain of subsets of 'hyper' algebraic numbers?

This question is cross posted from MSE. Let $F$ be a subset of $\mathbb{R}$ and let $S_F$ denote the set of values which satisfy some generalized polynomial whose exponents and coefficients are ...
Mason's user avatar
  • 211
11 votes
0 answers
529 views

Contraction semigroup on Hilbert space

I'd like to know whether a certain unbounded operator on a Hilbert space is the generator of a strongly continuous contraction semigroup. (Such operators are known as maximally dissipative operators.) ...
André Henriques's user avatar
11 votes
0 answers
626 views

Outline of Generic Separable Banach Spaces don't have a Schauder Basis

So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces don'...
Konrad Wrobel's user avatar
11 votes
0 answers
137 views

Assymptotics of a Selberg type integral

Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral $$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} \...
Hatem's user avatar
  • 111
11 votes
0 answers
622 views

Subspaces and quotients in Banach space theory

In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...
M.González's user avatar
  • 4,461
11 votes
0 answers
364 views

Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
Greg Zitelli's user avatar
  • 1,124
11 votes
0 answers
758 views

A basic question on Stone-Cech compactification of $\mathbb{Z}$

Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
Alvin's user avatar
  • 895
11 votes
0 answers
601 views

High-dimensional geometry: Top-down Vs. Bottom-up

There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
Simon Lyons's user avatar
  • 1,666
11 votes
0 answers
309 views

Combinatorial Hilbert spaces

Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
David Feldman's user avatar
11 votes
0 answers
1k views

Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?

It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$. Then, by ...
Armin's user avatar
  • 111
11 votes
0 answers
657 views

For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?

The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
Łukasz Garncarek's user avatar
10 votes
0 answers
287 views

Coefficients of polynomials vs trigonometric product

Let's consider the family of sequences of coefficients in the expansion $$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$ Remark. Evidently, the RHS is a finite sum. Here is a ...
T. Amdeberhan's user avatar
10 votes
0 answers
225 views

Can the trace be computed in any Schauder basis?

I'm cross-posting this question from Math.SE, as it didn't get much attention there. Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
WillG's user avatar
  • 233
10 votes
1 answer
518 views

Inverse function theorem for $W^{2,n}\cap W^{1,\infty}$ functions

Let $n\ge 2$, $f:B_1\subset \mathbb R^n\rightarrow \mathbb R^n$, $f\in W^{2,n}\cap W^{1,\infty}(B_1)$, $\text{det}(Df)>c>0$, where $B_1$ is the unit ball. Can we show that $f$ is a homeomorphism ...
Tian LAN's user avatar
  • 435
10 votes
0 answers
422 views

Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$

We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
Akira's user avatar
  • 835
10 votes
0 answers
652 views

Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$

My question seems elementary, yet I could not find the solution after working on and searching for several days... I'd like to find the eigenfunctions of a simple integral kernel: \begin{equation} \...
Yuli Nazarov's user avatar
10 votes
0 answers
656 views

“Taylor series” is to “Volterra series” as “Laurent series” is to _________?

Preamble My question is similar to an earlier MathOverflow question: “Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
Nike Dattani's user avatar
10 votes
0 answers
226 views

Extremal bases in finite-dimensional Banach spaces

Definition. A basis $e_1,\dots,e_n$ for a Banach space $X$ is called extremal if there exists a point $s$ in the unit sphere $S_X=\{x\in X:\|x\|=1\}$ such that for every $i\in\{1,\dots,n\}$ the ...
Lviv Scottish Book's user avatar
10 votes
0 answers
230 views

Norm-attaining operators with values in a 2-dimensional Hilbert space

Is the set $N\!A(X,\ell_2^2)$ of norm-attaining operators from a Banach space $X$ onto the $2$-dimensional Hilbert space $\ell^2_2$ dense in the Banach space $L(X,\ell_2^2)$ of all linear continuous ...
Lviv Scottish Book's user avatar
10 votes
0 answers
269 views

On the infinity of $\{p\in \mathbb {N}:\exists n\in\mathbb{N}~p| \left \lfloor{r^n}\right \rfloor\}$

I've already asked this same question on MSE here, but didn't get much help, so I will try on this site as well. For which $r\in\mathbb{R}$ is the set $\mathscr{P}_r=\{p \in \mathbb{P}:\ (\exists n\...
Lucio Tanzini's user avatar
10 votes
0 answers
172 views

Maximizing an integral w.r.t. a measure on the unit sphere

I would like to know if the answer to the following question is known. Let $d \ge 3$. What is the value of $$ \theta(d) := \max_{\mu} \int_{S^{d-1}} \int_{S^{d-1}} \cdots \int_{S^{d-1}} |x_1 \...
Romeo's user avatar
  • 980
10 votes
0 answers
266 views

Are biduals of spaces of differentiable functions on hypercubes Grothendieck?

Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm $$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
Tomasz Kania's user avatar
  • 11.3k
10 votes
0 answers
845 views

Witt's proof of Gelfand-Mazur / Ostrowski's Theorem

Previously asked on Math Stackexchange without answers. Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
Torsten Schoeneberg's user avatar
10 votes
0 answers
251 views

Do sufficiently large Banach spaces admit non-compact operators with not too large range?

As in the title, does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
Tomasz Kania's user avatar
  • 11.3k
10 votes
0 answers
201 views

Masas in SAW*-algebras

I asked this question three years ago at MSe but it has no response; let me try here. Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
Tomasz Kania's user avatar
  • 11.3k
10 votes
0 answers
325 views

Are ideals in separable C*-algebras complemented subspaces?

Let $A$ be a separable C*-algebra and $J\subseteq A$ a closed two-sided ideal. Does this make $J$ into a complemented subspace of $A$? In other words, does the quotient map $A\to A/J$ have a ...
Tobias Fritz's user avatar
  • 6,406
10 votes
0 answers
207 views

Projective tensor squares of uniform algebras

In discussion with a colleague recently (Jan 2017), $\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$ I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
Yemon Choi's user avatar
  • 25.8k

1
2
3 4 5
90