Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,493 questions
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
13
votes
2
answers
3k
views
Wikipedia's definition of 'locally free sheaf'
Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent:
The module $M$ is locally free (Edit:...
- 2,782
2
votes
0
answers
281
views
Is evaluating limits with dual numbers sound?
Let $D$ be the ring $\mathbb{C}[\epsilon]/\langle \epsilon^2\rangle$. Define the functions $dual : \mathbb{C} \to D$ and $stdPart : D \to \mathbb{C}$ by $dual(x) := x+0\cdot \epsilon$ and $stdPart(x+...
user5810
1
vote
0
answers
169
views
Sum of two free o-submodules in a vector space over a local field
Let $V$ be a countably infinite dimensional $K$-vector space over a local field $K$ (nontrivially discretely valued with finite residue field). Let $o$ be the ring of integers of $K$.
Given two free ...
- 107
5
votes
3
answers
2k
views
The correspondence between affine vector bundles and f.g. projective modules
The definition of a (geometric) vector bundle over a scheme $X$ can be rewritten as follows in terms of 'not-so-geometrical algebra' if $X=Spec R$ is affine and if I am not missing something.
A ...
- 2,782
11
votes
0
answers
1k
views
Reverse mathematics strength of identically zero polynomials are the zero polynomial
According to wikipedia, the statement "every polynomial over a countable field that is not the zero polynomial has only finitely many roots" is equivalent to RCA0 over RCA0* (which is called ERCA-0 in ...
user5810
3
votes
2
answers
467
views
Chern character of Hom-sheaves
I'm reading the book about moduli spaces by Huybrechts and Lehn, and i'm stuck understanding a proof, it is Theorem 6.1.8.:
Given a K3-surface $X$ and a 2-dimensional space $M$, coherent and torsion ...
- 1,391
0
votes
2
answers
232
views
Commutation of $GL_{n}$ with projective limits
Let $A$ denote a unital commutative ring. Given a system of ideals $(I_p)_{p\in P}$ indexed by a partially ordered set $P$ such that if $p \leq q$, then $I_p$ is contained in $I_q$, when is
$$GL_n ...
- 91
1
vote
1
answer
434
views
Equality of chern classes and isomorphism
Given two torsion free coherent sheaves $M$ and $N$ wit $rk(M)=rk(N)=r$ on an smooth projective surface $S$, by definition $det(M):=\Lambda^r(M)^{\*\*}$.
Is the following criterion correct?
$M\cong ...
- 1,391
0
votes
3
answers
892
views
local Artin algebras
Given a commutative Artin algebra $A$ over an algebraically closed field $k$ one has a decomposition $A=A_1\oplus\ldots\oplus A_n$ into local Artin subalgebras, see for example Atiyah-McDonald, ...
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
4
votes
1
answer
375
views
Regular sequence of elements of degree 1 for a homogeneous Cohen-Macaulay ring
Assume that a positively graded ring R is generated in degree 1. Is it true that, if R is Cohen-Macaulay, then there exists a regular sequence x of elements of degree 1 so that R/x is zero dimensional?...
- 157
14
votes
1
answer
911
views
Can a single DVR witness all specializations on a variety?
If $X$ is a noetherian scheme with points $x$ and $\xi$ so that $x$ is in the closure of $\{\xi\}$, then there exists a discrete valuation ring $V$ and a map $Spec(V)\to X$ sending the generic point ...
4
votes
2
answers
610
views
Are schematic fixed-points of a Cohen-Macaulay scheme Cohen-Macaulay?
I'm not sure how long this iterative questions can go on, but let me try again. Let's say $X$ is a Cohen-Macaulay scheme with an action of $\mathbb{G}_m$ (i.e. if $X$ is affine, a grading on the ...
- 44.7k
2
votes
1
answer
504
views
A question arising from the Krull intersection theorem.
Let R be a local ring, I an ideal, M a finitely generated module and $N=\cap _nI^nM$. Then the Krull intersection theorem states that $N=IN$. Now if R is a local ring of characteristic $p>0$, for ...
- 1,207
4
votes
3
answers
622
views
Examples of DVRs of residue char p and ramification e
I am looking for concrete examples of a complete discrete valuation ring $R$ of characteristic 0, residue characteristic $p$ and ramification index $e$. By residue characteristic, I mean the ...
- 317
16
votes
1
answer
2k
views
Commuting Matrices and the Weak Nullstellensatz
In the Wikipedia article on Hilbert's Nullstensatz,
http://en.wikipedia.org/wiki/Hilbert%27s_Nullstellensatz
the following application of the Weak Nullstensatz is mentioned:
Commuting matrices
...
- 839
1
vote
0
answers
538
views
Functoriality of a standard integral domain construction.
The evident forgetful functor from fields to integral domains has a left adjoint, namely the construction of the quotient field for a given integral domain. Another standard construction is taking the ...
- 21
3
votes
2
answers
589
views
Comparing homomorphisms over different base rings
I am trying to compare some homomorphism groups over different base rings, so given a commutative local ring $(A,\mathfrak{m})$ and a finite dimensional Azumaya algebra $R$ over $A$.
If $M$ and $N$ ...
- 1,391
1
vote
0
answers
198
views
Seek for good methods of computing the Krull dimension of a module?
Hi, everyone. Recently I am interested in computing the Krull dimensions of modules without using any software. However, it is not an easy job for me to do so only by its definition. Therefore, I ...
- 1,207
5
votes
2
answers
495
views
Sub-Hopf algebras of group algebras
Let $k$ be a field and $G$ a finite group. Is every sub-Hopf algebra over $k$ of the group algebra $k[G]$ of the form $k[U]$ for a subgroup $U$ of $G$ ?
- 16.2k
0
votes
0
answers
183
views
Standard system of parameters and an example
Let $(R,m)$ be a local Noetherian ring. A system of parameters $\bf{x}$$:=x_{1}, \dots, x_{d}$ is a standard system of parameters if $(\bf{x})H^{i}_{m}(R/(x_{1}, \dots, x_{j}))=0$ holds for all non-...
- 113
5
votes
0
answers
817
views
morphism which is open but not universally open
In someone's note, I have seen such an example, but I can't show that it is not universally open. Here is the example:
Let $k$ be a field and $A = k[T]_{(T)}$, the discrete valuation ring obtained ...
- 1,109
54
votes
10
answers
16k
views
Rings in which every non-unit is a zero divisor
Is there a special name for the class of (commutative) rings in which every non-unit is a zero divisor? The main example is $\mathbf{Z}/(n)$. Are there other natural or interesting examples?
- 3,022
5
votes
2
answers
3k
views
Algorithm for Weierstrass Preparation Theorem for Formal Power Series
The Weierstrass preparation theorem for formal power series rings guarantees that if a given formal series $f(z) = \sum a_k z^k \in R[[z]]$ where $R$ is a complete local ring with maximal ideal $M$ ...
- 51
17
votes
2
answers
2k
views
How badly can Krull's Hauptidealsatz fail for non-Noetherian rings?
Krull's Hauptidealsatz (principal ideal theorem) says that for a Noetherian ring $R$ and any $r\in R$ which is not a unit or zero-divisor, all primes minimal over $(r)$ are of height 1. How badly can ...
- 6,792
22
votes
4
answers
2k
views
Two questions about finiteness of ideal classes in abstract number rings
Let us say that an abstract number ring is an integral domain $R$ which is not a field, and which has the "finite norms" property: for any nonzero ideal $I$ of $R$, the quotient $R/I$ is finite.
(I ...
- 65.4k
6
votes
2
answers
418
views
Does regularity of a prime ideal in the fibre imply regularity of the prime?
Recall that a prime $\mathfrak{p}$ is called nonsingular (regular) if the localization at that prime is a regular local ring. If all primes of a ring $R$ are nonsingular, $R$ is called regular. Let $...
- 19.6k
23
votes
6
answers
7k
views
Noether's normalization lemma over a ring A
Given a field $k$ and a finitely generated $k$-algebra $R$ without zero divisors, one knows that there exist $x_1, \ldots, x_n$ algebraically independent such that $R$ is integral over $k[x_1, \ldots, ...
- 1,320
14
votes
2
answers
8k
views
Choosing the algebraic independent elements in Noether's normalization lemma
Given a field $k$ and a finitely generated $k$-algebra $R$ without zero divisors, one knows that there exist $x_1, \ldots, x_n$ algebraically independent such that $R$ is integral over $k[x_1, \ldots, ...
- 1,320
101
votes
31
answers
29k
views
Errata for Atiyah–Macdonald
Is there a good list of errata for Atiyah–Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists ...
6
votes
1
answer
301
views
Orbits in commutative groups.
Let A be finite commutative group say $(Z_m)^h$. I will say that $S \subset A$ is an orbit if exist group $H$
which acts on A such that $S$ is an orbit of $H$.
Can one give a simple characterization ...
- 2,179
4
votes
1
answer
643
views
An application of Zorn's lemma.
Suppose that $R$ is a commutative ring, an $R$-module $M$ is said to be finitely embedded if $M$ has a finitely generated essential socle. Now Let $M$ be finitely embedded and not
artinian, let $S$ ...
- 1,207
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
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 ...
- 54.6k
29
votes
2
answers
7k
views
Elementary proof of Nakayama's lemma?
Nakayama's lemma is as follows:
Let $A$ be a ring, and $\frak{a}$ an ideal such that $\frak{a}$ is contained in every maximal ideal. Let $M$ be a finitely generated $A$-module. Then if $\frak{a}$$M=M$...
- 1,329
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
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
18
votes
2
answers
4k
views
How to show a set of polynomials is algebraically independent?
Suppose that I have $n$ homogeneous polynomials $f_1, \dots, f_n \in \mathbb{C}[x_1, \dots, x_m]$ and that $n < m$. Is there a well known method or algorithm to determine if these polynomials are ...
- 208
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
2
votes
2
answers
565
views
Commutative algebras and Gamma-modules
A commutative algebra (with unity) over a field gives rise to the covariant functor F: Set_f->Vect from finite sets to vector spaces: F(E) := A^{otimes E}.
Is it true that, over complex numbers, a ...
- 809
4
votes
2
answers
1k
views
Finding generators of subalgebra of polynomial algebra $K[x_1,\cdots,x_n]$ that are invariant under the action of symmetric group
Let $I =\langle f_1,\cdots,f_m\rangle \subset K[x_1,\cdots,x_n]$be an ideal,
where $f_k\in K[x_1,\cdots,x_n].$
$K[e_1,\cdots,e_n]$ the polynomial algebra generated by the elementary symmetric ...
- 139
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 ...
- 690
1
vote
1
answer
336
views
Need an example of finitely generated graded algebra such that each its graded subspace has infinite dimension.
More accurately, let $\displaystyle A=\sum_{i=0}^{\infty}A_i$ be a finitely generated graded algebra over say $\mathbb{Q}$ but $\dim A_i=\infty$ for each $i.$ Is it possible?
- 301
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
342
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}\ ...
- 10.9k
13
votes
3
answers
4k
views
The localization of a regular local ring is regular
I've heard, as I'm sure many have, that the theorem that the localization of a regular local ring at any prime ideal is regular is one of the first major applications of homological methods to pure ...
- 6,348
10
votes
1
answer
1k
views
On Noetherian and Japanese rings
Let $R$ be a Noetherian ring all of whose local rings are Japanese. Is $R$ necessary Japanese?
- 101
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 ...
- 21