Related papers: Construction of Tame Types
The author's work with Murnaghan on distinguished tame supercuspidal representations is re-examined using a simplified treatment of Jiu-Kang Yu's construction of tame supercuspidal representations of $p$-adic reductive groups. This leads to…
Thanks to the work of Karin Erdmann, we know a great deal about the representation theory of blocks of finite groups with tame representation type. Our purpose here is to examine the $p$-completed classifying spaces of these blocks and…
We prove that the free product of two finitely presented locally tame groups is locally tame and describe many examples of tame subgroups of finitely presented groups. We also include some open problems related to tame subgroups.
This article discuss a class of tractable model in the form of polynomial type.
We introduce a system of monadic affine sized types, which substantially generalise usual sized types, and allows this way to capture probabilistic higher-order programs which terminate almost surely. Going beyond plain, strong…
We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of…
We define the notion of accessibility for a pro-$p$ group. We prove that finitely generated pro-$p$ groups are accessible given a bound on the size of their finite subgroups. We then construct a finitely generated inaccessible pro-$p$…
We construct an effective algorithmic method to compute the homological monodromy of a complex polynomial which is tame. As an application we show the existence of conjugated polynomials in a number field which are not topologically…
Pro-$p$ groups of finite powerful class are studied. We prove that these are $p$-adic analytic, and further describe their structure when their powerful class is small. It is also shown that there are only finitely many finite $p$-groups of…
We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…
This is a list of questions raised by our joint work arXiv:1412.0737 and its sequels.
We establish a transfer of unitarity for a Bernstein component of the category of smooth representations of a reductive p-adic group to the associated Hecke algebra, in the framework of the theory of types, whenever the Hecke algebra is an…
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type…
Folloing the methods of Bushnell-Kutzko for general linear groups, we construct simple types attached to certain skew simple strata for a symplectic group and an unramified unitary group over a non-archimedean local field.
We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.
We analyze the structure of locally compact groups which can be built up from p-adic Lie groups, for p in a given set of primes. In particular, we calculate the scale function and determine tidy subgroups for such groups, and use them to…
In this paper, we study the structure of finite groups with a large number of conjugacy classes of $p$-elements for some prime $p$. As consequences, we obtain some new criteria for the existence of normal $p$-complements in finite groups.
In this paper, we define, for arithmetic schemes with semistable reduction, $p$-adic objects playing the roles of Tate twists in \'etale topology, and establish their fundamental properties.
The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new…