Related papers: On Arthur packets containing a fixed tempered repr…

Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…

For a connected reductive group $G$ over ${\mathbb R}$, we study cohomological $A$-parameters, which are Arthur parameters with the infinitesimal character of a finite-dimensional representation of $G({\mathbb C})$. We prove a structure…

We prove the recent conjectures of Adams-Vogan and D. Prasad on the behavior of the local Langlands correspondence with respect to taking the contragredient of a representation. The proof holds for tempered representations of quasi-split…

Let $F$ be a $p$-adic field, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$, with $n \geq 0$. We prove that a smooth irreducible representation of good parity…

Let $G$ be a real or $p$-adic reductive group. We consider the tempered dual of $G$, and its connected components. For real groups, Wassermann proved in 1987, by noncommutative-geometric methods, that each connected component has a simple…

In this paper we study the absolute convergence of the spectral side of the Arthur trace formula. We reduce the problem of the absolute convergence to a problem about local components of automorphic representations. The latter problem can…

In this paper we establish the endoscopic classification of tempered representations of quasi-split unitary groups over local fields, and the endoscopic classification of the discrete automorphic spectrum of quasi-split unitary groups over…

We begin this paper by reviewing the Langlands correspondence for unipotent representations of the exceptional group of type $G_2$ over a $p$-adic field $F$ and present it in an explicit form. Then we compute all ABV-packets, as defined in…

We simulate the tapping of a bed of hard disks in a rectangular box by using a pseudo dynamic algorithm. In these simulations, arches are unambiguously defined and we can analyze their properties as a function of the tapping amplitud. We…

The past decade has seen a significant interest in learning tractable probabilistic representations. Arithmetic circuits (ACs) were among the first proposed tractable representations, with some subsequent representations being instances of…

We study the functoriality of the local theta correspondence for classical $p$-adic groups. This is realized via the adaptation of the Adams conjecture to ABV-packets. We provide evidence for the conjecture, especially in the case of…

We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that…

Let G be a reductive group over a non-archimedean local field and let S(G) be its Schwartz algebra. We compare Ext-groups of tempered G-representations in several module categories: smooth G-representations, algebraic S(G)-modules,…

We classify the unitary representations with integral infinitesimal character in Lusztig's category of unipotent representations in the case when the geometric parameter space comes from the action of a Levi subgroup on the abelian…

We give an algorithm which computes a presentation for a subgroup, denoted $\AM_{g,1,p}$, of the automorphism group of a free group. It is known that $\AM_{g,1,p}$ is isomorphic to the mapping-class group of an orientable genus-$g$ surface…

We construct an asymptotic approximation to the solution of a transmission problem for a body containing a region occupied by many small inclusions. The cluster of inclusions is characterised by two small parameters that determine the…

In classical Arthur-Merlin games, the class of languages whose membership proofs can be verified by Arthur using logarithmic space (AM(log-space)) coincides with the class P \cite{Co89}. In this note, we show that if Arthur has a fixed-size…

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using…

An algebraic description of basic discrete symmetries (space inversion P, time reversal T, charge conjugation C and their combinations PT, CP, CT, CPT) is studied. Discrete subgroups {1,P,T,PT} of orthogonal groups of multidimensional…