2
votes
0answers
37 views

Regular function on a variety which is not globally rational

I am looking for a particularly simple example of a regular function $f : V \to \mathbb{A}^1_k$ for some affine variety $V \subseteq \mathbb{A}^n_k$ over a field $k$, which cannot be expressed by a ...
0
votes
1answer
48 views

Why this order is well-defined?

I'm trying to understand why this order defined in Fulton's algebraic curves book is indeed well-defined: I have two questions: Why $u\in \mathcal{O_P}(X)$ (he is implicitly assuming this fact so ...
3
votes
0answers
38 views

Resultants of two polynomials over a ring

Let $k$ be a field $f,g\in k[x,y]$ be two polynomials. The resultant $R\in k[x]$ is a polynomial function of the coefficients of $f$ and $g$, such that $f$ and $g$ gave a common zero (in an extension) ...
3
votes
0answers
99 views

Ring of rational power series

Let $A$ be any commutative ring with 1. A power series $f\in A[[t]]$ is called rational if we can find a $g\in A[t]$ such that $fg\in A[t]$. It is clear that the set of rational power series forms a ...
2
votes
1answer
98 views

Help in this notation in Fulton's Algebraic Curves book

I'm reading Fulton's Algebraic Curves book, I'm stuck in the following proposition (page 105): In fact, what I didn't understand is the following notation in the proof of this proposition: Why ...
0
votes
1answer
53 views

Proof that presheaf is a sheaf for Spec

Atiyah Macdonald define presheaf (chapter 3, exercise 23) on the base of $Spec(A)$, where $A$ is commutative ring with $1$, as follows $$ \mathfrak{F}(X_f) = A_f, $$ where $X_f$ is a basic open set ...
1
vote
0answers
29 views

Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
1
vote
2answers
47 views

Map from $\mathbb{C}^2$ to $\mathbb{A}_{\mathbb{Q}}^2$

I was doing Exercise 3.2 I on Ravi Vakil's notes on Algebraic Geometry: consider the map of sets $\phi: \mathbb{C}^2 \rightarrow \mathbb{A}_{\mathbb{Q}}^2$ defined as follows. $(z_1, z_2)$ is sent to ...
2
votes
1answer
33 views

Example of a ring which is not CM at all its prime ideals

A commutative ring $A$ is said to be CM at a maximal ideal $\mathfrak{m}$ if and only if $Depth(A_{\mathfrak{m}})=Krull(A_{\mathfrak{m}})$. What is an example of a connected commutative ring $A$ which ...
2
votes
1answer
117 views

Meaning of notation $\operatorname{ord}_Q(g)$ in “Algebraic Curves” by Fulton

I didn't understand this notation in the chapter 7 page 93 of Fulton's algebraic curves book: What the author means by $\text{ord}_Q(g)$? Maybe he would like to say $\text{ord}_Q(G) := ...
1
vote
1answer
48 views

The intuition behind the coordinate ring $\Gamma(F)$

I'm studying Fulton's algebraic curves book. He gives the following definitions: We can define the coordinate ring of a nonempty variety $V\subset \mathbb A^n$ as $\Gamma(V)=k[X_1,\ldots,X_n]/I(V)$. ...
2
votes
1answer
46 views

Maximal homogeneous ideals of a graded $k$-algebra.

Let $k$ be an algebraically closed field, and let $A$ be a finitely generated commutative $k$-algebra. Given any maximal ideal $\mathfrak{m}\subset A$, we can form the quotient to obtain a map $A\to ...
0
votes
2answers
60 views

Cohen-Macaulay and regularity

I know this is a simple question but to make sure....: $A$ is a commutative ring which is Cohen-Macaulay and for every maximal ideal $\mathfrak{m}$ in $A$ if $\dim A_{\mathfrak{m}}=\dim A$ then ...
6
votes
0answers
227 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
0
votes
1answer
21 views

Why this $F_*=F(X,Y,1)$

I'm studying Fulton's algebraic curves book. Someone could help me to prove this phrase highlighted: I didn't understand why the $F_*$ he defined is the same of the known $F_*=F(X,Y,1)$. Thanks ...
3
votes
2answers
39 views

Kahler differentials and quotient rings.

I am dealing with some nice rings that are always isomorphic to some fairly nice quotient ring of a polynomial ring. A typical example is: $$ \mathbb{C}[X,XY,XY^2] \cong ...
1
vote
3answers
86 views

The topology on $\mathbb A^2$ is not the product topology [duplicate]

I'm trying to prove the Zariski topology on $\mathbb A^2$ is not the product topology on $\mathbb A^1\times \mathbb A^1$. I'm looking for a counter-example based on the fact the closed subsets in ...
0
votes
1answer
69 views

defining the group law on elliptic curves in general

Let $k$ be an arbitrary field and $C \subset \mathbb{P}^2(k)$ an elliptic curve. In order to define the group law on $C$ we need to establish some geometric facts first, e.g. Any line intersects $C$ ...
1
vote
0answers
37 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 ...
0
votes
1answer
41 views

I need help to understand blowups of points in curves in $\mathbb A^2$

I'm trying to understand how to blowup curves which I'm finding very difficult. Example $V=V\bigg(y^2-x^2(x+1)\bigg)$ Blowup map $\pi$: $$B=\{(x,l)\in \mathbb A^2\times \mathbb P^1|x\in l\}\to ...
1
vote
3answers
112 views

Some practical questions on cohomology and the ring $\mathbf{Z}[x]/(x^2)$

So I know that the cohomology ring of $S^n$ is $\mathbf{Z}[x]/(x^2)$ with "$x$ in degree $n$"; if we ignore the grading then this ring fails to distinguish the spheres. What is actually meant by "in ...
1
vote
0answers
42 views

Why this equality?

I'm trying to understand this proof in Fulton's algebraic book: I understood why we can assume $C$ a closed subvariety of $\mathbb P^n$ such that $C\cap U_i\neq \emptyset$, $i=1,\ldots,n+1$ . My ...
0
votes
1answer
31 views

Doubt in the definition of closed subvarieties

I'm trying to understand this definition in Fulton's algebraic curves: In order to be $Y$ a variety, $\overline Y$ has to be an irreducible algebraic set of $\mathbb ...
0
votes
0answers
32 views

Taylor expansions in two variables

I need help in this proof Can I use Taylor expansion in Algebra? someone could give more detail of this Taylor expansion? Thanks in advance EDIT The main question is how the author get this "Y + ...
0
votes
0answers
19 views

$P$ is a simple point of $F$ $\Leftrightarrow O_P(F)$ is a DVR

I'm trying to find some sources with another proof of this theorem in Fulton's book: Does someone know other proofs of this theorem? maybe more algebraic? Thanks in advance
3
votes
1answer
97 views

sheafification definition?

I came across two different definitions of sheafification and I'm not sure how they are equivalent. One of them is here: About the sheafification Another one is from Tennison's sheaf theory: Given a ...
0
votes
1answer
50 views

How to prove the uniqueness

I'm trying to solve this question from Fulton's algebraic curves: I've already easily solved (a) and the existence part of (b). I'm having problems to prove the uniqueness of part (b). I need ...
-1
votes
1answer
56 views

Is there a local ring $O$ such that $\mathbb R\subsetneqq O$? and $\mathbb C\nsubseteq O$?

Is there a local ring $O$ such that $\mathbb R\subsetneqq O$? and $\mathbb C\nsubseteq O$? I need this to prove a another problem I'm proving. I hope there aren't such a ring. Thanks in advance
0
votes
0answers
51 views

Why is this theorem important in fulton's book?

In Fulton algebraic curves book, we have the following proprieties which help us to find the intersection number of a pair of function at a given point. afterwards he states this theorem: ...
2
votes
1answer
24 views

Sources about transcendence degree

I asked this question: Characterization of the transcendentals over a field I realized I need some knowledge about transcendence degree to prove some facts in the book I'm reading. I would like to ...
3
votes
2answers
64 views

Bijection between solutions of polynomials equations and spectrum of the quotient ring.

I would like to see the connection between the set of solutions of a system of polynomial equations and a spectrum of the quotient polynomial ring. Given $f_1, f_2,\cdots, f_m \in k[x_1,x_2,\cdots, ...
0
votes
1answer
43 views

The ring of fractions $K(x)$ is the field generated by $K$ and $x$.

I would like to show that the ring of fractions $K(x)$ of $K[x]$ in an extension $L$, where $K\subset L$ fields, is the field generated by $K$ and $x$ (let's call it by $\tilde{K(x)}$). I know just ...
0
votes
2answers
19 views

Rational functions are decomposed in polynomial products

I'm trying to understand why this is true: Since $K(x)$ is a field, $K(x)$ is an UFD, then $K(x)$ can be written uniquely as products of irreducible elements of $K(x)$. I didn't understand why ...
3
votes
1answer
36 views

Characterization of the transcendentals over a field

I'm studying Algebraic Function Fields and Codes book from Henning Stichtenoth and I didn't understand this remark in the first page: I couldn't solve any part of the equivalence, I think maybe ...
-1
votes
1answer
45 views

$a,b$ integral $\implies$ $a+b$ integral

I'm sure it's just silly thing. I'm reading Fulton's algebraic curves book and I don't understand this phrase of this proof: I didn't understand why according to the proposition we have $a\pm b,ab$ ...
0
votes
2answers
74 views

Dimension of $\dim_{\mathbb C}\mathbb C[X,Y]/I(Y^2-X^2,Y^2+X^2)$

I'm trying to solve the question 1.36 from Fulton's algebraic curves book: Let $I=(Y^2-X^2,Y^2+X^2)\subset\mathbb C[X,Y]$. Find $V(I)$ and $\dim_{\mathbb C}\mathbb C[X,Y]/I$. Obviously ...
1
vote
1answer
65 views

Decomposition of an algebraic variety into irreducible components

I'm studying the Fulton's algebraic curves book and I have the following doubts in the end of the page 9: I didn't understand why the following equations hold: $$I\left(\bigcup_i ...
1
vote
1answer
63 views

Asterisk Notation

I am trying to read through the Cech Cohomology section in these notes: http://pub.math.leidenuniv.nl/~edixhovensj/teaching/2011-2012/AAG/lecture_14.pdf I would be really grateful if someone could ...
2
votes
1answer
42 views

Kahler forms of a smooth affine algebra vanish eventually?

If $k$ is a Noetherian ring, then do the Kahler forms of a smooth affine $k$-algebra of dimension $d$ vanish above $d$? I mean is: $\Omega^{d+1}_{A|k}\cong 0$?
1
vote
0answers
42 views

Orientability in algebraic setting

I have the following (it can be very silly) question. Suppose I have a commutative algebra $A$ over a field $k$ of $char(k)=0$ which defines a $n$-dimensional smooth variety $X=Spec(A)$. What ...
2
votes
0answers
32 views

Hochschild cohomology of skew polynomial rings

Definition The skew polynomial algebra over $\mathbb{C}$ is defined as $\mathbb{C}\langle x,y\rangle/(xy-yx+x)$ or alternatively as $\mathbb{C}[x,y,\sigma]$, where $\sigma$ is the automorphism on ...
1
vote
1answer
58 views

Star in Serre duality

Why is there a dual bundle in Serre duality? Let $\mathcal E$ be a vector bundle over complex manifold $X$, without any metric anywhere, then one has a pairing $$(\Omega^{0,q} \otimes \mathcal E) ...
4
votes
1answer
100 views

Find a closed subset of an algebraic group, closed under products, which does not contain $e$.

The accepted answer for this question proves the following statement: If $S$ is a closed subset of an algebraic group $G$ which contains $e$ and is closed under taking products in $G$, then $S$ is ...
3
votes
1answer
49 views

Kernels of power surjective maps

Suppose $k$ is an algebraically closed field, and $A$ and $B$ are finitely generated, commutative, graded $k$-algebras. Suppose $\varphi:A\to B$ is a map of $k$-algebras. Notice if $B$ is a domain, ...
6
votes
2answers
214 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 ...
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 ...
2
votes
2answers
59 views

Smoothness and field of fractions

If $k$ is an integral domain and $A$ is a Noetherian finitely presented $k$-algebra for which $A \otimes_k Q(k)$ is a smooth $Q(k)$ algebra, then can it be deduced that $A$ was initially smooth over ...
1
vote
0answers
53 views

Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
1
vote
2answers
96 views

Soft sheaves adapted to $f_!$

I'm reading Gelfand-Manin, Homological Algebra. I understand that the class of soft sheaves is sufficiently large, because every injective sheaf is soft. Now to see that this class is adapted to ...
2
votes
1answer
55 views

cotangent space

Let $K$ be a field and $L$ be its field extension, $K\subset L.$ Let $V \subset L^n$ and let $\mathcal{I}(V)\subset K[x_{1},...,x_{n}]$ be its vanishing ideal. Let ...