Related papers: Univalent completion

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…

We study the representations of the commutator subgroup K_{n} of the braid group B_{n} into a finite group . This is done through a symbolic dynamical system. Some experimental results enable us to compute the number of subgroups of K_{n}…

We conjecture an algorithm to construct spin multipartitions and prove that all the level one Fock spaces using our combinatorics are modules over the quantum enveloping algebra.

We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…

We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…

We classify the Seifert fibrations of any given lens space L(p,q). We give an algorithmic construction of a Seifert fibration of L(p,q) over the base orbifold S^2(m,n) with the coprime parts of m and n arbitrarily prescribed. This algorithm…

In this paper, we show that for any $m$-gonal form $F_m(\mathbf x)$ with $m \ge 12$ which represents every positive integer up to $m-4$, by putting together only unary $m$-gonal form, we may complete an universal form.

The combinatorial theory of species developed by Joyal provides a foundation for enumerative combinatorics of objects constructed from finite sets. In this paper we develop an analogous theory for the enumerative combinatorics of objects…

We classify fibrations of abstract $3$-regular GKM graphs over $2$-regular ones, and show that all fiberwise signed fibrations of this type are realized as the projectivization of equivariant complex rank $2$ vector bundles over quasitoric…

The concept of generalised (in the sense of Colombeau) connection on a principal fibre bundle is introduced. This definition is then used to extend results concerning the geometry of principal fibre bundles to those that only have a…

In this paper we survey some finiteness results of the deformation classes of hyperk\"ahler Lagrangian fibrations, and we prove finiteness for stable Lagrangian fibrations with a given discriminant divisor.

A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof…

We present necessary and sufficient conditions for an n\times n complex matrix B to be unitarily similar to a fixed unicellular (i.e., indecomposable by similarity) n\times n complex matrix A

Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…

In the paper we prove a factorization theorem for representations of fundamental groups of compact K\"{a}hler manifolds ({\em K\"{a}hler groups}) into solvable matrix groups. We apply this result to prove that the universal covering of a…

In this note, we reduce various conjectures in birational geometry, including Shokurov conjecture on singularities of the base of log Calabi-Yau fibrations of Fano type and boundedness conjecture for rationally connected Calabi-Yau…

Let $\pi:X\rightarrow\mathbb{P}^n$ be a (holomorphic) Lagrangian fibration that is very general in the moduli space of Lagrangian fibrations. We conjecture that the singular fibres in codimension one must be semistable degenerations of…

We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.

This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic fibration categories (the notion of…