No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

The systematic investigation of contour integrals satisfying the system of partial differential equations associated with Appell's hypergeometric function$F$_{1}leads to new solutions of that system. Fundamental sets of solutions are given for the vicinity of all singular points of the system of partial differential equations. The transformation theory of the solutions reveals connections between the system under consideration and other hypergeometric systems of partial differential equations. Presently it is discovered that any hypergeometric system of partial differential equations of the second order (with two independent variables) which has only three linearly independent solutions can be transformed into the system of$F$_{1}or into a particular or limiting case of this system. There are also other hypergeometric systems (with four linearly independent solutions) the integration of which can be reduced to the integration of the system of$F$_{1}.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

We give a necessary and sufficient condition on the cost function so that the map solution of Monge’s optimal transportation problem is continuous for arbitrary smooth positive data. This condition was first introduced by Ma, Trudinger and Wang [24], [30] for a priori estimates of the corresponding Monge–Ampère equation. It is expressed by a socalled$cost-sectional curvature$being non-negative. We show that when the cost function is the squared distance of a Riemannian manifold, the cost-sectional curvature yields the sectional curvature. As a consequence, if the manifold does not have non-negative sectional curvature everywhere, the optimal transport map$cannot be continuous$for arbitrary smooth positive data. The non-negativity of the cost-sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost-convex function (the proper generalization of a convex function) and any of its supporting functions. When the cost-sectional curvature is uniformly positive, we obtain that optimal maps are continuous or Hölder continuous under quite weak assumptions on the data, compared to what is needed in the Euclidean case. This case includes the quadratic cost on the round sphere.

Let$X$be a rearrangement-invariant Banach function space on$R$^{$n$}and let$V$^{1}$X$be the Sobolev space of functions whose gradient belongs to$X$. We give necessary and sufficient conditions on$X$under which$V$^{1}$X$is continuously embedded into BMO or into$L$_{∞}. In particular, we show that$L$_{$n, ∞$}is the largest rearrangement-invariant space$X$such that$V$^{1}$X$is continuously embedded into BMO and, similarly,$L$_{$n$, 1}is the largest rearrangement-invariant space$X$such that$V$^{1}$X$is continuously embedded into$L$_{∞}. We further show that$V$^{1}$X$is a subset of VMO if and only if every function from$X$has an absolutely continuous norm in$L$_{$n, ∞$}. A compact inclusion of$V$^{1}$X$into$C$^{0}is characterized as well.

Using the geometric Satake correspondence, the Mirković–Vilonen cycles in the affine Grasssmannian give bases for representations of a semisimple group G. We prove that these bases are “perfect”, i.e. compatible with the action of the Chevelley generators of the positive half of the Lie algebra g. We compute this action in terms of intersection multiplicities in the affine Grassmannian. We prove that these bases stitch together to a basis for the algebra C[N] of regular functions on the unipotent subgroup. We compute the multiplication in this MV basis using intersection multiplicities in the Beilinson–Drinfeld Grassmannian, thus proving a conjecture of Anderson. In the third part of the paper, we define a map from C[N] to a convolution algebra of measures on the dual of the Cartan subalgebra of g. We characterize this map using the universal centralizer space of G. We prove that the measure associated with an MV basis element equals the Duistermaat–Heckman measure of the corresponding MV cycle. This leads to a proof of a conjecture of Muthiah. Finally, we use the map to measures to compare the MV basis and Lusztig’s dual semicanonical basis. We formulate conjectures relating the algebraic invariants of preprojective algebra modules (which underlie the dual semicanonical basis) and geometric invariants of MV cycles. In the appendix, we use these ideas to prove that the MV basis and the dual semicanonical basis do not coincide in SL_6 .

No abstract uploaded!