In this work we obtain presentations of fundamental groups of the complements of three families of quadric arrangements in $\mathbb{P}^2$. The first arrangement is a union of $n$ quadrics, which are tangent to each other at two common points. The second arrangement is composed of $n$ quadrics which are tangent to each other at one common point. The third arrangement is composed of $n$ quadrics, $n-1$ of them are tangent to the $n$'th one and each one of the $n-1$ quadrics is transversal to the other $n-2$ ones.
In this paper we obtain presentations of fundamental groups of the complements of three quadric-line arrangements in P^2. The first arrangement is a smooth quadric Q with n tangent lines to Q, and the second one is a quadric Q with n lines passing through a point p not in Q. The last arrangement consists of a quadric Q with n lines passing through a point p in Q.
A subspace arrangement in a vector space is a finite collection of vector subspaces. Similarly, a configuration of linear spaces in a projective space is a finite collection of linear subspaces. In this paper we study the degree 2 part of the ideal of such objects. More precisely, for a generic configuration of linear spaces L we determine HF(L,2), i.e. the Hilbert function of L in degree 2.
Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let Ω^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that Ω^{1}_{P^n}(log D) admits a resolution of lenght 1 which explicitly depends on the degrees and on the equations of D_{1},...,D_{l}. Then we prove a Torelli type theorem when all the D_{i}'s have the same degree d and l >= {{n+d} \choose {d}}+3: indeed, we recover the components of D as unstable smooth hypersurfaces of Ω^{1}_{P^n}(log D). Finally we analyze the cases of one q…
Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence $ \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. In order to do that, we first show that $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ admits a resolution of length $ 1 $ depending on the degrees and on the equations of $ D_{1}, \ldots, D_{\ell} $. Then, we pro…
Let ϕ: \mathbb{P}^{r}\dashrightarrow Z be a birational transformation with a smooth connected base locus scheme, where Z\subseteq\mathbb{P}^{r+c} is a nondegenerate prime Fano manifold. We call ϕa quadro-quadric special briational transformation if ϕand ϕ^{-1} are defined by linear subsystems of |\mathcal{O}_{\mathbb{P}^{r}}(2)| and |\mathcal{O}_{Z}(2)| respectively. In this paper we classify quadro-quadric special birational transformations in the cases where either (i) Z is a complete intersection and the base locus scheme of ϕ^{-1} is smooth, or (ii) Z is a hypersurface.
Special birational transformations $Φ:\p^r\da Z$ defined by quadric hypersurfaces are studied by means of the variety of lines $\mathcal L_z\subset\p^{r-1}$ passing through a general point $z\in Z$. Classification results are obtained when $Z$ is either a Grassmannian of lines, or the 10-dimensional spinor variety, or the $E_6$-variety. In the particular case of quadro-quadric transformations, we extend the well-known classification of Ein and Shepherd-Barron coming from Zak's classification of Severi varieties to a wider class of prime Fano manifolds $Z$. Combining both results, we get a clas…
In our previous works (2012, 2013), we provided a finite list of properties characterizing all potential types of quadratic birational transformations of a projective space into a factorial variety, whose base locus is smooth and irreducible. However, some existence problems remained open. Among them one had to prove that the image of a given transformation was factorial, but in two particular situations, even the mere existence of the transformation was left as an open problem. In this paper, we use computer algebra methods to construct explicitly four examples of such transformations; two of…
It is proved that the group of birational automorphisms of a three-dimensional double quadric with a singular point arising from a double point on the branch divisor is a semidirect product of the free group generated by birational involutions of a special form and the group of regular automorphisms. The proof is based on the method of `untwisting' maximal singularities of linear systems.
We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres? We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by quadrics in projective space P^3, and fixing the lines and one general quadric, we give the following complete geometric description of the set of (second) quadrics for which the 2 lines and 2 quadrics have…
The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fibrations over the projective line is studied. All known such threefolds of degree from 7 to 11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed. A relationship with the locus of good determinantal subschemes is investigated
For any pencil of conics or higher-dimensional quadrics over the rationals, with all degenerate fibres defined over the rationals, we show that the Brauer-Manin obstruction controls weak approximation. The proof is based on the Hasse principle and weak approximation for some special intersections of quadrics, which is a consequence of recent advances in additive combinatorics.
We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety
We study birational transformations P^n--->S \subseteq P^N defined by linear systems of quadrics whose base locus is smooth and irreducible of dimension \leq3 and whose image S is sufficiently regular.
Let $X$ be a surface of degree $n$, projected onto $\mathbb{CP}^2$. The surface has a natural Galois cover with Galois group $S_n.$ It is possible to determine the fundamental group of a Galois cover from that of the complement of the branch curve of $X.$ In this paper we survey the fundamental groups of Galois covers of all surfaces of small degree $n \leq 4$, that degenerate to a nice plane arrangement, namely a union of $n$ planes such that no three planes meet in a line. We include the already classical examples of the quadric, the Hirzebruch and the Veronese surfaces and the degree $4$ em…
Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been introduced and studied in the latter context, including the resurgence and asymptotic resurgence. There have been exciting new developments in this area recently. It had been expected for several years that $I^{Nr-N+1}\subseteq I^r$ should hold for the ideal $I$ of any finite set of points in ${\bf P}^N$ for all $r>0$, but in the last year various counterexam…
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^1\times\mathbb P^1\times\mathbb P^1$, called varieties of lines. We also describe their ACM property from combinatorial algebra point of view.
We prove that the function field of a variety which possesses a special correspondence in the sense of M. Rost preserves the rationality of cycles of small codimensions. This fact was proven by Vishik in the case of quadrics and played the crucial role in his construction of fields with $u$-invariant $2^r+1$. The main technical tools are algebraic cobordism of Levine-Morel, generalized Rost degree formula and divisibility of Chow traces of certain Landweber-Novikov operations. As a direct application of our methods we prove the Vishik's Theorem for all $F_4$-varieties.
We use the fixed point arrangement technique developed by Goresky-MacPherson to calculate the part of the equivariant cohomology of the affine flag varieties generated by degree 2. This turns out to be a quadric cone. We also describe the spectrum of the full equivariant cohomology ring as an explicit geometric object. We use our results to show that the vertices of the moment map images of the affine flag varieties lie on a paraboloid.
We classify a special type of arithmetically Cohen-Macaulay sheaves of rank two on reducible and reduced quadric hypersurfaces. As a consequence we show that a reducible and reduced quadric surface is of wild type.
Let E be an ample vector bundle of rank r on a complex projective manifold X such that there exists a section $s \in Γ(\cal E)$ whose zero locus Z = (s = 0) is a smooth submanifold of the expected dimension dim X - r: = n -r. Assume that Z is not minimal; we investigate the hypothesis under which the extremal contractions of Z can be lifted to X. Finally we study in detail the cases in which Z is a scroll, a quadric bundle or a del Pezzo fibration.
In a recent paper arXiv:1602.02300v2, Cook II, Harbourne, Migliore and Nagel related the splitting type of a line arrangement in the projective plane to the number of conditions imposed by a general fat point of multiplicity $j$ to the linear system of curves of degree $j+1$ passing through the configuration of points dual to the given arrangement. If the number of conditions is less than the expected, we say that the configuration of points admits unexpected curves. In this paper, we characterize supersolvable line arrangements whose dual configuration admits unexpected curves and we provide …
We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in terms of linear obstructions for a quasi-homogeneous class. By degeneration we also prove a Nagata type result for $\mathbb{P}^2$ that implies a base locus lemma for the quadric. As an application we establish Laface-Ugaglia Conjecture for linear systems with multiplicities bounded by 8 and for homogeneous linear systems with multiplicity m and degree up to 2m+1…
A long standing question is if maximum number $μ(d)$ of nodes on a surface of degree $d$ in $\dP^3(\dC)$ can be achieved by a surface defined over the reals which has only real singularities. The currently best known asymptotic lower bound, $μ(d) \gtrapprox {5/12}d^3$, is provided by Chmutov's construction from 1992 which gives surfaces whose nodes have non-real coordinates. Using explicit constructions of certain real line arrangements we show that Chmutov's construction can be adapted to give only real singularities. All currently best known constructions which exceed Chmutov's lower bound (…
It is shown that the Orlik-Terao algebra is graded isomorphic to the special fiber of the ideal $I$ generated by the $(n-1)$-fold products of the members of a central arrangement of size $n$. This momentum is carried over to the Rees algebra (blowup) of $I$ and it is shown that this algebra is of fiber-type and Cohen-Macaulay. It follows by a result of Simis-Vasconcelos that the special fiber of $I$ is Cohen-Macaulay, thus giving another proof of a result of Proudfoot-Speyer about the Cohen-Macauleyness of the Orlik-Terao algebra.
In the present note, we focus on certain properties of special curves that might be used in the theory of multi-point Seshadri constants for ample line bundles on the complex projective plane. In particular, we provide three Ein-Lazarsfeld-Xu-type lemmas for plane curves and a lower bound on the multi-point Seshadri constant of $\mathcal{O}_{\mathbb{P}^{2}}(1)$ under the assumption that the chosen points are not very general. In the second part, we focus on certain arrangements of points in the plane which are given by line arrangements. We show that in some cases the multi-point Seshadri cons…
We consider Calabi-Yau $n$-folds $X$ arising from certain hyperplane arrangements. Using Fu-Vial's theory of distinguished cycles for varieties with motive of abelian type, we show that the subring of the Chow ring of $X$ generated by divisors, Chern classes and intersections of subvarieties of positive codimension injects into cohomology. We also prove Voisin's conjecture for $X$, and Voevodsky's smash-nilpotence conjecture for odd-dimensional $X$.
The n-dimensional hypergeometric integrals associated with a hypersphere arrangement are formulated by the pairing of n-dimensional twisted cohomology and its dual. Under the condition of general position there are stated some results which concern an explicit representation of the standard form by a special (NBC) basis of the twisted cohomology, the variational formula of the corresponding integral in terms of special invariant 1-forms written by Cayley-Menger minor determinants. Gauss-Manin connection is also formulated and is explicitly presented in two simplest cases.
The topology of the intersection of two real homogeneous coaxial quadrics was studied by the second author who showed that its intersection with the unit sphere is in most cases diffeomorphic to a connected sum of sphere products. Combining that approach with a recent one (due to Antony Bahri, Martin Bendersky, Fred Cohen and the first author) we study here the intersections of k>2 quadrics and we identify very general families of such manifolds that are diffeomorphic to connected sums of sphere products. These include those moment-angle manifolds for which the result was conjectured by Freder…
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine struct…
We define a new topological invariant of line arrangements in the complex projective plane. This invariant is a root of unity defined under some combinatorial restrictions for arrangements endowed with some special torsion character on the fundamental group of their complements. It is derived from the peripheral structure on the group induced by the inclusion map of the boundary of a tubular neigborhood in the exterior of the arrangement. By similarity with knot theory, it can be viewed as an analogue of linking numbers. This is an orientation-preserving invariant for ordered arrangements. We …
There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property. When this special curve has maximal flexes, there is a natural isomorphism between its Jacobian variety and the degree zero part of its Picard group. In this paper we consider curve arrangements whi…
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then…
Consider a complex projective space with its Fubini-Study metric. We study certain one parameter deformations of this metric on the complement of an arrangement (=a finite union of hyperplanes) whose Levi-Civita connection is of Dunkl type--interesting examples are obtained from the arrangements defined by finite complex reflection groups. We determine a parameter interval for which the metric is locally of Fubini-Study type, flat, or complex-hyperbolic. We find a finite subset of this interval for which we get a complete orbifold or at least a Zariski open subset thereof, and we analyze these…
We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains for which the algebras of modular forms with constrained poles are free and therefore the Looijenga compactifications of the arrangement complements are weighted projective spaces. We also construct $8$ free algebras of modular forms on complex balls with poles on hyperplane arrangements. The most striking example is the discriminant kernel of the $2U\oplus D…
