No Arabic abstract
Let $Y$ be an $(m+1)$-dimensional irreducible smooth complex projective variety embedded in a projective space. Let $Z$ be a closed subscheme of $Y$, and $delta$ be a positive integer such that $mathcal I_{Z,Y}(delta)$ is generated by global sections. Fix an integer $dgeq delta +1$, and assume the general divisor $X in |H^0(Y,ic_{Z,Y}(d))|$ is smooth. Denote by $H^m(X;mathbb Q)_{perp Z}^{text{van}}$ the quotient of $H^m(X;mathbb Q)$ by the cohomology of $Y$ and also by the cycle classes of the irreducible components of dimension $m$ of $Z$. In the present paper we prove that the monodromy representation on $H^m(X;mathbb Q)_{perp Z}^{text{van}}$ for the family of smooth divisors $X in |H^0(Y,ic_{Z,Y}(d))|$ is irreducible.
Let $k$ be an uncountable algebraically closed field of characteristic $0$, and let $X$ be a smooth projective connected variety of dimension $2p$, appropriately embedded into $mathbb P^m$ over $k$. Let $Y$ be a hyperplane section of $X$, and let $A^p(Y)$ and $A^{p+1}(X)$ be the groups of algebraically trivial algebraic cycles of codimension $p$ and $p+1$ modulo rational equivalence on $Y$ and $X$ respectively. Assume that, whenever $Y$ is smooth, the group $A^p(Y)$ is regularly parametrized by an abelian variety $A$ and coincides with the subgroup of degree $0$ classes in the Chow group $CH^p(Y)$. In the paper we prove that the kernel of the push-forward homomorphism from $A^p(Y)$ to $A^{p+1}(X)$ is the union of a countable collection of shifts of a certain abelian subvariety $A_0$ inside $A$. For a very general section $Y$ either $A_0=0$ or $A_0$ coincides with an abelian subvariety $A_1$ in $A$ whose tangent space is the group of vanishing cycles $H^{2p-1}(Y)_{rm van}$. Then we apply these general results to sections of a smooth cubic fourfold in $mathbb P^5$.
There have been several constructions of family of varieties with exceptional monodromy group. In most cases, these constructions give Hodge structures with high weight(Hodge numbers spread out). N. Katz was the first to obtain Hodge structures with low weight(Hodge numbers equal to (2,3,2)) and geometric monodromy group G2. In this article I will give an alternative description of Katzs construction and give an extension of his result.
We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with deformations. We show that a projective hypersurface is smooth if and only if the classical HKR decomposition holds for this group. In general, the first Hodge component describing scheme deformations has an interesting inner structure corresponding to the various ways in which first order deformations can be realized: deforming local multiplications, deforming restriction maps, or deforming both. We make our computations precise in the case of quartic hypersurfaces, and compute explicit dimensions in many examples.
The monodromy group is an invariant for parameterized systems of polynomial equations that encodes structure of the solutions over the parameter space. Since the structure of real solutions over real parameter spaces are of interest in many applications, real monodromy action is investigated here. A naive extension of monodromy action from the complex numbers to the real numbers is shown to be very restrictive. Therefore, we define a real monodromy structure which need not be a group but contains tiered characteristics about the real solutions. This real monodromy structure is applied to an example in kinematics which summarizes all the ways performing loops parameterized by leg lengths can cause a mechanism to change poses.
Let $X$ be the blowup of a weighted projective plane at a general point. We study the problem of finite generation of the Cox ring of $X$. Generalizing examples of Srinivasan and Kurano-Nishida, we consider examples of $X$ that contain a negative curve of the class $H-mE$, where $H$ is the class of a divisor pulled back from the weighted projective plane and $E$ is the class of the exceptional curve. For any $m>0$ we construct examples where the Cox ring is finitely generated and examples where it is not.