Related papers: Remarks on logarithmic \'etale sheafification

This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of…

In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…

As a first step to understand the theory of the structure $\mathbb{T}_{\log}$ of logarithmic transseries as an ordered valued logarithmic field, we focus on the map $\chi$ induced by the logarithm of $\mathbb{T}_{\log}$ in its value group…

Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first…

In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also…

The main purpose of this paper is to define the {\it net logarithmic tangent sheaf}, as a generalization of the logarithmic tangent sheaf introduced by P.~Deligne, over the field of complex numbers, and prove some basic properties and give…

An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…

The study of Haeflier suggests that it is natural to regard a pseudogroup as an etale groupoid. We show that any etale groupoid corresponds to a pseudogroup sheaf, a new generalization of a pseudogroup. This correspondence is an analog of…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

In this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of…

We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (including a locally perfectoid one). On the positive side, we…

We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

For a reductive group $G$ over a ring $A$, its affine Grassmannian $\mathrm{Gr}_G$ plays important roles in a wide range of subjects and is typically defined as the \'etale sheafification of the presheaf quotient $LG/L^+G$ of the loop group…

In this paper, we investigate the semistability of logarithmic de Rham sheaves on a smooth projective variety, under suitable conditions. In particular when the Picard number is one, we obtain results for any log Del Pezzo surface, log Fano…

We show how the natural context for the definition of parabolic sheaves on a scheme is that of logarithmic geometry. The key point is a reformulation of the concept of logarithmic structure in the language of symmetric monoidal categories,…