# Tagged Questions

15 views

### Characterization of ideals generated by homogeneous polynomials in terms of $f^{(d)}$ in Gathmann's notes.

On pg. 37 of Gathmann's Algebraic Geometry notes, the following is mentioned: For every $f\in k[x_0,x_1,\dots,x_n]$ be an ideal. The following are equivalent: I can be generated by ...
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 ...
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 ...
116 views

37 views

### Generic points as coefficients of polynomial kernels?

I am reading the paper Dual-to-Kernel Learning with Ideals. Here is part of it: The definition/motivation of genericity in Wikipedia are A generic point of the topological space $X$ is a point ...
103 views

### Irreducibility of $x^2+y^2+z^2-xyz-2$

Are there some general criteria for deciding the irreducibility of polynomials? For example the one in the title?
52 views

### The ring of homogeneous polynomials

I think I found an error in my textbook, but I am not completely sure. The book is Hulek, Elementary algebraic geometry, pag. 73. There is a theorem showing that $U_i$ and the affine space ...
32 views

### Proof of Projective Nullstellensatz

In the proof of the Nullstellensatz for projective varieties, I can't understand the following remark (which comes from Hulek, Elementary algebraic geometry, pag. 72) " ... if $f=\sum f_i$ is a ...
82 views

### Showing that if $f,g \in k[x,y]$ are irreducible and not associates then $(f,g) \cap k[x] \ne 0$

There is a part of example 10.25.3 at http://stacks.math.columbia.edu/tag/00EX that I'm having trouble understanding. Here, $k$ is a field and $f,g \in k[x,y]$ are irreducible and are not associates. ...
128 views

### Number of common zeros of two quadratic polynomials in ${\Bbb C}[t,x]$

The following theorem is in Artin's Algebra(2nd edition): Theorem 11.9.10 Two nonzero polynomials $f(t,x)$ and $g(t,x)$ in two variables have only finitely many common zeros in ${\Bbb C}^2$, ...
284 views

### Is evaluation homomorphism surjective?

Let $A^n$ be an affine space over $\mathbb{C}$ and let $\mathbb{C}[X_1,\cdots,X_n]$ be the polynomial ring of $n$ variables. Then $A^n\to (\mathbb{C}[X_1,\cdots,X_n])^*$ by evaluation homomorphism, ...
110 views

113 views

### Zeros of multivariate polynomials

Consider the ring of polynomials $k[x,y]$ where $k$ is an infinite field. (1) If $f$ and $g$ are two non-constant polynomials with no common irreducible factors then $V(f,g)$ is finite. (2) If $V$ ...
264 views

### Homogeneous polynomial in $k[X,Y,Z]$ can factor into linear polynomials?

My question is quite simple. Let $k$ be a closed algebraic field and $f\in k[X,Y]$. We know that $f$ can factor into linear polynomials. I would like to know if there is some generalization of ...
85 views

### Can this quick way of showing that $K[X,Y]/(Y-X^2)\cong K[X]$ be turned into a valid argument?

I've been trying to show that $$K[X,Y]/(Y-X^2)\cong K[X]$$ where $K$ is a field, $K[X]$ and $K[X,Y]$ are the obvious polynomial rings over the indeterminates $X$ and $Y$ and $(Y-X^2)$ is the ...
381 views

### Polynomial map is surjective if it is injective

A friend of mine told me the following fact: If $k$ is any algebraically closed field, then a polynomial map $f\colon k^n\to k^n$ of affine space $k^n$ is surjective if it is injective. The ...
33 views

### Triple of powers is subvariety?

Consider the set $B=\{(t^2,t^3,t^4)\mid t\in \mathbb{C}\}$. Is it a subvariety of $\mathbb{C}^3$? That is, is it the set of common zeros of some (finite number of) polynomials? I'm thinking about ...
79 views

### Example of a curve of genus $4$

I'd like to put my hands on some polynomial defining a curve of genus $4$, living in the plane or in the 3D space. Do you know about any? Is there any procedure to build one? The best would be one ...
79 views

### $f$ is irreducible iff $V(f)$ is irreducible

I would like to know if the following statement is true: $f$ is irreducible iff $V(f)$ is irreducible. My tools I'm trying to use to prove this are Study's Lemma and basic algebra. If $f$ is ...
48 views

37 views

### How do we calculate the Euler numbers of this

Suppose we are given two cubics X(a) and Y(a) in $CP^2$; $X(a)={ (4-a^3) xyz-a^3(x^3+y^3+z^3) =0 }$ $Y(a)={ a(x^3+y^3+z^3)-(2+a^3)xyz =0 }$ where a is a parameter in C satisfying $a^3 \not=1$ and ...
69 views

### Dimension of local ring as vector space over $\mathbb C$

I want to know what the dimension of each of the local ring $\mathbb C[x,y]_p/(y^2-x^7,y^5-x^3)$ is, where $p\neq (0,0)$ over $\mathbb C$-vector space. I know the dimension of it in the origin point, ...
76 views

### Inconsistent system of simultaneous equations

Let $F$ be an algebraically closed field, and $f_1,\ldots,f_n$ polynomials in $k$ variables over $F$. The system of simultaneous equations \mathcal{F}: ...
41 views

### Geometrical interpretation of $P(x) + Q(y) = 0$ when P,Q are polynomials of degree 2?

Special cases are circles ( $(x-x_0)^2 + (y-y_0)^2 = R$ ) and ellipses. Is there a geometric interpretation in the general case $( ax^2 + bx + c ) + ( dy^2 + ey + f ) = 0$?
56 views

### Vanishing of a multivariable polynomial on a lattice

Let be $p(x_1,...,x_n) \in K[x_1,...,x_n]$ be a polynomial of degree $d$. Suppose there is a $n$-dimensional hyperbox $B = I \times \stackrel{n}{...} \times I = I^n$. Divide $I$ to $d$ segements by ...
103 views

### homogenization of irreducible polynomial

This is the last detail in an exercise that I'm working on in hartshorne and I can't seem to figure it out. If $f$ is an irreducible polynomial in $k[x_{0},\cdots,x_{n}]$ (where $x_{i}$ does not ...
57 views

### Can the method of resolvents be used to give a proof of Bezout's Theorem?

Can the method of resolvents be used to give a proof of Bezout's Theorem? It seems to me like it should but I am unable to finish the proof. Here is what I have so far. Take two homogeneous ...
289 views

### Is an ideal generated by multilinear polynomials of different degrees always radical?

Definition. A polynomial $f\in\Bbbk[x_0,\ldots,x_n]$ is called multilinear if $\deg_{x_i}(f)=1$ for each $0\le i \le n$. In other words, $f$ is linear in each variable. If $f$ is homogeneous of ...