Home Online Manual
Top
Back: RiemannRochBN
Forward: symm
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.4 chern_lib

Library:
chern.lib
Purpose:
Symbolic Computations with Chern classes, Computation of Chern classes

Author:
Oleksandr Iena, o.g.yena@gmail.com

Overview:
A toolbox for symbolic computations with Chern classes. The Aluffi's algorithms for computation of characteristic classes of algebraic varieties (Segre, Fulton, Chern-Schwartz-MacPherson classes) are implemented as well.

References:
[1] Aluffi, Paolo Computing characteristic classes of projective schemes. Journal of Symbolic Computation, 35 (2003), 3-19. [2] Iena, Oleksandr, On symbolic computations with Chern classes: remarks on the library chern.lib for Singular,
http://hdl.handle.net/10993/22395, 2015.
[3] Lascoux, Alain, Classes de Chern d'un produit tensoriel. C. R. Acad. Sci., Paris, Ser. A 286, 385-387 (1978). [4] Manivel, Laurent Chern classes of tensor products, arXiv 1012.0014, 2010.

Procedures:

D.15.4.1 symm  symmetric functions in the entries of l
D.15.4.2 symNsym  symmetric and non-symmetric parts of a polynomial f
D.15.4.3 CompleteHomog  complete homogeneous symmetric functions
D.15.4.4 segre  Segre classes in terms of Chern classes
D.15.4.5 chern  Chern classes in terms of Segre classes
D.15.4.6 chNum  the non-zero Chern numbers in degree N in the entries of c
D.15.4.7 chNumbers  the Chern numbers in degree N in the entries of c
D.15.4.8 sum_of_powers  the sum of k-th powers of the entries of l
D.15.4.9 powSumSym  the sums of powers [up to degree N] in terms of the elementary symmetric polynomials (entries of l)
D.15.4.10 chAll  Chern character in terms of the Chern classes
D.15.4.11 chAllInv  Chern classes in terms of the Chern character
D.15.4.12 chHE  the highest term of the Chern character
D.15.4.13 ChernRootsSum  the Chern roots of a direct sum
D.15.4.14 chSum  the Chern classes of a direct sum
D.15.4.15 ChernRootsDual  the Chern roots of the dual vector bundle
D.15.4.16 chDual  the Chern classes of the dual vector bundle
D.15.4.17 ChernRootsProd  the Chern roots of a tensor product of vector bundles
D.15.4.18 chProd  Chern classes of a tensor product of vector bundles
D.15.4.19 chProdE  Chern classes of a tensor product of vector bundles
D.15.4.20 chProdL  Chern classes of a tensor product of vector bundles
D.15.4.21 chProdLP  total Chern class of a tensor product of vector bundles
D.15.4.22 chProdM  Chern classes of a tensor product of vector bundles
D.15.4.23 chProdMP  total Chern class of a tensor product of vector bundles
D.15.4.24 ChernRootsHom  the Chern roots of a Hom vector bundle
D.15.4.25 chHom  Chern classes of the Hom-vector bundle
D.15.4.26 ChernRootsSymm  the Chern roots of the n-th symmetric power of a vector bundle with Chern roots from l
D.15.4.27 ChernRootsWedge  the Chern roots of the n-th exterior power of a vector bundle with Chern roots from l
D.15.4.28 chSymm  the rank and the Chern classes of the k-th symmetric power of a vector bundle of rank r with Chern classes c
D.15.4.29 chSymm2L  the rank and the Chern classes of the second symmetric power of a vector bundle of rank r with Chern classes c
D.15.4.30 chSymm2LP  the total Chern class of the second symmetric power of a vector bundle of rank r with Chern classes c
D.15.4.31 chWedge  the rank and the Chern classes of the k-th exterior power of a vector bundle of rank r with Chern classes c
D.15.4.32 chWedge2L  the rank and the Chern classes of the second exterior power of a vector bundle of rank r with Chern classes c
D.15.4.33 chWedge2LP  the total Chern class of the second exterior power of a vector bundle of rank r with Chern classes c
D.15.4.34 todd  the Todd class
D.15.4.35 toddE  the highest term of the Todd class
D.15.4.36 Bern  the second Bernoulli numbers
D.15.4.37 tdCf  the coefficients of the Todd class of a line bundle
D.15.4.38 tdTerms  the terms of the Todd class of a line bundle corresponding to the Chern root t
D.15.4.39 tdFactor  the Todd class of a line bundle corresponding to the Chern root t
D.15.4.40 cProj  the total Chern class of (the tangent bundle on) the projective space P_n
D.15.4.41 chProj  the Chern character of (the tangent bundle on) the projective space P_n
D.15.4.42 tdProj  the Todd class of (the tangent bundle on) the projective space P_n
D.15.4.43 eulerChProj  Euler characteristic of a vector bundle on the projective space P_n via Hirzebruch-Riemann-Roch theorem
D.15.4.44 chNumbersProj  the Chern numbers of the projective space P_n
D.15.4.45 classpoly  polynomial in t with coefficients from l (without constant term)
D.15.4.46 chernPoly  Chern polynomial (constant term 1)
D.15.4.47 chernCharPoly  polynomial in t corresponding to the Chern character (constant term r)
D.15.4.48 toddPoly  polynomial in t corresponding to the Todd class (constant term 1)
D.15.4.49 rHRR  the main ingredient of the right-hand side of the Hirzebruch-Riemann-Roch formula
D.15.4.50 SchurS  the Schur polynomial corresponding to partition I in terms of the Segre classes S
D.15.4.51 SchurCh  the Schur polynomial corresponding to partition I in terms of the Chern classes C
D.15.4.52 part  partitions of integers not exceeding n into m non-negative summands
D.15.4.53 dualPart  partition dual to I
D.15.4.54 PartC  the complement of a partition with respect to m
D.15.4.55 partOver  partitions over a given partition J with summands not exceeding n
D.15.4.56 partUnder  partitions under a given partition J
D.15.4.57 SegreA  Segre class of the projective subscheme defined by I
D.15.4.58 FultonA  Fulton class of the projective subscheme defined by I
D.15.4.59 CSMA  Chern-Schwartz-MacPherson class of the projective subscheme defined by I
D.15.4.60 EulerAff  Euler characteristic of the affine subvariety defined by I
D.15.4.61 EulerProj  Euler characteristic of the projective subvariety defined by I