If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...

A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ ...

I had a homework problem (II.6.5 in Hartshorne) to compute the (Weil divisor) class group of $X=\operatorname{Spec} k[x,y,z,w]/(xy-zw)$. I have accomplished this; however, I used some results I don't ...

In my life I saw lots of ways of constructing rings: polynomial rings, quotient rings, localizations, endomorphism rings, rings of fractions, integral closure of a ring, center of a ring, etc... These ...

In this topic the OP considers the following surface: $X=\mathcal{Z}(z^3-y(y^2-x^2)(x-1))$. (The field it's not explicitely mentioned, but for geometric reasons this can be algebraically closed.) He ...

One can define $\mathrm{Ext}^n(M,N)$ (where $M,N$ are $R$-modules) in two ways, either by taking an injective resolution of $N$ and applying $\mathrm{Hom}(M,-)$or by taking a projective resolution and ...

The situation is this:
I have a 5-dimensional irreducible projective variety $Y$ embedded in $\mathbb P^{13}$. This variety is singular, the singularities being a disjoint union of two curves. I have ...

I was wondering if I am in the right track here. Let $A := k[x,y]/(x^2 - y^3)$, the cuspidal curve. Obviously this isn't etale or smooth over $k$ so its cotangent complex is not contractible. Now, I ...

Let $k$ be an arbitrary field. Suppose that $C/k$ is an integral curve which is birationally equivalent to a projective line. Is it true that $C$ is geometrically reduced and irreducible?
This is of ...

By using similar arguments to the ones from my answer to this question, I can prove that the homogeneous coordinate ring of the rational quartic curve in $\mathbb P^3$, that is, $$R = K[x_1, x_2, x_3, ...

Many local rings have geometric interpretations. Cohen–Macaulay rings correspond to equi-dimensionality, and regular local rings correspond to non-singularity, but what is a geometric interpretation ...

I suspect that $\#\mathbb{Z}[X]/(f,g)=|R(f,g)|$ holds for any two non-constant polynomials $f,g\in\mathbb{Z}[X]$, where $R(f,g)$ is the resultant of $f$ and $g$. I am however unable to prove it. I'd ...

I've been struggling to understand the explicit details of the completion of an elliptic curve about the origin, and am desperately confused by the explicit details of the resulting group operation. ...

I've heard a lot about $\mathrm{Spec}(\mathbf{Q})$ (see for example Minhyong Kim's answer here), but $\mathbf{Q}$ is a field. So isn't $\mathrm{Spec}(\mathbf{Q})$ trivial? What's the point of studying ...

I am currently reading the paper On the ubiquity of Gorenstein rings by Hyman Bass.
I found difficulty to understand the proof of Proposition (7.2).
Under the the following setting:
$A$: commutative ...

Suppose that $\mathcal A$ and $\mathcal B$ are two abelian categories such that $\mathcal A$ is a full subcategory of $\mathcal B$. If $i: \mathcal A\rightarrow\mathcal B$ is the inclusion functor, ...

We say a homomorphism of Noetherian rings $\varphi:A\rightarrow B$ is regular if $\varphi$ is flat and for every prime ideal $p$ of $A$, the fiber ring $B\otimes_Ak(p)$ is geometrically regular over ...