Related papers: On the divisor class group of double solids
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of…
In this work, we describe a prenormal form for the generators of the semigroup of a toric variety $X \subset \mathbb{C}^p$ with isolated singularity at the origin and smooth normalization. A complete description of the semigroup is given…
Let T be a general bidegree (2,2) divisor in the product of two projective planes. Recently A.Verra proved that the existence of two conic bundle structures (c.b.s.) on T implies a new counterexample to the Torelli theorem for Prym…
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
Let $\Cal E$ be a very ample vector bundle of rank two on a smooth complex projective threefold $X$. An inequality about the third Segre class of $\Cal E$ is provided when $K_X+\det \Cal E$ is nef but not big, and when a suitable positive…
We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
Let $P \cup P'$ be the two component Prym variety associated to an \'etale double cover $\tilde{C} \to C$ of a non-hyperelliptic curve of genus $g \geq 6$ and let $|2\Xi_0|$ and $|2\Xi_0'|$ be the linear systems of second order theta…
We consider the class of singular double coverings $X \to \PP^3$ ramified in the degeneration locus $D$ of a family of 2-dimensional quadrics. These are precisely the quartic double solids constructed by Artin and Mumford as examples of…
Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…
We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be…
We prove that certain vector bundles over surfaces are ample if they are so when restricted to divisors, certain numerical criteria hold, and they are semistable (with respect to $\det(E)$). This result is a higher-rank version of a theorem…
A surface with an involution can be viewed as a $C_2$-space where $C_2$ is the cyclic group of order two. Using the classification of $C_2$-surfaces given by Dugger, we compute the $RO(C_2)$-graded Bredon cohomology of all $C_2$-surfaces in…
Assume that $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is an extriangulated category satisfying Condition (WIC). Let $(\cal Q, \widetilde{\cal R})$ and $(\widetilde{\cal Q}, \cal R)$ be two hereditary cotorsion pairs satisfying conditions…
The signature of a surface bundle over a surface is known to be divisible by 4. It is also known that the signature vanishes if the fiber genus is less than or equal to 2 or the base genus is less than or equal to 1. In this article, we…
If $\mathcal S$ is a Beauville surface $({\mathcal C}_1\times{\mathcal C}_2)/G$, then the Hurwitz bound implies that $|G|\le 1764\,\chi({\mathcal S})$, with equality if and only if the Beauville group $G$ acts as a Hurwitz group on both…
Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space…
We adapt Seifert's algorithm for classical knots and links to the setting of tri-plane diagrams for bridge trisected surfaces in the 4-sphere. Our approach allows for the construction of a Seifert solid that is described by a Heegaard…
In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the…
Let $\mathcal{C}$ be the moduli space of smooth complex cubic surfaces and let $\pi_1(\mathcal{C})$ be its (orbifold) fundamental group. We prove that the ``divisor subgroup'' of $\pi_1(\mathcal{C})$ is characteristic. This can be…