The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

Definition 10.135.6. Let $R$ be a ring. Given integers $n \geq c \geq 0$ and $f_1, \ldots , f_ c \in R[x_1, \ldots , x_ n]$ we say

\[ S = R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ c) \]

is a standard smooth algebra over $R$ if the polynomial

\[ g = \det \left( \begin{matrix} \partial f_1/\partial x_1 & \partial f_2/\partial x_1 & \ldots & \partial f_ c/\partial x_1 \\ \partial f_1/\partial x_2 & \partial f_2/\partial x_2 & \ldots & \partial f_ c/\partial x_2 \\ \ldots & \ldots & \ldots & \ldots \\ \partial f_1/\partial x_ c & \partial f_2/\partial x_ c & \ldots & \partial f_ c/\partial x_ c \end{matrix} \right) \]

maps to an invertible element in $S$.

Comments (5)

Comment #235 by on

As stated, this definition is not clear. In the presentation of , there are variables and polynomials, so one should end up with a matrix. Is the definition assuming that and then truncating the matrix , or is it saying that all minors are invertible (where )? Or is there some convention on what the determinant of a non-square matrix means? Either way, it should be clarified.

Comment #240 by on

Hi, I agree that this is a bit vague, but I think it is not as bad as you make it out to be. Maybe a better formulation would be:

Let be a ring. Given integers and we say is a standard smooth algebra over if the polynomial maps to an invertible element in .

What do you think?

Comment #1845 by Peter Johnson on

This definition as given applies to a presentation, not to R -> S itself. Shouldn't it have "for some presentation .." or "there exists .."? This makes more sense but would of course have minor effects elsewhere.

Would it not be useful later to also define locally standard smooth?

Comment #1883 by on

Hello! I've decided to leave this as is for now. If more people chime in, then I'll reconsider.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00T6. Beware of the difference between the letter 'O' and the digit '0'.