Skip to main content
MathOverflow

Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two simple random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two simple random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two simple random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.
added 7 characters in body
Source Link
evgeny
evgeny
  • 2k
  • 14
  • 31

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two simple random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two simple random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.
Source Link
evgeny
evgeny
  • 2k
  • 14
  • 31

Application of toric varieties for problems that do not mention them

I wonder whether there are problems whose statement do not mention toric varieties (nor simple polytopes, vanishing sets of binomials, etc.), but whose proof nicely and essentially uses them?

To give an idea, two random examples -- not for toric varieties, but for other concepts:

  • a one-line computation of $H^*(K/T)$, the cohomology of flag variety, using equivariant cohomology, in an answer MSO:21670 by Allen Knutson;
  • the hard Lefschetz theorem, that for a Kähler $X$, the map is $\omega^{n-i}: H^i(X) \to H^{2n-i}(X)$ is an isomorphism; the now standard proof by Chern uses representation theory of $sl_2$.