Table of Contents
Fetching ...

Products of Chern Classes and Chern Numbers on the Permutohedral Variety

Hideya Kuwata

TL;DR

The paper addresses expressing the product of Chern classes on the permutohedral variety $X_{A_n}$ as a scalar multiple of the top Chern class, giving an explicit closed form for the coefficient $\mu_k(n)$. It develops a purely combinatorial framework based on a fundamental block decomposition, reduction formulas, and non-vanishing criteria to reduce $c_k c_{n-k}$ to $c_n$ and extract the coefficient. The main result is $c_k c_{n-k}=\mu_k(n)c_n$ with $\mu_k(n)=\sum_{j=0}^{\lfloor k/2\rfloor} (\tfrac{1}{12})^j {k-j\choose j}{n-k-j\choose j}$, and the Chern numbers are $\langle c_k c_{n-k}, [X_{A_n}]\rangle=(n+1)!\mu_k(n)$. This advances the toric-geometry and algebraic-combinatorics interplay by providing explicit, computable invariants and suggesting a path to generalized products $c_\lambda$ via the invariant subring of the Weyl group action.

Abstract

A root system $Φ$ of rank $n$ determines an $n$-dimensional smooth projective toric variety $X(Φ)$ associated with the fan of its Weyl chambers. For the root system of type $A_n$, this variety is the well-known permutohedral variety $X_{A_n}$. Using purely combinatorial methods, we obtain an explicit closed formula expressing the product of Chern classes $c_k c_{n-k}$ as a multiple of the top Chern class $c_n$ in the rational cohomology ring $H^*(X_{A_n};\mathbb{Q})$. The resulting coefficient, which depends only on $k$ and $n$, is given by a closed-form expression. As an application, we compute the Chern number $\langle c_k c_{n-k}, [X_{A_n}] \rangle$.

Products of Chern Classes and Chern Numbers on the Permutohedral Variety

TL;DR

The paper addresses expressing the product of Chern classes on the permutohedral variety as a scalar multiple of the top Chern class, giving an explicit closed form for the coefficient . It develops a purely combinatorial framework based on a fundamental block decomposition, reduction formulas, and non-vanishing criteria to reduce to and extract the coefficient. The main result is with , and the Chern numbers are . This advances the toric-geometry and algebraic-combinatorics interplay by providing explicit, computable invariants and suggesting a path to generalized products via the invariant subring of the Weyl group action.

Abstract

A root system of rank determines an -dimensional smooth projective toric variety associated with the fan of its Weyl chambers. For the root system of type , this variety is the well-known permutohedral variety . Using purely combinatorial methods, we obtain an explicit closed formula expressing the product of Chern classes as a multiple of the top Chern class in the rational cohomology ring . The resulting coefficient, which depends only on and , is given by a closed-form expression. As an application, we compute the Chern number .
Paper Structure (20 sections, 19 theorems, 115 equations, 1 figure)

This paper contains 20 sections, 19 theorems, 115 equations, 1 figure.

Key Result

Theorem 1.1

Let $k$ be an integer satisfying $0\leq k\leq n$. The product of Chern classes $c_k c_{n-k}$ is given by the relation where the coefficient $\mu_k(n)$ is

Figures (1)

  • Figure 1: The fan of the permutohedral variety $X_{A_2}$. Each ray is labeled by the corresponding non-empty proper subset of $\{1,2,3\}$.

Theorems & Definitions (43)

  • Theorem 1.1: \ref{['thm:MainTheorem']}
  • Corollary 1: \ref{['cor:Chern-number']}
  • Example 1
  • Remark 1
  • Proposition 1: Fundamental Block Decomposition
  • Lemma 1: Vanishing Conditions for Exponent Vectors
  • proof : Proof of \ref{['lem:vanishing-conditions']}
  • proof : Proof of \ref{['prop:fundamental-decomposition']}
  • Lemma 2: Reduction Formula 1
  • proof
  • ...and 33 more