This problem has Harthshorne Height 1


Say Y = Z(I) and H = Z(f) then recall Y \cap H = Z(I,f). As Y is a variety, its associated ideal is prime. Use commutative algebra results to show  \dim Y = ht P_i + \dim B/P_i where B is the affine coordinate ring of Y and P_i are certain minimal primes.

Commutative Algebra

  • \sqrt I = \cap P where the intersections ranges over all primes P \supset I
  • Krull: If f is a nonzero divisor then the minimal primes containing (f) have height 1.
  •  P \subset k[x_1,...,x_n] = A a prime then ht P + \dim A/P = \dim A

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.