Related papers: Sectional number of a morphism

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…

We study the generalized continued fraction expansions of complex numbers in term of elements from Euclidean subrings, especially Gaussian or Eisenstein integers, in a general framework as pursued in [3] and [1]. We introduce a common…

We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…

We prove that the sectional category of the universal fibration with fibre X, for X any space that satisfies a well-known conjecture of Halperin, equals one after rationalization.

In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…

Recently, W. M. Schmidt and L. Summerer developed a new theory called Parametric Geometry of Numbers which approximates the behaviour of the successive minima of a family of convex bodies in $\mathbb{R}^{n}$ related to the problem of…

To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…

A bundle with base $B$ and fibre $F$ aspherical closed surfaces has a section if and only if the action $:\pi_1(B)\to{Out}(\pi_1(F))$ factors through $Aut(\pi_1(F))$ and a cohomology class is 0. We simplify and make more explicit the latter…

We describe a relation between the invariants of $n$ ordered points in $P^d$ and of points contained in a union of linear subspaces $P^{d1}\cup P^{d2} \subset P^d$. This yields an attaching map for GIT quotients parameterizing point…

Let f: X->B be a fibred surface of genus g whose general fibre is a double cover of a smooth curve of genus gamma. We show that, for g > 4gamma+1, the number 4(g-1)/(g-gamma) is a sharp lower bound for the slope of f, proving a conjecture…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…

The notion of normal category was introduced by KSS Nambooripad in connection with the study of the structure of regular semigroups using cross connections\cite{nambooripad1994theory}. It is an abstraction of the category of principal left…

Given a finite group action on a (suitably enhanced) triangulated category linear over a field, we establish a formula for the Hochschild cohomology of the category of invariants, assuming the order of the group is coprime to the…

Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in…

We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors…

The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the…

The study of separating invariants is a recent trend in invariant theory. For a finite group acting linearly on a vector space, a separating set is a set of invariants whose elements separate the orbits of G. In some ways, separating sets…

Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G.…