1
vote
0answers
36 views

Depth and kernel of multiplication map

If $A$ is a commutative $k$-algebra, $\mu: A\otimes_k A\rightarrow A$ is its multplication map and $I$ is the kernel of that map (viewed as an $A\otimes_k A$-module map) then what is the relationship ...
1
vote
0answers
44 views

Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
3
votes
1answer
67 views

Principal ideal domain is universally catenary …

... actually, even more general statement is true: Theorem. Every regular ring is universally catenary. (see for example Algebraic Geometry by Qing Liu, Corollary 2.16, Chapter 8) Though, the ...
2
votes
2answers
91 views

Space of global sections for a smooth projective curve of genus $g$

Let $X$ be a smooth projective curve of genus $g$, $T_{X}$ its tangent bundle and $H^{0}(X,T_{X})$ the space of global sections for $X$. What is $\dim H^{0}(X,T_{X})$ and why?
4
votes
1answer
113 views

algebraic geometry exercise: infinite subset is dense

A hypersurface $C \subset \mathbb{A}^2$ we call a plane curve. Show that any infinite subset of an irreducible plane curve $C \subset \mathbb{A}^2$ is dense in $C.$ Note. We call hypersurface the ...
1
vote
0answers
154 views

Hilbert (polynomial) dimension and dimension of a support of a module

$\newcommand{\Supp}{\mathrm{Supp}}$ $\newcommand{\Ann}{\mathrm{Ann}}$ Let $X$ be an affine algebraic variety (over a field $K$, can assume it is algebraicaly closed), $M$ a finitely generated ...
7
votes
1answer
184 views

Which definition of dimension came first?

In my algebraic geometry class, the dimension of an affine variety $X=V(I)$ was defined as the supremum of the length of chains of prime ideals in the coordinate ring $R=k[x_1,\ldots,x_n]/\sqrt{I}$, ...
4
votes
1answer
143 views

If the special fiber of a flat morphism is reduced, then any other fiber is reduced?

Suppose $R=\mathbb{C}[x_1,\ldots, x_n]$ is a polynomial ring with $I$ being an ideal of $R$. Let $I'$ be an ideal of $R[t]$. If $R[t]/I'$ is flat as a $\mathbb{C}[t]$-module and over $0$, ...
9
votes
3answers
773 views

Krull dimension of $\mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 x_4-x_3^2,x_1x_4-x_2 x_3\right>$

Krull dimension of a ring $R$ is the supremum of the number of strict inclusions in a chain of prime ideals. Question 1. Considering $R = \mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 ...
3
votes
1answer
142 views

Hilbert function on ideal generated by linear forms.

This is a slight extension of a remark a read a few days ago. Let $K$ be a field, and let $A=K[X_0,\dots,X_N]$ be a polynomial ring, which is graded in the standard way (the elements of degree $n$ ...