Skip to main content

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.

Filter by
Sorted by
Tagged with
0 votes
0 answers
31 views

Constructing Cyclic Division Algebras

I'm studying the construction of cyclic division algebras but I don't see how a given example holds. According to the literature, we start with a finite extension $L$ of a number field $K$ such that ...
Ama's user avatar
  • 83
0 votes
0 answers
15 views

Index of Callias operator and application in physics

In his article "Axial Anomalies and Index Theorems on Open Spaces" (https://link.springer.com/article/10.1007/BF01202525) C.Callias shows how the index of the Callias-type operator on $R^{n}$...
C1998's user avatar
  • 1
1 vote
0 answers
88 views

Why do Kontsevich and Rosenberg use algebra epimorphisms rather than surjections?

In the article Noncommutative spaces Kontsevich and Rosenberg make the following definition: 2.6. The Q-category of infinitesimal algebra epimorphisms. Let $A$ be the category $Alg_k$ of associative ...
Nick Mertes's user avatar
0 votes
2 answers
97 views

Technical question about computing the left ideals of the ring $\mathbb{Z}_{2} \oplus \mathbb{Z}_{2} \oplus \mathbb{Z}_{2}$

Computing the left ideals of $\mathbb{Z}_{2} \oplus \mathbb{Z}_{2} \oplus \mathbb{Z}_{2}$. This is the same that computing the ideals of $\mathbb{Z}_{2} \times \mathbb{Z}_{2} \times \mathbb{Z}_{2}$, ...
Cos's user avatar
  • 1,955
2 votes
0 answers
43 views

Lie algebra cohomology of formal non-commutative vector fields

Let $k$ be a field of characteristic $0$ and $A=k\langle\langle x_1,\dotsc,x_n\rangle\rangle$ be a free completed associative algebra. The space of continuous derivations $\mathrm{Der}(A)$ is ...
Qwert's user avatar
  • 35
3 votes
1 answer
70 views

Definition of Fredholm modules

I'm currently starting to learn K-homology and something bothers me about the definition of Fredholm modules. I looked in 5/6 papers and each time a different definition is given... For example in [1] ...
eomp's user avatar
  • 105
2 votes
0 answers
84 views

Lattices and noncommutative algebras in noncommutative geometry

I am interested in the relation between lattices and noncommutative algebras in the context of noncommutative geometry. In the commutative case, a lattice is a discrete subgroup of a locally compact ...
Esmond's user avatar
  • 73
0 votes
0 answers
58 views

Vector-valued differential forms and cyclic homology

Let $F\rightarrow E \rightarrow M$, where $E$ - smooth flat bundle, $M$ - smooth compact manifold, $F$ - (commutative) algebra over $\mathbb{C}$. Is it true that local cyclic homology of $\Gamma ^ \...
PaleChaos's user avatar
0 votes
0 answers
64 views

Question Regarding the Eigenvalues of Matrix Commutators

Let us consider a commutator of two diagonizable $n\times n$, i.e. square matrices, $A$ and $B$. The eigenvalues of $A$ are $\lambda^1,\lambda^2,...,\lambda^{n}$ The eigen values of $B$ are $\mu^1,\...
IntuitivePhysics's user avatar
1 vote
1 answer
38 views

The map $C^\infty(M,U(A_F))\to C^\infty(M,U(A_F)/\mathfrak{H}(F))$ is an homomorphism.

I am reading "Noncommutative Geometry and Particle Physics" by van Suijlekom. I have problems to identify one map as homomorphism. Let $M\times F$ be an almost-commutative manifold. The ...
Schrödinger's cat's user avatar
6 votes
1 answer
76 views

Smooth vectors for the torus action on the irrational rotation algebra

There exists a canonical action of the group $S^1\times S^1$ on the irrational rotation algebra $A_\theta$, which is the universal C*algebra generated by two unitaries $u$ and $v$ satisfying $uv=e^{i2\...
Severino Melo's user avatar
2 votes
0 answers
106 views

Is the preimage of a Hopf subalgebra a Hopf subalgebra?

The following must be simple, but I have no intuition here, so excuse me. Let $F$ and $G$ be Hopf algebras over a field $k$ (in the usual sence, i.e. Hopf algebras in the category of vector spaces ...
Sergei Akbarov's user avatar
2 votes
0 answers
34 views

Concerning the q-deformations of semisimple Lie groups

Recently, I came across a question on the q-analougs of finite groups of Lie type. Some people say that there is no q-deformations of finite groups in the category of quantum groups which I am not ...
Farrokh's user avatar
  • 935
1 vote
1 answer
45 views

Are there observables $X_1,\ldots,X_m$ and a state $\rho$ in a Hilbert space $H$ of dimension $n$. Prove that rank$(\text{tr}\ \rho X_iX_j))\le n^2$

This is from the exercise 5.7 of the book An Introduction to Quantum Stochastic Calculus by K.R. Parthasarathy. By observable we mean Hermitian Operators on a Hilbert space $H$ and by state we mean ...
MathBS's user avatar
  • 3,144
1 vote
0 answers
27 views

Non commutative Atiyah-Singer theorem

It is well known that for any unital C*-algebra $A$, $K_0(A)\cong \pi_0(\text{Fred}(\mathcal{H}_A))$ (the non-commutative Atiyah-Jänich theorem). In the monograph "Lectures on Operator Theory&...
mathable's user avatar
  • 444
2 votes
1 answer
96 views

Multiplier algebra as idealizer in fourth dual

The multiplier algebra $M(A)$ of a $C^*$-algebra $A$ can be identified with the idealizer of $A$ in $A^{**}$. I am wondering if the same identification extends to the fourth dual (seen as the ...
Sean's user avatar
  • 113
3 votes
0 answers
134 views

Are compactly supported states preserved by adjoints of proper *-homomorphisms?

Given a (non-unital) $C^*$-algebra $A$, I'll call a state $\phi$ on $A$ compactly supported if $\phi$ attains its norm on $A$. For example, every pure state is compactly supported (which follows from ...
Sean's user avatar
  • 113
2 votes
1 answer
98 views

Spectral triple on $\mathcal C(M)$ where $M$ is a compact Riemannian manifold, not necessarily spin

I have been reading Alain Connes' Compact metric spaces, Fredholm modules and hyperfiniteness. In proposition 1, it is mentioned that an unbounded Fredholm module (nowadays: spectral triple) over $C(M)...
ViktorStein's user avatar
  • 4,878
0 votes
2 answers
77 views

Spectral triple for a (real) full matrix algebra

Let $\mathcal A = \mathbb R^{N \times N}$ be the real full matrix algebra, $N \in \mathbb N_{> 1}$, which is represented by the Hilbert space $H := \mathbb R^N$ (that is, $\mathcal A \to B(H)$, $A \...
ViktorStein's user avatar
  • 4,878
1 vote
1 answer
40 views

Resolvent of an unbounded self-adjoint operator affiliated to a semi-finite algebra could be unbounded? [closed]

Let $\mathcal{M}$ be a semi-finite von Neumann algebra and $H$ is an unbounded self-adjoint operator affiliated to $\mathcal{M}$. Then is it the true fact that $(H-iI)^{-1}\in\mathcal{M}$ ?
CCCC's user avatar
  • 113
2 votes
0 answers
388 views

How to Learn Noncommutative Geometry

This is a more direct, and precise question of a previous one that I have deleted. Obligatory Information/Background I am currently a first-year undergraduate studying at a frequented Mathematical ...
Yitao Yhang's user avatar
1 vote
0 answers
26 views

Seeing that a product of quasi-free algebras is quasi-free in terms of lifting homomorphisms

A $k$-algebra over a field $k$ is quasi-free if for any bimodule $M$ the second Hochschild cohomology $H^2(A,M)$ vanishes or, equivalently, if for any square-zero extension $R/M=A$ there is a lifting ...
Sergey Guminov's user avatar
2 votes
1 answer
108 views

What is the definition of $f(a)$ where $a$ is in a unital $C^*$-algebra?

Suppose that $A$ is a unital C$^*$-algebra. An element $a \in A$ is said to be normal if $a^*a=a^*a$. Further, let $\sigma(a)$ be the spectrum of $a$. I keep seeing these references to $f(a)$ where $f ...
user avatar
0 votes
0 answers
33 views

``Quantum''/ non-commutating extension of polytopes

Are there non-commutative (ie. quantum) extensions of polytopes? More specifically I was wondering if there are some deformation, say $\hbar$, to polytopes which when is taken to be zero, one gets ...
Physics Moron's user avatar
6 votes
0 answers
127 views

Simple modules of quantum planes

Let $k$ be an algebraically closed field. Let $R := k\langle x,y \rangle/(yx-qxy) (q \in k^*)$. We often call $R$ a quantum plane. If $q$ is a primitive $n$-th root, then for any $(\zeta, \xi) \in k^* ...
Walterfield's user avatar
4 votes
1 answer
74 views

Unitary isomorphism between balanced tensor product spaces on $L^2(X)$

Some definitions Recall that given two ($i=1,2$) Hilbert $B_i$-modules $E_i$ and a $*$-homomorphism $$\phi:B_1\to \mathcal{L}(E_2),$$ where $\mathcal{L}(E)$ denotes the space of adjointable operators ...
amnesiac's user avatar
  • 1,020
0 votes
0 answers
42 views

Metric connection as map from $\Omega^1 \, \to \, \Omega^1 \otimes \, \Omega^1$

I was reading Shahn Majid's and Edwin Begg's book on Quantum Reimannian Geometry. In this they define the metric to be a map $$g:\Omega^1 \otimes \Omega^1 \to A.$$ I do not understand this definition. ...
Muzammil's user avatar
20 votes
1 answer
2k views

How to understand what a 'noncommutative space' is

Whilst acquainting myself with the fundamentals of $C^*$-algebras and their $K$-theory, I read about how Gelfand Duality allows various $C^*$-algebraic concepts to be directly translated into a ...
user829347's user avatar
  • 3,440
3 votes
0 answers
112 views

Simplifications in definition of KK groups ("Fredholm picture")

I want to understand the relation between the $KK$ groups (in the sense of Kasparov) and ordinary operator $K$-theory, i. e. I would like to prove something like this: For $B$ trivially graded $\sigma$...
ChenIteratedIntegral's user avatar
1 vote
0 answers
69 views

Principal bundles in the sense of Cartan and Steenrod.

i am starting to learn Noncommutative Geometry, but I did not attend course of Algebraic Topology during studies. For next week I need to know what is principal bundle, in both senses of Cartan and ...
robin3210's user avatar
  • 904
5 votes
0 answers
174 views

1-dimensional foliation of surfaces with prescribed graph of foliation

Definition of the graph of a foliation Let we have a $k$ dimensional foliation of an $n$ dimensional manifol $M$. One associates to this foliated manifold a (not necessarily Hausdorff) ...
Ali Taghavi's user avatar
0 votes
1 answer
58 views

About the definition of $A^{e}-$mudule structure of an $A$-bimudule $M$

Let $R$ be a conmutative ring (with unit $1$) and $A$ an associative $R$-algebra (with unit $1_{A}$). Let $A^{e}=A\otimes_{R}A^{opp}$ the eveloping algebra of $A$. Let $M$ be an $A$-bimodule. I want ...
José Luis  Camarillo Nava's user avatar
1 vote
0 answers
77 views

Trouble verifying covariance of differential calculus of the two dimensional quantum plane

I'm looking at page 4 and 5 of https://arxiv.org/pdf/math-ph/0105002.pdf. I am wanting to use (14) and (17) to verify the covariance of (14). But I'm having trouble, in particular, I'm having trouble ...
Dave77's user avatar
  • 481
1 vote
1 answer
59 views

Does the category of $C^*$-algebras embed into the category of frames?

The category of commutative $C^*$-algebras is dual to the category of LCH topological spaces. My understanding is that authors in operator algebras often understand a 'noncommutative LCH space' to be ...
namsos's user avatar
  • 1,042
3 votes
1 answer
402 views

Compactly generated stable categories are dualizable.

Let $1-\operatorname{Cat}^{\operatorname{St,cocmpl}} _{\operatorname{cont}}$ denote the ($\infty$-)category of stable cocomplete ($\infty$-)categories. The Ind-completion $\operatorname{Ind}(C_0)$ of ...
Chris Kuo's user avatar
  • 1,613
1 vote
0 answers
32 views

Correspondence between projective algebra and (not necessarily commutative) fields

So currently I'm reading the Birkhoff–Neumann (1936) quantum logic paper 1, and I'm basically stuck in the interpretation of section (13) (p. 833-834); for what I understand, they are trying to ...
Vagoltof's user avatar
1 vote
1 answer
154 views

Representations of a semigroup over a Hilbert space

A representations of a discrete semigroup $S$ with an involution $\star$ over a Hilbert space $H$ is a semigroup homomorphism $\varphi : S \to B(H)$ that preserve the involution. That is, for any $a, ...
Bumblebee's user avatar
  • 18.4k
1 vote
1 answer
52 views

Showing the existence of a right-inverse in a von Neumann algebra

In this paper, specifically Theorem 4.1 on page 10, one of the last steps in the proof involves saying that a particular right-inverse exists. I'll try to restate what I think are the relevant pieces ...
AJY's user avatar
  • 8,769
2 votes
0 answers
140 views

Geometry vs Topology

I am a beginner in functional analysis and operator algebras. Recently I stumbled upon the two subjects, non-commutative topology and non-commutative geometry. What are the similarities and ...
mathable's user avatar
  • 444
1 vote
0 answers
58 views

symmetry group for noncommutative manifold

(This post is cross-post in MathOverflow https://mathoverflow.net/questions/381731/symmetry-group-for-noncommutative-manifold-from-spectral-triple) Is there any notion of symmetry group for ...
Ken.Wong's user avatar
  • 1,249
1 vote
1 answer
78 views

Is the KO dimension of commutative real spectral triple agree with it's dimension of the manifold?

Given a spectral triple with some conditions(such as the algebra is commutative), Connes's reconstruction theorem states a we can recover a Riemannian manifold with spin structure.(see here) Now I ...
Ken.Wong's user avatar
  • 1,249
2 votes
0 answers
362 views

what is noncommutative geometry studying if "noncommutative space" does not exist?

(If this is not a suitable question in here, I will delete it.) I am new to noncommutative geometry. I know the motivation is to try to generalize the Gelfrand duality to noncommutative $C^{*}$ ...
Ken.Wong's user avatar
  • 1,249
1 vote
0 answers
89 views

supersymmetry and quantum groups

I have some background in non-commutative geometry (in particular, I am doing research in quantum groups) and I have of course heard several times about the concept of supergeometry and supergroups. ...
Daniel's user avatar
  • 448
0 votes
0 answers
344 views

Grassman variable and Grassmannian?

Grassman variables are anticommuting number or supernumber, is an element of the exterior algebra over the complex numbers. Grassmannian $Gr(k, V)$ is a space that parameterizes all $k$-dimensional ...
annie marie cœur's user avatar
2 votes
1 answer
129 views

Hilbert bundle and set of sections.

Let $\Lambda$ be a manifold and $p:H\to\Lambda$ a continuous Hilbert bundle with $H(\lambda):=p^{-1}(\lambda)$. Suppose $\Gamma_0^0(\Lambda)$ is the space of continuous sections vanishing at infinity ...
Tan1278's user avatar
  • 393
3 votes
1 answer
148 views

Is there any reference treating explicitly Lie-Rinehart pairs over non-commutative base algebras?

Wondering around in the literature, any reference to Lie-Rinehart algebras define them as pairs $(A,L)$ where $A$ is a commutative algebra over some field $\Bbbk$ (or even commutative ring) and $L$ is ...
Ender Wiggins's user avatar
2 votes
0 answers
313 views

How to read Alain Connes's Noncommutative Geometry [closed]

I'm a undergraduate student interested in noncommutative geometry and quantum field theory. And I have learned basic functional analysis,theoretical mechanics,basic quantum mechanics, now, I'm ...
dingyzh's user avatar
  • 21
1 vote
1 answer
71 views

Definition p-multigraded Hilbert spaces

I'm having a hard time wrapping my head around the following definition taken form the book of Higson & Roe on k-homology. A Hilbert space is defined to have a $p$-multigrading if $H$ is $\mathbb{...
TSU's user avatar
  • 508
1 vote
1 answer
181 views

Lipschitz Seminorms Associated to a Metric and Seminorms from Dirac Operators

I am learning to work with spectral triples and given a spectral triple $(A, H, D)$ with representation $\pi$, a seminorm can be defined on $A$ via $L_D := \|[ D, \pi(f) ]\|_{B(H)}$. View $A$ as $C(X)...
TerryL's user avatar
  • 105
3 votes
1 answer
183 views

$f(t) = \min\{1,t\}$ not operator monotone

I want to show that the function on $\mathbb{R}^+$ $f(t) = \min \{1,t\}$ is not operator monotone on the complex $2\times 2$ matrices. My plan is to find matrices $A$ and $B$, $B\geq A$, such that the ...
S.Farr's user avatar
  • 1,190