Related papers: An explicit formula for the genus 3 AGM

Let $K$ be a number field, and let $C$ be a hyperelliptic curve over $K$ with Jacobian $J$. Suppose that $C$ is defined by an equation of the form $y^{2} = f(x)(x - \lambda)$ for some irreducible monic polynomial $f \in \mathcal{O}_{K}[x]$…

Let $(X,L)$ be a polarized K3 surface of genus $g$ and $C_{en} \subset X$ be the curve of singular points of nodal elliptic curves in $|L|$. When $(X,L)$ is generic of genus two, Huybrechts observed that the curve $C_{en}$ is a constant…

Let $\L_g^G$ denote the locus of hyperelliptic curves of genus $g$ whose automorphism group contains a subgroup isomorphic to $G$. We study spaces $\L_g^G$ for $G \iso \Z_n, \Z_2{\o}\Z_n, \Z_2{\o}A_4$, or $SL_2(3)$. We show that for $G \iso…

We explicitly evaluate the low energy coupling $F_g$ in a $d=4,\mathcal{N}=2$ compactification of the heterotic string. The holomorphic piece of this expression provides the information not encoded in the holomorphic anomaly equations, and…

Let K(S) be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. In our earlier paper, we showed that Comm(K(S)) and Aut(K(S)) are both isomorphic to Mod(S) when S is a closed,…

The {\em topological symmetry group} of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated…

We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and…

Classification of AS-regular algebras is one of the main interests in noncommutative algebraic geometry. We say that a $3$-dimensional quadratic AS-regular algebra is of Type EC if its point scheme is an elliptic curve in $\mathbb{P}^{2}$.…

We construct the first aperiodic tiles for two amenable 3-dimensional Lie groups: Sol and the Heisenberg group. Our construction relies on the use of higher-dimensional uniformly finite homology. In particular, we settle completely the…

We study a relationship between two genus 2 curves whose jacobians are isogenous with kernel equal to a maximal isotropic subspace of p-torsion points with respect to the Weil pairing. For p = 3 we find an explicit relationship between the…

Let $C$ be a smooth plane curve. A point $P$ in the projective plane is said to be Galois with respect to $C$ if the function field extension induced from the point projection from $P$ is Galois. We denote by $\delta(C)$ (resp.…

We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every…

Let G be a complex reductive group and let C be a smooth curve of genus at least one. We prove a converse to a theorem of Atiyah-Bott concerning the stratification of the space of holomorphic G-bundles on C. In case the genus of C is one,…

For a given hyperelliptic curve $C$ over a finite field with Jacobian $J_C$, we consider the hyperelliptic analogue of the congruential generator defined by $W_n=W_{n-1}+D$ for $n\geq 1$ and $D,W_0\in J_C$. We show that curves of genus 2…

Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations…

We show that the complex of homologous curves of a closed, oriented surface of genus g is (g-3)--acyclic.

We say that a graph $G$ on $n$ vertices is $\{H,F\}$-$o$-heavy if every induced subgraph of $G$ isomorphic to $H$ or $F$ contains two nonadjacent vertices with degree sum at least $n$. Generalizing earlier sufficient forbidden subgraph…

Suppose $G$ is a connected complex Lie group and $\Gamma$ is a discrete subgroup such that $X := G/\Gamma$ is K\"ahler and the codimension of the top non--vanishing homology group of $X$ with coefficients in $\mathbb Z_2$ is less than or…

We develop a method to compute the Ekedahl-Oort type of a curve C over a field k of characteristic p (which is the isomorphism type of the p-kernel group scheme J[p], where J is the Jacobian of C). Part of our method is general, in that we…

We prove that commutative graph homology in genus $g=1$ with $n\geq 3$ markings has a direct sum decomposition whose summands have rank given by Stirling numbers of the first kind. These summands are computed as the homology of complexes of…