**1**

vote

**0**answers

170 views

### Are these two “FUNCTORS” adjoint?

I am considering the following correspondence:
Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...

**2**

votes

**0**answers

101 views

### If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...

**0**

votes

**1**answer

92 views

### An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...

**3**

votes

**0**answers

125 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**5**

votes

**1**answer

165 views

### C*-bimodules: the mess with definitions

I used to participate in a seminar that taught students about foundations of non-commutative geometry. It isn’t very complicated to define a C*-module $\mathcal E$ (also known as C* Hilbert module) ...

**5**

votes

**1**answer

86 views

### “The” kronecker foliation or “a” kronecker foliation?

Consider the following two foliations of torus:
1)The Kronecker foliation with slope $\sqrt{2}$
2)The Kronecker foliation with slope $\pi$
As I learn from the literature, these two foliations are ...

**5**

votes

**1**answer

109 views

### Generators of the $ K_{0} $-group of the non-commutative torus $ A_{\theta} $ with $ \theta \in \mathbb{Q} $ (i.e. rational rotation algebra)

I am studying the non-commutative torus $ A_{\theta} $.
When $ \theta $ is irrational, $ {K_{0}}(A_{\theta}) $ is generated by $ [1] $ and $ [p_{\theta}] $.
(Note: $ p_{\theta} $ is a projection in ...

**3**

votes

**0**answers

149 views

### Are two $W^*$-algebras $A$ and $B$ that are Morita equivalent (in the sense of Rieffel) also Morita equivalent in the algebraic sense (as rings)?

Let $A$ and $B$ be $C^*$-algebras, I had a question about Morita equivalence for $C^*$-algebras and $W^*$-algebras, I've come across 3 concepts:
Morita equivalence for $C^*$-algebras: Equivalence ...

**2**

votes

**1**answer

224 views

### Reference request for instantons

I've been researching instantons lately and I'd like to learn more about them but would like some help finding what to read. I have read about the ADHM equations and their noncommutative analogues. ...

**6**

votes

**2**answers

256 views

### Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background:
There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...

**5**

votes

**1**answer

237 views

### Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world?
Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...

**0**

votes

**3**answers

199 views

### Specific Reference? Noncommutative topology and C^* algebras [closed]

I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology
and I would be very interested in learning more on the subject, particularly I'd like to ...

**0**

votes

**2**answers

131 views

### Smooth Affine algebras are Calabi-Yau

Are all smooth affine algebras over a field Calabi-Yau?
I'm thinking yes since they satisfy Van den Bergh duality with dualizing module themselves (have I made a mistake in this reasoning)/

**5**

votes

**0**answers

198 views

### Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid?
This ...

**3**

votes

**1**answer

152 views

### A question on $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which satisfies each of the following equivalent conditions:
All elements of $A$ are left zero divisor.
All elements are right zero divisor.
All elements ...

**1**

vote

**1**answer

66 views

### Unitization via “End points compactification”

We know that every compactification of locally compact Hausdorff spaces correspond to a unitization of $C^{*}$ algebras. For example the one point compactification corresponds to the minimal ...

**1**

vote

**0**answers

75 views

### Local Index Formula vs Atiyah Singer Index Theorem

I have a question concerning the so called Local Index Formula by Connes in noncommutative geometry. First issue:
why it is called Index Formula?
I spoke to one person about this and he gave me the ...

**1**

vote

**0**answers

112 views

### Number of connected components of a $C^{*}$ algebra

Motivating by the concept in the following post
What are these compact sets called?
We introduce the following concept:
Let $A$ be a unital $C^{*}$ algebra. We consider the unitary equivalent ...

**0**

votes

**0**answers

238 views

### A noncommutative vector bundle

We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...

**5**

votes

**1**answer

242 views

### NonCommutative Baire theorem

The classical Baire theorem says that the intersection of a sequence of open dense subsets of $X$, is dense, if the space is compact Hausdorff. In the language of $C^{*}$ algebras this is ...

**1**

vote

**0**answers

159 views

### Soft Question: What does periodic cyclic theory measure?

Ex1) The cyclic homology of $\mathbb{C}[X,Y]$ and that of the algebra of functions on the sphere $S^2$ have the same periodic cyclic homology, clearly however these objects are topologically very ...

**0**

votes

**0**answers

163 views

### A noncommutative analogy of the tube lemma

Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to ...

**0**

votes

**0**answers

47 views

### Quick question about conjugate equivalence bimodules and inner products

let $A$ and $B$ be $W^{*}$-algebras, let $X$ be an $A-B$-equivalence bimodule (according to the definition given in "Morita equivalence for $C^*$-algebras and $W^*$-algebras" by Rieffel, ...

**1**

vote

**1**answer

114 views

### Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra

In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?

**5**

votes

**1**answer

242 views

### Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...

**2**

votes

**0**answers

60 views

### Poincaré Duality of a quasi-free algebra

I'm completely stumped on this one (yet I feel it is obviously true or obviously false)
If $A$ is a quasi-free algebra, then must it satisfy Poincaré duality?
All i need to find is a protective ...

**0**

votes

**0**answers

74 views

### Explicit calculation of module of derivations on noncommutative polynomial ring

Let $R$ be a commutative unital associative ring and set $R<x,y>$ to be the $R$-algebra of non-commuting polynomials in two variables over $R$.
Explicitly how would one go about computing ...

**0**

votes

**1**answer

100 views

### Jacobi-Zariski exact sequence question

Denote by $HC(A,M)$ the Hochschild homological complex of an algebra $A$ with coefficients in an $A$-bimodule $M$, and let $B\rightarrow A$ be an $R$-flat extension of $R$-algebras, for some $CRing$ ...

**3**

votes

**1**answer

210 views

### Why should noncommutative CYs be dgas?

For a (commutative) CY manifold of dimension $n$, Serre duality implies that there are ifunctorial isomorphisms
$$\operatorname{Hom}_{D^b(X)}(E,F)\cong\operatorname{Hom}_{D^b(X)}(F,E[n])^*$$
in the ...

**3**

votes

**0**answers

90 views

### Noncommutative Poincare inequalities

This is a question on how (or if) people in the community think about the Poincare inequality in noncommutative geometry. In geometry, the Poincare inequality (when it exists) gives a bound on a ...

**13**

votes

**2**answers

560 views

### Why is “naive” definition of non-commutative spectrum bad?

It is well-known that the category of affine schemes is equivalent to the opposit category of commutative unital rings. So naively, one would think that the same should hold in non-commutative ...

**7**

votes

**0**answers

196 views

### Non Commutative Hyperspaces

Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...

**6**

votes

**1**answer

242 views

### Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...

**1**

vote

**0**answers

75 views

### Non Commutative analogues of a commutative fact

What is a relevant non commutative analogues for the following fact, in term of spectral triples and cyclic cohomology?:
"If $M$ is a compact oriantable manifold without boundary and $X\subset M$ is ...

**3**

votes

**0**answers

229 views

### 2 - Calabi Yau algebras and bimodule coherence

Let $\Pi:=\Pi(Q)$ be the preprojective algebra of a connected non-Dynkin quiver over an algebraically closed field of characteristic zero.
In H. Minamoto "Ampleness of two-sided tilting complexes", ...

**1**

vote

**1**answer

351 views

### Computing noncommutative geometries

I find myself needing to construct some noncommutative geometries. I want to take various (algeba-) geometric objects and look at their noncommutative analogs. Is there a constructive way to do this? ...

**5**

votes

**1**answer

233 views

### A generalized K- theory via generalized idempotents

Edit After the answer by Neil Strickland, I add the word "a ring" in this new version.
In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...

**1**

vote

**0**answers

110 views

### Non commutative analogy of compact-open topology

Let $R$ be a ring, define a topology on $AUT(R)$(Or End(R)) with the following subbase:
For every two 2-sided Ideal $I$ and $J$, a subbase element is $B(I,J)=\{f\in AUT(R) \mid f(I)+J=R\}$.
We can ...

**1**

vote

**1**answer

152 views

### On non-unital ring and algebraic geometry

When I learned abstract algebra many years ago,I noticed the author deals with commutative ring say,$A$ has the proposition:$A^2=A$(without assuming it has identity).It seems that many proposition of ...

**1**

vote

**0**answers

52 views

### When is the dual module isomorphic to conjugate module of a *-algebra

Let $A$ be a $\ast$-algebra, and let ${\cal M}$ be a module over $A$. As usual, we denote the dual module of $M$ by $M^*$. Moreover, we denote the conjugate module of $M$ by $\overline{M}$, where as ...

**6**

votes

**0**answers

241 views

### Reconstructing the Chow ring from the derived category

Let $X$ be a smooth projective variety and write $\mathbf{D}(X)$ for its triangulated category of perfect complexes of quasi-coherent sheaves.
Recall that $\mathbf{D}(X)$ determines the Grothendieck ...

**1**

vote

**1**answer

174 views

### algebra-geometry duality

For topological spaces $S$ and $T$, denote by $C(S)$ and $C(T)$ the corresponding algebras of continuous real-valued functions. What are the necessary conditions that we need to impose on $S$ and $T$ ...

**4**

votes

**0**answers

142 views

### “Definitive” Noncommutative Space

Let $Y$ be a (locally compact) non-Hausdorff topological space. I want to know if there is a necessary and/or sufficient condition for $Y=X/G$, that is, $Y$ is the orbit space of a locally compact ...

**6**

votes

**2**answers

242 views

### Expression of a non-orthogonal projection in a $C^*$ algebra via an orthogonal one

A paper I'm currently reading uses the following fact. If $A$ is a unital $C^*$-algebra, $P=P^2\in A$, then there are $T, F\in A$ s.t. $F$ is an orthogonal projection ($F=F^*=F^2$) and
...

**3**

votes

**1**answer

152 views

### example of a compact quantum group at a root of unity?

In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some ...

**14**

votes

**3**answers

1k views

### What's a noncommutative set?

This issue is for logicians and operator algebraists (but also for anyone who is interested).
Let's start by short reminders on von Neumann algebra (for more details, see [J], [T], [W]):
Let $H$ ...

**4**

votes

**1**answer

200 views

### Noncommutative Erlangen Program

Has Klein's "Erlangen Program" been generalized/extended to the noncommutative setting (say, à la Connes)? Is there a classification of "noncommutative klein geometries" at least in very low ...

**18**

votes

**1**answer

1k views

### What is about nonassociative geometry?

At the end of a conference given by Alain Connes in 2000 (here is a video in French), a member of the audience asked a question. I transcribed and translated it for you below:
Audience: You showed ...

**4**

votes

**1**answer

204 views

### Do we have a “topological assembly map” in the Baum-Connes conjecture?

In the equivariant Atiyah-Singer index theorem, when $G$ is a compact group acting on a manifold $M$ and $R(G)$ is the representation ring of $G$. We have the analytic index
$$
\text{a-ind}: ...

**2**

votes

**1**answer

389 views

### C* Algebras, Foliations and Dynamical Systems

I am a Ph.D student involved in topics like integrability of foliations arising from center stable bundles of partially hyperbolic dynamical systems. These are generally only continuous bundles so one ...