Related papers: Morphisms of generalized affine buildings
Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a…
We show that Hadamard spaces with geometric group actions admit affine maps that are not dilations, if and only if they are Riemannian symmetric spaces of higher rank, Euclidean buildings of higher rank, or split as non-trivial metric…
This work demonstrates that a complete description of the interaction of matter and all forces, gravitational and non-gravitational, can in fact be realized within a quantum affine algebraic framework. Using the affine group formalism, we…
Given a positive definite even lattice and a commutative ring, there is a standard construction of a lattice vertex algebra over the commutative ring, and it admits a natural grading by non-negative integers. We describe the groups of…
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of…
We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We first present a generalized algebraic theory for categories…
We consider finite 2-dimensional polyhedral complexes, equipped with piecewise non-positively curved, locally CAT(0) metrics. We give conditions on the complex X that ensure that its fundamental group contains a surface subgroup. Concrete…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
We propose an abelian categorification of $\hat{Z}$-invariants for Seifert $3$-manifolds. First, we give a recursive combinatorial derivation of these $\hat{Z}$-invariants using graphs with certain hypercubic structures. Next, we consider…
Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms…
We generalize the notions of $\beta$- and $\lambda$-maps to general selections of sublocales, obtaining different classes of localic maps. These new classes of maps are used to characterize almost normality, extremal disconnectedness,…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
We construct generalized multicategories associated to an arbitrary operad in Cat that is $\Sigma$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is…
The intention of this article is to make an attempt of classification of transitive Lie algebroids and on this basis to construct a classifying space. The realization of the intention allows to describe characteristic classes of transitive…
We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…
The dependently-typed lambda calculus LF is often used as a vehicle for formalizing rule-based descriptions of object systems. Proving properties of object systems encoded in this fashion requires reasoning about formulas over LF typing…
Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized…
After introducing a noncommutative counterpart of commutative algebraic geometry based on monoidal categories of quasi-coherent sheaves we show that various constructions in noncommutative geometry (e.g. Morita equivalences, Hopf-Galois…
The definition of the complement of a fuzzy subset is algebraic in nature and when it is used in the context of fuzzy topological spaces it does not share any similarity with the usual property of topological spaces that the complement of…