Related papers: How to construct a closed subscheme, or a coherent…
We study Lefschetz fixed point formulas for constructible sheaves with higher-dimensional fixed point sets. Under fairly weak assumptions, we prove that the local contributions from them are expressed by some constructible functions…
We show that the existence of locally finite stability conditions on the bounded derived category $\mathbf{D}^{b}(X)$ of coherent sheaves on an affine Noetherian scheme $X$ is equivalent to $\dim X=0$. We also study the spaces of stability…
In the present paper we consider the problem of constructing all the projective rooted spanning trees of a given graph. We propose an algorithm based on reducing this problem to the problem of constructing all the maximal independent sets…
Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…
We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…
We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive…
We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a…
We provide a generalization of the construction of a spectrum of a commutative ring as a locally ringed space, applicable to cone injectivity classes in general contexts, especially in locally finitely presentable categories. In its full…
We study Siegel's center problem on the linearization of germs of diffeomorphisms in one variable. In addition of the classical problems of formal and analytic linearization, we give sufficient conditions for the linearization to belong to…
In this paper, Gotzmann's Regularity Theorem is established for globally generated coherent sheaves on projective space. This is used to extend Gotzmann's explicit construction to the Quot scheme. The Gotzmann representation is applied to…
A graph is called set-sequential if its vertices can be labeled with distinct nonzero vectors in $\mathbb{F}_2^n$ such that when each edge is labeled with the sum$\pmod{2}$ of its vertices, every nonzero vector in $\mathbb{F}_2^n$ is the…
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…
We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…
We develop a high order cut finite element method for the Stokes problem based on general inf-sup stable finite element spaces. We focus in particular on composite meshes consisting of one mesh that overlaps another. The method is based on…
We relate a coherent sheaf supported on a holomorphic curve with its mirror Langrangian submanifold in local mirror symmetry through a tropical curve by interpreting their central charges using the combinatorial information of the tropical…
Branched junction molecule assembly of DNA nanostructures, pioneered by Seeman's laboratory in the 1980s, has become increasingly sophisticated, as have the assembly targets. A critical design step is finding minimal sets of branched…
In large part, the future utility of modern numerical conformal bootstrap depends on its ability to accurately predict the existence of hitherto unknown non-trivial conformal field theories (CFTs). Here we investigate the extent to which…
We study some of the local properties of the fiber-full scheme, which is a fine moduli space that generalizes the Hilbert scheme by parametrizing closed subschemes with prescribed cohomological data. As a consequence, we provide sufficient…
Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let…
In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point…