We take up the study of the Brill-Noether loci $W^r(L,X):=\{\eta \in {\mathrm{Pic}}^0\left(X\right)|h^0(L\otimes \eta )\ge r+1\}$, where $X$ is a smooth projective variety of dimension $>1$, $L\in \mathrm{Pic}\left(X\right)$, and $r\ge 0$ is an integer. By studying the infinitesimal structure of these loci and the Petri map (defined in analogy with the case of curves), we obtain lower bounds for $h^0\left(K_D\right)$, where $D$ is a divisor that moves linearly on a smooth projective variety $X$ of maximal Albanese dimension. In this way we sharpen the results of [Xi] and we generalize them to dimension $>2$. In the $2$-dimensional case...

We prove that any divisor $Y$ of a global analytic set $X\subset {ℝ}^n$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$. We also prove that there are functions with arbitrary multiplicities along $Y$. The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X/Y$ is not connected and $Y$ represents the zero class in $H_{q-1}^{\infty }(X,{\mathbb{Z}}_2)$ then the divisor $Y$ is globally principal.

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 ${ℐ}_{Z,Y}\left(\delta \right)$ is generated by global sections. Fix an integer $d\ge \delta +1$, and assume the general divisor $X\in |H^0(Y,{ℐ}_{Z,Y}\left(d\right))|$ is smooth. Denote by $H^m{(X;\mathbb{Q})}_{\perp Z}^{\mathrm{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}^{\mathrm{van}}$ for the family...

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

Let $D$ be an open set of a Stein manifold $X$ of dimension $n$ such that $H^k(D,𝒪)=0$ for $2\le k\le n-1$. We prove that $D$ is Stein if and only if every topologically trivial holomorphic line bundle $L$ on $D$ is associated to some Cartier divisor $𝔡$ on $D$.

Let $X$ be a complex Fano manifold of arbitrary dimension, and $D$ a prime divisor in $X$. We consider the image ${𝒩}_1(D,X)$ of ${𝒩}_1\left(D\right)$ in ${𝒩}_1\left(X\right)$ under the natural push-forward of $1$-cycles. We show that ${\rho }_X-{\rho }_D\le codim{𝒩}_1(D,X)\le 8$. Moreover if $codim{𝒩}_1(D,X)\ge 3$, then either $X\cong S\times T$ where $S$ is a Del Pezzo surface, or $codim{𝒩}_1(D,X)=3$ and $X$ has a fibration in Del Pezzo surfaces onto a Fano manifold $T$ such that ${\rho }_X-{\rho }_T=4$.

We consider the linear system $|2{\Theta }_0|$ of second order theta functions over the Jacobian $JC$ of a non-hyperelliptic curve $C$. A result by J.Fay says that a divisor $D\in |2{\Theta }_0|$ contains the origin $𝒪\in JC$ with multiplicity $4$ if and only if $D$ contains the surface $C-C=\left\{𝒪\right(p-q)\mid p,q\in C\}\subset JC$. In this paper we generalize Fay’s result and some previous work by R.C.Gunning. More precisely, we describe the relationship between divisors containing $𝒪$ with multiplicity $6$, divisors containing the fourfold $C_2-C_2=\{𝒪(p+q-r-s)\mid p,q,r,s\in C\}$, and divisors singular along $C-C$, using...

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

Let $(𝒮,0)$ be a germ of complex analytic normal surface. On its minimal resolution, we consider the reduced exceptional divisor $E$ and its irreducible components $E_i$, $i\in I$. The Nash map associates to each irreducible component $C_k$ of the space of arcs through $0$ on $𝒮$ the unique component of $E$ cut by the strict transform of the generic arc in $C_k$. Nash proved its injectivity and asked if it was bijective. As a particular case of our main theorem, we prove that this is the case if $E·E_i\<0$ for any $i\in I$. ...

To any finite covering $f:Y\to X$ of degree $d$ between smooth complex projective manifolds, one associates a vector bundle $E_f$ of rank $d-1$ on $X$ whose total space contains $Y$. It is known that $E_f$ is ample when $X$ is a projective space ([Lazarsfeld 1980]), a Grassmannian ([Manivel 1997]), or a Lagrangian Grassmannian ([Kim Maniel 1999]). We show an analogous result when $X$ is a simple abelian variety and $f$ does not factor through any nontrivial isogeny $X^{\text{'}}\to X$. This result is obtained by showing that $E_f$ is $M$-regular...

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

Let $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

This paper classifies surfaces $S$ of general type with $p_g=q=1$ having an involution $i$ such that $S/i$ has non-negative Kodaira dimension and that the bicanonical map of $S$ factors through the double cover induced by $i.$ It is shown that $S/i$ is regular and either: a) the Albanese fibration of $S$ is of genus 2 or b) $S$ has no genus 2 fibration and $S/i$ is birational to a $K3$ surface. For case a) a list of possibilities and examples are given. An example for case b) with $K^2=6$ is also constructed.

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

The coefficients of the greatest common divisor of two polynomials $f$ and $g$ (GCD$(f,g)$) can be obtained from the Sylvester subresultant matrix $S_j(f,g)$ transformed to lower triangular form, where $1\le j\le d$ and $d=$ deg(GCD$(f,g)$) needs to be computed. Firstly, it is supposed that the coefficients of polynomials are given exactly. Transformations of $S_j(f,g)$ for an arbitrary allowable $j$ are in details described and an algorithm for the calculation of the GCD$(f,g)$ is formulated. If inexact polynomials are given, then an approximate...

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.