Reducible means and reducible inequalities

It is well-known that if a real valued function acting on a convex set satisfies the $n$-variable Jensen inequality, for some natural number $n\geq 2$, then, for all $k\in\{1,\dots, n\}$, it fulfills the $k$-variable Jensen inequality as well. In other words, the arithmetic mean and the Jensen inequality (as a convexity property) are both reducible. Motivated by this phenomenon, we investigate this property concerning more general means and convexity notions. We introduce a wide class of means which generalize the well-known means for arbitrary linear spaces and enjoy a so-called reducibility property. Finally, we give a sufficient condition for the reducibility of the $(M,N)$-convexity property of functions and also for H\"older--Minkowski type inequalities

A multiplicative analogue of complex symplectic implosion

We introduce a multiplicative version of complex-symplectic implosion in the case of SL(n, \C). The universal multiplicative implosion for SL(n, \C) is an affine variety and can be viewed as a nonreductive geometric invariant theory quotient. It carries a torus action. and reductions by this action give the Steinberg fibres of SL(n, \C). We also explain how the real symplectic group-valued universal implosion introduced by Hurtubise, Jeffrey and Sjamaar may be identified inside this space.Comment: To appear in European Journal of Mathematic

Partial maps with domain and range: extending Schein's representation

The semigroup of all partial maps on a set under the operation of composition admits a number of operations relating to the domain and range of a partial map. Of particular interest are the operations R and L returning the identity on the domain of a map and on the range of a map respectively. Schein [25] gave an axiomatic characterisation of the semigroups with R and L representable as systems of partial maps; the class is a finitely axiomatisable quasivariety closely related to ample semigroups (which were introduced—as type A semigroups—by Fountain, [7]). We provide an account of Schein's result (which until now appears only in Russian) and extend Schein's method to include the binary operations of intersection, of greatest common range restriction, and some unary operations relating to the set of fixed points of a partial map. Unlike the case of semigroups with R and L, a number of the possibilities can be equationally axiomatised

Matching of orbital integrals (transfer) and Roche Hecke algebra isomorphisms

Let $F$ be a non-Archimedan local field, $G$ a connected reductive group defined and split over $F$, and $T$ a maximal $F$-split torus in $G$. Let $\chi_0$ be a depth zero character of the maximal compact subgroup $\mathcal{T}$ of $T(F)$. It gives by inflation a character $\rho$ of an Iwahori subgroup $\mathcal{I}$ of $G(F)$ containing $\mathcal{T}$. From Roche, $\chi_0$ defines a split endoscopic group $G'$ of $G$, and there is an injective morphism of ${\Bbb C}$-algebras $\mathcal{H}(G(F),\rho) \rightarrow \mathcal{H}(G'(F),1_{\mathcal{I}'})$ where $\mathcal{H}(G(F),\rho)$ is the Hecke algebra of compactly supported $\rho^{-1}$-spherical functions on $G(F)$ and $\mathcal{I}'$ is an Iwahori subgroup of $G'(F)$. This morphism restricts to an injective morphism $\zeta: \mathcal{Z}(G(F),\rho)\rightarrow \mathcal{Z}(G'(F),1_{\mathcal{I}'})$ between the centers of the Hecke algebras. We prove here that a certain linear combination of morphisms analogous to $\zeta$ realizes the transfer (matching of strongly $G$-regular semisimple orbital integrals). If ${\rm char}(F)=p>0$, our result is unconditional only if $p$ is large enough.Comment: 82 page