Related papers: Construction of Tame Types

We construct parametric families of (monic) reducible polynomials having two roots very close to each other.

This paper introduces an expressive class of quotient-inductive types, called QW-types. We show that in dependent type theory with uniqueness of identity proofs, even the infinitary case of QW-types can be encoded using the combination of…

I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.

We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group…

We completely characterize connected Lie groups all of whose countable subgroups are weakly amenable. We also provide a characterization of connected semisimple Lie groups that are weakly amenable. Finally, we show that a connected Lie…

We show that all finite dimensional, tame hereditary $k$-algebras are of amenable representation type (in the sense of G. Elek) for all fields $k$. The proof is adapted from our previous result for tame path algebras. Further, it is proven…

This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

Let G be a p-adic reductive group, and R an algebraically closed field. Let us consider a smooth representation of G on an R-vector space V. Fix an open compact subgroup K of G and a smooth irreducible representation of K on a…

The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.

We extend the notion of type sequence to rings that are not necessarily residually rational. Using this invariant we characterize different types of rings as almost Gorenstein rings and rings of maximal length.

Let $G$ be a simple algebraic group of exceptional type over an algebraically closed field of characteristic $p > 0$. This paper continues a long-standing effort to classify the connected reductive subgroups of $G$. Having previously…

We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…

We count numbers of tame frieze patterns with entries in a finite commutative local ring. For the ring $\mathbb{Z}/p^r\mathbb{Z}$, $p$ a prime and $r\in\mathbb{N}$ we obtain closed formulae for all heights. These may be interpreted as…

We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.

Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable stratification of the type and effect system entails the…

Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent types, hence providing a powerful termination criterion for the…

We investigate the irreducible cuspidal $C$-representations of a reductive $p$-adic group $G$ over a field $C$ of characteristic different from $p$. When $C$ is algebraically closed, for many groups $G$, a list of cuspidal $C$-types…

We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…

We discuss the homological algebra of representation theory of finite dimensional algebras and finite groups. We present various methods for the construction and the study of equivalences of derived categories: local group theory, geometry…