Constructible Functions on Artin Stacks |
| |
Authors: | Joyce Dominic |
| |
Institution: | The Mathematical Institute 24–29 St. Giles', Oxford OX1 3LB, United Kingdom joyce{at}maths.ox.ac.uk |
| |
Abstract: | Let be an algebraically closed field, let X be a -variety,and let X() be the set of closed points in X. A constructibleset C in X() is a finite union of subsets Y() for subvarietiesY in X. A constructible function f : X() has f(X()) finiteand f–1(c) constructible for all c 0. Write CF(X) forthe vector space of such f. Let : X Y and : Y Z be morphismsof -varieties. MacPherson defined a linear pushforward CF(): CF(X) CF(Y) by integration with respect tothe topological Euler characteristic. It is functorial, thatis, CF( ) = CF() CF(). This was extended to of characteristiczero by Kennedy. This paper generalizes these results to -schemes and Artin -stackswith affine stabilizer groups. We define the notions of Eulercharacteristic for constructible sets in -schemes and -stacks,and pushforwards and pullbacks of constructible functions, withfunctorial behaviour. Pushforwards and pullbacks commute inCartesian squares. We also define pseudomorphisms, a generalizationof morphisms well suited to constructible functions problems. |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|