Questions tagged [noncommutative-geometry]
Noncommutative geometry is a study of noncomutative algebras from geometrical point of view. The motivation of this approach is Gelfand representation theorem, which shows that every commutative C*-algebra is *-isomorphic to the space of continuous functions on some locally compact Hausdorff space.
200 questions
0 votes
0 answers
50 views
To "enrich" as opposed to "dissolve" the point?
Grothendieck dissolved the classical notion of a point into a functor of points $$ h_X : (\mathbf{Sch})^{\mathrm{op}} \longrightarrow \mathbf{Set}, \qquad h_X(S) = \mathrm{Hom}(S, X), $$ re-...
0 votes
0 answers
60 views
quasi equivalence implies Morita equivalence
I was reading this paper by G. Tabuada. Here in section 2.2 author ask to notice every quasi equivalence of dg categories is a Morita equivalence. From the definition it seems that quasi equivalence ...
3 votes
1 answer
155 views
When $X$ is locally compact but not compact, why is the set of continuous functions $f:X\to\mathbb{C}$ "too big"?
I'm reading Elements of Noncommutative Geometry by Gracia-Bondía, Várilly and Figueroa, and in the first section of Chapter $1$ they are talking about continuous functions on locally compact spaces. ...
5 votes
0 answers
56 views
Base-change for Hochschild Cohomology?
Let $f: R \to S$ be a homomorphism of commutative rings. If helpful, one can assume that $R$ is a subring of $S$. Now, let $A$ be an $S$-algebra and $M$ an $A$-bimodule. The Hochschild cohomology ...
1 vote
0 answers
79 views
A noncommutative analog of algebra of continuous and bounded functions.
Consider a compact Hausdorff space space $X$, a $\sigma-$algebra of Borel sets $\mathcal{B}(X)$ and probabilistic Radon measure $p$ on $X$. Let $L^\infty(X,\mathcal{B}(X),p;\mathbb{C})$ be a ...
0 votes
0 answers
120 views
Tensor product of dg modules over dg categories
I am studying this survey by Keller and I am stuck on page 11 (chapter 3.8 about Morita equivalence) where he has the notation of the tensor product between two dg modules. Let $A$ and $B$ be small dg ...
4 votes
1 answer
114 views
Recovering localizable measure from null sets of localizable measurable space.
I have a problem with understanding how does the duality between categories of localizable measurable spaces and von Neumman algebras work. To sum up: A localizable measurable space is a measurable ...
2 votes
0 answers
93 views
Are $*$-Subalgebras Ever Dense in Their Double Commutant in Other Topologies?
We know $A$ a $*$-subalgebra of $B(H)$ is strongly dense in its double commutant $A''$. Are there particular conditions on $A$ or $H$ which allow us to strengthen this to one of the following: $A$ is ...
1 vote
0 answers
57 views
Real *-Subalgebras of the Real Analog of $B(H)$ and their Strong Closures
We know for $A$ a $*$-subalgebra of $B(H),$ $A$ is strongly dense in its double commutant $A''.$ Consider the following situation: $H$ is separable, $(e_n)$ an orthonormal basis on it. Let $B(H)_\...
4 votes
0 answers
93 views
When is a quotient of a $C^*$-algebra unital?
Let $A$ be a nonunital $C^*$-algebra. Is there a useful characterization of which (closed 2-sided) ideals $I$ of $A$ are such that $A/I$ is unital? In the commutative case, this happens if and only if ...
-2 votes
2 answers
88 views
Does the $C^*$-algebra $ C_{r}^* (G) $ contain projections? [closed]
Let $A$ be a $C^*$ - algebra. Definition, Let $p \in A$. $p$ is a projection if and only if, $ p^* = p $ and $ p^2 = p $. =========================== Let $G$ be a topological group which is locally ...
2 votes
0 answers
72 views
Does $\mathrm{Trace}(D^{-1}TD)=\mathrm{Trace}(T)$ hold for unbounded operators?
It is a problem that comes from Alain Connes' article Non-commutative Differential Geometry. In the proof of Corollary 2 in Part I, Section 6, we need a property that $\mathrm{Trace}(T-D^{-1}TD)=\...
1 vote
1 answer
95 views
Isomorphism between $\mathcal{L} ( \mathcal{H}_1 \otimes \mathcal{H}_2 )$ and $ \mathcal{L} ( \mathcal{H}_1 ) \otimes \mathcal{L} ( \mathcal{H}_2 )$.
Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be two separable Hilbert spaces. Let $\mathcal{L} ( \mathcal{H} )$ be the $C^*$ - algebra of bounded linear operators on $\mathcal{H}$, a separable Hilbert ...
6 votes
2 answers
152 views
Does linearity on all commutative subalgebras imply linearity on the whole algebra?
Let $\mathfrak A$ be a $C^\ast$-algebra and $\phi\colon\mathfrak A\to\mathbb C$ a continuous positive function whose restriction to any commutative sub-$C^\ast$-algebra is linear. Is $\phi$ linear on ...
0 votes
1 answer
70 views
Bijection between minimal $C^*$-tensor product representations, and pairs of its correspondants restriction representations.
Let $A$ and $B$ be two $C^*$-algebras, and let $A \odot B $ be the algebraic tensor product of $A$ and $B$ as a vector space. The vector space $A \odot B$ is a $^*$-algebra defined by the following ...