Related papers: Exponentiable Higher Toposes

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

We study the asymptotic behavior of the homotopy groups of simply connected finite $p$-local complexes, and define a space to be locally hyperbolic if its homotopy groups have exponential growth. Under some certain conditions related to the…

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

This work is entirely devoted to construct huge families of indecomposable arithmetically Cohen-Macaulay (resp. Ulrich) sheaves E of arbitrary high rank on a general standard (resp. linear) determinantal scheme X\subset \PP^n of codimension…

Let $X \to S$ be a miniversal family of smooth and projective varieties and D be a fixed triangulated category. We show that the set of points s in S such that the derived category of the fiber X_s at s is equivalent to D is at most…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the…

A causal manifold $(M,\gamma)$ is a manifold $M$ endowed with a closed proper cone $\gamma$ in the tangent bundle $TM$ such that the projection $TM\to M$ is surjective when restricted to the interior of $\gamma$. Let $\lambda$ be the…

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…

A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…

We show that all filtrable bundles on a Hopf surface $X$ must have jumps and we prove the existence of filtrable stable bundles on $X$ with any value of $c_2>0$. On a somewhat opposite direction, for each integer $r\ge 2$ we prove the…

Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…

We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is…

Let $X$ be a $G$-space. In this paper, we introduce the notion of sectional category with respect to $G$. As a result, we obtain $G$-homotopy invariants: the LS category with respect to $G$, the sequential topological complexity with…

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…

For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of…

A torsion free sheaf on a hyperk\"ahler variety $X$ is modular if the discriminant satisfies a certain condition, for example if it is a multiple of $c_2(X)$ the sheaf is modular. The definition is taylor made for torsion-free sheaves on a…

A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

We introduce a notion of (co)presheaf on a lax double functor $X$, which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued in sets, possibly preserving finite products, is called a…