Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,496 questions
2
votes
2
answers
369
views
vectors with entries from a finite ring
I've been working recently with vectors over finite fields, but I was hoping to work in a more general setting and consider vectors over finite commutative rings. The question I had is as follows: if ...
- 21
0
votes
0
answers
236
views
On vanishing orders of an ideal via the restriction
Let $Y$ be a submanifold of a complex manifold $X$, and $a$ be an ideal on $X$ which does not vanish along the entire $Y$. Consider a point $\xi$ on $Y$, there are the vanishing order $ord_{\xi}a$ ...
- 320
12
votes
0
answers
530
views
A commutative monoid associated with a finite abelian group
Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as
$$
v_{m,...
- 181
3
votes
0
answers
289
views
Terminal quasi-affine varieties?
Let $U$ be a normal, irreducible, quasi-affine variety over the algebraically
closed field $k$ and consider the ring $A = \mathscr{O}(U)$ of regular
functions on $U$. Write $Max(A)$ for the ...
- 31
0
votes
1
answer
370
views
Proving that two local PIDs, one inside the other, with the same field of fractions are equal.
Let $R\subset S$ be two local PIDs that have the same fields of fractions. How to prove that they are equal?
- 59
2
votes
0
answers
546
views
Ring objects in the category of cocommutative coalgebras (aka Hopf rings).
I have recently been doing some calculations in topology which are naturally expressed in terms commutative ring objects in the category of cocommutative coalgebras. These have been studied for quite ...
- 4,990
5
votes
1
answer
272
views
Classifying Algebra Extensions over a fixed extension?
There are lots of "Ext groups" in homological algebra which measure extensions of various things. I'm sure there must be a homological algebra machine for computing the following, and I'm hoping that ...
- 27.5k
4
votes
0
answers
110
views
maximal degree of generators of graded ideals
Let $A$ be a commutative Noetherian ring, $\mathfrak{a}$ an ideal. Let $R(\mathfrak{a}) = \oplus_{n\geq 0} \mathfrak{a}^n$ be the Rees algebra of $\mathfrak{a}$. Let $I$ and $J$ be two graded ideals ...
- 2,773
13
votes
0
answers
496
views
Are the supports of $Ext^i(M,N)$ eventually periodic?
Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules.
Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...
- 30.5k
1
vote
0
answers
263
views
In a Noetherian local ring $(R,m)$ with a prime ideal $P\neq m$, $P^{(n)}=P^n:m^{\infty}$
I had asked this question on math.stackexchange.com, but I have not received a response. Hoping to get some help here.
I am trying to prove this result and I am stuck at one step.
Let $(R,m)$ be a ...
0
votes
1
answer
135
views
Uniqueness of Hensel factors of a polynomial (invariant to change of "basepoint")?
An important component of algorithms for factoring multivariate polynomials over a commutative ring $R$ is Hensel lifting. Here's a brief, concrete example to set the stage for my question:
Let $f \...
- 2,019
1
vote
0
answers
534
views
Integral element in the quotient of a polynomial ring
Hello,
I'm writting a "report" (to learn) on algebraic geometry, and was looking to write a proof for the following statement :
Theorem : Let $K$ be an algebraically closed field and $C_1, C_2 \...
- 11
3
votes
0
answers
336
views
Antisymmetric functions of the roots of unity: an elementary conjecture
Let $z_1, z_2, \cdots z_N$ be $N$ variables obeying the condition $z_i^M=1$ for some positive integer $M>N$.
Let $F_N$ be the space of antisymmetric polynomials of these variables. Given a set $E = ...
- 378
6
votes
0
answers
577
views
Continuous homomorphisms between power series rings
Let $A$ be an arbitrary ring. In "Commutative Algebra" by Zariski and Samuel it is claimed that every continuous homomorphism $A[[Y_1,...,Y_m]] \to A[[X_1,...,X_n]]$ is a substiution homomorphism $Y_i ...
- 63.1k
2
votes
0
answers
384
views
What do you call an algebraic element with the property that the generated field extension is normal?
Let $L/K$ be a field extension. Let $\alpha \in L$ be algebraic over $K$. Is there an established terminology for the property of $\alpha$ that $K(\alpha)/K$ is a normal field extension? Would you ...
- 2,399
2
votes
1
answer
226
views
Are non-maximal orders in number fields Grothendieck rings?
Recall that a ring homomorphism A->B is geometrically regular if for all primes p of A, the fiber of B over p is geometrically regular over k(p). A Grothendieck ring (or, G-ring) is one for which A_p->...
- 5,062
2
votes
1
answer
186
views
Behaviour of Primes under Regular Coefficient Extensions
Let $K\hookrightarrow K'$ be a regular extension of fields, and $K[x_{1},\cdots,x_{n}]\hookrightarrow K'[x_{1},\cdots,x_{n}]$ the corresponding ring extension. Does every prime ideal of the first ring ...
- 125
1
vote
1
answer
146
views
Is every nontrivial morphism already injective in this case?
I'm a little bit suprised at the moment, so i'll ask here if I see this wrong:
Given a sheaf of algebras $R$ ( e.g. maximal order or Azumaya) on a smooth projective scheme $X$ with generic point $p$. ...
- 1,391
0
votes
0
answers
212
views
Homomophism from Koszul complex to the original ring
In an article, I encounter an isomorphism relation as follows:
Let S be a comm. ring, x an element in S. K[x,S] be corresponding Koszul complex. The article says "this is a classical isomorphism":
$...
- 61
1
vote
2
answers
194
views
Counting hyperplane cuts vs. projections. Combinatorial identity
I have checked the following combinatorial identity for several cases and it seems to work. I would like to know if this is known or if there is a counter-example. Note, i is a given constant.
$$(i+d)...
- 11
2
votes
0
answers
498
views
A question about the assassinator (={associated primes}) and the support of a module.
This question is motivated by a proof in Bruns' and Herzog's book on "Cohen Macaulay Rings".
Let $\(R,\mathfrak{m}\)$ be a Noetherian local ring, $M \neq 0$ a finitely generated $R$-module. Suppose ...
- 21
2
votes
0
answers
176
views
Small Question about the construction of closed subscheme.
Let $\mathscr I_0=\mathscr J + (x_0x_2,x_1x_2,x_2^2,x_3x_2,x_4x_2)$. where $\mathscr J$ is the ideal sheaf of a rational normal quartic curve in $\mathbb P^3_{x_0,x_1,x_3,x_4}$.
Now, construct closed ...
- 337
3
votes
1
answer
457
views
Intuition for Nagata's altitude formula?
This is theorem 14.C on p.84 of Matsumura's commutative algebra.
Let $A$ be a noetherian domain, and let $B$ be a finitely generated overdomain of $A$. Let $P \in Spec(B)$ and $p = P \cap A$. Then ...
user709
6
votes
0
answers
131
views
Does Mittag-Lefflerness descend?
I have read in the Stacks Project that if $A \to B$ is a faithfully flat ring homomorphism, $M$ is an $A$-module, and $M \otimes_A B$ is a flat, Mittag-Leffler $B$-module, then $M$ is a flat, Mittag-...
- 523
0
votes
1
answer
502
views
Finiteness of injective hull of residue field for Artin local ring
$(A,\mathfrak{m})$ an Artin local ring, $E(A/\mathfrak{m})$ the injective hull of $A/\mathfrak{m}$. How do I see that $E(A/\mathfrak{m})$ is a finite $A$-module?
- 2,857
1
vote
1
answer
312
views
Deformations of free modules
Where can I found a description of the deformation theory for modules?Is it possible to deform a free module in such way that each fibre of the deformation is still free?
- 671
5
votes
0
answers
438
views
Primary decomposition for non-affine schemes
I will call a (nonzero) ring primary if every zero divisor is nilpotent. (This implies that the prime spectrum is irreducible, although the converse does not hold.) An irreducible scheme I will call ...
- 7,338
3
votes
0
answers
187
views
The role of "minimal" minimal primes
Let $R$ be a commutative ring of finite Krull dimension $n$. I'm interested in results where those minimal primes $P$ of $R$ play a role that sit at the end of a prime chain of maximal length, i.e.
$$...
- 16.2k
5
votes
0
answers
238
views
When does the normalization have regular special fiber?
Let's say $\mathcal{O}$ is a complete DVR with fraction field $K$ and algebraically closed residue field $k$. (The case I had in mind here was with $\mathcal{O}$ of equicharacteristic $p$, so assume ...
- 4,487
2
votes
0
answers
66
views
The norm of a polynomial f in a skew polynomial ring must be in the center
This is proved in Prop 1.7.1 in Jacobson's book ``Finite dimensional division algebras over fields". But I am not clear why the norm n(f), defined as the norm of the matrix representation of f by ...
- 43
1
vote
0
answers
351
views
Regularity and limits of smooth rational curves.
Fix integers $2 < d \leq n$.
Suppose that $T$ is a smooth complex curve with marked point $0 \in T$, and $X$ is a closed subscheme of $\mathbb{P}^n_T$, flat over $T$ such that each fiber has ...
- 1,990
1
vote
0
answers
111
views
Factorization of Gegenbauer polynomials
For each natural number $n$ there is a Gegenbauer polynomial of degree n, depending on
a spectral parameter $\lambda$. They fulfill many recurrent relations. The question is
how to recognize their ...
- 11
2
votes
0
answers
148
views
Support of Tor over affinoid algebras
Suppose $k$ is a complete nonarchimedian field, $A$ is a $k$-affinoid algebra, and $M$ is a finitely presented $A$-module. Is the set
$\tau(M)= \left\{ x \in \mathrm{Sp}(A)\,\mathrm{with}\,\mathrm{...
- 13.1k
0
votes
0
answers
93
views
Ring of even characteristic.
Is possible to choose three units $u,v,w$ of a ring $R$ (not containing a field) with even characteristic
such that $u+v+w=0$.
Thanks in advance.
- 335
2
votes
0
answers
245
views
Is simplicity preserved under completion of the base ring?
Let $(A,\mathfrak{m})$ be a noetherian local ring and $R$ be an $A$-algebra, which is finitely generated generated as an $A$-module (module finite $A$-algebra). Let $\widehat{A}$ be the $\mathfrak{m}$-...
- 1,391
4
votes
0
answers
350
views
Artin approximation theorem for analytic functions over a field of zero characteristic
Artin's approximation theorem states: "if a system of locally analytic equations in several complex variables has a formal solution then it has a locally analytic solution".
(Artin 1968, "On the ...
- 2,232
4
votes
0
answers
338
views
What to call the following variant of tame ramification
Suppose that $R \subseteq S$ is a generically separable extension of 1-dimensional normal domains (you can assume that $R$ is local if you'd like) of equal-characteristic $p > 0$ (for simplicity, ...
- 20.5k
0
votes
0
answers
237
views
resolution of singular points on plane curves and base change
Let $k$ be a field and $C/k$ be an affine plane curve over $k$, namely $C = \mathrm{Spec}(A)$ for some $A = k[x,y]/(f(x,y))$, here $f(x,y) \in k[x,y]$ is an irreducible polynomial. Let $B$ be the ...
- 1,109
1
vote
0
answers
80
views
smooth algebras and triviality of de Rham complex
Hi,
Let $R$ be a $\mathbb Q$-algebra and let $A$ be a smooth $R$-algebra. If $A$ is a polynomial algebra
$A = R[T_1,\dots,T_n]$, then it is easy to see that the natural map
$R \to \Omega^\bullet_{A/R}...
- 2,842
1
vote
1
answer
167
views
Why is multiplication with a scalar no global morphism?
Given a smooth projective surface $S$ over an algebraically closed field, a sheaf rings or algebras $R$ on $S$ and a simple left $R$-module $M$, i.e. $Hom_R(M,M)=k$.Then we have $Hom_R(M,M(-i))=H^{0}(...
- 1,391
2
votes
1
answer
286
views
Linear independence in the algebraic closure of $\mathbb{C}(z)$
Fix $N>0$. Let $b_i=(b_{i,1}, b_{i,2}, b_{i,3}, b_{i,4})$, $i=1,\ldots, m$, be distinct 4-tuples of integers with with all $0\leq b_{i,j}< N$. (The zero tuple is disallowed.)
Define $w_i=(\...
- 454
4
votes
0
answers
367
views
criteria for reduced fibres
I was wondering if it is foolish to ask if there is a criteria on a morphism $f: X \to Y$ between separated schemes of finite type over a perfect field which will assure that all the scheme theoretic ...
- 1,347
0
votes
1
answer
262
views
Subtleties in the construction of base change morphisms
Given a flat and projective morphism of noetherian schemes, $f: X \rightarrow Y$ and $F$, $G$ two coherent $O_X$-modules, flat over $Y$. Furthermore given a morphism $u: Y' \rightarrow Y$ of ...
- 1,391
4
votes
1
answer
358
views
Prime-ness checking for polynomial ideals over ACFs( algebraically closed fields).
Let $f_1,\ldots f_m \in k[X]$ have degrees bounded by $l$. and $I(\bar{f})$ be the ideal generated by $\bar{f}$.
If $I(\bar{f})$ is not a prime ideal then its non-primeness is witnessed by polynomials ...
- 255
-3
votes
3
answers
400
views
Dense section of sheaves of modules
Here is something that isn't yet very clear to me. Say, I've got a commutative ring A. I consider the affine scheme from A, so it's a sheaf of rings over Spec A.
EDIT: And additionally let's say ...
- 2,275
0
votes
2
answers
356
views
Can all induced maps be described categorically.?. (or at least as generally as possible)
Hi: I am new here. I went over the fAQ's, still, sorry if I break protocol.
I am pretty confused about induced maps in different areas of algebraic
topology; I do know how these induced maps are ...
- 1
0
votes
0
answers
254
views
What is Castelnuovo-Mumford regularity of this algebra?
Let $M=\mathbb{C}[f_1,f_2,\ldots,f_r]$ is finitely generated algebra, $f_i \in S:=\mathbb{C}[x_1,x_2,\ldots,x_n],$ $\deg(x_i)=1, 1<\deg(f_i)<99.$ Suppose that minimal free resolution of $...
- 301
3
votes
0
answers
277
views
For which dg-algebras is a dg-module with bounded cohomology quasi-isomorphic to a bounded dg-module?
Hello!
Let S be a commutative local Noetherian base ring and A be a dg-S-algebra.
Suppose M is a bounded above dg-A-module with bounded cohomology. Does there exist a bounded dg-A-module isomorphic ...
- 2,756
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
2
votes
0
answers
60
views
lift isomorphic in a sufficiently thick fiber
Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$.
We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$.
Let $d=val(\Delta(P))$ where $\...
- 3,472