Related papers: On Adically Complete D-Modules in Characteristic Z…
Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…
A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of…
We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…
Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor…
Let k be a field, let R be a ring of polynomials in a finite number of variables over k, let D be the ring of k-linear differential operators of R and let f be a non-zero element of R. It is well-known that R_f, with its natural D-module…
Let X be a general smooth projective algebraic curve of genus g>1. We prove that the moduli space G(\alpha:n,d,k) of $\alpha $-stable coherent systems of type (n,d,k) over X is empty if k>n and the Brill-Noether number is negative.…
Let $N/F$ be an odd degree Galois extension of number fields with Galois group $G$ and rings of integers ${\mathfrak O}_N$ and ${\mathfrak O}_F=\bo$ respectively. Let $\mathcal{A}$ be the unique fractional ${\mathfrak O}_N$-ideal with…
To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…
Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R \rightarrow A$…
Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has…
We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a…
Let an algebraic group G act on X, a connected algebraic manifold, with finitely many orbits. For any Harish-Chandra pair (D,G) where D is a sheaf of twisted differential operators on X, we form a left ideal D.g in D generated by the Lie…
Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…
Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case…
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a…
This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes,…
We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…
We prove that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if…
Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…