51. CMB 2011 (vol 55 pp. 752)
52. CMB 2011 (vol 55 pp. 850)
 Shparlinski, Igor E.; Stange, Katherine E.

Character Sums with Division Polynomials
We obtain nontrivial estimates of quadratic character sums of division polynomials $\Psi_n(P)$, $n=1,2, \dots$, evaluated at a given point $P$ on an elliptic curve over a finite field of $q$ elements. Our bounds are nontrivial if the order of $P$ is at least $q^{1/2 + \varepsilon}$ for some fixed $\varepsilon > 0$. This work is motivated by an open question about statistical indistinguishability of some cryptographically relevant sequences that was recently brought up by K. Lauter and the second author.
Keywords:division polynomial, character sum Categories:11L40, 14H52 

53. CMB 2011 (vol 55 pp. 799)
 Novelli, Carla; Occhetta, Gianluca

Manifolds Covered by Lines and Extremal Rays
Let $X$ be a smooth complex projective variety, and let $H \in
\operatorname{Pic}(X)$
be an ample line bundle. Assume that $X$ is covered by rational
curves with degree one with respect to $H$ and with anticanonical
degree greater than or equal to $(\dim X 1)/2$. We prove that there
is a covering family of such curves whose numerical class spans an
extremal ray in the cone of curves $\operatorname{NE}(X)$.
Keywords:rational curves, extremal rays Categories:14J40, 14E30, 14C99 

54. CMB 2011 (vol 55 pp. 319)
 Jardine, J. F.

The Verdier Hypercovering Theorem
This note gives a simple cocycletheoretic proof of the Verdier
hypercovering theorem. This theorem approximates morphisms $[X,Y]$ in the
homotopy category of simplicial sheaves or presheaves by simplicial
homotopy classes of maps, in the case where $Y$ is locally fibrant. The
statement proved in this paper is a generalization of the standard
Verdier hypercovering result in that it is pointed (in a very broad
sense) and there is no requirement for the source object $X$ to be
locally fibrant.
Keywords:simplicial presheaf, hypercover, cocycle Categories:14F35, 18G30, 55U35 

55. CMB 2011 (vol 55 pp. 26)
 Bertin, Marie José

A Mahler Measure of a $K3$ Surface Expressed as a Dirichlet $L$Series
We present another example of a $3$variable polynomial defining a $K3$hypersurface
and having a logarithmic Mahler measure expressed in terms of a Dirichlet
$L$series.
Keywords:modular Mahler measure, EisensteinKronecker series, $L$series of $K3$surfaces, $l$adic representations, LivnÃ© criterion, RankinCohen brackets Categories:11, 14D, 14J 

56. CMB 2011 (vol 54 pp. 430)
 DeLand, Matthew

Complete Families of Linearly Nondegenerate Rational Curves
We prove that every complete family of linearly nondegenerate
rational curves of degree $e > 2$ in $\mathbb{P}^{n}$ has at most $n1$
moduli. For $e = 2$ we prove that such a family has at most $n$
moduli. The general method involves exhibiting a map from the base of
a family $X$ to the Grassmannian of $e$planes in $\mathbb{P}^{n}$ and
analyzing the resulting map on cohomology.
Categories:14N05, 14H10 

57. CMB 2011 (vol 54 pp. 472)
 Iacono, Donatella

A Semiregularity Map Annihilating Obstructions to Deforming Holomorphic Maps
We study infinitesimal deformations of holomorphic maps of
compact, complex, KÃ¤hler manifolds. In particular, we describe a
generalization of Bloch's semiregularity map that annihilates
obstructions to deform holomorphic maps with fixed codomain.
Keywords:semiregularity map, obstruction theory, functors of Artin rings, differential graded Lie algebras Categories:13D10, 14D15, 14B10 

58. CMB 2010 (vol 54 pp. 561)
 Uren, James J.

A Note on Toric Varieties Associated with Moduli Spaces
In this note we give a brief review of the construction of a toric
variety $\mathcal{V}$ coming from a genus $g \geq 2$ Riemann surface
$\Sigma^g$ equipped with a trinion, or pair of pants, decomposition.
This was outlined by J. Hurtubise and L.~C. Jeffrey.
A. Tyurin used this construction on a certain
collection of trinion decomposed surfaces to produce a variety
$DM_g$, the socalled \emph{Delzant model of moduli space}, for
each genus $g.$ We conclude this note with some basic facts about
the moment polytopes of the varieties $\mathcal{V}.$ In particular,
we show that the varieties $DM_g$ constructed by Tyurin, and claimed
to be smooth, are in fact singular for $g \geq 3.$
Categories:14M25, 52B20 

59. CMB 2010 (vol 54 pp. 520)
 Polishchuk, A.

Simple Helices on Fano Threefolds
Building on the work of Nogin,
we prove that the braid group $B_4$ acts transitively on full exceptional
collections of vector bundles on Fano threefolds with $b_2=1$ and
$b_3=0$. Equivalently,
this group acts transitively on the set of simple helices (considered
up to a shift in the derived category) on such a Fano threefold. We
also prove that on
threefolds with $b_2=1$ and very ample anticanonical class, every
exceptional coherent
sheaf is locally free.
Categories:14F05, 14J45 

60. CMB 2010 (vol 54 pp. 381)
 Velušček, Dejan

A Short Note on the Higher Level Version of the KrullBaer Theorem
Klep and Velu\v{s}\v{c}ek generalized the KrullBaer theorem for
higher level preorderings to the noncommutative setting. A $n$real valuation
$v$ on a skew field $D$ induces a group homomorphism $\overline{v}$. A section
of $\overline{v}$ is a crucial ingredient of the construction of a complete
preordering on the base field $D$ such that its projection on the residue skew
field $k_v$ equals the given level $1$ ordering on $k_v$. In the article we give
a proof of the existence of the section of $\overline{v}$, which was left as an
open problem by Klep and Velu\v{s}\v{c}ek, and thus
complete the generalization of the KrullBaer theorem for preorderings.
Keywords:orderings of higher level, division rings, valuations Categories:14P99, 06Fxx 

61. CMB 2010 (vol 54 pp. 56)
 Dinh, Thi Anh Thu

Characteristic Varieties for a Class of Line Arrangements
Let $\mathcal{A}$ be a line arrangement in the complex projective plane
$\mathbb{P}^2$, having the points of multiplicity $\geq 3$ situated on two
lines in $\mathcal{A}$, say $H_0$ and $H_{\infty}$. Then we show that the
nonlocal irreducible components of the first resonance variety
$\mathcal{R}_1(\mathcal{A})$ are 2dimensional and correspond to parallelograms $\mathcal{P}$ in
$\mathbb{C}^2=\mathbb{P}^2 \setminus H_{\infty}$ whose sides are in $\mathcal{A}$ and for
which $H_0$ is a diagonal.
Keywords:local system, line arrangement, characteristic variety, resonance variety Categories:14C21, 14F99, 32S22, 14E05, 14H50 

62. CMB 2010 (vol 53 pp. 757)
 Woo, Alexander

Interval Pattern Avoidance for Arbitrary Root Systems
We extend the idea of interval pattern avoidance defined by Yong and
the author for $S_n$ to arbitrary Weyl groups using the definition of
pattern avoidance due to Billey and Braden, and Billey and Postnikov.
We show that, as previously shown by Yong and the
author for $\operatorname{GL}_n$, interval pattern avoidance is a universal tool for
characterizing which Schubert varieties have certain local properties,
and where these local properties hold.
Categories:14M15, 05E15 

63. CMB 2010 (vol 53 pp. 746)
 Werner, Caryn

On Surfaces with p_{g}=0 and K^{2}=5
We construct new examples of surfaces of general type with $p_g=0$ and $K^2=5$ as ${\mathbb Z}_2 \times {\mathbb Z}_2$covers and show that they are genus three hyperelliptic fibrations with bicanonical map of degree two.
Category:14J29 

64. CMB 2009 (vol 53 pp. 218)
 Biswas, Indranil

Restriction of the Tangent Bundle of $G/P$ to a Hypersurface
Let P be a maximal proper parabolic subgroup of a connected simple linear algebraic group G, defined over $\mathbb C$, such that $n := \dim_{\mathbb C} G/P \geq 4$. Let $\iota \colon Z \hookrightarrow G/P$ be a reduced smooth hypersurface of degree at least $(n1)\cdot \operatorname{degree}(T(G/P))/n$. We prove that the restriction of the tangent bundle $\iota^*TG/P$ is semistable.
Keywords:tangent bundle, homogeneous space, semistability, hypersurface Categories:14F05, 14J60, 14M15 

65. CMB 2009 (vol 53 pp. 247)
 Etingof, P.; Malcolmson, P.; Okoh, F.

Root Extensions and Factorization in Affine Domains
An integral domain R is IDPF (Irreducible Divisors of Powers Finite) if, for every nonzero element a in R, the ascending chain of nonassociate irreducible divisors in R of $a^{n}$ stabilizes on a finite set as n ranges over the positive integers, while R is atomic if every nonzero element that is not a unit is a product of a finite number of irreducible elements (atoms). A ring extension S of R is a \emph{root extension} or \emph{radical extension} if for each s in S, there exists a natural number $n(s)$ with $s^{n(s)}$ in R. In this paper it is shown that the ascent and descent of the IDPF property and atomicity for the pair of integral domains $(R,S)$ is governed by the relative sizes of the unit groups $\operatorname{U}(R)$ and $\operatorname{U}(S)$ and whether S is a root extension of R. The following results are deduced from these considerations. An atomic IDPF domain containing a field of characteristic zero is completely integrally closed. An affine domain over a field of characteristic zero is IDPF if and only if it is completely integrally closed. Let R be a Noetherian domain with integral closure S. Suppose the conductor of S into R is nonzero. Then R is IDPF if and only if S is a root extension of R and $\operatorname{U}(S)/\operatorname{U}(R)$ is finite.
Categories:13F15, 14A25 

66. CMB 2009 (vol 53 pp. 58)
 Dąbrowski, Andrzej; Jędrzejak, Tomasz

Ranks in Families of Jacobian Varieties of Twisted Fermat Curves
In this paper, we prove that the unboundedness of ranks in families of Jacobian varieties of twisted Fermat curves is equivalent to the divergence of certain infinite series.
Keywords:Fermat curve, Jacobian variety, elliptic curve, canonical height Categories:11G10, 11G05, 11G50, 14G05, 11G30, 14H45, 14K15 

67. CMB 2009 (vol 53 pp. 171)
 Thomas, Hugh; Yong, Alexander

MultiplicityFree Schubert Calculus
Multiplicityfree algebraic geometry is the study of subvarieties
$Y\subseteq X$ with the ``smallest invariants'' as witnessed by a
multiplicityfree Chow ring decomposition of
$[Y]\in A^{\star}(X)$ into a predetermined
linear basis.
This paper concerns the case of Richardson subvarieties of the Grassmannian
in terms of the Schubert basis. We give a nonrecursive combinatorial
classification of multiplicityfree Richardson varieties, i.e.,
we classify multiplicityfree products of Schubert classes. This answers
a question of W. Fulton.
Categories:14M15, 14M05, 05E99 

68. CMB 2009 (vol 53 pp. 77)
69. CMB 2009 (vol 52 pp. 493)
 Artebani, Michela

A OneDimensional Family of $K3$ Surfaces with a $\Z_4$ Action
The minimal resolution of the degree four cyclic cover of the plane
branched along a GIT stable quartic is a $K3$ surface with a non
symplectic action of $\Z_4$. In this paper
we study the geometry of the onedimensional family of $K3$ surfaces
associated to the locus of plane quartics with five nodes.
Keywords:genus three curves, $K3$ surfaces Categories:14J28, 14J50, 14J10 

70. CMB 2009 (vol 52 pp. 535)
 Daigle, Daniel; Kaliman, Shulim

A Note on Locally Nilpotent Derivations\\ and Variables of $k[X,Y,Z]$
We strengthen certain results
concerning actions of $(\Comp,+)$ on $\Comp^{3}$
and embeddings of $\Comp^{2}$ in $\Comp^{3}$,
and show that these results are in fact valid
over any field of characteristic zero.
Keywords:locally nilpotent derivations, group actions, polynomial automorphisms, variable, affine space Categories:14R10, 14R20, 14R25, 13N15 

71. CMB 2009 (vol 52 pp. 161)
72. CMB 2009 (vol 52 pp. 175)
 Biswas, Indranil

Connections on a Parabolic Principal Bundle, II
In \emph{Connections on a parabolic principal bundle over a curve, I}
we defined connections on a parabolic
principal bundle. While connections on usual principal bundles are
defined as splittings of the Atiyah exact sequence, it was noted in
the above article that the Atiyah exact sequence does not generalize to
the parabolic principal bundles.
Here we show that a twisted version
of the Atiyah exact sequence generalizes to the context of
parabolic principal bundles. For usual principal bundles, giving a
splitting of this twisted Atiyah exact sequence is equivalent
to giving a splitting of the Atiyah exact sequence. Connections on
a parabolic principal bundle can be defined using the
generalization of the twisted Atiyah exact sequence.
Keywords:Parabolic bundle, Atiyah exact sequence, connection Categories:32L05, 14F05 

73. CMB 2009 (vol 52 pp. 224)
 Ghiloni, Riccardo

Equations and Complexity for the DuboisEfroymson Dimension Theorem
Let $\R$ be a real closed field, let $X \subset \R^n$ be an
irreducible real algebraic set and let $Z$ be an algebraic subset of
$X$ of codimension $\geq 2$. Dubois and Efroymson proved the existence
of an irreducible algebraic subset of $X$ of codimension $1$
containing~$Z$. We improve this dimension theorem as follows. Indicate
by $\mu$ the minimum integer such that the ideal of polynomials in
$\R[x_1,\ldots,x_n]$ vanishing on $Z$ can be generated by polynomials
of degree $\leq \mu$. We prove the following two results:
\begin{inparaenum}[\rm(1)]
\item There
exists a polynomial $P \in \R[x_1,\ldots,x_n]$ of degree~$\leq \mu+1$
such that $X \cap P^{1}(0)$ is an irreducible algebraic subset of $X$
of codimension $1$ containing~$Z$.
\item Let $F$ be a polynomial in
$\R[x_1,\ldots,x_n]$ of degree~$d$ vanishing on $Z$. Suppose there
exists a nonsingular point $x$ of $X$ such that $F(x)=0$ and the
differential at $x$ of the restriction of $F$ to $X$ is nonzero. Then
there exists a polynomial $G \in \R[x_1,\ldots,x_n]$ of degree $\leq
\max\{d,\mu+1\}$ such that, for each $t \in (1,1) \setminus \{0\}$,
the set $\{x \in X \mid F(x)+tG(x)=0\}$ is an irreducible algebraic
subset of $X$ of codimension $1$ containing~$Z$.
\end{inparaenum} Result (1) and a
slightly different version of result~(2) are valid over any
algebraically closed field also.
Keywords:Irreducible algebraic subvarieties, complexity of algebraic varieties, Bertini's theorems Categories:14P05, 14P20 

74. CMB 2009 (vol 40 pp. 456)
 Kucharz, Wojciech; Rusek, Kamil

Approximation of smooth maps by real algebraic morphisms
Let $\Bbb G_{p,q}(\Bbb F)$ be the Grassmann space of all
$q$dimensional $\Bbb F$vector subspaces of $\Bbb F^{p}$, where $\Bbb F$
stands for $\Bbb R$, $\Bbb C$ or $\Bbb H$ (the quaternions). Here
$\Bbb G_{p,q}(\Bbb F)$ is regarded as a real algebraic variety. The paper
investigates which ${\cal C}^\infty$ maps from a nonsingular real algebraic
variety $X$ into $\Bbb G_{p,q}(\Bbb F)$ can be approximated, in the
${\cal C}^\infty$ compactopen topology, by real algebraic morphisms.
Categories:14P05, 14P25 

75. CMB 2009 (vol 40 pp. 352)
 Liriano, Sal

A New Proof of a Theorem of Magnus
Using naive algebraic geometric methods a new proof of the
following celebrated theorem of Magnus is given:
Let $G$ be a group with a presentation having $n$ generators and $m$
relations. If $G$ also has a presentation on $nm$ generators, then
$G$ is free of rank $nm$.
Categories:20E05, 20C99, 14Q99 
