Related papers: A model theoretic proof for o-minimal coherence th…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Let $C$ be a polarized nodal curve of compact type. In this paper we study coherent systems $(E,V)$ on $C$ given by a depth one sheaf $E$ having rank $r$ on each irreducible component of $C$ and a subspace $V \subset H^0(E)$ of dimension…

We establish an equivalence between the stable category of coherent sheaves (satisfying a mild restriction) on a projective space and the homotopy category of a certain class of minimal complexes of free modules over the exterior algebra…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable…

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

Given a compact complex manifold, the purpose of this paper is to construct the Chern character for coherent sheaves with values in Bott-Chern cohomology, and to prove a corresponding Riemann-Roch-Grothendieck formula. Our paper is based on…

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…

We study moduli space of higher rank marginally stable pairs (E,s:= (s_1,..., s_r)) consisting of torsion free coherent sheaf E of rank r and r sections (s_1,..., s_r) on a smooth projective surface. Having fixed the Chern character of E,…

For a local non-Archimedean field $K$ we construct ${\rm GL}_{d+1}(K)$-equivariant coherent sheaves ${\mathcal V}_{{\mathcal O}_K}$ on the formal ${\mathcal O}_K$-scheme ${\mathfrak X}$ underlying the symmetric space $X$ over $K$ of…

Let $\Omega \subseteq \mathbb C^m$ be a bounded connected open set and $\mathcal H \subseteq \mathcal O(\Omega)$ be an analytic Hilbert module, i.e., the Hilbert space $\mathcal H$ possesses a reproducing kernel $K$, the polynomial ring…

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such…

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…

A complex contact structure $\gamma$ is defined by a system of holomorphic local $1$-forms satisfying the completely non-integrability condition. The contact structure induces a subbundle ${\rm Ker}\, \gamma$ of the tangent bundle and a…

We prove that a topological space is aspherical if and only if it satisfies B\"{o}kstedt-Neeman Theorem, i.e., the derived category of complexes of locally constant sheaves is equivalent to the derived category of complexes of sheaves with…