Related papers: Geometric realisation as the Skorokhod semi-contin…

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…

We reinterpret special relativity, or more precisely its de Sitter deformation, in terms of 3d conformal geometry, as opposed to (3+1)d spacetime geometry. An inertial observer, usually described by a geodesic in spacetime, becomes instead…

We study the fields of endomorphisms intertwining pairs of symplectic structures. Using these endomorphisms we prove an analogue of Moser's theorem for simultaneous isotopies of two families of symplectic forms. We also consider the…

Inspired by Segal-Stolz-Teichner project for geometric construction of elliptic (tmf) cohomology, and ideas of Floer theory and of Hopkins-Lurie on extended TFT's, we geometrically construct some $Ring$-valued representable cofunctors on…

We introduce a construction called realisation which transforms posets into posets. We show that realisations share several key features with upper semilattices. For example, we define local dimensions of points in a poset and show that…

Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants…

Coquand's cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the…

Let k be an algebraically closed field of characteristic two. Let R be the ring of Witt vectors of length two over k. We construct a group stack \hat G over k, the metaplectic extension of the Greenberg realization of Sp_{2n}(R). We also…

A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial objects is a strictification of Segal's condition guaranteeing…

We propose to apply the idea of analytical continuation in the complex domain to the problem of geodesic completeness. We shall analyse rather in detail the cases of analytical warped products of real lines, these ones in parallel with…

We study the problem of reality in the geometric formalism of the 4D noncommutative gravity using the known deformation of the diffeomorphism group induced by the twist operator with the constant deformation parameters $\vt^{mn}$. It is…

We construct geometric realizations -- projective algebraic versions of cobordisms -- for birational maps between Mori Dream Spaces. We show that these geometric realizations are Mori Dream Spaces, as well, and that they can be constructed…

Any procedure applied to data, and any quantity derived from data, is required to respect the nature and symmetries of the data. This axiom applies to refinement procedures and multiresolution transforms as well as to more basic operations…

The symmetric product of vector fields on a manifold arises when one studies the controllability of certain classes of mechanical control systems. A geometric description of the symmetric product is provided using parallel transport, along…

We investigate Snyder space-time and its generalizations, including Yang and Snyder-de-Sitter spaces, which constitute manifestly Lorenz invariant noncommutative geometries. This work initiates a systematic study of gauge theory on such…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

Using the frame formalism we determine some possible metrics and metric-compatible connections on the noncommutative differential geometry of the real quantum plane. By definition a metric maps the tensor product of two 1-forms into a…

Recently, a geometrical characterization of vector spaces served to generalize them into a new class of algebras. Instead of the algebraic properties of the underlying fields, we generalized the recently discovered property of such spaces…

Non-linear realizations of spacetime symmetries can be obtained by a generalization of the coset construction valid for internal ones. The physical equivalence of different representations for spacetime symmetries is not obvious, since…