Intereting Posts

Turning number VS winding number
Calculate the last digit of $3^{347}$
Show that $ a，b, \sqrt{a}+ \sqrt{b} \in\mathbb Q \implies \sqrt{a},\sqrt{b} \in\mathbb Q $
Is 2+2=4 an identity?
Prove, formally that: $\log_2 n! \ge n$ , for all integers $n>3$.
Unique intermediate subgroup and double coset relation I
Solve $\lim_{x\to0}{\frac{x^2\cdot\sin\frac{1}{x}}{\sin x}}$
Representing IF … THEN … ELSE … in math notation
Expected Value of sum of distinct random integers
Morphic Image of a Complete Variety
Asymptotics of $\prod_{x=1}^{\lceil\frac{n}{\log_2{n} }\rceil} \left(\frac{1}{\sqrt{n}} + x\left(\frac{1}{n}-\frac{2}{n^\frac{3}{2}} \right)\right) $
Relationship Between Ring of Integers of a Number Field to P-adic integers
Difference between Modification and Indistinguishable
Finding the probability density for a Poisson process
Determinant of a 2nd rank tensor help and inverse!

I have started working through the textbook Ideals, Varieties, and Algorithms by Cox, Little, and O’Shea and I am stuck on one part of an introductory question.

The question begins by getting one to show

(1) If $f(t)$ and $g(t)$ are polynomials of degree $\le n$ in $t$, then for $m$ large enough, the monomials

$$[f(t)]^e[g(t)]^f$$

with $e+f\le m$ form a linearly dependent set in $k[t]$.

- The vanishing ideal $I_{K}(A\!\times\!B)$ is generated by $I_{K}(A) \cup I_{K}(B)$?
- Rigorous definition of “oriented line” in an Euclidean affine space
- Bijection $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ preserves collinearity $\iff \ \ f(x)=Ax+b$
- Centre of a quadric
- Affine space $A^n$ and definition of difference.
- Effect the zero vector has on the dimension of affine hulls and linear hulls

The next part of the question asks one to deduce

(2) If $C\,:\,x=f(t),\,y=g(t)$ is any polynomial parametic curve in $k^2$, then $C$ is contained in $\textbf{V}(F)$ for some $F\in k[x,y]$.

I have demonstrated (1), but I am at a loss as to how to use that fact to prove (2). It doesn’t seem like it is supposed to be a hard problem, but never the less I am having trouble wrapping my head around it. Additionally I assume that for (2) we are not interested in the trivial solution $F=0$.

*[Added for completeness]*

To do part (1), we recognize that if $\deg(f),\deg(g)\le n$, then $$\deg\left([f(t)]^e[g(t)]^f\right)\le ne+nf\le nm$$

Hence if we have more than $nm+1$ polynomials of the form $[f(t)]^e[g(t)]^f$ then we have a dependent set (since $d+1$ is the dimension of the vector space of polynomials of degree less than or equal to $d$). Now we simply count the number of polynomials in this form (this was an exercise before the problem) – it is $\binom{m+2}{2}=\frac{1}{2}(m+1)(m+2)$ from a standard application of stars and bars. Ensuring $m$ large enough (specifically $m>2n-3$) gives us the conclusion.

- Valuation rings and total order
- Solving the curve equation for logarithmic decay using two anchor points.
- Decomposition of a nonsquare affine matrix
- projective geometry hyperplane
- What is the best way to see that the dimension of the moduli space of curves of genus $g>1$ is $3g-3$?
- A principal open set in $A^n $ is an affine variety?
- Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$
- Why is Klein's quartic curve not hyperelliptic
- What are differences between affine space and vector space?
- Families of curves over number fields

To say that

$$[f(t)]^e[g(t)]^f$$

with $e+f\le m$ form a linearly dependent set in $k[t]$ is the same as saying that there are $A_{e, f} \in k$, not all zero, so that

$$\sum_{e + f \le m} A_{e, f}[f(t)]^e[g(t)]^f = 0$$

(I suppose you are saying that the set is dependent in $k[t]$, treating $k[t]$ as a $k$-vector space). Thus the curve $(f(t), g(t))$ lie in the zero set of

$$F(x, y) = \sum_{e+f \le m} A_{e, f} x^e y^f$$

- Elementary properties of closure
- Fourier cosine transform
- $\operatorname{Ext}$ and injectives, respectively projectives
- How to find $E(X|X+Y=k)$ for geometrical distribution?
- Is a curve's curvature invariant under rotation and uniform scaling?
- Computing $\int_{-\infty}^{\infty} \frac{\cos x}{x^{2} + a^{2}}dx$ using residue calculus
- How to write “there exists an infinite number of”?
- How to determine the density of the set of completely splitting primes for a finite extension?
- Convergence of a Harmonic Continued Fraction
- Reflexive normed spaces are Banach
- What is the fractional constant of integration?
- How to find the smallest number with just $0$ and $1$ which is divided by a given number?
- Curvature of Ellipse
- How find that $\left(\frac{x}{1-x^2}+\frac{3x^3}{1-x^6}+\frac{5x^5}{1-x^{10}}+\frac{7x^7}{1-x^{14}}+\cdots\right)^2=\sum_{i=0}^{\infty}a_{i}x^i$
- $f$ such that $\sum a_n$ converges $\implies \sum f(a_n)$ converges