Related papers: An integral model of the perfectoid modular curve

We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.

We introduce real-valued $(p,q)$-forms on weighted metric graphs with boundary similar to Lagerberg forms on polyhedral spaces. We compute the Dolbeault cohomology and prove Poincar\'e duality. Using Thuillier's thesis, the skeleton of a…

In this paper we continue the study (initiated in a previous article) of linear Koszul duality, a geometric version of the standard duality between modules over symmetric and exterior algebras. We construct this duality in a very general…

We prove that the moduli space of curves with level structures has an enormous amount of rational cohomology in its cohomological dimension. As an application, we prove that the coherent cohomological dimension of the moduli space of curves…

For Shimura varieties of Hodge type, we show that there are natural isomorphisms between locally analytic complete cohomology groups and cohomology groups for flag varieties with coefficient which is given by their perfectoid covers. This…

We provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results…

We consider smooth completion of algebraic manifolds. Having some information about its singular completions or about completions of its images we prove purity of cohohomology of the set at infinity. We deduce also some topological…

We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.

In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for…

In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

We introduce a model for Hermitian holormorphic Deligne cohomology on a projective algebraic manifold which allows to incorporate singular hermitian structures along a normal crossing divisor. In the case of a projective curve, the…

Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4.

We construct a minimal projective bimodule resolution for every finite dimensional quantum complete intersection of codimension two. Then we use this resolution to compute both the Hochschild cohomology and homology for such an algebra. In…

This paper solves the problem of computing conformal structures of general 2-manifolds represented as triangle meshes. We compute conformal structures in the following way: first compute homology bases from simplicial complex structures,…

The dimensions of the graded quotients of the cohomology of a plane curve complement with respect to the Hodge filtration are described in terms of simple geometrical invariants. The case of curves with ordinary singularities is discussed…

Let Gamma be a congruence subgroup of the Picard modular group of an imaginary number field k, and let D be the associated symmetric space. We describe a method to compute the integral cohomology of the locally symmetric space Gamma\D. The…

A general method for establishing results over a commutative complete intersection local ring by passing to differential graded modules over a graded exterior algebra is described. It is used to deduce, in a uniform way, results on the…

For a superelliptic curve $\mathcal X$, defined over $\mathbb Q$, let $\mathfrak p$ denote the corresponding moduli point in the weighted moduli space. We describe a method how to determine a minimal integral model of $\mathcal X$ such…

We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the…