While studying some algebraic geometry and more specifically secant varieties of Segre embeddings, I encountered a problem. I understand that every variety has a defining ideal such that the variety is the zero set of the ideal. However, I think I may not understand the notion of defining a variety set-theoretically.
As an example, consider the $x$-axis in $\mathbb{R}^2$. I understand it is the zero-set of the polynomial $y=0$, and that it's defining ideal is $\langle y \rangle $.
$\textbf{Question 1: }$ Am I correct in saying that the $x$-axis is generated set-theoretically by $\{y\}$ and ideal-theoretically by $\langle y \rangle $?
If this is the case, the following confuses me. I have seen papers (for example https://arxiv.org/abs/1104.1776) claiming that they defined a certain variety (in this case Sec$_4(\mathbb{P}^3\times \mathbb{P}^3\times \mathbb{P}^3$)) set-theoretically.
$\textbf{Question 2: }$ In this case, what stops me from defining the defining ideal of the variety as the ideal generated by the set of polynomials used for the set-theoretic definition?
I feel this should be possible, but then I would not understand why the above paper only works on a set-theoretic level and why in fact there is a difference.
I would greatly appreciate any help!
Schemes are locally ringed spaces, which means that in order to specify a scheme, one needs to provide a topological space and structure sheaf. Saying that one has specified a subscheme set-theoretically means that one has given the topological space, but not the structure sheaf. There are many possible choices for the structure sheaf that one could make - for your example of the $x$-axis inside $\Bbb A^2$, it may be set-theoretically specified as $V(y^n)$ for any positive integer $n$, and it's clear that each of these structures are pair-wise non-isomorphic.
As for your question 2, when you are talking about a closed subset of some scheme and attempting to give it a scheme structure, the structure you refer to is often called the "reduced-induced" structure. There are times when it makes sense to deal with this (if a property you're looking at doesn't depend on the reducedness, for instance) and there are times when it makes things behave poorly (counting multiplicity of things, for instance). A lot of interesting algebraic geometry happens when you remember this, so that's probably motivation enough to think about it.