Related papers: Univalence in Simplicial Sets

Homotopy Type Theory with a univalent universe $\,\mathcal{U}_0$ is interpreted at the strength of finite order arithmetic. We eliminate Grothendieck universes, avoid the axiom of replacement, and bound all uses of separation.

We prove that a solution to the $\omega$-controlled Loewner-Kufarev equation, which was introduced by the first two authors, exists uniquely, is univalent and starlike on the unit disk and can be extended holomorphically across the unit…

We will use flat divisors, and canonically associated singular holomorphic foliations, to investigate some of the geometry of compact complex manifolds. The paper is mainly concerned with three distinct problems: the existence of…

Let $U_\epsilon(\mathfrak g)$ be the simply connected quantized enveloping algebra associated to a finite-dimensional complex simple Lie algebra $\mathfrak g$ at the roots of unity. The De Concini-Kac-Procesi conjecture on the dimension of…

We establish a straightforward estimate for the number of open sets with fundamental group constraints needed to cover the total space of fibrations. This leads to vanishing results for simplicial volume and minimal volume entropy, e.g.,…

We give an explicit construction of a large subset of F^n, where F is a finite field, that has small intersection with any affine variety of fixed dimension and bounded degree. Our construction generalizes a recent result of Dvir and Lovett…

This is an expository paper, giving a simplified proof of the cubic case of the main conjecture for Vinogradov's mean value theorem.

Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild…

This paper investigates Levi flat structures from the perspective of structure sheaves. We employ formal integrability to construct a class of differential complexes, thereby providing a resolution for the structure sheaf and a global…

We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of…

Recently Stephen Theriault and I found an elementary construction of Anick's spaces and proved their main properties(arXiv:0710.1024).In this work the fundamental fibration is decomposed. This is useful in studying maps out of Anick's…

We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of…

For a Kan complex with a vertex, we have the notion of its simplicial homotopy groups. In this paper, for a weak complicial set in the sense of Verity with a vertex, we construct monoids which are a generalization of simplicial homotopy…

In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible…

We compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of $\mathbb{P}^2$. A consequence…

We resort to the concept of turns to provide a geometrical representation of the action of any lossless multilayer, which can be considered as the analogous in the unit disk to the sliding vectors in Euclidean geometry. This construction…

We give a construction for the d-dimensional simplices with all distances in {1,2} from the set of partitions of d+1.

This work is concerned with Mishchenko and Fomenko's celebrated theory of completely integrable systems on a complex semisimple Lie algebra $\mathfrak{g}$. Their theory associates a maximal Poisson-commutative subalgebra of…

Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a…

For any positive integer $n$, Lov\'{a}sz-Schrijver, Taniyama and Skopenkov provided examples of simplicial $n$-complexes that inevitably contain a nonsplittable two-component link of $n$-spheres, no matter how they are embedded into the…