Compact Kähler quotients of algebraic varieties and Geometric Invariant Theory

Given an action of a complex reductive Lie group G on a normal variety X, we show that every analytically Zariski-open subset of X admitting an analytic Hilbert quotient with projective quotient space is given as the set of semistable points with respect to some G-linearised Weil divisor on X. Applying this result to Hamiltonian actions on algebraic varieties, we prove that semistability with respect to a momentum map is equivalent to GIT-semistability in the sense of Mumford and Hausen. It follows that the number of compact momentum map quotients of a given algebraic Hamiltonian G-variety is finite. As further corollary we derive a projectivity criterion for varieties with compact Kähler quotient.     

Bipolarized threefolds with hyperelliptic curve sections

A classification of smooth complex projective threefoldsX polarized by two very ample line bundlesL andM is given, under the assumption that two general elements of |L| and |M| intersect transversally along a smooth hyperelliptic curve.

---

Sunto Si fornisce una classificazione delle terne (X,L,M), doveX è una varietà algebrica proiettiva complessa liscia di dimensione 3 edL,M sono due fibrati lineari molto ampi suX, tali che l’intersezione di due elementi generici di |L| ed |M| sia una curva iperellittica.

     

Kähler structure on moduli spaces of principal bundles

Let M be a moduli space of stable principal G-bundles over a compact Kähler manifold (X,ωX), where G is a reductive linear algebraic group defined over C. Using the existence and uniqueness of a Hermite-Einstein connection on any stable G-bundle P over X, we have a Hermitian form on the harmonic representatives of H¹(X,ad(P)), where ad(P) is the adjoint vector bundle. Using this Hermitian form a Hermitian structure on M is constructed; we call this the Petersson-Weil form. The Petersson-Weil form is a Kähler form, a fact which is a consequence of a fiber integral formula that we prove here. The curvature of the Petersson-Weil Kähler form is computed. Some further properties of this Kähler form are investigated.     

Jacquet modules of locally analytic representations of p-adic reductive groups I. Construction and first properties

Let G be a reductive group defined over a p-adic local field L, let P be a parabolic subgroup of G with Levi quotient M, and write G:=G(L), P:=P(L), and M:=M(L). In this paper we construct a functor JP from the category of essentially admissible locally analytic G-representations to the category of essentially admissible locally analytic M-representations, which we call the Jacquet module functor attached to P, and which coincides with the usual Jacquet module functor of [Casselman W., Introduction to the theory of admissible representations of p-adic reductive groups, unpublished notes distributed by P. Sally, draft dated May 7, 1993. Available electronically at http://www.math.ubc.ca/people/faculty/cass/research.html. [5]] on the subcategory of admissible smooth G-representations. We establish several important properties of this functor.     

On holomorphic principal bundles over a compact Riemann surface admitting a flat connection

Let G be a connected reductive linear algebraic group over , and X a compact connected Riemann surface. Let be a Levi factor of some parabolic subgroup of G, with its maximal abelian quotient. We prove that a holomorphic G-bundle over X admits a flat connection if and only if for every such L and every reduction of the structure group of to L, the -bundle obtained by extending the structure group of is topologically trivial. For , this is a well-known result of A. Weil. Received: 1 December 2000 / Revised version: 2 April 2001 / Published online: 24 September 2001     

Poisson structures on affine spaces and flag varieties. I. Matrix affine Poisson space

The standard Poisson structure on the rectangular matrix variety Mm,n(C) is investigated, via the orbits of symplectic leaves under the action of the maximal torus T⊂GLm+n(C). These orbits, finite in number, are shown to be smooth irreducible locally closed subvarieties of Mm,n(C), isomorphic to intersections of dual Schubert cells in the full flag variety of GLm+n(C). Three different presentations of the T-orbits of symplectic leaves in Mm,n(C) are obtained: (a) as pullbacks of Bruhat cells in GLm+n(C) under a particular map; (b) in terms of rank conditions on rectangular submatrices; and (c) as matrix products of sets similar to double Bruhat cells in GLm(C) and GLn(C). In presentation (a), the orbits of leaves are parametrized by a subset of the Weyl group Sm+n, such that inclusions of Zariski closures correspond to the Bruhat order. Presentation (b) allows explicit calculations of orbits. From presentation (c) it follows that, up to Zariski closure, each orbit of leaves is a matrix product of one orbit with a fixed column-echelon form and one with a fixed row-echelon form. Finally, decompositions of generalized double Bruhat cells in Mm,n(C) (with respect to pairs of partial permutation matrices) into unions of T-orbits of symplectic leaves are obtained.     

Reynolds operator on functors

Let be an affine R-monoid scheme. We prove that the category of dual functors (over the category of commutative R-algebras) of G-modules is equivalent to the category of dual functors of A^∗-modules. We prove that G is invariant exact if and only if A^∗=R×B^∗ as R-algebras and the first projection A^∗→R is the unit of A. If M is a dual functor of G-modules and w_G?(1,0)∈R×B^∗=A^∗, we prove that M^G=w_G⋅M and M=w_G⋅M⊕(1−w_G)⋅M; hence, the Reynolds operator can be defined on M.     

On Polar Foliations and the Fundamental Group

In this work we investigate the relation between the fundamental group of a complete Riemannian manifold M and the quotient between the Weyl group and reflection group of a polar action on M, as well as the relation between the fundamental group of M and the quotient between the lifted Weyl group and lifted reflection group. As applications we give alternative proofs of two results. The first one, due to the author and T?ben, implies that a polar action does not admit exceptional orbits, if M is simply connected. The second result, due to Lytchak, implies that the orbits are closed and embedded if M is simply connected. All results are proved in the more general case of polar foliations.     

Chen-Ruan cohomology of some moduli spaces of parabolic vector bundles

Let (X,D) be an ?-pointed compact Riemann surface of genus at least two. For each point x∈D, fix parabolic weights such that . Fix a holomorphic line bundle ξ over X of degree one. Let PMξ denote the moduli space of stable parabolic vector bundles, of rank two and determinant ξ, with parabolic structure over D and parabolic weights . The group of order two line bundles over X acts on PMξ by the rule E_∗⊗L?E_∗⊗L. We compute the Chen-Ruan cohomology ring of the corresponding orbifold.     

Discriminant loci of ample and spanned line bundles

Let (X,L,V) be a triplet where X is an irreducible smooth complex projective variety, L is an ample and spanned line bundle on X and V⊆H⁰(X,L) spans L. The discriminant locus D(X,V)⊂|V| is the algebraic subset of singular elements of |V|. We study the components of D(X,V) in connection with the jumping sets of (X,V), generalizing the classical biduality theorem. We also deal with the degree of the discriminant (codegree of (X,L,V)) giving some bounds on it and classifying curves and surfaces of codegree 2 and 3. We exclude the possibility for the codegree to be 1. Significant examples are provided.     

Artin's L-functions and one-dimensional characters

Let K/Q be a finite Galois extension with the Galois group G, let χ₁,…,χr be the irreducible non-trivial characters of G, and let A be the C-algebra generated by the Artin L-functions L(s,χ₁),…,L(s,χr). Let B be the subalgebra of A generated by the L-functions corresponding to induced characters of non-trivial one-dimensional characters of subgroups of G. We prove: (1) B is of Krull dimension r and has the same quotient field as A; (2) B=A iff G is M-group; (3) the integral closure of B in A equals A iff G is quasi-M-group.     

Toeplitz operators and Hamiltonian torus actions

This paper is devoted to semi-classical aspects of symplectic reduction. Consider a compact prequantizable Kähler manifold M with a Hamiltonian torus action. In the seminal paper [V. Guillemin, S. Sternberg, Geometric quantization and multiplicities of group representations, Invent. Math. 67 (3) (1982) 515-538], Guillemin and Sternberg introduced an isomorphism between the invariant part of the quantum space associated to M and the quantum space associated to the symplectic quotient of M, provided this quotient is non-singular. We prove that this isomorphism is a Fourier integral operator and that the Toeplitz operators of M descend to Toeplitz operators of the reduced phase space. We also extend these results to the case where the symplectic quotient is an orbifold and estimate the spectral density of a reduced Toeplitz operator, a result related to the Riemann-Roch-Kawasaki theorem.     

Maximal ideals of disjointness preserving operators

Let L and M be vector lattices with M Dedekind complete, and let Lr(L,M) be the vector lattice of all regular operators from L into M. We introduce the notion of maximal order ideals of disjointness preserving operators in Lr(L,M) (briefly, maximal δ-ideals of Lr(L,M)) as a generalization of the classical concept of orthomorphisms and we investigate some aspects of this ‘new’ structure. In this regard, various standard facts on orthomorphisms are extended to maximal δ-ideals. For instance, surprisingly enough, we prove that any maximal δ-ideal of Lr(L,M) is a vector lattice copy of M, when L, in addition, has an order unit. Moreover, we pay a special attention to maximal δ-ideals on continuous function spaces. As an application, we furnish a characterization of lattice bimorphisms on such spaces in terms of weigthed composition operators.     

Some remarks on Hilbertian fields (An appendix to the paper “Galois averages” by R. Massy)

The paper gives proofs of some results just claimed in [R. Massy, Galois averages, J. Number Theory 113 (2005) 244-275]. For instance, it is proved that for a finite non-trivial separable extension M/F, M≠F, of Hilbertian fields finitely generated over their prime field, the quotient group M^×/F^×, for the corresponding multiplicative groups of non-zero elements, cannot be a torsion group of finite exponent.     

Degenerations for indecomposable modules in almost cyclic coherent Auslander-Reiten components

We give a necessary and sufficient condition for the existence of degeneration M≤_degN for arbitrary modules M, N of the same dimension from the additive category of a generalized standard almost cyclic coherent component of the Auslander-Reiten quiver of finite-dimensional algebra.     

Induced Hamiltonian maps on the symplectic quotient

Let (M,ω) be a symplectic manifold and G a compact Lie group that acts on M. Assume that the action of G on M is Hamiltonian. Then a G-equivariant Hamiltonian map on M induces a map on the symplectic quotient of M by G. Consider an autonomous Hamiltonian H with compact support on M, with no non-constant closed trajectory in time less than 1 and time-1 map fH. If the map fH descends to the symplectic quotient to a map Φ(fH) and the symplectic manifold M is exact and Ham(M,ω) has no short loops, we prove that the Hofer norm of the induced map Φ(fH) is bounded above by the Hofer norm of fH.     

On the sectional invariants of polarized manifolds

Let (X,L) be a polarized manifold of dimension n. In this paper, for any integer i with 0≤i≤n we introduce the notion of the ith sectional invariant of (X,L). We define the ith sectional Euler number e_i(X,L), the ith sectional Betti number b_i(X,L), and the ith sectional Hodge number of type (j,i−j) of (X,L) and we will study some properties of these.     

On a separation of orbits in the module variety for string special biserial algebras

Given a pair M,M^′ of finite-dimensional modules over a string special biserial algebra Λ, a fully verifiable criterion, expressed in terms of a finite set of simple linear algebra invariants, deciding if M and M^′ lie in the same orbit in module variety, equivalently, if M and M^′ are isomorphic, is formulated and proved.