No Arabic abstract
Let $X$ be a set of $K$-rational points in $P^1 times P^1$ over a field $K$ of characteristic zero, let $Y$ be a fat point scheme supported at $ X$, and let $R_Y$ be the bihomogeneus coordinate ring of $Y$. In this paper we investigate the module of Kaehler differentials $Omega^1_{R_Y/K}$. We describe this bigraded $R_Y$-module explicitly via a homogeneous short exact sequence and compute its Hilbert function in a number of special cases, in particular when the support $X$ is a complete intersection or an almost complete intersection in $P^1 times P^1$. Moreover, we introduce a Kaehler different for $Y$ and use it to characterize reduced fat point schemes in $P^1 times P^1$ having the Cayley-Bacharach property.
This is an appendix to the recent paper of Favacchio and Guardo. In these notes we describe explicitly a minimal bigraded free resolution and the bigraded Hilbert function of a set of 3 fat points whose support is an almost complete intersection (ACI) in $mathbb{P}^1timesmathbb{P}^1.$ This solve the interpolation problem for three points with an ACI support.
For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buiums $p$-differentials. They form a sheaf over the reduction $X_0$, and behave as if they were the sheaf of differentials of $X$ over a deeper base below $W_2(k)$. This allows us to construct the analogues of Gauss-Manin connections and Kodaira-Spencer classes as in the Katz-Oda formalism. We make connections to Frobenius lifts, Borger-Weilands biring formalism, and Deligne--Illusie classes.
In this paper we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimensional two arithmetically Cohen-Macaulay (ACM) varieties in $mathbb P^1timesmathbb P^1timesmathbb P^1$, called varieties of lines. We also describe their ACM property from combinatorial algebra point of view.
Progress on the problem whether the Hilbert schemes of locally Cohen-Macaulay curves in projective 3 space are connected has been hampered by the lack of an answer to a question that was raised by Robin Hartshorne in his paper On the connectedness of the Hilbert scheme of curves in projective 3 space Comm. Algebra 28 (2000) and more recently in the open problems list of the 2010 AIM workshop Components of Hilbert Schemes available at http://aimpl.org/hilbertschemes: does there exist a flat irreducible family of curves whose general member is a union of d disjoint lines on a smooth quadric surface and whose special member is a locally Cohen-Macaulay curve in a double plane? In this paper we give a positive answer to this question: for every d, we construct a family with the required properties, whose special fiber is an extremal curve in the sense of Martin-Deschamps and Perrin. From this we conclude that every effective divisor in a smooth quadric surface is in the connected component of its Hilbert scheme that contains extremal curves.
We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the hypercohomology of a certain mapping complex. Using this explicit description, we give another proof of Orlovs theorem that there is a fully faithful embedding of the homotopy category of matrix factorizations into the singularity category of the corresponding zero subscheme. We also give a complete description of the image of this functor.