The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
1answer
281 views

Is $\mathcal{K}(H)$ injective $\mathcal{B}(H)$-module?

Does anyone know if the right Banach $\mathcal{B}(H)$-module $\mathcal{K}(H)$ is injective? The same question for $\ell_\infty$-module $c_0$. Both these modules are not dual, so standard arguments ...
1
vote
0answers
127 views

A certain measure on Banach algebras

According to the comments of Nate Eldredge I did revise the question. In particular I change "$C^{*}$ algebras" to "Banach algebras". Is there a reference who introduce the following measure on ...
0
votes
0answers
79 views

Dirac functional embedding [closed]

I got the following set up: Let $S \neq \emptyset$ equiped with the discrete topology and let $\ell_\infty(S) = \{f: S \to \mathbb C \mid f \text{ bounded}\}$. Not $\ell_\infty(S)$ with the pointwise ...
2
votes
1answer
173 views

A unital algebra with norm and continuous multiplication is a Banach algebra

In my research in functional analysis, I came across this rather simple result: For a normed algebra A over $ \mathbb{C} $ with unit, in which multiplication , right and left are both continuous w....
5
votes
0answers
104 views

Compactum of Banach algebra

What is an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties? There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}...
2
votes
0answers
48 views

Is $L_{\infty}(G)^{**}$ a without order Banach algebra?

A Banach algebra A is without order if for all $x \in A$, $xA=\{0\}$ implies $x=0$, or, for all $x \in A$, $Ax=\{0\}$ implies $x=0$. If $G$ is a compact abelian group then $L_{\infty}(G)$ is a Banach ...
3
votes
0answers
100 views

Ideals of $L^1(G)$

I want to study the closed ideal structure of $L^1(G)$. Is there a good paper or book which characterizes closed ideals and maximal ideals of $L^1(G)$?
1
vote
0answers
67 views

Projective tensor product continuous?

For $V$, $W$ Banach spaces, is the canonical morphism $B(V) \times_\pi B(W) \to B(V \hat{\otimes}_\pi W)$ continuous, where $B(V)$ denotes the set of all linear bounded endomorphisms with operator ...
3
votes
2answers
287 views

A possible norm on a subspace of $C^\infty([0,1])$?

I have posted the following question (with minimal differences) on MSE some days ago, without receiving a satisfactory answer, so let me try here again. Take the vector space of infinitely ...
2
votes
1answer
207 views

Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of $\...
9
votes
3answers
500 views

is every element in a C* algebra a product of normal elements?

I have the following question and since I am not an expert on C*-algebras, I thought I ask it here: I know that in general the sum and product of normal elements need not be normal. It is even true ...
4
votes
0answers
67 views

$p$-operator space structure on Banach algebras

There is an abstract characterization of operator algebras, which says that if $A$ is an operator space that is also an approximately unital Banach algebra, then the following are equivalent: For ...
20
votes
2answers
1k views

In a Banach algebra, do ab and ba have almost the same exponential spectrum?

Let $A$ be a complex Banach algebra with identity 1. Define the exponential spectrum $e(x)$ of an element $x\in A$ by $$e(x)= \{\lambda\in\mathbb{C}: x-\lambda1 \notin G_1(A)\},$$ where $G_1(A)$ is ...
1
vote
2answers
252 views

$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$

$c_0(C[0,1])$ is the $c_0$-direct sum of countably many $C[0,1]$.How to prove $C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$. Here,Banach-space isomorphism means a bounded invertible operator ...
1
vote
1answer
170 views

Every norm-decreasing algebra morphism $L_1(G)\to\mathcal{B}(E)$ comes from a group representation

In section 8 of this paper http://arxiv.org/abs/math/0611833v3 the author proves the following: If $E$ is a reflexive Banach space, $G$ a locally compact group and $\pi:L_1(G)\to\mathcal{B}(E)$ a norm-...
3
votes
1answer
227 views

$K$-Theory of finite dimensional Banach algebras

Is there a finite dimensional Banach algebra $A$ for which $K_{0}(A)$ is a finite group? I asked this question in MSE but I received no answer http://math.stackexchange.com/questions/1624250/...
3
votes
2answers
602 views

Banach algebraic proof of the Borsuk Ulam theorem

I am wondering whether there exists a proof of the classical Borsuk Ulam theorem for the Euclidean n-sphere, $n>2$ that is based only on the theory of Banach algebras. I checked on MR but had no ...
3
votes
0answers
65 views

Unitizations of Banach algebras and matrix norms

Consider the short exact sequence of Banach algebras $0\rightarrow A\rightarrow A^+\rightarrow\mathbb{C}\rightarrow 0$ where $A$ is a Banach algebra without unit and $A^+$ denotes the unitization of $...
1
vote
1answer
92 views

The image of a derivation on a Banach algebra is contained in the kernel of a character

It is known that if $D$ is a continuous derivation on a commutative Banach algebra $\mathcal{A}$, then for any nonzero character $\theta$ on $\mathcal{A}$ we have $D(\mathcal{A})⊆ker\theta $. ...
6
votes
1answer
157 views

Spectral mapping theorem for polynomials in $z,\overline{z}$ and direct construction of the function calculus for a normal operator

Suppose that $A$ is an element in Banach algebra and $p$ is a polynomial. Then we have an equality $p(\sigma(A))=\sigma(p(A))$ where $p(A)$ has an elementary meaning. This theorem (the spectral ...
5
votes
1answer
154 views

Spectrum of unitary elements of a Banach algebra

Unitary elements of a Banach space have been defined in this paper as follows: Let $A$ be a Banach space and $a\in A, \|a\|=1$. Let $S_{a}=\{f\in A':\|f\|=1=f(a)\}$. Then $a$ is said to be (...
3
votes
1answer
184 views

Is the Fourier-Stieltjes algebra of a locally compact group semi-simple?

Let $G$ be a locally compact group. Is the Fourier-Stieltjes algebra $B(G)$ semi-simple?
5
votes
1answer
213 views

Definition of a normed ring

A normed ring "should" be a monoid object in the monoidal category of normed abelian groups. There are (at least) two choices of morphisms of normed groups, namely bounded or short homomorphisms, ...
5
votes
2answers
170 views

Infinite topological direct sum of amenable Banach algebra

Is an infinite topological direct sum of amenable Banach algebras amenable again? Can you give me a good reference about this notion? Thanks
3
votes
1answer
178 views

comparing norms of tensor product of two Hilbert spaces

Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$ consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...
1
vote
0answers
158 views

Connected component of the identity in graded Banach algebras

I search for a noncommutative idempotent-less Banach algebra $A$ which is graded by a finite abelian group $G$ such that a nontrivial homogenous element lies in the same connected component as $1_{...
13
votes
0answers
234 views

Is there support for the term “Gelfand algebra”?

In this question Yemon Choi asked whether there is a standard term for Banach algebras for which the submultiplicative law ($\|ab\| \leq \|a\| \|b\|$) is weakened to merely requiring the product to be ...
2
votes
1answer
114 views

Semi-simple Banach algebra

Is there an example of an unital commutative semi-simple Banach algebra which it is not amenable?
-3
votes
1answer
104 views

Quotient of a Banach algebra [closed]

Let $A$ be a Banach algebra. Is there a Banach algebra $B$ and a non-trivial closed ideal $I$ of $B$ such that $\frac{B}{I}\cong A$?
3
votes
1answer
292 views

Is an ultrapower of a faithful Banach algebra always faithful?

Let $A$ be an infinite dimensional faithful Banach algebra and let $\mathcal U$ be a free ultrafilter. Is the ultrapower $(A)_{\mathcal U}$ faithful?
11
votes
1answer
289 views

Is there a Gelfand-Naimark-like characterization of group algebras $L_1(G)$?

The Gelfand-Naimark theorem establishes that a complex commutative Banach algebra $A$ with an identity and an involution $x\to x^*$ satisfying $\|x x^*\|=\|x\|^2$ is (isometrically isomorphic to) a $C(...
0
votes
1answer
70 views

Ideal in projective tensor product of Banach algebras [closed]

Let $A,B$ be Banach algebras and $A\hat{\otimes}B$ be projective tensor product of them. Let $S$ be an ideal of $A\hat{\otimes}B$. Are there ideals $I$ of $A$ and $J$ of $B$ such that $S=I\hat{\...
7
votes
1answer
297 views

Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

Can a finite (by finite I mean when the projection $1$ is finite) von Neumann algebra be strongly morita equivalent to a properly infinite von Neumann algebra? (Strong morita equivalence is the same ...
6
votes
1answer
622 views

Maximal ideals of the rings of Baire-One Functions

A real function $f:X\rightarrow \mathbb{R}$ is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all $x\...
1
vote
1answer
95 views

One question about the tensor product of $L^1(G)$ and a Banach space $A$

We know that the tensor product of $L^1(G)$ and a Banach space $A$ is isometric to $L^1(G, A)$, the space of all Bochner-integrable $A$-valued functions on a locally compact group $G$. I am looking ...
2
votes
1answer
297 views

A commutative Banach algebra with an abundance of discountinuous functions

Let $A$ be the algebra of all bounded functions from $[0,\;1]$ to $\mathbb{C}$. For $f\in A,\;$ $\omega_{f}$ is the standard oscillation function.. Each of the following two (equivalent) norms ...
3
votes
1answer
144 views

questions about the proof of the theorem of completely positive order zero maps

I hope my question is ok for mathoverflow. I first asked on math.stackexchange but received no answer and then delated it. I want to understand the proof of the theorem (which you can find in the ...
5
votes
1answer
173 views

application of factorization theorem

Young's inequlity tells us that $L^{1}(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R)$ with norm inequality $$\|f\ast g\|_{L^{p}} \leq \|f\|_{L^1}\|g\|_{L^p};$$ and of course this ...
10
votes
1answer
270 views

Theory of C* algebras over other fields than the complex numbers

How much of the theory of C*-algebras holds when the complex numbers are replaced by different (algebraically closed) field (possibly with a distinguished ordered subfield that satisfies the same ...
3
votes
1answer
275 views

Can states on commutative Banach algebras be understood as probability measures?

Suppose $\mathcal{A}$ is a commutative Banach algebra (over $\mathbb{R}$) or commutative Banach *-algebra (over $\mathbb{C}$). Is there always a measurable space $(\Omega,\mathcal{F})$ such that there ...
2
votes
0answers
184 views

Matrix norm on $L^p$ operator algebras

I have a question about the framework of $L^p$ operator algebras ($1<p<\infty$), i.e. norm-closed subalgebras of $B(L^p(X,\mu))$ for some measure space $(X,\mu)$ (see e.g. http://arxiv.org/pdf/...
3
votes
1answer
167 views

Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that $$ \mathcal W\subset ...
12
votes
2answers
397 views

$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group. Denote the ...
1
vote
2answers
176 views

Holomorphic functional calculus and idempotents

One of the applications of the holomorphic functional calculus is with regard to idempotents. For instance, if an element $a$ in a unital Banach algebra $A$ has spectrum contained in two balls, each ...
53
votes
4answers
4k views

Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?

Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I: The theory of commutative ...
4
votes
2answers
176 views

Root of positive function in Fourier algebra

Let $G$ be a locally compact group, let $A(G)$ be the Fourier algebra of $G$. We think of $A(G)$ as a subalgebra of $C_0(G)$. Question 1: Let $f\in A(G)$ be a function that is pointwise positive. ...
1
vote
0answers
137 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: DEFINITION ...
2
votes
0answers
260 views

Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
1
vote
0answers
92 views

How do functions operates in a Fourier algebra $A^{q}(\mathbb T)$?

We put , $A^{q}(\mathbb T)= \{ f\in L^{q}(\mathbb T): \hat{f}\in \ell^{q}(\mathbb Z) \}.$ By Helson-Kahane-Katznelson-Rudin Theorem, it follows that, "Let $F$ be a function on $\mathbb C$ and if $F(f)...
4
votes
0answers
215 views

Can we obtain a derived category from an additive category? Like a category of Banach modules?

Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...