Let $\widetilde{\text{Sp}}(2n)$ be the metaplectic covering of $\text{Sp}(2n)$ over a local field of characteristic zero. The core of the theory of endoscopy for $\widetilde{\text{Sp}}(2n)$ is the geometric transfer of orbital integrals to its elliptic endoscopic groups. The dual of this map, called the spectral transfer, is expected to yield endoscopic character relations which should reveal the internal structure of $L$-packets. As a first step, we characterize the image of the collective geometric transfer in the non-archimedean case, then reduce the spectral transfer to the case of cuspidal test functions by using a simple stable trace formula. In the archimedean case, we establish the character relations and determine the spectral transfer factors by rephrasing the works by Adams and Renard.

An important result of Arkhipov–Bezrukavnikov–Ginzburg relates constructible sheaves on the affine Grassmannian to coherent sheaves on the dual Springer resolution. In this paper, we prove a positive-characteristic analogue of this statement, using the framework of ‘mixed modular sheaves’ recently developed by the first author and Riche. As an application, we deduce a relationship between parity sheaves on the affine Grassmannian and Bezrukavnikov’s ‘exotic t-structure’ on the Springer resolution.

In recent works [Gonçalves and Mansfield, Stud. Appl. Math., 128 (2012), 1–29; Mansfield, A Practical Guide to the Invariant Calculus (Cambridge University Press, Cambridge, 2010)], the authors considered various Lagrangians, which are invariant under a Lie group action, in the case where the independent variables are themselves invariant. Using a moving frame for the Lie group action, they showed how to obtain the invariantized Euler–Lagrange equations and the space of conservation laws in terms of vectors of invariants and the Adjoint representation of a moving frame. In this paper, we show how these calculations extend to the general case where the independent variables may participate in the action. We take for our main expository example the standard linear action of SL(2) on the two independent variables. This choice is motivated by applications to variational fluid problems which conserve potential vorticity. We also give the results for Lagrangians invariant under the standard linear action of SL(3) on the three independent variables.

Let $G=\mathbb{H}^{n}\rtimes K$ be the Heisenberg motion group, where $K=U(n)$ acts on the Heisenberg group $\mathbb{H}^{n}=\mathbb{C}^{n}\times \mathbb{R}$ by automorphisms. We formulate and prove two analogues of Hardy’s theorem on $G$ . An analogue of Miyachi’s theorem for $G$ is also formulated and proved. This allows us to generalize and prove an analogue of the Cowling–Price uncertainty principle and prove the sharpness of the constant $1/4$ in all the settings.

A class of abelian topological groups was previously defined to be a variety of topological groups with coproducts if it is closed under forming subgroups, quotients, products and coproducts in the category of all abelian topological groups and continuous homomorphisms. This extended research on varieties of topological groups initiated by the second author. The key to describing varieties of topological groups generated by various classes was proving that all topological groups in the variety are a quotient of a subgroup of a product of groups in the generating class. This paper analyses generating varieties of topological groups with coproducts. It focuses on the interplay between forming products and coproducts. It is proved that the variety of topological groups with coproducts generated by all discrete groups contains topological groups which cannot be expressed as a quotient of a subgroup of a product of a coproduct of discrete groups. It is proved that the variety of topological groups with coproducts generated by any infinite-dimensional Hilbert space contains all infinite-dimensional Hilbert spaces, answering an open question. This contrasts with the result that a variety of topological groups generated by a topological group does not contain any infinite-dimensional Hilbert space of greater cardinality.

We study induced representations of the form $\unicode[STIX]{x1D6FF}_{1}\times \unicode[STIX]{x1D6FF}_{2}\rtimes \unicode[STIX]{x1D70E}$ , where $\unicode[STIX]{x1D6FF}_{1},\unicode[STIX]{x1D6FF}_{2}$ are irreducible essentially square-integrable representations of general linear group and $\unicode[STIX]{x1D70E}$ is a strongly positive discrete series of classical $p$ -adic group, which naturally appear in the nonunitary dual. For $\unicode[STIX]{x1D6FF}_{1}=\unicode[STIX]{x1D6FF}([\unicode[STIX]{x1D708}^{a}\unicode[STIX]{x1D70C}_{1},\unicode[STIX]{x1D708}^{b}\unicode[STIX]{x1D70C}_{1}])$ and $\unicode[STIX]{x1D6FF}_{2}=\unicode[STIX]{x1D6FF}([\unicode[STIX]{x1D708}^{c}\unicode[STIX]{x1D70C}_{2},\unicode[STIX]{x1D708}^{d}\unicode[STIX]{x1D70C}_{2}])$ with $a\geqslant 1$ and $c\geqslant 1$ , we determine composition factors of such induced representation.

The classical theorem of Vizing states that every graph of maximum degree $d$ admits an edge coloring with at most $d+1$ colors. Furthermore, as it was earlier shown by Kőnig, $d$ colors suffice if the graph is bipartite. We investigate the existence of measurable edge colorings for graphings (or measure-preserving graphs). A graphing is an analytic generalization of a bounded-degree graph that appears in various areas, such as sparse graph limits, orbit equivalence and measurable group theory. We show that every graphing of maximum degree $d$ admits a measurable edge coloring with $d+O(\sqrt{d})$ colors; furthermore, if the graphing has no odd cycles, then $d+1$ colors suffice. In fact, if a certain conjecture about finite graphs that strengthens Vizing’s theorem is true, then our method will show that $d+1$ colors are always enough.

Let $G\subseteq \widetilde{G}$ be two quasisplit connected reductive groups over a local field of characteristic zero and having the same derived group. Although the existence of L-packets is still conjectural in general, it is believed that the L-packets of $G$ should be the restriction of those of $\widetilde{G}$ . Motivated by this, we hope to construct the L-packets of $\widetilde{G}$ from those of $G$ . The primary example in our mind is when $G=\text{Sp}(2n)$ , whose L-packets have been determined by Arthur [The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, vol. 61 (American Mathematical Society, Providence, RI, 2013)], and $\widetilde{G}=\text{GSp}(2n)$ . As a first step, we need to consider some well-known conjectural properties of L-packets. In this paper, we show how they can be deduced from the conjectural endoscopy theory. As an application, we obtain some structural information about L-packets of $\widetilde{G}$ from those of  $G$ .

We generalize Brooks’ theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d\geqslant 3$ which contains no $(d+1)$ -cliques, then $G$ admits a ${\it\mu}$ -measurable $d$ -coloring with respect to any Borel probability measure ${\it\mu}$ on $X$ , and a Baire measurable $d$ -coloring with respect to any compatible Polish topology on $X$ . The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$ -colorings of Cayley graphs of degree $d$ , except in two exceptional cases.

We give various realizations of the adjoint orbits of a semi-simple Lie group and describe their symplectic geometry. We then use these realizations to identify a family of Lagrangian submanifolds of the orbits.

A locally compact group G is compact if and only if its convolution algebras contain non-zero (weakly) completely continuous elements. Dually, G is discrete if its function algebras contain non-zero completely continuous elements. We prove non-commutative versions of these results in the case of locally compact quantum groups.

We give a means of estimating the equivariant compression of a group G in terms of properties of open subgroups G i ⊂ G whose direct limit is G. Quantifying a result by Gal, we also study the behaviour of the equivariant compression under amalgamated free products G 1∗H G 2 where H is of finite index in both G 1 and G 2.

We consider the category of smooth $W(k)[\text{GL}_{n}(F)]$ -modules, where $F$ is a $p$ -adic field and $k$ is an algebraically closed field of characteristic $\ell$ different from  $p$ . We describe a factorization of this category into blocks, and show that the center of each such block is a reduced, $\ell$ -torsion free, finite type $W(k)$ -algebra. Moreover, the $k$ -points of the center of a such a block are in bijection with the possible ‘supercuspidal supports’ of the smooth $k[\text{GL}_{n}(F)]$ -modules that lie in the block. Finally, we describe a large explicit subalgebra of the center of each block and give a description of the action of this algebra on the simple objects of the block, in terms of the description of the classical ‘characteristic zero’ Bernstein center of Bernstein and Deligne [Le ‘centre’ de Bernstein, in Representations des groups redutifs sur un corps local, Traveaux en cours (ed. P. Deligne) (Hermann, Paris), 1–32].

Volume-preserving algorithms (VPAs) for the charged particles dynamics is preferred because of their long-term accuracy and conservativeness for phase space volume. Lie algebra and the Baker-Campbell-Hausdorff (BCH) formula can be used as a fundamental theoretical tool to construct VPAs. Using the Lie algebra structure of vector fields, we split the volume-preserving vector field for charged particle dynamics into three volume-preserving parts (sub-algebras), and find the corresponding Lie subgroups. Proper combinations of these subgroups generate volume preserving, second order approximations of the original solution group, and thus second order VPAs. The developed VPAs also show their significant effectiveness in conserving phase-space volume exactly and bounding energy error over long-term simulations.

In this paper, we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

Let $G$ be a real reductive group and $Z=G/H$ a unimodular homogeneous $G$ space. The space $Z$ is said to satisfy VAI (vanishing at infinity) if all smooth vectors in the Banach representations $L^{p}(Z)$ vanish at infinity, $1\leqslant p<\infty$ . For $H$ connected we show that $Z$ satisfies VAI if and only if it is of reductive type.

To a Lie groupoid over a compact base $M$ , the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present article we consider functorial aspects of these construction principles. The first observation is that this procedure is functorial (for morphisms fixing $M$ ). Moreover, it gives rise to an adjunction between the category of Lie groupoids over $M$ and the category of Lie groups acting on $M$ . In the last section we then show how to promote this adjunction to almost an equivalence of categories.

For a variety with a Whitney stratification by affine spaces, we study categories of motivic sheaves which are constant mixed Tate along the strata. We are particularly interested in those cases where the category of mixed Tate motives over a point is equivalent to the category of finite-dimensional bigraded vector spaces. Examples of such situations include rational motives on varieties over finite fields and modules over the spectrum representing the semisimplification of de Rham cohomology for varieties over the complex numbers. We show that our categories of stratified mixed Tate motives have a natural weight structure. Under an additional assumption of pointwise purity for objects of the heart, tilting gives an equivalence between stratified mixed Tate sheaves and the bounded homotopy category of the heart of the weight structure. Specializing to the case of flag varieties, we find natural geometric interpretations of graded category ${\mathcal{O}}$ and Koszul duality.

We prove that all convolution products of pairs of continuous orbital measures in rank one, compact symmetric spaces are absolutely continuous and determine which convolution products are in $L^{2}$ (meaning that their density function is in  $L^{2}$ ). We characterise the pairs whose convolution product is either absolutely continuous or in $L^{2}$ in terms of the dimensions of the corresponding double cosets. In particular, we prove that if $G/K$ is not $\text{SU}(2)/\text{SO}(2)$ , then the convolution of any two regular orbital measures is in $L^{2}$ , while in $\text{SU}(2)/\text{SO}(2)$ there are no pairs of orbital measures whose convolution product is in  $L^{2}$ .