Related papers: Construction of Tame Types
We extend results for the K-theory of Hecke algebras of reductive $p$-adic groups to completed Kac-Moody groups.
We study the group Tame($\mathbf A^3$) of tame automorphisms of the 3-dimensional affine space, over a field of characteristic zero. We recover, in a unified and (hopefully) simplified way, previous results of Kuroda, Shestakov, Umirbaev…
Our main theorem classifies the Auslander-Reiten triangles according to properties of the morphisms involved. As a consequence, we are able to compute the mapping cone of an irreducible morphism. We finish by showing a technique for…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
Let K be an algebraically closed field of characteristic zero. We study the tame isotropy group Tame_D(K[X,Y]) of locally finite derivations of the polynomial ring K[X,Y], using Van den Essen's classification up to conjugation. For each…
We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…
Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We present a method to construct native type systems for a broad…
We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded…
We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic.
A survey of real differential geometry and loop theory is given in order to introduce the construction of an analytic loop associated to p-adic differential manifold.
We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known…
We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of…
We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.
We use coefficient systems on the affine Bruhat-Tits building to study admissible representations of reductive p-adic groups in characteristic not equal to p. We show that the character function is locally constant and provide explicit…
In the first half of this paper, we outline the construction of a new class of abelian pro-$p$ groups, which covers all countably-based pro-$p$ groups. In the second half, we study them, and classify them up to topological isomorphism and…
In this paper we construct compact forms associated with a complex Lie supergroup with Lie superalgebra of classical type.
We conjecture the existence of a simple geometric structure underlying questions of reducibility of parabolically induced representations of reductive p-adic groups.
The class of elementary totally disconnected groups is the smallest class of totally disconnected, locally compact, second countable groups which contains all discrete countable groups, all metrizable pro-finite groups, and is closed under…
Targeting to use contract-based design for the specification and refinement of extra-functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top-down decomposition…
In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the…