All Questions
Tagged with homological-algebra fa.functional-analysis
17 questions
3
votes
1
answer
172
views
1-1 map on the $\{0,1\}^k$
Let integer $k>0$ and let $\{0,1\}^k$ denote the set of all $1\times k$-dim vectors whose every coordinate is eithor 0 or 1, for example, $(0,1,1,0,\dots,1,0,0,1)$. For any such vector $\alpha$, ...
- 349
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
6
votes
1
answer
403
views
Do acyclic amenable groups exist?
Is there an example of a nontrivial discrete amenable group with vanishing integral homology?
To put the question in contrapositive. Given arbitrary acyclic group $Q$, is there some reason for the ...
- 4,600
2
votes
1
answer
213
views
Are projective tensor products left-exact if one considers only maps of norm at most 1?
Consider the category $\mathrm{Ban}$ of Banach spaces and bounded linear maps and the category $\mathrm{Ban}_1$ of Banach spaces and bounded linear maps of operator norm at most 1. Let $\otimes_\pi$ ...
- 843
4
votes
0
answers
145
views
Infinite dimensional homology theory for submanifolds of Hilbert and Banach spaces
Is there a version of homology theory for spaces for which explicitly infinite dimensional "cells" are allowed?
The spaces in question include e.g.
\begin{equation}
X = (x: x \in l_2: p_i(x) ...
- 593
5
votes
1
answer
144
views
The tensor product of two topological complexes with closed range
A Künneth formula by Grothendieck/Schwartz states the following:
Let $A, B$ be chain complexes of nuclear Fréchet spaces. If the differentials $d_A, d_B$ are topological homomorphisms (meaning in ...
user126256
45
votes
1
answer
2k
views
Existence and uniqueness of Haar measure on compacta; a cohomological approach
I am trying to use a modification of group cohomology to prove the existence and uniqueness of Haar measure on a compact Hausdorff group.
I think the best way of introducing the idea I am pursuing is ...
user30211
14
votes
3
answers
768
views
Is $C^{\infty}(\mathbb{R}^{m+n})$ a flat module over $C^{\infty}(\mathbb{R}^{m})$?
For $m>0$ we consider the ring $C^{\infty}(\mathbb{R}^{m})$ of smooth functions on $\mathbb{R}^{m}$. For $n>0$ we consider the projection $\mathbb{R}^{m+n}\to \mathbb{R}^{m}$ hence $C^{\infty}(\...
- 9,019
3
votes
1
answer
182
views
Is the continuous dual of a topological chain complex chain equivalent to the algebraic dual?
I apologize in advance if this is a naive question.
Def: A topological chain complex is a chain complex of topological $\mathbb{R}$-vector spaces such that the boundary maps are continuous.
Let $C$ ...
- 1,117
7
votes
1
answer
220
views
Is $C^{\infty}(E)$ a projective Frechet $C^{\infty}(M)$-module for a $C^{\infty}$-fiber bundle $E\to M$ with compact fiber?
The question is a special case of a previous question.
Let $M$ be a compact smooth manifold, then it is clear that $C^{\infty}(M)$ is a Frechet algebra with pointwise multiplication and a collection ...
- 9,019
5
votes
2
answers
285
views
Is $C^{\infty}(M)$ a projective Frechet $C^{\infty}(N)$-module for a smooth map $M\to N$ between compact smooth manifolds?
Let $M$ be a compact smooth manifold, then it is clear that $C^{\infty}(M)$ is a Frechet algebra with pointwise multiplication and a collection of semi-norm defined by $p_{\alpha}(f):=\sup_{\beta\leq\...
- 9,019
4
votes
0
answers
81
views
Amenable Banach algebras -- homological characterization
Recall from Theorem VII.2.19 of Helemskii's monograph "The homology of Banach and Topological Algebras" that amenability of a Banach algebra $A$ is equivalent to any of the conditions below:
(i) ...
- 375
4
votes
0
answers
315
views
Compactly supported distributions as a projective G-module
For a Lie group $G$ and a locally convex space $V$ let $\mathcal{E}(G,V)$ be the locally convex space of smooth functions from $G$ to $V$, and accordingly $\mathcal{E}_c^\prime(G,V)$ the space of ...
- 10.4k
6
votes
1
answer
270
views
Are open immersions in analytic geometry transverse?
lately I have been interested in functional analysis, especially with a view towards its applications in the world of (complex) analytic geometry. I have been using R. Taylor's book Several complex ...
- 513
3
votes
1
answer
861
views
Is the space of smooth functions with compact support a DF space?
Is there a good criterion, when a (nuclear) LF space is DF (DFN)? What are references to find out about that? If not, is there a known way, to construct a projective resolution of LF spaces? Prosmans ...
- 31
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
- 71
0
votes
0
answers
301
views
Lifting of product of a Banach algebra
Let $A$ be a non unital Banach algebra. The product induces a bounded linear map $T:A \otimes_{\gamma} A\to A$ where $\otimes_\gamma$ denotes the Banach projective tensor product.
A lifting of $T$ is ...
- 1,222