Related papers: Topological representations for frame-valued domai…
We construct the finite-dimensional continuous complex representations of $\mathrm{SL}_2$ over compact discrete valuation rings of even residual characteristic. We also prove that the complex group algebras of $\mathrm{SL}_2$ over finite…
We consider the action of Anosov subgroups of a semi-simple Lie group on the associated flag manifolds. A systematic approach to construct cocompact domains of discontinuity for this action was given by Kapovich, Leeb and Porti in…
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors…
The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points and concepts are represented by regions in a (potentially) high-dimensional space. Based on our…
A matrix formalism is proposed for computations based on Picard--Lefschetz theory in a 2D case. The formalism is essentially equivalent to the computation of the intersection indices necessary for the Picard--Lefschetz formula and enables…
Symmetric positive definite (SPD) matrices used as feature descriptors in image recognition are usually high dimensional. Traditional manifold learning is only applicable for reducing the dimension of high-dimensional vector-form data. For…
In this note we present a complete analysis of finite dimensional representations of the Lie superalgebra sl(2|1). This includes, in particular, the decomposition of all tensor products into their indecomposable building blocks. Our…
This review paper contains a concise introduction to highest weight representations of infinite dimensional Lie algebras, vertex operator algebras and Hilbert schemes of points, together with their physical applications to elliptic genera…
In this paper we construct new categorical models for the identity types of Martin-L\"of type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlier work of Awodey and Warren, which has…
Let F be a non-archimedean local field with residue characteristic p. Let l be a prime number different from p. Let G be a connected reductive group which is split, semi-simple, and simply connected. On the one hand, we describe the…
We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we…
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology…
In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to…
This paper investigates a novel structure of stratified L-convex groups, defined as groups possessing stratified L-convex structures, in which the group operations are L-convexity-preserving mappings. It is verified that stratified L-convex…
A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…
The Rankin-Selberg method for studying Langlands' automorphic $L$-functions is to find integral representations, involving certain Fourier coefficients of cusp forms and Eisenstein series, for these functions. In this thesis we develop the…
With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$-valued topological spaces form a monad. By means of $L$-Scott topology and the specialization $L$-order, we get…
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
In this paper we analyze supergeometric locally covariant quantum field theories. We develop suitable categories SLoc of super-Cartan supermanifolds, which generalize Lorentz manifolds in ordinary quantum field theory, and show that,…