I'm a little uncertain about the definitions for

Chern roots

Chern characters

From perusing several discussions, I gather that if one correlates the nomenclature with that of symmetric polynomials/functions and their relationships to characteristic polynomials of a generic square matrix $R$ of rank $n$

$$det[\lambda I - R] = (-1)^n (r_1 \cdot r_2 \cdots r_n)\prod_{k=1}^n (1-\frac{\lambda}{r_k})$$

$$ = (-1)^n e_n(r_1,..,r_n) [ 1 - e_1(1/r_1,..,1/r_n)\lambda + e_2(1/r_1,..) \lambda^2 - ... + e_n(1/r_1,..,1/r_n) \lambda^n]$$

$$= (-1)^n e_n(r_1,..,r_n) E(-\lambda)$$

$$ = (-1)^n e_n(r_1,..,r_n) \exp[\ln[\prod_{k=1}^n (1-\frac{\lambda}{r_k})]]$$

$$= (-1)^n e_n(r_1,..,r_n) \exp[-\sum_{j \geq 1}(\frac{1}{r_1^j}+\frac{1}{r_2^j}+ ... +\frac{1}{r_k^j}) \frac{\lambda^j}{j}],$$

$$ = (-1)^n e_n(r_1,..,r_n) \exp[\sum_{j \geq 1} -p_j\frac{\lambda^j}{j}]$$

$$ = (-1)^n e_n(r_1,..,r_n) \exp[-\sum_{j \geq 1} trace(R^{-j})\frac{\lambda^j}{j}],$$

then

A) **Chern roots** $r_k$ correspond to the zeros of the characteristic polynomial, the eigenvalues $r_k$ of $ R$;

B) **Chern classes** $c_k$ correspond to the elementary symmetric polynomials $e_k$ that are the coefficients of the characteristic polynomials in terms of the reciprocals of the Chern roots;

$$c_k = e_k(1/r_1,..,1/r_n),$$

for example,

$$c_1 = e_1(1/r_1,...,1/r_n) = 1/r_1+1/r_2+ ... + 1/r_n,$$

the trace of $R^{-1}$, and

$$c_n = e_n(1/r_1,..,1/r_n) =1 / (r_1 \cdot r_2 \cdot ... r_n),$$

the determinant of $R^{-1}$,

with the total Chern class polynomial equal to $E(-\lambda)$ and the total Chern class, to $E(-1)$;

C) **Chern characters** $ch_j$ corresponds to $j!$ times the traces of the powers of $R^{-j}$, i.e., the power sum symmetric polynomials $p_j$ of the reciprocals of the zeros/eigenvalues of $R$; that is

$$j! \cdot ch_j(1/r_1,..,1/r_n)= p_j(1/r_1,..,1/r_n) = \frac{1}{r_1^j}+\frac{1}{r_2^j}+..+\frac{1}{r_n^j}$$

with $ch_0 =$ the dimension of the vector space under consideration.

**Question**: What is a standard reference defining the Chern classes, characters, and roots through which I can check my understanding and, if necessary, correct any errors and use as a reference in notes on the topic?

Using the Newton/Waring/Girard identites, or the cycle index polynomials for the symmetric groups (OEIS A036039), the elementary symmetric polynomials, or Chern classes, can be expressed in terms of the power sum polynomials, or Chern characters. Conversely, using the Faber polynomials (A263916), the power sum polynomials, or Chern characters, can be obtained from the Chern classes, or elementary symmetric polynomials. For example,

$$3!e_3(a_1,..,a_n) = 2p_3(a_1,..,a_n) -3p_2(a_1,..,a_n)p_1(a_1,..,a_n) + p_1^3(a_1,..,a_n)$$

and

$$p_3(a_1,..,a_n)= 3 e_3(a_1,..,a_n) - 3 e_1(a_1,..,a_n)e_2(a_1,..,a_n) + e_1^3(a_1,..,a_n).$$

In response to those close votes, this MO-Q by Joe Silverman and attendant comments illustrate the need to at least an introduction of Faber polynomials into a discussion of these topics to fill in a gap of knowledge even among experts in related fields of study (e.g., number theory and elliptic curves). See also Understanding a quip from Gian-Carlo Rota

Some motivation: Zanelli asserts that the following examples involve topological invariants called Chern characteristic classes and Chern-Simons forms

- Sum of exterior angles of a polygon
- Residue theorem in complex analysis
- Winding number of a map
- Poincaré-Hopff theorem (“one cannot comb a sphere”)
- Atiyah-Singer index theorem
- Witten index
- Dirac’s monopole quantization
- Aharonov-Bohm effect
- Gauss’ law
- Bohr-Sommerfeld quantization
- Soliton/Instanton topologically conserved charges

Update 3/30/2021:

I don't have copies of the books mentioned by Debray. However, Tu, in Appendix B. Invariant Polynomials of "Differential Geometry: Connections, Curvature, and Characteristic Classes," denoting by $X$ a square matrix, states, "This appendix contains results on invariant polynomials needed in the sections on characteristic classes. We discuss first the distinction between polynomials and polynomial functions. Then we show that a polynomial identity with integer coefficients that holds over the reals holds over any commutative ring with 1. This is followed by the theorem that over the field of real or complex numbers, the ring of invariant polynomials is generated by the coefficients of the characteristic polynomial of -X. Finally, we prove Newton’s identity relating the elementary symmetric polynomials to the power sums. As a corollary, the ring of invariant polynomials over $R$ or $C$ can also be generated by the trace polynomials." This presentation of the universality under any commutative ring (with identity) is very appealing to me along with the underlying combinatorics of the yoga of symmetric functions. (The phrase "Chern root" is not used in this textbook. I believe "characteristic polynomial" was coined by Weyl.)

20more comments