Related papers: Univalent completion
We describe the singular fibers of a parabolic fibration $f:X\to Y$ whose moduli divisor $M_Y$ is numerically trivial and discriminant divisor $B_Y$ is zero.
We introduce the notion of a standard weighted graph and show that every weighted graph has an essentially unique standard model. Moreover we classify birational transformations between such models. Our central result shows that these are…
We prove that for an isometric representation of some groups on certain Banach spaces, the complement of the subspace of invariant vectors is 1-complemented.
We construct a univalent universe in the sense of Voevodsky in some suitable model categories for homotopy types (obtained from Grothendieck's theory of test categories). In practice, this means for instance that, appart from the homotopy…
A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper…
We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.
In this work we find a unifying scheme for the known explicit complex-valued eigenfunctions on the classical compact Riemannian symmetric spaces. For this we employ the well-known Cartan embedding for those spaces. This also leads to the…
In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.
The paper is devoted to an approach to the bounded cohomology theory based on the theories of simplicial sets and Postnikov systems. In particular, the main results of the bounded cohomology theory of topological spaces are extended to…
In the paper the notion of truncating twisting function $\tau :X\to Q$ from a simplicial set $X$ to a cubical set $Q$ and the corresponding notion of twisted Cartesian product of these sets $X\times_{\tau}Q$ are introduced. The latter…
We study elliptic fibrations for F-theory compactifications realizing 4d and 6d supersymmetric gauge theories with abelian gauge factors. In the fibration these U(1) symmetries are realized in terms of additional rational sections. We…
A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular…
Every smooth fiber bundle admits a complete (Ehresmann) connection. This result appears in several references, with a proof on which we have found a gap, that does not seem possible to remedy. In this note we provide a definite proof for…
In the present paper, we define a new general subclass of bi-univalent functions involving a differential operator in the open unit disk U. For this purpose, we use the Faber polynomial expansions. Several connections to some of the earlier…
A generalization of the topological fundamental group is developed in order to exhibit a topologically complete braid group containing Artin's braid group on infinitely many strands with respect to the following notion of convergence: A…
Given a simplicial idempotent augmented endofunctor $F$ on a simplicial combinatorial model category $M$, under the assumption of Vopenka's principle, we exhibit a set $A$ of cofibrant objects in $M$ such that $F$ is equivalent to $\CW_A$,…
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
An introductory theory of frames on finite dimensional quaternion Hilbert spaces is demonstrated along the lines of their complex counterpart.
We study linear functions on fibrations whose central fibre is a linear free divisor. We analyse the Gauss-Manin system associated to these functions, and prove the existence of a primitive and homogenous form. As a consequence, we show…
We construct 3-manifolds which have at least two inequivalent embeddings such that both complementary regions have abelian fundamental group.