Related papers: The $\bar\partial$-equation for $(p,q)$-forms on a…
In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion…
In this paper, we study the semilinear elliptic equation of the form \begin{eqnarray*} -\Delta u+a(x)|u|^{p-2}u-b(x)|u|^{q-2}u=0 \end{eqnarray*} on lattice graphs $\mathbb{Z}^{N}$, where $N\geq 2$ and $2\leq p<q<+\infty$. By the…
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we…
For a curve $C$ over a perfect field $k$ of characteristic $p > 0$ we study the tame cohomology of $X = \textit{Spa}(C,k)$ introduced in arXiv:1801.04776. We prove that the tame cohomology groups of $X$ with $p$-torsion coefficients satisfy…
Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…
Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
For a smooth and proper variety $X$ over an algebraically closed field $k$ of characteristic $p>0$, the group $Br(X)[p^\infty]$ is a direct sum of finitely many copies of $\mathbb{Q}_p/\mathbb{Z}_p$ and an abelian group of finite exponent.…
This paper is the second in a series of works dedicated to studying non-linear partial differential equations via derived geometric methods. We study a natural derived enhancement of the de Rham complex of a non-linear PDE via…
The purpose of this paper is to study holomorphic approximation and approximation of $\bar\partial$-closed forms in complex manifolds of complex dimension $n\geq 1$. We consider extensions of the classical Runge theorem and the Mergelyan…
We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…
Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of…
In this paper, we consider the existence of solutions of the following nonhomogeneous fractional $p(x,.)$-Laplacian Dirichlet problem: \begin{equation*} \left\{\begin{aligned} \Big(-\Delta_{p(x,.)}\Big)^s u (x)&=f(x, u) &\text { in }&…
In this paper, we solve a logarithmic $\bar{\partial}$-equation on a compact K\"ahler manifold associated to a smooth divisor by using the cyclic covering trick. As applications, we discuss the closedness of logarithmic forms, injectivity…
Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,\chi)$ of pure sheaves…
We study nonlinear elliptic equations in divergence form $${\operatorname{div}}{\mathcal A}(x,Du)={\operatorname{div}}G.$$ When ${\mathcal A}$ has linear growth in $Du$, and assuming that $x\mapsto{\mathcal A}(x,\xi)$ enjoys…
We prove duality theorems for the {\'e}tale cohomology of logarithmic Hodge-Witt sheaves and split tori on smooth curves over a local field of positive characteristic. As an application, we obtain a description of the Brauer group of the…
We prove that a standard realization of the direct image complex via the so-called Douady-Barlet morphism associated with a smooth complex analytic surface admits a natural decomposition in the form of an injective quasi-isomorphism of…
We study nonuniform Sobolev spaces, i.e., spaces of functions whose partial derivatives lie in possibly different Lebesgue spaces. Although standard proofs do not apply, we show that nonuniform Sobolev spaces share similar properties as the…