0
votes
0answers
12 views

Support of the pullback module

Let $X$ be an algebraic variety, let $\Delta : \mathrm X \to \mathrm X^2$ be the diagonal embedding and let $\mathrm M$ be a quasi-coherent sheaf of modules on $\mathrm X^2$. Make the supposition ...
0
votes
1answer
39 views

Weak nullstellansatz in Atiyah-Macdonald 5.17

$\newcommand{\fm}{\mathfrak{m}}$ Problem 17 in the exercises after the 5th chapter of Atiyah-Macdonald is the following (with some references and hints omitted): Let $X$ be an affine algebraic ...
1
vote
1answer
31 views

A question regarding Hilbert's Nullstellensatz.

Let $k$ be an algebraically closed field, and $a$ an ideal of the polynomial ring $k[x_1,x_2,\dots,x_n]$. The strong form of Hilbert's Nullstellensatz says that $I(Z(a))=\sqrt{a}$. Note:- Initially, ...
0
votes
2answers
43 views

Some questions on Hartshorne I.7: intersections in projective space

I am reading I.7 of Hartshorne, and here are some questions I don't understand. 1) Prop. 7.4. Let $M$ be a finitely generated graded module over a noetherian graded ring $S$. Then there exists a ...
3
votes
2answers
108 views

What are local homomorphisms, geometrically?

For want of a better name, let us say that a ring homomorphism $f : A \to B$ is local if it (preserves and) reflects invertibility, i.e. $f (a)$ is invertible in $B$ (if and) only if $a$ is invertible ...
8
votes
2answers
139 views

Is every affine scheme the complement of the closed point $x$ of the spectrum of a local ring $A$?

Let $R$ be a commutative ring with identity element and let $\operatorname{Spec}(R)$ be the associated affine scheme. Does for each affine scheme $\operatorname{Spec}(R)$ exist a local ring $A$ ...
4
votes
1answer
85 views

Question on calculating hypercohomology

I want to compute the algebraic de Rham cohomology of $ \mathbb{C}^* $, and I'm confused. I don't have much background in this, so I was hoping a very concrete example would clear up a lot of this ...
0
votes
0answers
40 views

Factorization of ideals in a coordinate ring (Dedekind domain)

Consider $f \in \mathbb{C}[X,Y]$ an irreducible curve non singular. Let $A = \mathbb{C}[X,Y] / (f)$ be the coordinate ring of $f$ and choose a curve $g \in \mathbb{C}[X,Y]$ with no component in common ...
2
votes
1answer
49 views

What kind of points are there in a finite type $k$-scheme?

Let $k$ be an arbitrary field and $X$ a $k$-scheme of finite type (i.e. a scheme with a finite cover of spectra of finitely generated $k$-algebras). How can I think of the points $x\in X$? What ...
3
votes
2answers
59 views

Kähler differentials of the cuspidal cubic

I want to compute $\Omega^1_{A,\mathbb{C}}$ for $A = \mathbb{C}[X,Y]/(Y^2 - X^3)$, or more precisely, I want to show that the module of Kähler differentials is free of rank 2 at the origin, and free ...
2
votes
1answer
61 views

The geometric interpretation for extension of ideals?

Suppose $f\colon B\to A$ is a ring homomorphism, and $I\subseteq B$ is an ideal. What's the geometric interpretation for the extension $f(I)A$ of the ideal $I$? Especially, I'm interested in the case ...
3
votes
1answer
51 views

Is the unique morphism from the empty scheme $\operatorname{Spec}((0))$ to some other scheme $X$ smooth?

This is a very pedantic question, but Is the unique morphism from the empty scheme $\emptyset = \operatorname{Spec}((0))$ to some other scheme $X$ smooth?
2
votes
1answer
98 views

The Zariski topology on $\operatorname{Spec} A$ as an intial topology

Given any commutative ring $A$ let $\operatorname{Spec} A$ be the space of prime ideals of $A$. Can we interpret the Zariski topology as an initial (or final) topology with respect to some canonical ...
0
votes
0answers
68 views

Atiyah & Macdonald's Introduction to Commutative Algebra, Exercise 8.5

The exercise asks the reader to prove that $X$ is a finite covering (i.e., the number of points of $X$ lying over a given point of $L$ is finite and bounded) of $L$, where the affine varieties $X$ and ...
1
vote
1answer
42 views

Support of a quasicoherent sheaf

When $M$ is a finitely generated module over a commutative ring $R$, it is easy to see that the support of $\tilde{M}$ on $\mathrm{Spec}\,R$ is given by $V(\mathrm{ann}_R(M))$. This is not true for ...
0
votes
0answers
33 views

Integral dependence of coordinate ring

In Hartshorne P18-P19, the proof of Thm. 3.4 shows that the ring $S(Y)_{(x_{i})}$ is contained in the integral closure of the coordinate ring $S(Y)$ (all regarded as subrings of the quotient field of ...
0
votes
1answer
55 views

Irreducible components in the spectrum of a ring

I have a question concerning page 43 of this book. In Corollary 2.7 it says that the map $\mathfrak{p}\mapsto \overline{\{\mathfrak{p}\}}$ is a bijection from Spec($A$) onto the sets of closed ...
1
vote
2answers
67 views

Help with $\sqrt{I}$, where $I=(y^2,x+yz)$ in $\mathbb{C}[x,y,z]$

$a)$ $\sqrt{I}$ where $I=(y^2,x+yz)$ in $\mathbb{C}[x,y,z]$. first it's clear $y \in \sqrt{I}$ then $x=(x+yz)-yz \in \sqrt{I}$ because $yz \in \sqrt{I}$ is it $\sqrt{I}=(x,y)$ ? $b)$ ...
2
votes
1answer
51 views

In $\Bbb Z[x,y]$ is $(x^2+1,y^2+1,-xy+1)$ prime?

This is a reality check for the following computations that I did: Consider the map $(\operatorname{id}, \iota): \Bbb A_\Bbb Z^1 \rightarrow \Bbb A_\Bbb Z^1\times \Bbb A_\Bbb Z^1$ from the definition ...
3
votes
0answers
108 views

Counterexamples for lcm-gcd identity and modular law for rings

In Miles Reid's Undergraduate Commutative Algebra, Exercise 1.3, we need to find counterexamples of lcm-gcd identity and modular law in the ring $A=k[X,Y]/(XY)$: $(I+J)(I\cap J)=IJ$; ...
5
votes
2answers
207 views

What is an example of two k-algebras that are isomorphic as rings, but not as k-algebras?

Let $k$ be a field. Let $A$ and $B$ be two $k$-algebras, ie. two rings that are also $k$-vector spaces and their multiplication is $k$-bilinear. Any isomorphism of $k$-algebras is also a ring ...
3
votes
2answers
168 views

What to study from Eisenbud's Commutative Algebra to prepare for Hartshorne's Algebraic Geometry?

I surveyed commutative algebra texts and found Eisenbud's "Commutative Algebra: With a View Toward Algebraic Geometry" to be the most accessible for me. The book outlines a first course in commutative ...
0
votes
1answer
60 views

Resolution three noncollinear points [closed]

Let $p_1$, $p_2$ and $p_3$ three noncolinear points, and let $R$ be the homogeneous coordinate ring. Show that $R$ have a resolution $$0 \to S^{ \oplus 2}( - 3) \to S^{ \oplus 3}( - 2) \to S \to R ...
0
votes
1answer
72 views

Generalisation of a result on Kahler differentials

Let $B$ be a local ring which contains a field $k$ of characteristic zero, isomorphic to its residue field $B/\mathfrak{m}$. We know that the map $\delta:\mathfrak{m}/\mathfrak{m}^2 \to \Omega^1_{B/k} ...
1
vote
0answers
61 views

Local complete intersection scheme, conormal sheaves and differentials

Let $X$ be a smooth projective variety over $\mathbb{C}$ and $Z \subset X$ be a local complete intersection subscheme in $X$. Denote by $I_Z$ the ideal sheaf of $Z$ in $X$ and $\Omega^1_X$ the sheaf ...
3
votes
0answers
57 views

Isomorphism between Ext groups in Huybrechts and Lehn's book Geometry of Moduli Spaces of Sheaves

On p.46 (or p. 43 in the 1st edition) of Huybrechts and Lehn book Geometry of Moduli Spaces of Sheaves, 2nd ed., they write: Since $K$ is $A$-flat and $I \otimes_k F_0$ is annilated by $m_A$, ...
6
votes
1answer
58 views

Hilbert Nullstellensatz and ring of continuous functions

Is there any relation between Hilbert's Nullstellensatz and the fact that the maximal ideals in $\mathcal C([0,1])$ correspond to a point in $[0,1]$ (which can be generalized to compact hausdorff ...
1
vote
1answer
44 views

What is $\overline{Y}$ in $\text{Spec}A$?

Consider a subset $Y$ of $\text{Spec}(A)$. (Here $A$ is a commutative ring.) What is the closure of $Y$ (or $\overline{Y}$)? I have been under the impression that $\overline{Y}$ is the set of ...
0
votes
1answer
33 views

an apparent contradiction regarding the local ring at a point

I have encountered an apparent contradiction: Let $Y$ be an affine variety of $\mathbb{A}^n$ and $P$ a point of $Y$. Then i have proved that $\mathcal{O}_P$ is an integral domain and it is also not an ...
2
votes
1answer
89 views

The family of schemes $\operatorname{Spec} A[x]/(x^n)$

Consider the family $S_n:=\operatorname{Spec} A[x]/(x^n)$ of schemes, $A$ denoting any ring (which in our subject always means commutative and with identity). Is there some intuitive picture for ...
5
votes
1answer
60 views

From a vector bundle to a Koszul complex

Let $k = \mathbb C$. Given a commutative $k$-algebra $A$, an $A$-module $M$ and a homomorphism of $A$-modules $s:M \to A$, we can construct the Koszul dg algebra. $$K(A,M,s) = \wedge^{-\!*}_A(M)$$ ...
2
votes
1answer
38 views

A condition for a homogeneous ideal to be prime

The following is the problem 11 of Chaper 8 Section 4 of Ideals, Varieties, and Algorithms by Cox, Little and O'Shea. A homogeneous ideal is said to be prime if it is prime as an ideal in ...
0
votes
1answer
46 views

Noether normalization and surjectivity (revisited)

Let $Y$ be an affine variety of dimension $d$ inside the affine space $\mathbb{A}^n$. Then $A(Y) = k[x_1,\dots,x_n]/I_Y=:k[\bar{x}_1,\dots,\bar{x}_n]$. By the Noether normalization theorem, there ...
0
votes
1answer
44 views

Grade of non principal Prime ideals in Noetherian UFDs

I want to prove that in any Noetherian UFD the grade of every non-principal prime ideal is at least $2$. I say in a UFD $R$ each nonzero prime ideal contains a prime element. Since the given ...
0
votes
0answers
30 views

Criterion of separability of function on a curve.

Let $K$ be finitely generated extension of an algebraically closed field $k$ of transcendence degree $1$, $\operatorname{char }k =p$. Let $C(K)$ be set of discrete valuation rings $(\mathcal ...
1
vote
1answer
56 views

Ring extension and Jacobson rings

If $R\subseteq S$ are commutative rings, is it a fact that $R$ is a Jacobson ring if and only if $S$ is so? I guess the contraction of maximal and prime ideals of $S$ may be helpful in this ...
0
votes
1answer
43 views

Nullstellensatz non-valid for non-algebraically closed fields

I want an example (with details, please) showing that Nullstellensatz may be false over non-algebraically closed fields. Thanks in advance!
0
votes
1answer
40 views

Intersection of $max(R)$ with a closed subset in $Spec(R)$

Let $R$ be a commutative ring with unity and $E$ be a nonvoid closed subset of $Spec(R)$. If $U$ is an open subset of $Spec(R)$ with $E∩Max(R)⊆U$, where $Max(R)$ is the set of maximal ideals of $R$, ...
0
votes
0answers
35 views

Localization of Coordinate Ring isomorphic to ring of local regular functions

There is a very standard fact that I am having a hard time understanding. The claim is that if we have an affine variety $Y$ then the localization of the coordinate ring by the maximal ideal ...
0
votes
1answer
64 views

Krull dimension of $k[x,y,z,t]/(xy-z^3,z^5,x^2t^3+y^2)$. [closed]

I need help to solve this exercise. If anyone can help, thanks in advance! Let $k$ a field and $R=k[x,y,z,t]/(xy-z^3,z^5,x^2t^3+y^2)$. Find the Krull dimension of $R$.
2
votes
2answers
89 views

Two nonassociated functions defining the same hypersurface?

Let $X\subseteq\mathbb P^n$ be a complex, irreducible projective variety. Let $R$ be the projective coordinate ring of $X$, i.e. $R=\mathbb C[x_0,\ldots,x_n]/I$ for some homogeneous prime ideal $I$. ...
3
votes
0answers
54 views

Topological characterisations of freeness and separability?

According to wikipedia, a spectral space is defined to be homeomorphic to the spectrum of some commutative ring. They form a category $Spec$ where we take morphisms to be those whose preimage of open ...
-1
votes
1answer
50 views

Open set in the spectrum of a ring?

Consider $Spec(K[X])$ where $K$ is an algebraically closed field. Is $0$ open in the Zariski topology on spectrum? Does the spectrum have points which are neither open nor closed?
1
vote
0answers
28 views

Looking for an example for a very particular kind of cone

I am looking for a cone $X\subseteq\mathbb A^n_{\mathbb C}$ (defined by homogeneous equations) and an irreducible homogeneous polynomial $f$ in $n$ variables such that $U := D(f)\cap X = X_f = \{ x\in ...
1
vote
1answer
57 views

Prove the strong Nullstellensatz from these two conditions

It is an exercise. Let $R=k[x_1,\dots,x_n]$ where $k$ is an algebraically closed field. Assuming that (1) $R$ is Noetherian, and (2) the maximal ideas of $R$ are precisely the ideals of ...
3
votes
1answer
94 views

$\mathcal{O}_X(D)$ is invertible implies $D$ is locally principal

With words added for context, 14.2.G of Ravil Vakil's notes asks Suppose $X$ is an integral, normal and Noetherian scheme, and $D$ a Weil divisor. Let $\mathcal{O}_X(D)$ be the quasicoherent sheaf ...
0
votes
1answer
52 views

$\mathcal{O}_{X_y,x}=\mathcal{O}_{X,x}/\mathfrak{m}_y\mathcal{O}_{X,x}$

In a proof (proof of theorem 4.3.36 in Liu's book) I need the equality $\mathcal{O}_{X_y,x}=\mathcal{O}_{X,x}/\mathfrak{m}_y\mathcal{O}_{X,x}$. The hypothesis of the theorem are the following: $Y$ ...
0
votes
0answers
83 views

Rings having the same characters but not isomorphic.

I want to show that these two rings have the same characters but they are not isomorphic for $\nu>2$ Thank you for helping. $$H=k+kt^{4\nu}(1+t)+kt^{6\nu}(1+t)+kt^{7\nu}(1+t)+k[[t]]t^{8\nu}$$ ...
3
votes
0answers
61 views

Length of a composition series of a module

If $A=\mathbb{C}[x,y]_{(x,y)}$, then what is the length of $A$-module $$A/(x^3-x^2y^2+y^{100},x^3-y^{999})\ ?$$ Any suggestion ?
3
votes
2answers
195 views

Scheme: Countable union of affine lines

Let $X$ be a countable union of $A_n$ ($n \in \Bbb{N}$), where $A_i$ are affine lines, i.e., $A_i=\operatorname{Spec}k[x]$, with $k$ algebraically closed field, such that $A_i$ meets $A_{i+1}$ in the ...