Related papers: Morphisms of Cartan connections
We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties.
We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.
This paper is concerned with structures of general graphs with perfect matchings. We first reveal a partially ordered structure among factor-components of general graphs with perfect matchings. Our second result is a generalization of…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
We define a category with as objects operational resolutions and with as morphisms - not necessarily deterministic - state transitions. We study connections with closure spaces and join-complete lattices and sketch physical applications…
In this article we introduce a natural extension of the well-studied equation for harmonic maps between Riemannian manifolds by assuming that the target manifold is equipped with a connection that is metric but has non-vanishing torsion.…
To certain types of generic distributions (subbundles in a tangent bundle) one can associate canonical Cartan connections. Many of these constructions fall into the class of parabolic geometries. The aim of this article is to show how…
We compute the characteristic Cartan connection associated with a system of third order ODEs. Our connection is different from Tanaka normal one, but still is uniquely associated with the system of third order ODEs. This allows us to find…
In previous works, questioning the mathematical nature of the connection in the translations gauge theory formulation of Teleparallel Equivalent to General Relativity (TEGR) Theory led us to propose a new formulation using a Cartan…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We survey the theory of totally symmetric sets, with applications to homomorphisms of symmetric groups, braid groups, linear groups, and mapping class groups.
Graph theoretical ideas are highly utilized by computer science fields especially data mining. In this field, a data structure can be designed in the form of tree. Covering is a widely used form of data representation in data mining and…
A notion of Cartan pairs as an analogy of vector fields in the realm of noncommutative geometry has been proposed in q-alg/9609011 In this paper we give an outline of the construction of a noncommutative analogy of the algebra of partial…
We give a definition of a coherent adjunction in a $4$-category consisting of a finite list of $k$-morphisms for $k\leq 4$, plus equations beetween $4$-morphisms. We prove that the restriction map from the space of coherent adjunctions in a…
This article is a short review on the relationship between convergent matrix integrals, formal matrix integrals, and combinatorics of maps. We briefly summarize results developed over the last 30 years, as well as more recent discoveries.…
For each lattice one can define a free boson theory propagating on the corresponding torus. We give an alternative definition where one employs any automorphism of the group $M^*/M$. This gives a wealth of conformal data, which we realize…
On one hand, we study the class of graphs on surfaces, satisfying tessellation properties, with positive Forman curvature on each edge. Via medial graphs, we provide a new proof for the finiteness of the class, and give a complete…
We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.
Generalized differential forms are used in discussions of metric geometries and Einstein's vacuum field equations. Cartan's structure equations are generalized and applied. In particular flat generalized connections are associated with any…