All Questions
Tagged with ra.rings-and-algebras ag.algebraic-geometry
282 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
61
views
$\mathcal{R}$ is finite over $L_0[e,A]$
Let $\sigma:L \longrightarrow L$ an automorphism of infinite order, where $L_0 \subset L$ is its fixed field. Let $R$ be a commutative subring of $L\{\sigma\}$. Let
\begin{equation}
\mathcal{R}=\...
- 69
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
2
votes
1
answer
198
views
Maximal sub-$\mathbb{C}$-algebras of $\mathbb{C}[x,y]$
After asking this question and finding this relevant paper, I would like to ask the following question:
For every $a,b \in \mathbb{C}$, denote:
$A_{a,b}=\mathbb{C}[(x-a)(x-b),x(x-a)(x-b),y]$
and
$B_{a,...
- 2,837
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
216
views
Lifting a morphism between quasi-projective varieties
Let $\mathcal{V}$ be an affine algebraic variety over $\mathbb{R}$, $G$ be a finite group acting freely on $\mathcal{V}$. Consider the quotient space $Y:=\mathcal{V}/G$, which itself is a quasi-...
- 364
4
votes
0
answers
267
views
If $\mathbb{C}[a,b,c] \subsetneq \mathbb{C}[x]$, then there exist $f,g$ s.t. $\mathbb{C}[a,b,c] \subseteq \mathbb{C}[f,g] \subsetneq \mathbb{C}[x]$
I ran into this MSE question and would like to ask about its answer and plausible generalizations.
The quoted MSE question asks if the following claim is true or false and why:
Claim: Let $a,b,c \in \...
- 2,837
2
votes
1
answer
327
views
Completion of a local ring is noetherian (under some hypothesis)
I was reading the proof of Lemma 10.12 in this paper. In the second sentence, the following fact is used implicitly:
Let $(R,\mathfrak{m})$ be a commutative local ring. Let $\widehat{R}$ be its $\...
- 293
5
votes
0
answers
226
views
Cohomology of representation varieties and the Hochschild cohomology
Let $k$ be a field, $A$ a $k$-algebra, and $V$ a $k$-vector space. Then we can consider the representation varieties of $A$ on $V$: $\mathrm{Hom}_{k\textrm{-alg}}(A, \mathfrak{gl}(V))$ and $\mathrm{...
- 985
2
votes
1
answer
307
views
Serre functors and global dimensions
Let $k$ be a field.
Let $\mathcal{C}$ be an abelian category (over $k$).
We say that $\mathcal{C}$ has a finite global dimension if there exists integer $n > 0$ such that
$$
\operatorname{Ext}^i(M,...
- 889
2
votes
1
answer
149
views
Non-holonomic modules for $\mathcal{D}(X)$, where $X$ is an affine open subspace of the affine space
Let $k$ be any algebraically closed field of zero characteristic.
Let $A_n$ be the n rank Weyl algebra, and $M$ a finitely generated module. We have that $GK(M)$ is always a positive integer and
(...
- 3,318
6
votes
1
answer
273
views
Let $f$, $g$ be two complex polynomials satisfying $f(x-1,y)g(x,y)=f(x,y)g(x-1,y-1)$, what we can say about $f$ and $g$?
Let $f$, $g$ be two non-zero polynomials in $\Bbb C[x,y]$ satisfying the identity
$$
f(x-1,y)g(x,y)=f(x,y)g(x-1,y-1).
$$
What we can say about $f$ and $g$?
In particular, if $f$, $g$ are two non-zero ...
1
vote
0
answers
162
views
Integral points on "complex exponential surface" in $\mathbb{C}^3$
I encountered the following object in $\mathbb{C}^3$ defined for $m\in\mathbb{N}$ by
$$A_m:=\lbrace (z_1,z_2,z_3)\in\mathbb{C}^3|(2^{2z_3}m-1)2^{2z_1+z_2+1}+3^{z_2-1}(2^{2z_1}-2^2-3^{z_3+1}m)=0\rbrace$...
- 91
11
votes
0
answers
437
views
A rather strange algebra
Let $k$ be an algebraic closed field of zero characteristic and $X$ an affine smooth variety, with $A=\mathcal{O}(X)$ the algebra of regular functions and $\mathcal{V}$ the Lie algebra of vector ...
- 3,318
1
vote
1
answer
364
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,018
2
votes
1
answer
158
views
How to decompose a given polynomial by ideal generators
Given a finite set of polynomials $f_1, f_2,..., f_n$ of variables $x_1,...,x_m$, generating the ideal $I$, suppose that we have one more polynomial $g\in I$.
What is the algorythm for decomposing $g$ ...
- 728
1
vote
0
answers
186
views
Is it true that monomorphisms of local Artinian $\mathbb{R}$-algebras are regular?
A Weil algebra is a finite-dimensional real algebra, in which each element is the uniquely sum of a scalar and a nilpotent (so nilpotents constitute the only maximal ideal of codimension 1). In other ...
- 6,962
2
votes
1
answer
185
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 3,472
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
3
votes
1
answer
233
views
Tangent space of a GIT quotient of $GL_{N}$
Let $G:=\operatorname{GL}_{N}$ act on its Lie algebra $\mathfrak{g}:=\mathfrak{gl}_{N}$ by conjugation. Then it acts naturally on the associated ring $\mathcal{O}(\mathfrak{g})$ of (algebraic or ...
- 131
1
vote
1
answer
234
views
Zeroes of elementary polynomials without involving closed-form solutions
Consider the following two polynomials, where $n$ is an integer:
$$
p_n(x) = x^3-\frac1nx-\frac2n, \\
q_n(x) = x^2-\frac2n.
$$
For any $n$, let $x_p=x_p(n)$ and $x_q=x_q(n)$ be the unique positive ...
- 21
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
3
votes
1
answer
270
views
Motivational distinctions between max and min conventions in tropical geometry
I am aware that algebraically, there is no real distinction between the tropical semirings
$A = (\mathbb{R} \cup \{ \infty \}, \text{min}, \infty, +, 0)$
$B = (\mathbb{R} \cup \{ - \infty \}, \text{...
- 177
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
4
votes
1
answer
341
views
Some folklore about crystaline rings of differential operators
This question is a follow up to my previous question on rings of crystaline differential operators, to which I refer for the adequate definitions.
First, let's consider the case of an algebraically ...
- 3,318
5
votes
0
answers
302
views
Connections in non-commutative geometry
Let $K$ be a field, $A$ a unital associative $K$-algebra and $M$ a left $A$-module. A connection on $M$ is a $K$-linear map $\nabla:M\to \Omega^1A\otimes_AM$ which satisfies the Leibniz rule. ...
- 985
6
votes
2
answers
1k
views
Prove that $\Bbb C[x,y]/(x^3+y^3-1)$ is not a UFD
I am posting this question on MO since I haven't received any answers on MSE.
Below is my (very elementary) attempt. Feel free to post a solution using facts in algebraic geometry and facts about ...
- 171
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
1
vote
0
answers
104
views
Examples of compressed Gorenstein ring
Let $(R,\mathfrak{m},k)$ be a Gorenstein local Artinian ring of socle degree $s$ and embedding dimension $e>1$. We set
$$
\varepsilon_i=\min\left\{ \binom{e-1+s-i}{e-1}, \binom{e-1+i}{e-1}\right\} \...
- 81
1
vote
1
answer
96
views
On "minimal presentation" of local rings essentially of finite type over a field
Let $k$ be a field of characteristic $0$. Let $(R,\mathfrak m)$ be a local ring essentially of finite type over $k$ (https://stacks.math.columbia.edu/tag/07DR). Then, $R$ is the homomorphic image of ...
- 361
1
vote
0
answers
233
views
Results that hold for the complex numbers but not for algebraically closed fields of characteristic zero
When a result is stated for the field of complex numbers it can usually be extended to a result for an algebraically closed field of characteristic zero. I would like to see a list of results that ...
- 157
4
votes
1
answer
280
views
Existence of module with periodic resolution
Let $R$ be a Gorenstein local ring. Does there always exist a module $M$ having eventually periodic minimal free resolution?
Any reference is also appreciated.
- 81
5
votes
0
answers
181
views
The precise relationship between (moduli space of) finite-dimensional commutative local $\kappa$-algebras and number theory?
In [BP08] Poonen constructs and studies $\mathfrak{B}_n$, the moduli space of all based $n$-dimensional commutative associative unital $\kappa$-algebras, where $\kappa$ is an algebraically closed ...
- 7,127
2
votes
2
answers
261
views
Examples of stretched artinian local ring
In Sally's Paper stretched artinian local ring is defined as :
Let $(R, \mathfrak{m})$ be an Artin local ring of length $\lambda.$ If $\nu$ is the embedding dimension of $R$, that is, $\nu$ is the ...
- 81
4
votes
1
answer
295
views
Finite type injective ring map between domains preserves the open point $(0)$
I am looking for a proof of the following statement without using full power of Chevalley's theorem on constructible sets. We say a domain $A$ is $0$-open if $\{(0)\}$ is open in $\operatorname{Spec}(...
- 143
1
vote
0
answers
119
views
Germs of holomorphic functions and invariant functions
Consider a complex vector space $V \cong {\mathbb C}^n$. Consider the ring of germs of holomorphic functions ${\mathcal O}_0 (V)$ at $0\in V$. We know that this ring is Noetherian.
Now consider a ...
- 803
1
vote
1
answer
155
views
Invariant ring of the subvariety
Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $...
- 839
5
votes
0
answers
242
views
Which properties of the pullback/restriction functor imply surjectivity of a ring homomorphism
Let $f:R\to S$ be a homomorhpism of (noncommutative) algebras over some field k (say the complex numbers) and let $F:Rep(S)\to Rep(R)$ be the corresponding functor between the categories of finite-...
- 1,846
0
votes
2
answers
388
views
Torsion of modules
Given a left module $M$ over a domain $R$, I am interested in irreducible elements $r\in R$ such that $r\cdot m=0$ for some $m\in M-\{0\}.$ I think "torsors" would be perfect name for such $...
- 2,390
4
votes
0
answers
259
views
Road map for learning cluster algebras
I'm a PhD student and I would like learn about cluster algebras. I'm wondering what is a good reference (i.e., has detailed explanations, examples, etc) to learn from the basic and what are some of ...
- 839
0
votes
0
answers
267
views
completion and tensor product
Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers?
If $A$ is noetherian, it is clear because one has for $k$ a residue ...
- 3,472
2
votes
1
answer
237
views
Is $\Gamma(U,\mathscr{O}_{X})$ a finitely generated $\Gamma(X,\mathscr{O}_{X})$-algebra?
Let $X$ be a scheme of finite type over $\mathrm{Spec}(A)$, where $A$ is a commutative ring. Let $U\subset X$ be any open subset, is $\Gamma(U,\mathscr{O}_{X})$ a finitely generated $\Gamma(X,\mathscr{...
- 23
1
vote
0
answers
66
views
Existence of a minimal ideal with a specific property
Suppose that $R$ is a super-commutative ring (i.e. it is a unital $\mathbb{Z}_2$-graded ring satisfying $xy=(-1)^{|x|\cdot |y|}yx$ where $|x|$ denotes the grading degree of a homogeneous element $x\in ...
- 329
1
vote
0
answers
128
views
Example of a brick-infinite, tame, triangular algebra of global dimension$\geq 3$
I'm trying to compute some examples and I'm unable to come up with a following example:
What is(are) the example(s) of an acyclic quiver $Q$ with relations such that the 2-Kronecker quiver is NOT a ...
- 839
1
vote
0
answers
115
views
Prove that $B$ is a directing module
Let $A\cong\mathbb{K}Q/I$ be a finite dimensional, associative, basic $\mathbb{K}$ algebra, where $\mathbb{K}$ is algebraically closed and $Q$ is a finite Gabriel quiver on $n$ vertices and $I\...
- 839
4
votes
1
answer
164
views
Any ideal as an intersection of ideals primary to maximal ones
The Nullstellensatz says that any ideal $I \subset \mathbb{C}[x_1,\dots,x_n]$ has the property that
$\sqrt{I} = \bigcap_{\text{maximal } \mathfrak{m} \supset I} \mathfrak{m}$
Is it also true that we ...
- 41
2
votes
0
answers
268
views
Understanding a proof of a result of Schofield
I'm reading a paper of Aidan Schofield- "General Representations of Quivers" and I'm trying to understand the proof of Theorem 3.3. I'm having trouble understanding the argument that's ...
- 839
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
5
votes
2
answers
236
views
An example of a local integral domain with special spectrum
I am looking for a local integral domain $(D, m)$ with $Spec(D)=\{0,m\}\cup\{ P_i\}_i$ such that $P_i's$ are incomparable (that is, $P_i\not\subseteq P_j$ and $P_j\not\subseteq P_i$ for $i\not= j$) ...
- 147
1
vote
1
answer
152
views
Cohen-Macaulay quotient ring and symbolic power
Let $(R, \mathfrak{m})$ be a regular local ring and let $\mathfrak{a} \subset R$ be an ideal. Let
$$ \mathfrak{b} = \bigcap \{R \cap \mathfrak{a} \cdot R_\mathfrak{p} \text{ } \colon \mathfrak{p} \in \...
