Related papers: Torelli's theorem for high degree symmetric produc…

A threefold isogenous to a product of curves $X$ is a quotient of a product of three compact Riemann surfaces of genus at least two by the free action of a finite group. In this paper we study these threefolds under the assumption that the…

Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement…

Let $C$ be a smooth projective curve of genus $g\geq 4$ over the complex numbers and ${\cal SU}^s_C(r,d)$ be the moduli space of stable vector bundles of rank $r$ with a fixed determinant of degree $d$. In the projectivized cotangent space…

Let $\Cal C,\Cal C'$ be curves over a base scheme $S$ with $g(\Cal C)\ge 2$. Then the functor $T\mapsto\{$generically smooth $T$-morphisms $T\times_S\Cal C'\to T\times_S\Cal C\}$ from $((S$-schemes)) to ((sets)) is represented by a…

We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the…

This paper studies the moduli space of stable surfaces of general type. The moduli space component containing the moduli point of a product of smooth curves of general type is proved to be the product of the moduli spaces of the curves,…

A smooth algebraic surface $S$ is said to be \emph{isogenous to a product of unmixed type} if there exist two smooth curves $C, F$ and a finite group $G$, acting faithfully on both $C$ and $F$ and freely on their product, so that $S=(C…

Throughout this paper we study the existence of irreducible curves C on smooth projective surfaces S with singular points of prescribed topological types S_1,...,S_r. There are necessary conditions for the existence of the type \sum_{i=1}^r…

We show that the infinite symmetric product of a connected graded-commutative algebra over the rationals is naturally isomorphic to the free graded-commutative algebra on the positive degree subspace of the original algebra. In particular,…

In this paper we prove that the Prym map, from the space of double coverings of a curve of genus g with r branch points to the moduli space of abelian varieties, is generically injective if r>6 and g>1, r=6 and g>2, r=4 and g>4, r=2 and…

Recall that a smooth complex projective curve has a very ample canonical bundle when it is non-hyperelliptic, and according to a theorem of M. Noether the resulting embedding is projectively normal. A theorem of Petri further asserts that…

We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the mapping class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key…

We prove that if $C$ is a reflexive smooth plane curve of degree $d$ defined over a finite field $\mathbb{F}_q$ with $d\leq q+1$, then there is an $\mathbb{F}_q$-line $L$ that intersects $C$ transversely. We also prove the same result for…

We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which…

Max Noether's Theorem asserts that if $\omega$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. The result was…

Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We show that the restriction of the Torelli map to the hyperelliptic locus is an immersion in characteristic not $2$. In…

We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K_0-groups and centers, extending N. C. Phillips's result in the case that the algebras are simple. This is also…

Suppose that $C\subset\mathbb P^2$ is a general enough nodal plane curve of degree $>2$, $\nu\colon \hat C\to C$ is its normalization, and $\pi\colon \hat C\to\mathbb P^1$ is a finite morphism simply ramified over the same set of points as…

The genus g of an F_{q^2}-maximal curve satisfies g=g_1:=q(q-1)/2 or g\le g_2:= [(q-1)^2/4]. Previously, such curves with g=g_1 or g=g_2, q odd, have been characterized up to isomorphism. Here it is shown that an F_{q^2}-maximal curve with…

Let $K=k(C)$ be the function field of a smooth projective curve $C$ over an infinite field $k$, let $X$ be a projective variety over $k$. We prove two results. First, we show with some conditions that a $K$-morphism $\phi: X_K \to X_K$ of…