On the optimality of the Arf invariant formula for graph polynomials

We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.     

A combinatorial formula for Macdonald polynomials

In this paper we use the combinatorics of alcove walks to give uniform combinatorial formulas for Macdonald polynomials for all Lie types. These formulas resemble the formulas of Haglund, Haiman and Loehr for Macdonald polynomials of type GLn. At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent and Littelmann).     

Schubert polynomials of types A--D

Schubert polynomials of type B, C, and D have been described first by S. Billey and M. Haiman [BH] using a combinatorial method. In this paper we give a unified algebraic treatment of Schubert polynomials of types A–D in the style of the Lascoux–Schützenberger theory in type A, i.e. Schubert polynomials are generated by the application of sequences of divided difference operators to “top polynomials”. The use of the creation operators for Q-Schur and P-Schur functions allows us to give: (1) simple and natural forms of the “top polynomials”, (2) formulas for the easy computation with all divided differences, (3) recursive structures, and (4) simplified derivations of basic properties. Received: 23 July 1998     

Asymptotic cone of semisimple orbits for symmetric pairs

Let G be a reductive algebraic group over C and denote its Lie algebra by g. Let Oh be a closed G-orbit through a semisimple element h∈g. By a result of Borho and Kraft (1979) [4], it is known that the asymptotic cone of the orbit Oh is the closure of a Richardson nilpotent orbit corresponding to a parabolic subgroup whose Levi component is the centralizer ZG(h) in G. In this paper, we prove an analogue on a semisimple orbit for a symmetric pair.More precisely, let θ be an involution of G, and K=Gθ a fixed point subgroup of θ. Then we have a Cartan decomposition g=k+s of the Lie algebra g=Lie(G) which is the eigenspace decomposition of θ on g. Let {x,h,y} be a normal sl₂ triple, where x,y∈s are nilpotent, and h∈k semisimple. In addition, we assume , where denotes the complex conjugation which commutes with θ. Then is a semisimple element in s, and we can consider a semisimple orbit Ad(K)a in s, which is closed. Our main result asserts that the asymptotic cone of Ad(K)a in s coincides with , if x is even nilpotent.     

Topological flatness of local models for ramified unitary groups. I. The odd dimensional case

Local models are certain schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. When the group defining the Shimura variety ramifies at p, the local models (and hence the Shimura models) as originally defined can fail to be flat, and it becomes desirable to modify their definition so as to obtain a flat scheme. In the case of unitary similitude groups whose localizations at Qp are ramified, quasi-split GUn, Pappas and Rapoport have added new conditions, the so-called wedge and spin conditions, to the moduli problem defining the original local models and conjectured that their new local models are flat. We prove a preliminary form of their conjecture, namely that their new models are topologically flat, in the case n is odd.     

Reduced class groups grafting relative invariants

Let (X,T) be a regular stable conical action of an algebraic torus on an affine normal conical variety X defined over an algebraically closed field of characteristic zero. We define a certain subgroup of Cl(X//T) and characterize its finiteness in terms of a finite T-equivariant Galois descent of X. Consequently we show that the action (X,T) is equidimensional if and only if there exists a T-equivariant finite Galois covering such that is cofree. Moreover the order of is controlled by a certain subgroup of Cl(X). The present result extends thoroughly the equivalence of equidimensionality and cofreeness of (X,T) for a factorial X. The purpose of this paper is to evaluate orders of divisor classes associated to modules of relative invariants for a Krull domain with a group action. This is useful in studying on equidimensional torus actions as above. The generalization of R.P. Stanley?s criterion for freeness of modules of relative invariants plays an important role in showing key assertions.     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

Higher integrality conditions, volumes and Ehrhart polynomials

A polytope is integral if all of its vertices are lattice points. The constant term of the Ehrhart polynomial of an integral polytope is known to be 1. In previous work, we showed that the coefficients of the Ehrhart polynomial of a lattice-face polytope are volumes of projections of the polytope. We generalize both results by introducing a notion of k-integral polytopes, where 0-integral is equivalent to integral. We show that the Ehrhart polynomial of a k-integral polytope P has the properties that the coefficients in degrees less than or equal to k are determined by a projection of P, and the coefficients in higher degrees are determined by slices of P. A key step of the proof is that under certain generality conditions, the volume of a polytope is equal to the sum of volumes of slices of the polytope.     

The recursive nature of cominuscule Schubert calculus

The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes whose product is non-zero naturally correspond to the integer points in the feasibility polytope, which is defined by inequalities coming from non-vanishing products of Schubert classes on smaller cominuscule flag varieties. While the Grassmannian is cominuscule, our necessary and sufficient inequalities are different than the classical Horn inequalities.     

A remark on the law of the logarithm for weighted sums of random variables with multidimensional indices

In this work, a sharp upper bound on the law of the logarithm for the weighted sums of random variables with multidimensional indices is obtained. The main result improves the result in [Li, Rao and Wang, 1995. On strong law of large numbers and the law of the logarithm for weighted sums of independent random variables with multidimensional indices. J. Multivariate Anal. 52, 181–198], partly.     

Multiplication of a Schubert polynomial by a Schur polynomial

Schur polynomials are a special case of Schubert polynomials. In this paper, we give an algorithm to compute the product of a Schubert polynomial with a Schur polynomial on the basis of Schubert polynomials. This is a special case of the general problem of the multiplication of two Schubert polynomials, where the corresponding algorithm is still missing. The main tools for the given algorithm is a factorization property of a special class of Schubert polynomials and the transition formula for Schubert polynomials.     

The fundamental group scheme of a non-reduced scheme

We extend the definition of fundamental group scheme to non-reduced schemes over any connected Dedekind scheme. Then we compare the fundamental group scheme of an affine scheme with that of its reduced part.     

Deformations of equivelar Stanley–Reisner abelian surfaces

The versal deformation of Stanley–Reisner schemes associated to equivelar triangulations of the torus is studied. The deformation space is defined by binomials and there is a toric smoothing component which I describe in terms of cones and lattices. Connections to moduli of abelian surfaces are considered. The case of the Möbius torus is especially nice and leads to a projective Calabi–Yau 3-fold with Euler number 6.     

Failure of the Hasse principle for Enriques surfaces

We construct an Enriques surface X over Q with empty étale-Brauer set (and hence no rational points) for which there is no algebraic Brauer–Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on X, then we obtain a K3 surface that has a transcendental obstruction to the Hasse principle.     

Cone-decompositions of the unitary groups

The Lusternik-Schnirelmann category of a space is a homotopy invariant. Cone-decompositions are used for giving upper-bound for Lusternik-Schnirelmann categories of topological spaces. Singhof has determined the Lusternik-Schnirelmann categories of the unitary groups. In this paper I give two cone-decompositions of each unitary group for alternative proofs of Singhof's result. One cone-decomposition is easy. The other is closely related to Miller's filtration and Yokota's cellular decomposition of the unitary groups.     

Restriction theorems for Higgs principal bundles

We prove analogues of Grauert–Mülich and Flenner?s restriction theorems for semistable principal Higgs bundle over any smooth complex projective variety.     

On the Kantorovich–Rubinstein theorem

The Kantorovich–Rubinstein theorem provides a formula for the Wasserstein metric W₁ on the space of regular probability Borel measures on a compact metric space. Dudley and de Acosta generalized the theorem to measures on separable metric spaces. Kellerer, using his own work on Monge–Kantorovich duality, obtained a rapid proof for Radon measures on an arbitrary metric space. The object of the present expository article is to give an account of Kellerer’s generalization of the Kantorovich–Rubinstein theorem, together with related matters. It transpires that a more elementary version of Monge–Kantorovich duality than that used by Kellerer suffices for present purposes. The fundamental relations that provide two characterizations of the Wasserstein metric are obtained directly, without the need for prior demonstration of density or duality theorems. The latter are proved, however, and used in the characterization of optimal measures and functions for the Kantorovich–Rubinstein linear programme. A formula of Dobrushin is proved.     

Orthogonal polynomials on the disc

We consider the space P_n of orthogonal polynomials of degree n on the unit disc for a general radially symmetric weight function. We show that there exists a single orthogonal polynomial whose rotations through the angles , j=0,1,…,n forms an orthonormal basis for P_n, and compute all such polynomials explicitly. This generalises the orthonormal basis of Logan and Shepp for the Legendre polynomials on the disc.Furthermore, such a polynomial reflects the rotational symmetry of the weight in a deeper way: its rotations under other subgroups of the group of rotations forms a tight frame for P_n, with a continuous version also holding. Along the way, we show that other frame decompositions with natural symmetries exist, and consider a number of structural properties of P_n including the form of the monomial orthogonal polynomials, and whether or not P_n contains ridge functions.