Related papers: Colimits in 2-dimensional slices
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple…
We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…
We construct a counterexample to a well-known extension theorem for slice regular functions, which motivates us to develop a theory of Riemann slice-domains by introducing a new topology on quaternions. By some paths describing axial…
In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…
The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of those incredibly well-chosen hypotheses which is just…
The purpose of this article is towards systematically characterizing (holomorphic) retracts of domains of holomorphy; to begin with, bounded balanced pseudoconvex domains $B \subset \mathbb{C}^N$. Specifically, we show that every retract of…
The "qualitative" extension theorem of Demailly guarantees existence of holomorphic extensions of holomorphic sections on some subvariety under certain positive-curvature assumption, but that comes without any estimate of the extensions,…
This paper studies the sliced nearby cycle functor and its commutation with duality. Over a Henselian discrete valuation ring, we show that this commutation holds, confirming a prediction of Deligne. As an application we give a new proof of…
In the framework of generalized Oppenheim expansions we prove strong law of large numbers for lightly trimmed sums. In the first part of this work we identify a particular class of expansions for which we provide a convergence result…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original…
A k-dissimilarity map on a finite set X is a function D : X \choose k \rightarrow R assigning a real value to each subset of X with cardinality k, k \geq 2. Such functions, also sometimes known as k-way dissimilarities, k-way distances, or…
We show that local deformations, near closed subsets, of solutions to open partial differential relations can be extended to global deformations, provided all but the highest derivatives stay constant along the subset. The applicability of…
We consider a family of functionals $J$ to be maximized over the planar convex sets $K$ for which the perimeter and Steiner point have been fixed. Assuming that $J$ is the integral of a quadratic expression in the support function $h$, we…
In this paper we prove a new representation formula for slice regular functions, which shows that the value of a slice regular function $f$ at a point $q=x+yI$ can be recovered by the values of $f$ at the points $q+yJ$ and $q+yK$ for any…
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on…
We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove…
We introduce the family of axioms, denoted $\operatorname{Slice}_\kappa$, that claim the existence of strictly increasing decompositions of the form $$2^{\delta}=\bigcup_{\alpha<\kappa} 2^{\delta}\cap M_\alpha,$$ where $\delta<\kappa$, and…
Over a global field any finite number of central simple algebras of exponent dividing $m$ is split by a common cyclic field extension of degree $m$. We show that the same property holds for function fields of two-dimensional excellent…
In the authors's previous work on symmetric differentials and their connection to the topological properties of the ambient manifold, a class of symmetric differentials was introduced: closed symmetric differentials ([BoDeO11] and…