101. CJM 2005 (vol 57 pp. 400)
 Sabourin, Sindi

Generalized $k$Configurations
In this paper, we find configurations of points in $n$dimensional
projective space ($\proj ^n$) which simultaneously generalize both
$k$configurations and reduced 0dimensional complete intersections.
Recall that $k$configurations in $\proj ^2$ are disjoint unions of
distinct points on lines and in $\proj ^n$ are inductively disjoint
unions of $k$configurations on hyperplanes, subject to certain
conditions. Furthermore, the Hilbert function of a $k$configuration
is determined from those of the smaller $k$configurations. We call
our generalized constructions $k_D$configurations, where $D=\{ d_1,
\ldots ,d_r\}$ (a set of $r$ positive integers with repetition
allowed) is the type of a given complete intersection in $\proj ^n$.
We show that the Hilbert function of any $k_D$configuration can be
obtained from those of smaller $k_D$configurations. We then provide
applications of this result in two different directions, both of which
are motivated by corresponding results about $k$configurations.
Categories:13D40, 14M10 

102. CJM 2005 (vol 57 pp. 338)
 Lange, Tanja; Shparlinski, Igor E.

Certain Exponential Sums and Random Walks on Elliptic Curves
For a given elliptic curve $\E$, we obtain an upper bound
on the discrepancy of sets of
multiples $z_sG$ where $z_s$ runs through a sequence
$\cZ=\(z_1, \dots, z_T\)$
such that $k z_1,\dots, kz_T $ is a permutation of
$z_1, \dots, z_T$, both sequences taken modulo $t$, for
sufficiently many distinct values of $k$ modulo $t$.
We apply this result to studying an analogue of the power generator
over an elliptic curve. These results are elliptic curve analogues
of those obtained for multiplicative groups of finite fields and
residue rings.
Categories:11L07, 11T23, 11T71, 14H52, 94A60 

103. CJM 2005 (vol 57 pp. 3)
 AlberichCarramiñana, Maria; Roé, Joaquim

Enriques Diagrams and Adjacency of Planar Curve Singularities
We study adjacency of equisingularity types of planar complex
curve singularities
in terms of their Enriques diagrams. The goal is, given two equisingularity
types, to determine whether one of them is adjacent to the other. For linear
adjacency a complete answer is obtained, whereas for arbitrary (analytic)
adjacency a necessary condition and a sufficient condition are
proved. We also obtain new examples of exceptional deformations,
{\em i.e.,} singular curves of type
$\mathcal{D}'$ that can be deformed to a curve of type $\mathcal{D}$ without
$\mathcal{D}'$ being adjacent to $\mathcal{D}$.


104. CJM 2004 (vol 56 pp. 1145)
105. CJM 2004 (vol 56 pp. 1308)
 Zhao, Jianqiang

Variations of Mixed Hodge Structures of Multiple Polylogarithms
It is well known that multiple polylogarithms give rise to
good unipotent variations of mixed HodgeTate structures.
In this paper we shall {\em explicitly} determine these structures
related to multiple logarithms and some other multiple polylogarithms
of lower weights. The purpose of this explicit construction
is to give some important applications: First we study the limit of
mixed HodgeTate structures and make a conjecture relating the variations
of mixed HodgeTate structures of multiple logarithms to those of
general multiple {\em poly}\/logarithms. Then following
Deligne and Beilinson we describe an
approach to defining the singlevalued
real analytic version of the multiple polylogarithms which
generalizes the wellknown result of Zagier on
classical polylogarithms. In the process we find some interesting
identities relating singlevalued multiple polylogarithms of the
same weight $k$ when $k=2$ and 3. At the end of this paper,
motivated by Zagier's conjecture we pose
a problem which relates the special values of multiple
Dedekind zeta functions of a number field to the singlevalued
version of multiple polylogarithms.
Categories:14D07, 14D05, 33B30 

106. CJM 2004 (vol 56 pp. 1094)
 Thomas, Hugh

CycleLevel Intersection Theory for Toric Varieties
This paper addresses the problem of constructing a
cyclelevel intersection theory for toric varieties.
We show that by making one global choice,
we can determine a cycle representative
for the intersection of an equivariant Cartier divisor with an invariant
cycle on a toric variety. For a toric variety
defined by a fan in $N$, the choice consists of giving an
inner product or a complete flag for $M_\Q=
\Qt \Hom(N,\mathbb{Z})$, or more
generally giving for each cone $\s$ in the fan a linear subspace of
$M_\Q$ complementary to $\s^\perp$, satisfying certain compatibility
conditions.
We show that these intersection cycles have properties analogous to the
usual intersections modulo rational equivalence.
If $X$ is simplicial (for instance, if $X$ is nonsingular),
we obtain a commutative ring structure
to the invariant cycles of $X$ with rational
coefficients. This ring structure determines cycles representing
certain characteristic classes of the toric variety.
We also discuss
how to define intersection cycles that require no choices,
at the expense of increasing
the size of the coefficient field.
Keywords:toric varieties, intersection theory Categories:14M25, 14C17 

107. CJM 2004 (vol 56 pp. 716)
 Guardo, Elena; Van Tuyl, Adam

Fat Points in $\mathbb{P}^1 \times \mathbb{P}^1$ and Their Hilbert Functions
We study the Hilbert functions of fat points in $\popo$.
If $Z \subseteq \popo$ is an arbitrary fat point scheme, then
it can be shown that for every $i$ and $j$ the values of the Hilbert
function $_{Z}(l,j)$ and $H_{Z}(i,l)$ eventually become constant for
$l \gg 0$. We show how to determine these eventual values
by using only the multiplicities of the points, and the
relative positions of the points in $\popo$. This enables
us to compute all but a finite number values of $H_{Z}$
without using the coordinates of points.
We also characterize the ACM fat point schemes
sing our description of the eventual behaviour. In fact,
n the case that $Z \subseteq \popo$ is ACM, then
the entire Hilbert function and its minimal free resolution
depend solely on knowing the eventual values of the Hilbert function.
Keywords:Hilbert function, points, fat points, CohenMacaulay, multiprojective space Categories:13D40, 13D02, 13H10, 14A15 

108. CJM 2004 (vol 56 pp. 612)
 Pál, Ambrus

Solvable Points on Projective Algebraic Curves
We examine the problem of finding rational points defined over
solvable extensions on algebraic curves defined over general fields.
We construct nonsingular, geometrically irreducible projective curves
without solvable points of genus $g$, when $g$ is at least $40$, over
fields of arbitrary characteristic. We prove that every smooth,
geometrically irreducible projective curve of genus $0$, $2$, $3$ or
$4$ defined over any field has a solvable point. Finally we prove
that every genus $1$ curve defined over a local field of
characteristic zero with residue field of characteristic $p$ has a
divisor of degree prime to $6p$ defined over a solvable extension.
Categories:14H25, 11D88 

109. CJM 2004 (vol 56 pp. 495)
 Gomi, Yasushi; Nakamura, Iku; Shinoda, Kenichi

Coinvariant Algebras of Finite Subgroups of $\SL(3,C)$
For most of the finite subgroups of $\SL(3,\mathbf{C})$, we give explicit formulae for
the Molien series of the coinvariant algebras, generalizing McKay's formulae
\cite{M99} for subgroups of $\SU(2)$. We also study the $G$orbit Hilbert scheme
$\Hilb^G(\mathbf{C}^3)$ for any finite subgroup $G$ of $\SO(3)$, which is known to be a
minimal (crepant) resolution of the orbit space $\mathbf{C}^3/G$. In this case the fiber
over the origin of the HilbertChow morphism from $\Hilb^G(\mathbf{C}^3)$ to $\mathbf{C}^3/G$
consists of finitely many smooth rational curves, whose planar dual graph is
identified with a certain subgraph of the representation graph of $G$. This is
an $\SO(3)$ version of the McKay correspondence in the $\SU(2)$ case.
Keywords:Hilbert scheme, Invariant theory, Coinvariant algebra,, McKay quiver, McKay correspondence Categories:14J30, 14J17 

110. CJM 2004 (vol 56 pp. 310)
 Llibre, Jaume; Schlomiuk, Dana

The Geometry of Quadratic Differential Systems with a Weak Focus of Third Order
In this article we determine the global geometry of the planar
quadratic differential systems with a weak focus of third order. This
class plays a significant role in the context of Hilbert's 16th
problem. Indeed, all examples of quadratic differential systems with
at least four limit cycles, were obtained by perturbing a system in
this family. We use the algebrogeometric concepts of divisor and
zerocycle to encode global properties of the systems and to give
structure to this class. We give a theorem of topological
classification of such systems in terms of integervalued affine
invariants. According to the possible values taken by them in this
family we obtain a total of $18$ topologically distinct phase
portraits. We show that inside the class of all quadratic systems
with the topology of the coefficients, there exists a neighborhood of
the family of quadratic systems with a weak focus of third order and
which may have graphics but no polycycle in the sense of \cite{DRR}
and no limit cycle, such that any quadratic system in this
neighborhood has at most four limit cycles.
Categories:34C40, 51F14, 14D05, 14D25 

111. CJM 2003 (vol 55 pp. 1100)
 Khesin, Boris; Rosly, Alexei

Polar Homology
For complex projective manifolds we introduce polar homology
groups, which are holomorphic analogues of the homology groups in
topology. The polar $k$chains are subvarieties of complex
dimension $k$ with meromorphic forms on them, while the boundary
operator is defined by taking the polar divisor and the Poincar\'e
residue on it. One can also define the corresponding analogues for the
intersection and linking numbers of complex submanifolds, which have the
properties similar to those of the corresponding topological notions.
Keywords:Poincar\' e residue, holomorphic linking Categories:14C10, 14F10, 58A14 

112. CJM 2003 (vol 55 pp. 897)
 Archinard, Natália

Hypergeometric Abelian Varieties
In this paper, we construct abelian varieties associated to Gauss' and
AppellLauricella hypergeometric series.
Abelian varieties of this kind and the algebraic curves we define
to construct them were considered by several authors in settings
ranging from monodromy groups (Deligne, Mostow), exceptional sets
(Cohen, Wolfart, W\"ustholz), modular embeddings (Cohen, Wolfart) to
CMtype (Cohen, Shiga, Wolfart) and modularity (Darmon).
Our contribution is to provide a complete, explicit and selfcontained
geometric construction.
Categories:11, 14 

113. CJM 2003 (vol 55 pp. 693)
 Borne, Niels

Une formule de RiemannRoch Ã©quivariante pour les courbes
Soit $G$ un groupe fini agissant sur une courbe alg\'ebrique
projective et lisse $X$ sur un corps alg\'ebriquement clos $k$. Dans
cet article, on donne une formule de RiemannRoch pour la
caract\'eristique d'Euler \'equivariante d'un $G$faisceau inversible
$\mathcal{L}$, \`a valeurs dans l'anneau $R_k (G)$ des caract\`eres du
groupe $G$. La formule donn\'ee a un bon comportement fonctoriel en
ce sens qu'elle rel\`eve la formule classique le long du morphisme
$\dim \colon R_k (G) \to \mathbb{Z}$, et est valable m\^eme pour une
action sauvage. En guise d'application, on montre comment calculer
explicitement le caract\`ere de l'espace des sections globales d'une
large classe de $G$faisceaux inversibles, en s'attardant sur le cas
particulier d\'elicat du faisceau des diff\'erentielles sur la courbe.
Keywords:group actions on varieties or schemes,, RiemannRoch theorems Categories:14L30, 14C40 

114. CJM 2003 (vol 55 pp. 766)
 Kerler, Thomas

Homology TQFT's and the AlexanderReidemeister Invariant of 3Manifolds via Hopf Algebras and Skein Theory
We develop an explicit skeintheoretical algorithm to compute the
Alexander polynomial of a 3manifold from a surgery presentation
employing the methods used in the construction of quantum invariants
of 3manifolds. As a prerequisite we establish and prove a rather
unexpected equivalence between the topological quantum field theory
constructed by Frohman and Nicas using the homology of
$U(1)$representation varieties on the one side and the
combinatorially constructed Hennings TQFT based on the quasitriangular
Hopf algebra $\mathcal{N} = \mathbb{Z}/2 \ltimes \bigwedge^*
\mathbb{R}^2$ on the other side. We find that both TQFT's are $\SL
(2,\mathbb{R})$equivariant functors and, as such, are isomorphic.
The $\SL (2,\mathbb{R})$action in the Hennings construction comes
from the natural action on $\mathcal{N}$ and in the case of the
FrohmanNicas theory from the HardLefschetz decomposition of the
$U(1)$moduli spaces given that they are naturally K\"ahler. The
irreducible components of this TQFT, corresponding to simple
representations of $\SL(2,\mathbb{Z})$ and $\Sp(2g,\mathbb{Z})$, thus
yield a large family of homological TQFT's by taking sums and products.
We give several examples of TQFT's and invariants that appear to fit
into this family, such as Milnor and Reidemeister Torsion,
SeibergWitten theories, Casson type theories for homology circles
{\it \`a la} Donaldson, higher rank gauge theories following Frohman
and Nicas, and the $\mathbb{Z}/p\mathbb{Z}$ reductions of
ReshetikhinTuraev theories over the cyclotomic integers $\mathbb{Z}
[\zeta_p]$. We also conjecture that the Hennings TQFT for
quantum$\mathfrak{sl}_2$ is the product of the ReshetikhinTuraev
TQFT and such a homological TQFT.
Categories:57R56, 14D20, 16W30, 17B37, 18D35, 57M27 

115. CJM 2003 (vol 55 pp. 839)
 Lee, Min Ho

Cohomology of Complex Torus Bundles Associated to Cocycles
Equivariant holomorphic maps of Hermitian symmetric domains into
Siegel upper half spaces can be used to construct families of
abelian varieties parametrized by locally symmetric spaces, which
can be regarded as complex torus bundles over the parameter spaces.
We extend the construction of such torus bundles using 2cocycles of
discrete subgroups of the semisimple Lie groups associated to the
given symmetric domains and investigate some of their properties.
In particular, we determine their cohomology along the fibers.
Categories:14K10, 14D06, 14F99 

116. CJM 2003 (vol 55 pp. 561)
117. CJM 2003 (vol 55 pp. 533)
 Edo, Eric

Automorphismes modÃ©rÃ©s de l'espace affine
Le probl\`eme de JungNagata ({\it cf.}\ [J], [N]) consiste \`a savoir
s'il existe des automorphismes de $k[x,y,z]$ qui ne sont pas
mod\'er\'es. Nous proposons une approche nouvelle de cette question,
fond\'ee sur l'utilisation de la th\'eorie des automates et du
polygone de Newton. Cette approche permet notamment de g\'en\'eraliser
de fa\c con significative les r\'esultats de [A].
The JungNagata's problem ({\it cf.}\ [J], [N]) asks if there exists
nontame (or wild) automorphisms of $k[x,y,z]$. We give a new way to
attack this question, based on the automata theory and the Newton
polygon. This new approch allows us to generalize significantly the
results of [A].
Keywords:tame automorphisms, automata, Newton polygon Category:14R10 

118. CJM 2003 (vol 55 pp. 649)
119. CJM 2003 (vol 55 pp. 609)
 Moraru, Ruxandra

Integrable Systems Associated to a Hopf Surface
A Hopf surface is the quotient of the complex surface $\mathbb{C}^2
\setminus \{0\}$ by an infinite cyclic group of dilations of
$\mathbb{C}^2$. In this paper, we study the moduli spaces
$\mathcal{M}^n$ of stable $\SL (2,\mathbb{C})$bundles on a Hopf
surface $\mathcal{H}$, from the point of view of symplectic geometry.
An important point is that the surface $\mathcal{H}$ is an elliptic
fibration, which implies that a vector bundle on $\mathcal{H}$ can be
considered as a family of vector bundles over an elliptic curve. We
define a map $G \colon \mathcal{M}^n \rightarrow \mathbb{P}^{2n+1}$
that associates to every bundle on $\mathcal{H}$ a divisor, called the
graph of the bundle, which encodes the isomorphism class of the bundle
over each elliptic curve. We then prove that the map $G$ is an
algebraically completely integrable Hamiltonian system, with respect
to a given Poisson structure on $\mathcal{M}^n$. We also give an
explicit description of the fibres of the integrable system. This
example is interesting for several reasons; in particular, since the
Hopf surface is not K\"ahler, it is an elliptic fibration that does
not admit a section.
Categories:14J60, 14D21, 14H70, 14J27 

120. CJM 2003 (vol 55 pp. 248)
 Dhillon, Ajneet

A Generalized Torelli Theorem
Given a smooth projective curve $C$ of positive genus $g$, Torelli's
theorem asserts that the pair $\bigl( J(C),W^{g1} \bigr)$ determines
$C$. We show that the theorem is true with $W^{g1}$ replaced by
$W^d$ for each $d$ in the range $1\le d\le g1$.
Category:14H99 

121. CJM 2003 (vol 55 pp. 331)
 Savitt, David

The Maximum Number of Points on a Curve of Genus $4$ over $\mathbb{F}_8$ is $25$
We prove that the maximum number of rational points on a smooth,
geometrically irreducible genus 4 curve over the field of 8 elements
is 25. The body of the paper shows that 27 points is not possible by
combining techniques from algebraic geometry with a computer
verification. The appendix shows that 26 points is not possible by
examining the zeta functions.
Categories:11G20, 14H25 

122. CJM 2003 (vol 55 pp. 133)
 Shimada, Ichiro

On the Zariskivan Kampen Theorem
Let $f \colon E\to B$ be a dominant morphism, where $E$ and $B$ are
smooth irreducible complex quasiprojective varieties, and let $F_b$
be the general fiber of $f$. We present conditions under which the
homomorphism $\pi_1 (F_b)\to \pi_1 (E)$ induced by the inclusion is
injective.
Category:14F35 

123. CJM 2003 (vol 55 pp. 157)
 Shimada, Ichiro

Zariski Hyperplane Section Theorem for Grassmannian Varieties
Let $\phi \colon X\to M$ be a morphism from a smooth irreducible
complex quasiprojective variety $X$ to a Grassmannian variety $M$
such that the image is of dimension $\ge 2$. Let $D$ be a reduced
hypersurface in $M$, and $\gamma$ a general linear automorphism of
$M$. We show that, under a certain differentialgeometric condition
on $\phi(X)$ and $D$, the fundamental group $\pi_1 \bigl( (\gamma
\circ \phi)^{1} (M\setminus D) \bigr)$ is isomorphic to a central
extension of $\pi_1 (M\setminus D) \times \pi_1 (X)$ by the cokernel
of $\pi_2 (\phi) \colon \pi_2 (X) \to \pi_2 (M)$.
Categories:14F35, 14M15 

124. CJM 2002 (vol 54 pp. 1319)
 Yekutieli, Amnon

The Continuous Hochschild Cochain Complex of a Scheme
Let $X$ be a separated finite type scheme over a noetherian base ring
$\mathbb{K}$. There is a complex $\widehat{\mathcal{C}}^{\cdot} (X)$
of topological $\mathcal{O}_X$modules, called the complete Hochschild
chain complex of $X$. To any $\mathcal{O}_X$module
$\mathcal{M}$not necessarily quasicoherentwe assign the complex
$\mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl(
\widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr)$ of continuous
Hochschild cochains with values in $\mathcal{M}$. Our first main
result is that when $X$ is smooth over $\mathbb{K}$ there is a
functorial isomorphism
$$
\mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl(
\widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr) \cong \R
\mathcal{H}om_{\mathcal{O}_{X^2}} (\mathcal{O}_X, \mathcal{M})
$$
in the derived category $\mathsf{D} (\Mod \mathcal{O}_{X^2})$, where
$X^2 := X \times_{\mathbb{K}} X$.
The second main result is that if $X$ is smooth of relative dimension
$n$ and $n!$ is invertible in $\mathbb{K}$, then the standard maps
$\pi \colon \widehat{\mathcal{C}}^{q} (X) \to \Omega^q_{X/
\mathbb{K}}$ induce a quasiisomorphism
$$
\mathcal{H}om_{\mathcal{O}_X} \Bigl( \bigoplus_q \Omega^q_{X/
\mathbb{K}} [q], \mathcal{M} \Bigr) \to
\mathcal{H}om^{\cont}_{\mathcal{O}_X} \bigl(
\widehat{\mathcal{C}}^{\cdot} (X), \mathcal{M} \bigr).
$$
When $\mathcal{M} = \mathcal{O}_X$ this is the quasiisomorphism
underlying the Kontsevich Formality Theorem.
Combining the two results above we deduce a decomposition of the
global Hochschild cohomology
$$
\Ext^i_{\mathcal{O}_{X^2}} (\mathcal{O}_X, \mathcal{M}) \cong
\bigoplus_q \H^{iq} \Bigl( X, \bigl( \bigwedge^q_{\mathcal{O}_X}
\mathcal{T}_{X/\mathbb{K}} \bigr) \otimes_{\mathcal{O}_X} \mathcal{M}
\Bigr),
$$
where $\mathcal{T}_{X/\mathbb{K}}$ is the relative tangent sheaf.
Keywords:Hochschild cohomology, schemes, derived categories Categories:16E40, 14F10, 18G10, 13H10 

125. CJM 2002 (vol 54 pp. 595)
 Nahlus, Nazih

Lie Algebras of ProAffine Algebraic Groups
We extend the basic theory of Lie algebras of affine algebraic groups
to the case of proaffine algebraic groups over an algebraically
closed field $K$ of characteristic 0. However, some modifications
are needed in some extensions. So we introduce the prodiscrete
topology on the Lie algebra $\mathcal{L}(G)$ of the proaffine
algebraic group $G$ over $K$, which is discrete in the
finitedimensional case and linearly compact in general. As an
example, if $L$ is any sub Lie algebra of $\mathcal{L}(G)$, we show
that the closure of $[L,L]$ in $\mathcal{L}(G)$ is algebraic in
$\mathcal{L}(G)$.
We also discuss the Hopf algebra of representative functions $H(L)$ of
a residually finite dimensional Lie algebra $L$. As an example, we
show that if $L$ is a sub Lie algebra of $\mathcal{L}(G)$ and $G$
is connected, then the canonical Hopf algebra morphism from $K[G]$
into $H(L)$ is injective if and only if $L$ is algebraically dense
in $\mathcal{L}(G)$.
Categories:14L, 16W, 17B45 
