All Questions
Tagged with commutative-algebra or ac.commutative-algebra
5,492 questions
11
votes
2
answers
697
views
Differential graded structures on free resolution?
Hello!
In "Homological Algebra on a Complete Intersection", Eisenbud proves the following:
Let $A$ be a commutative ring, $M$ be an $A$-module and $F^{\ast}\to M$ an $A$-free resolution. Further, ...
- 2,756
2
votes
2
answers
451
views
Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?
Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth ...
- 3,918
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}(...
- 66.3k
13
votes
2
answers
2k
views
Length of I/I^2 versus Ann(I)/Ann(I)^2 in Artinian rings.
Suppose that $(A,\mathfrak{m})$ is a local Artinian ring.
If $A$ is Gorenstein, then $A$ admits a dualizing functor
on finite length modules defined by $D(M):= Hom_A(M,A)$ which preserves
lengths. If ...
CommunityBot
- 1
1
vote
0
answers
238
views
relative flatness and torsion freeness
Hi.
Question 1: let $f:X\rightarrow S$ be a proper and surjective morphism of complex reduced spaces with $X$ pure dimensional. Let $F$ be a $S$-flat coherent sheaf on $X$. Is it true that the two ...
- 435
10
votes
1
answer
1k
views
maximal ideals of $k[x_1,x_2,...]$
What can be said about the structure of maximal ideals of $R=k[\{x_i\}_{i \in I}]$, or geometric properties of $\text{Spm } k[\{x_i\}_{i \in I}]$? Here $k$ is an arbitrary field and $I$ is an infinite ...
- 63.1k
3
votes
1
answer
270
views
When is a blow-up a non-trivial product?
Suppose $X$ is an algebraic variety and let $Z \subset X$ be a subvariety. Are there some useful criteria under which the blow-up $Bl_Z X$ becomes a nontrivial product $V \times W$ of the algebraic ...
- 5,137
4
votes
1
answer
463
views
Reference request, direct summand conjecture in dimension 2
What's the easiest (by which I mean uses the least fancy machinery) proof of the direct summand conjecture in dimension 2?
Recall that the direct summand conjecture says that:
Conjecture (Hochster): ...
- 20.5k
2
votes
1
answer
340
views
A weaker form of Zariski's connectedness principle
Let $A$ be a complete regular local noetherian ring of dimension $d>1$ and $B$ an $A$-algebra, finite and free as $A$-module. Assume moreover that there exists an open subset $U$ of $\textrm{Spec}\ ...
CommunityBot
- 1
2
votes
2
answers
827
views
Reduced varieties with no regular points?
Let $k$ be a field. Let $X$ be a reduced $k$-scheme of finite type. If $X$ is geometrically reduced, then it is a basic result that $X$ has a regular point (i.e. the local ring at that point is ...
- 1,673
6
votes
1
answer
434
views
When are two ideals in a regular local ring generated by a regular sequence?
Hello!
Let $R$ be a regular local ring, and let $I,J\subset R$ be ideals. I'd like to understand the "meaning" of the existence of a regular sequence $(x_1,...,x_n)$ in $R$ such that $I$ is generated ...
- 30.5k
1
vote
1
answer
221
views
1
vote
1
answer
815
views
Can we characterise affine open subschemes of ${\rm Spec}(A)$?
Let $A$ be any ring, commutative with identity, and let $I\subset A$ be an ideal $\neq A$. Let $U\subset{\rm Spec}(A)$ be the open subscheme obtained by "removing" the closed set $V(I)$ of all the ...
- 30.5k
3
votes
7
answers
4k
views
How to tell if two random polynomials are identical
Let t be a positive real number. Let P(x) and Q(x) be two random polynomials with integer coefficients. If P(t) = Q(t), then what is the probability that P(x) is not identical to Q(x)?
Will it make a ...
- 32.1k
4
votes
1
answer
5k
views
Localization of a polynomial ring at a prime ideal.
If $R=\mathbb{C}[x,y]$ is the polynomial ring in two variables $x$ and $y$ then we know that the localization of R at the multiplicative set $S=[1,x,x^2,x^3,...]$ is given by $R_x=\mathbb{C}[x,x^{-1},...
- 63.1k
7
votes
3
answers
2k
views
Is there a field which is the union of finitely many proper subfields?
Is there a field which is the union of finitely many proper subfields?
- 39.9k
2
votes
1
answer
325
views
Flatness on the fiber
Hi.
Let $f:A\rightarrow B$ be a local morphism of locally noetherian (reduced) rings with $B$ $A$-flat. Let $M$ be an $B$-module of finite type.
Question: Which conditions ensure the following:
$N\...
- 30.5k
6
votes
0
answers
267
views
Is there a straightforward way to solve unmixed, homogeneous systems of polynomials?
I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry.
Suppose we have a system of $k\leq n$ polynomials in $\...
5
votes
1
answer
2k
views
Length of a module over different rings
Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$.
Under what ...
- 5,407
4
votes
4
answers
444
views
Lower bounds on the degrees of representatives of $u^n$ as $n \to \infty$
Let $k$ be an algebraically closed field and $A$ a finitely generated $k$-algebra, together with a specified surjective morphism $\phi \colon k[x_1, \dotsc, x_n] \to A$. For $f \in A$, define $\...
CommunityBot
- 1
5
votes
2
answers
731
views
What is the completion at a family of ideals?
Let $A$ be a (commutative with unit) noetherian ring. If $I$ is an ideal of $A$, the $I$-adic completion of $A$ is by definition
$$
\widehat{A} := \underset{\leftarrow}\lim A/I^n.
$$
This operation is ...
- 1
2
votes
3
answers
1k
views
Integral closure of a regular ring
Let $A$ be a noetherian integral local ring. Let $K$ be its fraction field, $L$ an algebraic field extension of $K$, and $B$ the integral closure of $A$ in $L$. If $A$ is supposed to be regular, is ...
CommunityBot
- 1
2
votes
1
answer
400
views
ideal transform
Let $I$ be an ideal of a commutative ring $R$. $M$ be an $R$-module. In Local cohomology: an algebraic introduction with geometric applications of Brodmann M. P., Sharp R. Y we have
$$D_I(M)=\mathop {\...
- 20.5k
0
votes
1
answer
2k
views
Dual of Zorn's Lemma? [closed]
It seems to me that the dual of Zorn's Lemma should be true: if $S$ is a non-empty partially ordered set and every chain of $S$ has a lower bound in $S$, then $S$ has at least one minimal element.
...
- 39.7k
6
votes
1
answer
858
views
Exotic isomorphism of matrix rings
Let R and S be commutative rings with a 1 different from zero. Let m and n be positive integers. Assume the ring of m-by-m matrices over R is isomorphic to the ring of n-by-n matrices over S. Does ...
- 55.9k
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=(\...
- 30.5k
21
votes
2
answers
3k
views
Standard reduction to the artinian local case?
Where can I find a clear exposé of the so called "standard reduction to the local artinian (with algebraically closed residue field", a sentence I read everywhere but that is never completely unfold?
...
CommunityBot
- 1
3
votes
0
answers
180
views
Generic Rank of R^{1/p}
Suppose $R$ is a local Noetherian domain of dimension $d$ in characteristic $p>0$. Suppose $R^{1/p}$ is a finitely generated $R$-module, and suppose $k$ is the residue field of $R$. Is the ...
- 103
6
votes
0
answers
237
views
Moduli space of modules with fixed length
Let $R$ be a (commutative) local Artinian ring, with an algebraically closed residue field $k$. I am interested in the set $L_n(R)$ of isomorphism classes of $R$-modules of length $n$.
If $R$ is a $k$...
- 30.5k
0
votes
1
answer
164
views
How to design or create or generate a bijective ring map? [closed]
How to design or create or generate a bijective ring map?
- 12.6k
3
votes
1
answer
459
views
Are valuation rings regular?
This question is short, and to the point:
Valuation rings are certainly integrally closed, but are they regular?
The motivation is that I'm trying to understand the resolution of singularities of ...
- 20.7k
3
votes
1
answer
171
views
If $B \subset C \subset B_g$, is $\mathrm{Spec} C \to \mathrm{Spec} B$ necessarily an open immersion?
Let $B \subset C$ be Noetherian integral domains, and $g \in B$. Thus, $\mathrm{Spec} B \to \mathrm{Spec} B_g$ is an open immersion.
If furthermore $C \subset B_g$, does it follow that $\mathrm{Spec}...
- 156k
8
votes
1
answer
1k
views
Torsion submodule
$A$ a commutative Noetherian domain, $M$ a finitely generated $A$-module. How can I show that the kernel of the natural map $M\rightarrow M^{**}$, where $ M^{ * *}$ is the double dual (with respect to ...
- 14.5k
4
votes
1
answer
633
views
Determining if a ring satisfies Serre's condition S_{n}
Given a specific ring $R$ (eg, $R=k[x_{1}, \cdots, x_{n}]/I)$ is there a (simple) way to determine whether or not $R$ satisfies Serre's condition $S_{n}$? In particular, is there a way to do this in ...
- 30.5k
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
vote
0
answers
2k
views
Generators of ideals in polynomial rings over commutative rings.
This is my first question; I hope it worthy of this awesome forum and its members.
Let $R$ be a commutative ring, perhaps with unit, perhaps not. As usual let $R[x]$
denote the ring of polynomials ...
- 391
13
votes
1
answer
908
views
Computational Question about finite local rings:
Let $(A,\mathfrak{m})$ be a local Artinian ring with
finite residue field, which I'm happy to assume is $\mathbf{F}_3$.
(In particular, $A$ has finitely many elements.)
I would like to do some ...
CommunityBot
- 1
3
votes
0
answers
614
views
nilpotent matrices over polynomial rings
I am looking for an analogue of the Jordan normal form for nilpotent matrices over the
polynomial ring ${\mathbb Z}[x_1, \dots, x_n]$. More precisely, is there a description for the orbits of action ...
- 6,214
6
votes
1
answer
541
views
Abelian varieties over local fields
Let $K$ be a local field of characteristic zero, $k$ its residue field, $R$ its ring of integers and $p$ the characteristic of the residue field $k$. Let $G$ be the Galois group of $K$, $I\subset G$ ...
- 2,441
23
votes
1
answer
3k
views
Modules and Square Zero Extensions
Let $R$ be a commutative ring, $RMod$ its category of modules and $CRing$ the category of commutative rings.
There's an embedding $RMod \rightarrow CRing/R$ that sends an $R$-module $M$ to the ring ...
- 57.6k
4
votes
0
answers
233
views
When is the ring of invariants of a finite group generated by symplectic reflections a complete intersection ring?
Let V be a finite dimensional symplectic vector space over $\mathbb{C}$. Let $G$ be a finite subgroup of the symplectic group $Sp(V),$ which is
generated by symplectic reflections, i.e. by elements $g\...
- 689
6
votes
0
answers
881
views
Riemann-Roch and Grothendieck duality: general case of Fulton's example 18.3.19
Fulton's "Intersection theory" book contains the following fact (example 18.3.19):
Let $X$ be a Cohen-Macaulay scheme over a field. Assume $X$ can be imbedded in a smooth scheme (so it has a ...
- 30.5k
3
votes
0
answers
592
views
Basic commutative algebra question.
Suppose that A is a local ring (commutative with unit), finite over a field k. Let L be the residue field A / m where m is the unique maximal ideal of A.
Does the dimension of L (as a k-vector space) ...
- 467
5
votes
1
answer
4k
views
Dimension of module
Does dimension of a module (say, dimension of its support) have anything to do with the supremum length of chains of prime submodules like rings?
Let's restrict to finitely generated modules over ...
- 689
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
2
votes
2
answers
865
views
Modules over a Gorenstein ring
$A$ a Gorenstein ring, $M\neq 0$ a finite $A$-module with finite injective dimension. According to Bruns, this implies that $M$ has finite projective dimension. How do I see that?
CommunityBot
- 1
6
votes
3
answers
3k
views
Tor and projective dimension
Is it possible that $\mbox{Tor }^{r+1}(M,N)=0 \ \ \forall N$ yet $\mbox{proj. dim }M>r$?
What I do know is that if $(A,\mathfrak{m})$ is Noetherian local and $M$ is finitely generated over $A$ ...
- 30.5k
3
votes
2
answers
376
views
How to compute the ring of invariants of SO_3(k) acting on a polynomial ring
Let $k$ be a field and let $A$ be the polynomial ring over $k$ in $3n$ variables: $A = k[X_{ij} \vert i=1,2,3 \quad j=1,2,\cdots,n]$.
${\rm SO}_3(k)$ acts on $A$ in the following way: Given $g \in {\...
- 14.5k
0
votes
0
answers
165
views
Support sets along a ring homomorphism.
Let $(R,m)$ and $(S,n)$ be commutative noetherian local rings, and $f: R\rightarrow S$ be a local homomorphism (i.e., $f(m) \subseteq n$) with $S$ flat as $R$-module. If $M$ is a finite generated $R$-...
- 1,207
3
votes
3
answers
670
views
Algebraic, analytic, formal modules
Consider torsion free modules over the germ of a fixed isolated algebraic hypersurface singularity {$f=0$}$\subset\mathbb{C}^n$.
There are natural functors (using categories of finitely generated ...
CommunityBot
- 1