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...

The relative cohomology ${\mathrm{H}}_{\mathrm{diff}}^1(𝕂\left(1\right|3),\mathrm{𝔬𝔰𝔭}(2,3);{𝒟}_{\lambda ,\mu }\left(S^{1|3}\right))$ of the contact Lie superalgebra $𝕂\left(1\right|3)$ with coefficients in the space of differential operators ${𝒟}_{\lambda ,\mu }\left(S^{1|3}\right)$ acting on tensor densities on $S^{1|3}$, is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating $1$-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative $1$-cocycle $s\left(X_f\right)=D_1{D}_2{D}_3\left(f\right){\alpha }_3^{1/2}$, $X_f\in 𝕂\left(1\right|3)$ which is invariant with respect to the conformal subsuperalgebra $\mathrm{𝔬𝔰𝔭}(2,3)$ of $𝕂\left(1\right|3)$. In this work we study the supergroup case. We give an explicit construction of $1$-cocycles...

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$. Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$-theory, Chow groups, Grothendieck’s $K_0$, etc.) with formal group law $F$. We construct a ring from $F$ and the characters of $T$, that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁(G/B)$ where $G/B$ is the variety of Borel subgroups of $G$. Our main result says that when the...

Let $F=(f_1,...,f_q)$ be a polynomial dominating map from ${ℂ}^n$ to ${ℂ}^q$. We study the quotient ${𝒯}^1\left(F\right)$ of polynomial 1-forms that are exact along the generic fibres of $F$, by 1-forms of type $\mathrm{d}R+\sum a_i\mathrm{d}{f}_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${𝒯}^1\left(F\right)$ is always a torsion $ℂ[t_1,...,t_q]$-module. Then we determine under which conditions on $F$ we have ${𝒯}^1\left(F\right)=0$. As an application, we study the behaviour of a class of algebraic $({ℂ}^p,+)$-actions on ${ℂ}^n$, and determine in particular when these actions are trivial.

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$.

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 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 $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$.

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\>2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

Let $ℐ$ be a coherent subsheaf of a locally free sheaf $𝒪\left(E_0\right)$ and suppose that $ℱ=𝒪\left(E_0\right)/ℐ$ has pure codimension. Starting with a residue current $R$ obtained from a locally free resolution of $ℱ$ we construct a vector-valued Coleff-Herrera current $\mu$ with support on the variety associated to $ℱ$ such that $\phi$ is in $ℐ$ if and only if $\mu \phi =0$. Such a current $\mu$ can also be derived algebraically from a fundamental theorem of Roos about the bidualizing functor, and the relation between these two approaches is discussed....

CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...

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.

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

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 $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...

The distributional $k$-dimensional Jacobian of a map $u$ in the Sobolev space $W^{1,k-1}$ which takes values in the sphere $S^{k-1}$ can be viewed as the boundary of a rectifiable current of codimension $k$ carried by (part of) the singularity of $u$ which is topologically relevant. The main purpose of this paper is to investigate the range of the Jacobian operator; in particular, we show that any boundary $M$ of codimension $k$ can be realized as Jacobian of a Sobolev map valued in $S^{k-1}$. In case $M$ is polyhedral, the...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

Suppose that $f$ is a primitive Hecke eigenform or a Mass cusp form for ${\Gamma }_0\left(N\right)$ with normalized eigenvalues ${\lambda }_f\left(n\right)$ and let $X>1$ be a real number. We consider the sum $${𝒮}_k\left(X\right):=\sum _{n<X}\sum _{n=n_1,n_2,...,n_k}{\lambda }_f\left(n_1\right){\lambda }_f\left(n_2\right)...{\lambda }_f\left(n_k\right)$$ and show that ${𝒮}_k\left(X\right){\ll }_{f,ϵ}{X}^{1-3/\left(2\right(k+3\left)\right)+ϵ}$ for every $k\ge 1$ and $ϵ>0$. The same problem was considered for the case $N=1$, that is for the full modular group in Lü (2012) and Kanemitsu et al. (2002). We consider the problem in a more general setting and obtain bounds which are better than those obtained by the classical result of Landau (1915) for $k\ge 5$. Since the result is valid...

For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, let ${\pi }_{\varphi }$ be the unitary representation associated to $\varphi$ by the GNS construction. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,{\pi }_{\varphi })$ and reduced 1-cohomology ${\overline{H}}^1(G,{\pi }_{\varphi })$. For example, ${\overline{H}}^1(G,{\pi }_{\varphi })=0$ if and only if either $\text{Hom}(G,ℂ)=0$ or ${\mu }_{\varphi }\left(1_G\right)=0$, where $1_G$ is the trivial character of $G$ and ${\mu }_{\varphi }$ is the probability measure on the Pontryagin dual $\widehat{G}$ associated to $\varphi$ by Bochner’s Theorem. This streamlines an argument of Guichardet...

Let $f$ be a modular eigenform of even weight $k\ge 2$ and new at a prime $p$ dividing exactly the level with respect to an indefinite quaternion algebra. The theory of Fontaine-Mazur allows to attach to $f$ a monodromy module $D_f^{FM}$ and an $ℒ$-invariant ${ℒ}_f^{FM}$. The first goal of this paper is building a suitable $p$-adic integration theory that allows us to construct a new monodromy module $D_f$ and $ℒ$-invariant ${ℒ}_f$, in the spirit of Darmon. The two monodromy modules are isomorphic, and in particular the two $ℒ$-invariants...