16,657 research outputs found
Effective descent morphisms of regular epimorphisms
Let be a regular category with pushouts of regular epimorphisms by
regular epimorphism and the category of regular epimorphisms in .
We prove that every regular epimorphism in is an effective descent
morphism if, and only if, is a regular category. Then, moreover, every
regular epimorphism in is an effective descent morphism. This is the case,
for instance, when is either exact Goursat, or ideal determined, or is a
category of topological Mal'tsev algebras, or is the category of -fold
regular epimorphisms in any of the three previous cases, for any
General construction of symmetric parabolic structures
First we introduce a generalization of symmetric spaces to parabolic
geometries. We provide construction of such parabolic geometries starting with
classical symmetric spaces and we show that all regular parabolic geometries
with smooth systems of involutive symmetries can be obtained this way. Further,
we investigate the case of parabolic contact geometries in great detail and we
provide the full classification of those with semisimple groups of symmetries
without complex factors. Finally, we explicitly construct all non-trivial
contact geometries with non-complex simple groups of symmetries. We also
indicate geometric interpretations of some of them.Comment: 38 pages, to be published in Differential Geometry and Its
Applications (Elsevier
Two-dimensional regularity and exactness
We define notions of regularity and (Barr-)exactness for 2-categories. In
fact, we define three notions of regularity and exactness, each based on one of
the three canonical ways of factorising a functor in Cat: as (surjective on
objects, injective on objects and fully faithful), as (bijective on objects,
fully faithful), and as (bijective on objects and full, faithful). The
correctness of our notions is justified using the theory of lex colimits
introduced by Lack and the second author. Along the way, we develop an abstract
theory of regularity and exactness relative to a kernel--quotient
factorisation, extending earlier work of Street and others.Comment: 37 page
Caratheodory-Equivalence, Noether Theorems, and Tonelli Full-Regularity in the Calculus of Variations and Optimal Control
We study, in a unified way, the following questions related to the properties
of Pontryagin extremals for optimal control problems with unrestricted
controls: i) How the transformations, which define the equivalence of two
problems, transform the extremals? ii) How to obtain quantities which are
conserved along any extremal? iii) How to assure that the set of extremals
include the minimizers predicted by the existence theory? These questions are
connected to: i) the Caratheodory method which establishes a correspondence
between the minimizing curves of equivalent problems; ii) the interplay between
the concept of invariance and the theory of optimality conditions in optimal
control, which are the concern of the theorems of Noether; iii) regularity
conditions for the minimizers and the work pioneered by Tonelli.Comment: 24 pages, Submitted for publication in a Special Issue of the J. of
Mathematical Science
- …