Related papers: Morphisms of generalized affine buildings
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie…
In this article we describe the general and special projectivity groups for all irreducible residues of all thick, irreducible, spherical buildings of type $ \mathsf{B_{n}}$, $ \mathsf{C_{n}}$ and $\mathsf{F_4}$, and rank at least 3. This…
In this note we survey recent results on automorphisms of affine algebraic varieties, infinitely transitive group actions and flexibility. We present related constructions and examples, and discuss geometric applications and open problems.
We study generalized symmetries in a simplified arena in which the usual quantum field theories of physics are replaced with topological field theories and the smooth structure with which the symmetry groups of physics are usually endowed…
An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved…
In this paper we study the geometric structure of affine Deligne-Lusztig varieties for $GL_n$ and $b$ basic. We introduce a new condition on $\lambda$. If this is satisfied, then the corresponding affine Deligne-Lusztig variety is the…
We present groupoid morphisms as an algebraic structure for nonautonomous dynamics, as well as a generalization of group morphisms, which describe classic dynamical systems. We introduce the structure of cotranslations, as a specific kind…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
Functions between groups with the property that all function con- jugates are inverse preserving are called sandwich morphisms. These maps pre- serve a structure within the group known as the sandwich structure. Sandwich structures are left…
We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of…
Let $\Lambda$ be an ordered abelian group, $\mathrm{Aut}^+(\Lambda)$ the group of order-preserving automorphisms of $\Lambda$, $G$ a group and $\alpha:G\to\mathrm{Aut}^+(\Lambda)$ a homomorphism. An $\alpha$-affine action of $G$ on a…
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…
In this paper we will prove that there exists a covariant functor from the category of schemes to the category of graphs. This functor provides a combination between algebraic varieties and combinatorial graphs so that the invariants…
In this paper we study the local description of spaces of forms on transitive Lie algebroids. We use this local description to introduce global structures like metrics, $\ast$-Hodge operation and integration along the algebraic part of the…
We show that a structural matrix algebra $A$ is isomorphic to the endomorphism algebra of an algebraic-combinatorial object called a generalized flag. If the flag is equipped with a group grading, an algebra grading is induced on $A$. We…
The definition of an action functional for the Jacobi sigma models, known for Jacobi brackets of functions, is generalized to \emph{Jacobi bundles}, i.e., Lie brackets on sections of (possibly nontrivial) line bundles, with the particular…
In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…
Dilatations modify categories by imposing that some morphisms factorize through some others. This is formalized by a universal property. This text is devoted to introduce and study this construction. Examples of dilatations of categories…
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…
Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…