Related papers: On the canonical connection for smooth envelopes
We review the notion of submanifold algebra, as introduced by T. Masson, and discuss some properties and examples. A submanifold algebra of an associative algebra $A$ is a quotient algebra $B$ such that all derivations of $B$ can be lifted…
As a pioneering work we construct explicit real algebraic functions which may have both compact and non-compact preimages. The author has obtained explicit real algebraic functions with preimages satisfying some nice conditions. More…
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…
Let $\Omega$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $\Omega$…
We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric…
A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in…
A general method for constructing essential uniform algebras with prescribed properties is presented. Using the method, the following examples are constructed: an essential, natural, regular uniform algebra on the closed unit disc; an…
Polypols are natural generalizations of polytopes, with boundaries given by nonlinear algebraic hypersurfaces. We describe polypols in the plane and in 3-space that admit a unique adjoint hypersurface and study them from an…
We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…
A complete mathematical framework for coalgebraic formulation of supergeometry and its infinite-dimensional extension is proposed. Within this approach a supermanifold is defined as a graded coalgebra endowed with a smooth structure. The…
The recapture relationship is an important element to any understanding of the connexion between different systems of logic. Loosely speaking, one system of logic recaptures another if it is possible to specify a subsystem of the former…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a…
We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
We analyze a supersymmetric system with four flat directions. We observe several interesting properties, such as the coexistence of the discrete and continuous spectrum in the same range of energies. We also solve numerically the classical…
We identify the canonical basis of the quantum adjoint representation of a quantized enveloping algebra with a basis that we defined before the theory of canonical bases was available.