Related papers: A note on coCartesian fibrations
We prove that the pull back of an ample line bundle by an almost holomorphic Lagrangian fibration is nef. As an application, we show birational semi rigidity of Lagrangian fibrations.
We explain how to construct in two different ways a cartesian closed fibration of higher-order regular languages in the sense of Salvati. In the first construction, we use fibrational techniques to derive the cartesian closed fibration from…
We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily…
It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of…
We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the…
The overlap graphs of subtrees of a tree are equivalent to subtree filament graphs, the overlap graphs of subtrees of a star are cocomparability graphs, and the overlap graphs of subtrees of a caterpillar are interval filament graphs. In…
In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…
Let $\Sigma$ be a fan inside the lattice $\mathbb{Z}^n$, and $\mathcal{E}:\mathbb{Z}^n \rightarrow \operatorname{Pic}{S}$ be a map of abelian groups. We introduce the notion of a principal toric fibration $\mathcal{X}_{\Sigma, \mathcal{E}}$…
We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described…
We prove asymptotics for the proportion of fibres with a rational point in a conic bundle fibration. The basis of the fibration is a general hypersurface of low degree.
We suggest a general framework for compactifing quasi-projective Lagrangian fibrations of geometric origin by holomorphic symplectic varieties. This framework includes a compactification criterion, which we then apply to various fibrations…
Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…
We prove Barth-type connectedness results for low-codimension smooth subvarieties with good numerical properties inside certain "easy" ambient spaces (such as homogeneous varieties, or spherical varieties). The argument employs some basics…
The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…
Let $A \Rightarrow M$ be a Lie algebroid. In this short note, we prove that a pull-back of $A$ along a fibration with homologically $k$-connected fibers, shares the same deformation cohomology of $A$ up to degree $k$.
We investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…
We calculate the Lusternik-Schnirelmann category of the k-th ordered configuration spaces F(R^n,k) of R^n and give bounds for the category of the corresponding unordered configuration spaces B(R^n,k) and the sectional category of the…
In order to study the problems of extending an action along a quotient of the acted object and along a quotient of the acting object, we investigate some properties of the fibration of points. In fact, we obtain a characterization of…
In this article, we introduce some generalized Hardy spaces on fibrations of planar domains and fibrations of products of planar domains. We consider the kernel functions on these spaces, and we prove some weighted versions of Saitoh's…
We survey Lagrangian fibrations of holomorphic symplectic varieties, both compact and non-compact, whose fibres are Jacobians and Prym varieties.