Related papers: Hypersheaves and bases

Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator…

We give a number of equivalent definitions of hypercomplex varieties and construct a twistor space for a hypercomplex variety. We prove that our definition of a hypercomplex variety (used, e. g., in alg-geom/9612013) is equivalent to a…

We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…

We prove a version of the strong half-space theorem between the classes of recurrent minimal surfaces and complete minimal surfaces with bounded curvature of $\mathbb{R}^{3}_{\raisepunct{.}}$ We also show that any minimal hypersurface…

Motivated by an indecomposability criterion of Xun Lin for the bounded derived category of coherent sheaves on a smooth projective variety $X$, we study the paracanonical base locus of $X$, that is the intersection of the base loci of…

Given a limit sketch in which the cones have a finite connected base, we show that a model structure of "up to homotopy" models for this limit sketch in a suitable model category can be transferred to a Quillen equivalent model structure on…

For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of…

The main result of this paper may be stated as a construction of "almost representations" for the canonical presheaves of object extensions of length n on the C-systems defined by locally cartesian closed universe categories with binary…

There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…

We prove that the cohomology of semi-simple Lie groups admits boundary values, which are measurable cocycles on the Furstenberg boundary. This generalises known invariants such as the Maslov index on Shilov boundaries, the Euler class on…

We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic…

In this paper we prove that the dimension of the bounded derived category of coherent sheaves on a smooth quasi-projective curve is equal to one. We also discuss dimension spectrums of these categories.

We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps $f:X\to Y$ of the class $\alpha$ for wide classes of topological spaces. In particular, we prove that for a topological space $X$…

We show that ruled real hypersurfaces with constant mean curvature in the complex projective and hyperbolic spaces must be minimal. This provides their classification, by virtue of a result of Lohnherr and Reckziegel.

A gap in the proof prevents us to show that surfaces with constant mean curvature closed to 1/2 in H2 X R and having boundary with curvature greater than one, contained in a horizontal section P of H2 X R are topological disks, provided…

We prove results concerning the behavior of Hodge ideals under restriction to hypersurfaces or fibers of morphisms, and addition. The main tool is the description of restriction functors for mixed Hodge modules by means of the…

We prove the existence of rotational hypersurfaces in $\mathbb{H}^n\times \mathbb{R}$ with $H_{r+1}=0$ and we classify them. Then we prove some uniqueness theorems for $r$-minimal hypersurfaces with a given (finite or asymptotic) boundary.…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$…