Related papers: Construction of Tame Types

We give an infinitary extension of the Ne\v{s}et\v{r}il-R\"{o}dl theorem for category of relational structures with special type-respecting embeddings.

For an essentially tame supercuspidal representation $\pi$ of a connected reductive $p$-adic group $G$, we establish two distinct and complementary sufficient conditions for the irreducible components of its restriction to a maximal compact…

In this paper, we study the PSV construction, which provides a step by step method for obtaining tame translation surfaces with a suitable Veech group. In addition, we modify slightly this construction, and for each finitely generated…

Let R be a PID. We construct and classify all coordinates of R[x,y] of the form p_2y+Q_2(p_1x+Q_1(y)) with p_1 and p_2 in qt(R) and Q_1 and Q_2 in qt(R)[y]. From this construction (with R=K[z]) we obtain non tame automorphisms s of K[x,y,z]…

Let F be a non-archimedean local field of odd residual characteristic p. Let G be a (connected) reductive group that splits over a tamely ramified field extension of F. We show that a construction analogous to Yu's construction of complex…

This dissertation introduces executable refinement types, which refine structural types by semi-decidable predicates, and establishes their metatheory and accompanying implementation techniques. These results are useful for undecidable type…

We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a…

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.

We describe the structure of the supersingular Rapoport-Zink space associated to the group of unitary similitudes of signature (2,n-2) for an unramified quadratic extension of p-adic fields. In earlier work, two of the authors described the…

A self-similar group of finite type is the profinite group of all automorphisms of a regular rooted tree that locally around every vertex act as elements of a given finite group of allowed actions. We provide criteria for determining when a…

In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…

We compute the number of orbit types for simply connected simple algebraic groups over algebraically closed fields as well as for compact simply connected simple Lie groups. We also compute the number of orbit types for the adjoint action…

We introduce the tame isotropy group of a derivation of a polynomial ring. We study this group for certain triangular derivations up to three variables, for simple derivations in two variables, and for simple Shamsuddin derivations in any…

For certain characters of the compact torus of a reductive $p$-adic group, which we call strongly parabolic characters, we prove Satake-type isomorphisms. Our results generalize those of Satake, Howe, Bushnell and Kutzko, and Roche.

We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…

We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…

We compute the characters of many supercuspidal representations of reductive p-adic groups. Specifically, we deal with representations that arise via Yu's construction from data satisfying a certain compactness condition. Each character is…

In this paper, we continue the work of the first author and give a new construction of the tame local Langlands correspondence for PGSp(4,F), where F is a p-adic field, that is analogous to the construction of the local Langlands…

Let $k$ be an algebraically closed field of characteristic $p$ and let $X$ the projective line over $k$ with three points removed. We investigate which finite groups $G$ can arise as the monodromy group of finite \'{e}tale covers of $X$…

In this paper, we construct a class of $2$-dimensional formal groups over $\mathbb{Z}_p$ that provide a higher-dimensional analogue of the usual $1$-dimensional Lubin-Tate formal groups, then we initiate the study of the extensions…