All Questions
Tagged with noncommutative-algebra ag.algebraic-geometry
49 questions
47
votes
10
answers
6k
views
Algebraic theorems with no known algebraic proofs
What are some good examples of algebraic theorems that have no known algebraic proofs?
A few I know concern classifications of (not necessarily associative) division algebras over $\mathbb{R}$: the ...
0
votes
0
answers
104
views
Non-degenerate bilinear pairing of finite dimensional algebras
A finite dimensional algebra (over $\mathbb{C}$, say) is said to be Frobenius if it comes equipped with a nondegenerate bilinear pairing
\begin{align*}
\langle -, - \rangle : A \times A \rightarrow \...
- 71
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
4
votes
0
answers
143
views
On the conditions for Artin-Schelter Gorenstein algebras
Let $ k $ be a field and $ A $ a connected graded $ k $-algebra ($ A $ is associative, but not assumed to be commutative).
The algebra $ A $ is called Artin-Schelter Gorenstein* of dimension $ d $ if ...
- 936
8
votes
2
answers
577
views
Faithful flatness and non-commutative algebras
$\DeclareMathOperator\Spec{Spec}$When dealing with commutative algebras, a usefull criterion for faithful flatness is the following:
Let $f:A\rightarrow B$ be a morphism of commutative algebras. Then $...
- 541
12
votes
1
answer
1k
views
A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?
One can argue that commutative algebra is affine algebraic geometry. However, a great deal of commutative algebra generalizes to non-commutative algebra, and in that setting there is little geometry, ...
- 4,985
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
5
votes
0
answers
293
views
On the deformation theory of associative algebras
Let us start by recalling the notion of a formal deformation:
Let $K$ be a field of characteristic zero and $A$ be an associative $K$-algebra. Consider a commutative augmented $K$-algebra $R$, with ...
- 541
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,408
3
votes
1
answer
409
views
When are simple holonomic D-modules of the form $\mathcal{D}/\mathcal{D}L$?
Let $\mathcal{D}=\mathcal{D}_X$ be the sheaf of rings of differential operators on a smooth algebraic curve $X$.
Since $\dim X=1$, the D-modules of the form $\mathcal{D}/\mathcal{D}L$ are necessarily ...
- 711
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
2
votes
1
answer
167
views
Existence of reduced norms for CSAs using fpqc descent
Let $k$ be a field and $A$ be a central simple algebra over $k$. It's known that $A$ has a splitting field (i.e. a field $K/k$ such that $A_K\cong M_n(K)$ for some $n$) which is finite and Galois.
...
- 711
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 ...
3
votes
0
answers
398
views
Bi-differential operators in the definition of star product in deformation quantisation
Let $X$ be an (affine) Poisson variety (not necessarily smooth) over an algebraically closed field of characteristic 0 (such as $\mathbb{C}$), denote $\mathcal{O}(X)$ its ring of functions and $\{-,-\}...
- 367
11
votes
1
answer
520
views
Problems concerning subspaces of $M_{n}(\mathbb{Q}) $
Let $M_{n}(\mathbb{Q}) $ denote the $n$ times $n$ matrices over the rational number field. $N$ be a subspace of $M_{n}(\mathbb{Q}) $.Then if all the non-zero matrices in $N$ are invertible, what is ...
- 923
3
votes
0
answers
234
views
Hurwitz–Radon problem for $ \mathbb{Q} ^{n} $
What is the maximal number of orthogonal operators $ A _{1} , \dotsc, A _ {m} $ in $ \mathbb{Q}^{ n } $ satisfying the relations $ A_{i}^{2} = - I $ and $ A_{i}A_{j} + A_{j}A_{i} = 0 $ for $ i \neq ...
- 923
2
votes
0
answers
270
views
Road map: beyond Artin-Wedderburn theorem
For a noncommutative semisimple ring $R$, its structure and its category of representations can be largely understood using Artin-Wedderburn theorem. Such structure theory is useful, for example, in ...
- 5,230
8
votes
0
answers
219
views
Differential birational equivalence
Suppose the base field algebraically closed and of zero characteristic.
There are two fascinating questions in the intersection of ring theory and algebraic geometry (for which an excellent discussion ...
- 3,318
8
votes
1
answer
352
views
Constructive definition of noncommutative rational functions (aka free skew fields)
The question
Let $F$ be a field. (I am fine with assuming $F=\mathbb{Q}$, but I suspect
that a "right" answer will be independent of $F$.) Let $k$ be a nonnegative integer.
Question. Is ...
- 33.8k
3
votes
0
answers
72
views
Splitting of central simple algebras in the Schur subgroup over residue fields of places
Recall that a valuation domain of a field extension $K/k$ is a $k$-subalgebra $V$ of $K$ not equal to $K$ such that for every $a\in K$ at least one of $a$ and $a^{-1}$ is in $V$.
A place of $K/k$...
3
votes
1
answer
389
views
Dimension of hermitian rank at most $k$ matrices over quaternions
In a (right) finite dimensional quaternionic Hilbert space there is an analogue of the spectral theorem (see theorem 4.6 in Farenick and Pidkowich) for normal matrices in $\mathbb{H}^{m\times m}$, ...
- 3,209
2
votes
1
answer
244
views
radical of a certain ideal of sixteen variable polynomial ring, generated by the entries of certain matrices
Consider the polynomial ring $R=\mathbb C[x_1,x_2,...,x_{16}]$, and set
$$X=\begin{pmatrix} x_1 &x_2&x_3 &x_4\\ x_5&x_6& x_7&x_8\\x_9&x_{10}&x_{11}&x_{12}\\x_{13}&...
- 1,209
4
votes
0
answers
87
views
Is $x \in A_1$ left algebraic over the subalgebra generated by $p$ and $q$, $[q,p]=1$?
Let $A_1:=A_1(x,y,k)$ be the first Weyl algebra over a field $k$ of characteristic zero,
namely, the $k$-algebra generated by $x$ and $y$ with relation $yx-xy=1$.
Let $f:(x,y) \mapsto (p,q)$ be a $k$-...
- 2,837
9
votes
0
answers
271
views
About an algebraic construction of a sheaf of formal microdifferential operators
While reading these notes by Victor Ginzburg on $D$-modules I found a certain construction of Microlocailzation in the algebraic setting which unfortunately doesn't seem to be elaborated on a lot in ...
- 7,789
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
15
votes
4
answers
3k
views
Why should the tensor product of $\mathcal{D}_X$-modules over $\mathcal{O}_X$ be a $\mathcal{D}_X$-module?
Let $R$ be a regular algebra over a field $k$ of char 0. Let $D$ be its corresponding algebra of differential operators.
As in the general setting of non-commutative algebra we can tensor right $D$-...
- 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
6
votes
0
answers
129
views
Center Picard group non-commutative algebra
I am wondering if there is a way to describe the center of the Picard group of a non-commutative algebra.
Namely, let $A$ be a finitely generated algebra over a field $k$. Denote by $\mathrm{Pic}(A)$...
- 7,300
8
votes
2
answers
708
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
2
votes
0
answers
193
views
Factorisation of twisted polynomials
Let $K=\mathbb{C}((t))$ and let $K_m=\mathbb{C}((t^{1/m}))$. let $K\{x\}$ denote the ring of twisted polynomials. The addition in this ring is defined as usual, but the multiplication is adjusted by ...
- 2,751
18
votes
1
answer
770
views
Koszul complex for non-Koszul algebras
Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal $...
- 4,133
9
votes
1
answer
457
views
Deformations of Ext rings
Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
- 4,133
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,405
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
1
vote
1
answer
200
views
Variety of factorizations of differential operator
Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
- 23
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
2
votes
2
answers
492
views
Model Theoretic Localization
This is a re-post on a previous question I asked. My first question was too vague to warrant detailed responses. Really, I have two specific questions to ask.
1) Let $\sigma = (A; \{0,1\}; +, \times)...
- 761
1
vote
1
answer
410
views
Morphisms of a simple sheaf over an algebra to its double dual
Given a smooth and projective surface $S$ over an algebraically closed field $k$ and a sheaf of Azumaya algebras $R$, i.e. $R$ is a locally free $O_S$-module of finite rank. Let $M$ be a coherent and ...
- 1,391
1
vote
1
answer
274
views
Q-Divisor and Determinant Map on a Maximal Order
Given a smooth projective surface $X$, let $A$ be a sheaf of maximal orders in a division ring.
Let us for simplicity assume $A$ ramifies in one curve $C$ with ramification index $e$. Let $A^*$ be the ...
- 1,391
13
votes
2
answers
3k
views
Left and right eigenvalues
A quaternionic matrix $A$ gives rise to a
function $\mathbb{H}^n \to \mathbb{H}^n$
given by $x \mapsto A \cdot x$. This is real linear,
but not complex- or quaternionic-linear
(in general) if we ...
- 12.5k
12
votes
3
answers
1k
views
construct scheme from quivers?
I heard from some guys working in noncommutative geometry talking about the idea that one can construct the noncommutative space from quivers. I feel it is rather interesting. However, I can not image ...
- 1,305
24
votes
2
answers
3k
views
What properties "should" spectrum of noncommutative ring have?
There are already a lot of discussion about the motivation for prime spectrum of commutative ring. In my perspective(highly non original), there are following reasons for the importance of prime ...
- 5,515
11
votes
3
answers
1k
views
Existence of non-commutative desingularizations
Let $R$ be normal, local ring of dimension at least $2$. Let $M$ be a reflexive $R$-module and let $A=Hom_R(M,M)$. Suppose $A$ has finite global dimension. Then one can view $A$ as a weak non-...
- 30.5k
1
vote
3
answers
2k
views
Various Cartan's Lemmata
I am a bit amazed by "Cartan's Lemma".. I have so far seen it in :
Algebraic Geometry sources:
Look at Proposition 2.9 of Freitag and Kiehl's Étale Cohomology where he used étale morphism to describe ...
- 2,275
28
votes
5
answers
9k
views
Can a quotient ring R/J ever be flat over R?
If $R$ is a ring and $J\subset R$ is an ideal, can $R/J$ ever be a flat $R$-module? For algebraic geometers, the question is "can a closed immersion ever be flat?"
The answer is yes: take $J=...
