Related papers: The Differential Structure of an Orbifold
We introduce some compact orbifolds on which there is a certain finite group action having a simple convex polytope as the orbit space. We compute the orbifold fundamental group and homology groups of these orbifolds. We calculate the…
An integro-differential ring is a differential ring that is closed under an integration operation satisfying the fundamental theorem of calculus. Via the Newton--Leibniz formula, a generalized evaluation is defined in terms of integration…
We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent…
Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…
A strictly convex real projective orbifold is equipped with a natural Finsler metric called the Hilbert metric. In the case that the projective structure is hyperbolic, the Hilbert metric and the hyperbolic metric coincide. We prove that…
Answering a question of J.~Kovacic, we show that, for any Keigher ring, its differential spectrum coincides with the differential spectrum of the ring of global sections of the structure sheaf. In particular, we obtain the answer for Ritt…
We prove that any bi-Hamiltonian system $v = \left(\mathcal{A} + \lambda \mathcal{B}\right)dH_{\lambda}$ on a real smooth manifold that is Hamiltonian with respect all Poisson brackets $\left(\mathcal{A} + \lambda \mathcal{B}\right)$ is…
We give an intrinsic definition of toric symplectic stacks, and show that they are classified by simple convex polytopes equipped with some additional combinatorial data. This generalizes Delzant's classification of toric symplectic…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
It is known that every nonorientable surface $\Sigma$ has an orientable double cover $\tilde{\Sigma}$. The covering map induces an involution on the moduli space $\tilde{\M}$ of gauge equivalence classes of flat $G$-connections on…
We investigate the existence of coordinate transformations which bring a given vector field on a manifold equipped with an involutive distribution into the form of a second-order differential equation field with parameters. We define…
For a compact smooth manifold with corners (or finite CW-complex) $X$, we can prescribe a finite set of spin or spin$^h$ manifolds (possibly with boundary) mapping into it so that every real vector bundle over $X$ is determined, up to…
For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.
The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring…
Inspired by work of Borzellino and Brunsden, we generalize the notion of a submanifold identifying a natural and sufficiently general condition which guarantees that a subset of an (effective) orbifold carries itself a canonical induced…
The set of effect operators in a complex Hilbert space can be injectively embedded into the set of functions from the set of one-dimensional projections to the real interval [0,1]. Properties of this injection are investigated.
By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…
To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…
It is known that, in finite dimensions, the support function of a compact convex set with non empty interior is differentiable excepting the origin if and only if the set is strictly convex. In this paper we realize a thorough study of the…
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…