math.AG
Moduli of Admissible Pairs for Arbitrary Dimension, II Functors and Moduli. Admissible pairs (( widetilde S, widetilde L), widetilde E) consisting of an N dimensional projective scheme widetilde S of certain class with a special ample invertible sheaf widetilde L and a locally free cal O widetilde S sheaf widetilde E are considered. An admissible pair can be produced in the procedure of a transformation (which is called a resolution) of a torsion free coherent sheaf E on a nonsingular N dimensional projective algebraic variety S to a locally free sheaf widetilde E on some projective scheme widetilde S . Notions of stability and semistability of admissible pairs and a moduli functor for semistable admissible pairs are introduced. Also the relation of the stability and semistability for admissible pairs to the classical stability and semistability for coherent sheaves under the resolution is examined. Morphisms between the moduli functor of admissible semistable pairs and the Gieseker Maruyama moduli functor (of semistable coherent torsion free sheaves) with the same Hilbert polynomial on a nonsingular N dimensional projective algebraic variety are constructed. Examining these morphisms it is shown that the moduli scheme for semistable admissible pairs (( widetilde S, widetilde L), widetilde E) is isomorphic to the Gieseker Maruyama moduli scheme for coherent sheaves. The considerations involve all the existing components of these moduli functors and of their corresponding moduli schemes. Bibliography 25 items.