Skip to main content
deleted 124 characters in body
Source Link
BrianT
  • 1.2k
  • 8
  • 12

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ? Can we express this condition in terms of the zero sets of $I$ and $J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ? Can we express this condition in terms of the zero sets of $I$ and $J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ? Can we express this condition in terms of the zero sets of $I$ and $J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?
added 73 characters in body
Source Link
BrianT
  • 1.2k
  • 8
  • 12

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ? Can we express this condition in terms of the zero sets of $I$ and $J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ? Can we express this condition in terms of the zero sets of $I$ and $J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?
Source Link
BrianT
  • 1.2k
  • 8
  • 12

When does a subspace of the affine space form a regular sequence in a ring of regular functions?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.

The quotient $\mathbb{C}[u] / J$ is naturally isomorphic to the ring of regular functions on the zero set $V(J)$ of $J$.

  • Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{C}[u]$, when can we say that the $n-k$ generators of $I$ form a regular sequence in $\mathbb{C}[u] / J$ ?
  • Suppose that the generators of $I$ form indeed a regular sequence in $\mathbb{C}[u] / J$. Is it still true in the ring $\mathbb{C}[u,u^{-1}] / J\mathbb{C}[u,u^{-1}]$ (considered as a $\mathbb{C}[u]$-module) ?