Related papers: Extendability of differential forms via Cartier op…
We establish a Liouville type theorem for fully nonlinear uniformly elliptic equations in exterior domains in half spaces under quadratic boundary data and a quadratic growth condition, that is, any viscosity solution tends to a quadratic…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
This paper studies the self-Floer theory of a monotone Lagrangian submanifold $L$ of a symplectic manifold $X$ in the presence of various kinds of symmetry. First we suppose $L$ is $K$-homogeneous and compute the image of low codimension…
Let $X$ be a smooth variety over an algebraically closed field $k$ of positive characteristic, ${\rm D}_X$ the sheaf of PD-differential operators, and ${\bar D}_X$ its central reduction, the sheaf of small differential operators. In this…
Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…
We say an excellent local domain $(S,n)$ satisfies the vanishing conditions for maps of Tor, if for every $A\to R\to S$ with $A$ regular and $A\to R$ module-finite torsion-free extension, and every $A$-module $M$, the map $Tor^A_i(M, R)\to…
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class…
Let $X$ be a cohomologically $(n-1)$-complete complex manifold of dimension $n\geq 2$. We prove a vanishing result for the Bott-Chern cohomology group of type $(1, 1)$ with compact support in $X$, which combined with the well-known…
For every lc-trivial fibration $(X,\Delta) \to Z$ from an lc pair, we prove that after a base change, there exists a positive integer $n$, depending only on the dimension of $X$, the Cartier index of $K_{X}+\Delta$, and the sufficiently…
Let $X$ be an algebraic subvariety of $\mathbb C^n$ and $\bar X$ be its closure in $\mathbb P^n.$ In their paper \cite{CGZ} Coman-Guedj-Zeriahi proved that any plurisubharmonic function with logarithmic growth on $X$ extends to a…
We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal…
Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…
We prove a general theorem showing that iterated skew polynomial extensions of the type which fit the conditions needed by Cauchon's deleting derivations theory and by the Goodearl-Letzter stratification theory are unique factorisation…
This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…
Given a quasi-projective variety X with only Kawamata log terminal singularities, we study the obstructions to extending finite \'etale covers from the smooth locus $X_{\mathrm{reg}}$ of $X$ to $X$ itself. A simplified version of our main…
We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng…
We describe various properties of continued fraction expansions of complex numbers in terms of Gaussian integers. Numerous distinct such expansions are possible for a complex number. They can be arrived at through various algorithms, as…
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…
We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…
We introduce a version of the Cartier isomorphism for de Rham cohomology valid for associative, not necessarily commutative algebras over a field of positive characteristic. Using this, we imitate the well-known argument of P. Deligne and…