All Questions
Tagged with noncommutative-geometry noncommutative-algebra
64 questions
5
votes
1
answer
883
views
Is this ring isomorphic to a quotient of a group algebra?
Consider the quotient of the free algebra $\mathbb{Q}\langle \alpha, \beta, \gamma, \delta, \varepsilon, \zeta \rangle$ by the two-sided ideal $I$ subject to the relations $$ \alpha\delta=\delta\alpha=...
- 1,093
5
votes
0
answers
288
views
Representation functor on modules
Let $k$ be a field and $A$ a unital associative $k$-algebra.
The representation functor associates, to each object in non-commutative geometry, a genuine geometric object on the representation variety ...
- 985
2
votes
0
answers
66
views
Noncommutative transcendence degree of representation algebras
Let $G$ be a reductive group, for example $\text{GL}_n(\mathbb{C})$. Let $V$ denote its defining representation, and let $R$ denote the tensor algebra on the irreducible representations of $G$. It may ...
- 2,907
9
votes
1
answer
236
views
Formal smoothness of path algebras and connections
Let $k$ be a field of characteristic zero and $A = kQ$ the path algebra associated with a quiver $Q$. The algebra $A$ is said to be formally smooth over $k$ if
$$
\Omega^1_kA = \operatorname{Ker}(\...
- 985
7
votes
2
answers
1k
views
Is there a notion of point in noncommutative geometry?
It is not clear to me whether there is a general notion of point in NCG. I have heard (more through physics) that the notion of a point becomes meaningless or ill-defined in noncommutative spaces, but ...
- 136
5
votes
0
answers
304
views
Arithmetic derivatives and non-commutative generalizations
In the theory of arithmetic derivatives, in the simplest case an arithmetic derivative on $\mathbb{N}$ is defined via the rule $(a \times b)'= a \times b' + a' \times b$, mirroring the product rule ...
- 1,347
5
votes
0
answers
135
views
Confusion around a (necklace) cobracket in Ginzburg's article Calabi-Yau Algebras
Something has been puzzling me for quite a while in Ginzburg's article Calabi-Yau Algebras.
At some point he considers the free graded algebra $\mathbb{C}\langle x_1, \dots, x_n, \theta_1, \dots \...
- 437
2
votes
1
answer
265
views
Gluing data for modules over a ring with idempotents
Let $A$ be a ring. If $e$ is an idempotent, then there is an abelian recollement involving the categories $A\text{-}\mathrm{Mod}$ and $eAe\text{-}\mathrm{Mod}$. This is Example 2.7 in Homological ...
- 1,071
4
votes
0
answers
105
views
Convolution algebra of a simplicial set
Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...
- 1,198
2
votes
0
answers
172
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^* ...
- 889
2
votes
0
answers
87
views
The generators of twisted homogeneous coordinate rings
Let $X$ be a projective scheme over an algebraically closed field $k$ of characteristic $0$.
Let $\sigma$ is an automorphism of $X$ and $\mathcal{L}$ be an invertible sheaf on $X$.
Let $B := B(X, \...
- 889
2
votes
1
answer
287
views
On the definition of the Cherednik algebra of a variety with a finite group action
Let $X$ be a connected complex smooth affine variety, acted on by a finite group $G$. We define a reflection hypersurface $(Y,g)$ as a smooth codimension one subvariety $Y\subset X$ which is fixed by $...
- 541
5
votes
1
answer
300
views
Quasi-coherent cohomology in non-commutative algebraic geometry
In non-commutative algebraic geometry, the motto so to speak is to replace the study of a scheme $X$ with the study of the category $D_{qcoh}(X)$ of quasi-coherent sheaves and study the properties ...
- 4,386
4
votes
0
answers
91
views
Nullstellensatz for maximal left ideals of quantum plane
Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...
- 91
2
votes
0
answers
174
views
Moduli spaces of stable sheaves on noncommutative projective schemes
In noncommutative algebraic geometry in the sense of Artin and Zhang, can we construct moduli spaces of stable sheaves on noncommutative projective schemes as (commutative)schemes ?
I would appreciate ...
- 889
7
votes
0
answers
221
views
Strange formula for the dimension of a certain space of noncommutative polynomials
Consider a vector space $V_r(n)$ spanned by (noncommutative) monomials in variables $x_1,\ldots,x_r$
$$
x_{1}^{n_1}x_{2}^{n_2}\ldots x_{r}^{n_r}
$$
of total degree $n.$ Inside this space consider a ...
- 4,316
6
votes
0
answers
583
views
What are the topics in noncommutative algebraic geometry?
Preface: I know very little about noncommutative algebra and noncommutative geometry, so please feel free to make improvement suggestions for my question. Also, to my knowledge there are several ...
4
votes
1
answer
265
views
Hopf "algebroid" structure of a groupoid convolution algebra?
This question is already posted in math.stackexchange, but didn't receive any answer. I'm not sure if this question fits in here, but surely someone in here can guide me to the correct answer.
To make ...
- 1,093
6
votes
2
answers
449
views
Survey of recent developments of the Gelfand-Kirillov dimension
It is almost two decades since the now classical books by McConnell and Robinson's
[ Noncommutative Noetherian rings. With the cooperation of L. W. Small. Revised edition. Graduate Studies in ...
- 3,318
8
votes
1
answer
538
views
Vanishing of Hochschild homology of a category
Let $A$ be a dg- or $A_{\infty}$-category (with $\mathbb{Z}$-graded Hom sets, over a field of characteristic $0$). Let $HH_*(A)$ be the Hochschild homology of $A$.
Suppose that $HH_n(A)=0$ for all $n ...
- 937
2
votes
0
answers
60
views
Integrals in noncommutative graded algebras which are not necessarily Hopf
Let $\mathbf{k}$ be a field. Let $A$ be a finite dimensional $\mathbb{Z}_{\geq 0}$-graded $\mathbf{k}$-algebra such that $A^0=\mathbf{k}1$. Let $m$ be the maximal non-negative integer such that $A^m\...
- 1,066
5
votes
0
answers
219
views
Constructing a noncommutative algebra from a commutative algebra
I was told at a conference that one way to construct a noncommutative algebra from a commutative one is to "replace the product of finite spaces (which on the level of continuous functions corresponds ...
- 111
6
votes
0
answers
92
views
What quantum groups admit quantum topography space structure?
Quantum topography space is a pair $(A,M)$ consisting of a $C^*$-algebra $A$ and an abelian sub algebra $M\subset A$ with approximate identity. The intuition is to take $M$ be the smallest abelian ...
- 361
4
votes
1
answer
243
views
number of indecomposable summands of an extension of two modules
I have the following question : in a Krull-Schmidt category (say the category of finite length left modules over a ring, this is the case which interests me), is it possible to relate the number of ...
- 333
5
votes
0
answers
264
views
Do almost commutative flat degenerations induce equality in K-theory? (Or: Is the characteristic variety actually a support of a class in $K$-theory?)
I intentionally phrased the title to match a different question which is almost identical to the one i'm asking. However similar, the answer there, which uses commutative algebraic geometry, is not ...
- 7,789
2
votes
0
answers
227
views
What is the motivation behind the definition for a smooth differential graded category?
Let $\mathcal{A}$ be an $\mathbb{F}$-linear differential graded category. It is said to be smooth if it is a perfect complex over the differential graded category $\mathcal{A}^\circ\otimes_\mathbb{F}\...
- 1,716
2
votes
1
answer
569
views
Why $k[x,y]$ is not a formally smooth algebra?
We could talk about the formal smoothness of an algebra. See for example Ginzburg's lecture notes For an associative algebra $A$ over a field $k$ we define
$$
D(A)=T(A+\bar{A})/(\bar{ab}=a\bar{b}+\bar{...
- 9,009
8
votes
2
answers
707
views
Quantum Grassmannians?
In noncommutative algebraic geometry a commonly studied family of objects are quantum projective spaces. Theses are certain deformations of the homogeneous coordinate ring of $\mathbb{CP}^n$. For ...
- 449
5
votes
5
answers
2k
views
Elementary linear algebra over a (possibly skew) field $K$
I have a number of questions which seem linked to me, about basic (?) linear algebra:
Given a field (possibly skew) $K$, and an superfield $L$, one can do linear matrix algebra with coefficients in $...
- 1,555
3
votes
1
answer
181
views
Do representations of the universal enveloping algebra $\mathrm{U}\mathfrak{su}_2$ retain the Hopf algebra structure?
A Lie algebra $\mathfrak{g}$ generates its universal enveloping algebra $\mathrm{U}\mathfrak{g}$, which has the structure of a Hopf algebra. Modules of $\mathrm{U}\mathfrak{g}$ are exactly the of ...
- 183
10
votes
1
answer
300
views
NCG with all noncommutativity in a nilpotent ideal
While in general non-commutative geometry behaves rather differently from commutative geometry when it comes to local-to-global properties (descent), there are versions of "mild" noncommutative ...
- 19.8k
4
votes
1
answer
451
views
The Jordan Plane and Enveloping Algebras
Let $k$ denote a field of characteristic $0$ (assume algebraically closed for convenience). Define $J=k\langle x,y|[x,y]=y^{2}\rangle$. This noncommutative algebra (which can be viewed as a derivation ...
- 51
2
votes
1
answer
241
views
Hochschild cohomology of commutative quotients
Notation:
Let $k$ be a commutative local ring and let $HH^{i}(A,N)$ denote the $i^{th}$ Hochschild cohomology $k$-module of a $k$-algebra A with coefficients in an $(A,A)$-bi-module $N$.
If $x:=\{...
- 5,407
3
votes
1
answer
293
views
Is the square diagram of index and exponential maps in $K$-theory of $C^*$-algebras anti-commutative?
Assume we have a $3\times 3$ grid with rows and columns being short exact sequences of $C^*$-algebras.
This gives a grid of 6-term exact sequences: 3 "horizontal" sequences and 3 "vertical" sequences,...
- 1,284
6
votes
1
answer
936
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 over a ...
- 1,276
1
vote
3
answers
450
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)/
- 27
2
votes
1
answer
341
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?
- 21
2
votes
0
answers
90
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
150
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 ...
- 5,407
1
vote
1
answer
273
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$ $...
- 5,407
16
votes
2
answers
2k
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 setting....
- 1,276
2
votes
1
answer
464
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? ...
- 161
4
votes
1
answer
145
views
Example of computation of moduli space of $n$-pointe modules?
I am looking for an example of computation of the isomorphism classes of $n$-point modules over a non-commutative generated graded algebra (assuming all good properties such as Noetherian property). ...
- 41
3
votes
0
answers
197
views
AS Cohen Macaulay algebras and dualizing complexes
Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...
- 651
2
votes
0
answers
91
views
Fat modules on some algebras.
Let $A$ be a graded $k$-algebra and $M$ a graded right $A$-module. $M$ is called a fat $A$-module if it is generated by degree $0$ and has constant Hilbert polynomial $2$. I wonder for which finitely ...
- 21
2
votes
0
answers
63
views
Boundedness of modules on AS regular algebras
Let $k$ be an algebraically closed field and $A$ be an Artin-Shelter regular $k$-algebra. Fix a numerical polynomial $H(t)$. I would like to know whether or not semi-stable f.g. graded $A$-modules ...
- 1,663
1
vote
0
answers
63
views
Does Castelnuovo-Mumford regularity hold for this $\mathbb{C}$-algebra$?
Let $R$ be a noncommutative finitely generated $\mathbb{C}$-algebra such that its center $S$ is smooth (in commutative sense) and $R$ is finite over $S$. Is there Castelnuovo-Mumford regularity ...
- 1,663
3
votes
1
answer
310
views
Balanced dualizing complex vs rigid dualizing complex?
In noncommutative projective geometry, there is a counterpart of dualizing complex in commutative world. It seems to me that they are called either a balanced dualizing complex or rigid dualizing ...
- 1,663
9
votes
1
answer
510
views
Point modules of quantum projective space $\mathbb{P}^n$
Let $A$ be a quantum $\mathbb{P}^n$ defined by
$$
A=\mathbb{C}\langle x_1,x_2,\dots,x_{n+1}\rangle/(x_ix_j-r_{ij}x_jx_i)_{1\le i < j\le n+1}.
$$
I would like to know the set $X$ of isomorphism ...
- 1,663
2
votes
0
answers
137
views
Noncommutative Castelnuovo-Mumford regularity
I am looking for noncommutative version of Castelnuovo-Mumford regularity. To be more precise, let $A=\oplus_{i=0}^{\infty}A_{i}$ be a $good$ (finite global dimension, connected etc) noncommutative ...
- 21