Search Results

This is a slight reformulation of exercise II.5.9.(c) in Hartshorne's "Algebraic Geometry" which I don't understand. Let $K$ be a field and $S=K[X_0,\ldots,X_n]$ a graded ring. Set $X=Proj(S)$ and …

My problem is perhaps a general lack of understanding but it occurred in a special case of a theorem in Eisenbud's and Harris' "The geometry of schemes" (Theorem VI-29). Let $K$ be a field and $n\in\m …

Let $R$ be the ring $R[X,Y]/(X^2+Y^2−1)$. The space of $\mathbb{R}$-rational points of the affine scheme associated to $R$ is the topological circle $S^1$. An algebraic vector bundle over $R$ is an $ …

The Stanley-Reisner ring of an abstract simplicial complex $\Delta$ on the vertex set $\{1,...,n\}$ is the $k$-algebra $$ k[X_1,...,X_n]/I_\Delta $$ where $I_\Delta$ is the ideal generated by the $X_{ …

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 vecto …

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 (Edi …

How can I compute the Galois group of the polynomial $fg\in K[x]$ assuming that I know the Galois groups of $f\in K[x]$ and $g\in K[x]$? Let's suppose for simplicity that the field $K$ is perfect.