Related papers: Curves are algebraic $K(\pi,1)$: theoretical and p…

Exact solution to many problems in mathematical physics and quantum field theory often can be expressed in terms of an algebraic curve equipped with a meromorphic differential. Typically, the geometry of the curve can be seen most clearly…

Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…

We define the Higgs algebra $\mathcal{H}_\P1$ of the projective line, as a convolution algebra of constructible functions on the global nilpotent cone $\underline{\Lambda}_\P1$, a lagrangian substack of the Higgs bundle $T^*\Coh_\P1$, where…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

Let K be any field, and let G be a semisimple group over K. Suppose the characteristic of K is positive and is very good for G. We describe all group scheme homomorphisms phi:SL(2) --> G whose image is geometrically G-completely reducible…

Let $G$ be a commutative connected algebraic group over a number field $K$, let $A$ be a finitely generated and torsion-free subgroup of $G(K)$ of rank $r>0$ and, for $n>1$, let $K(n^{-1}A)$ be the smallest extension of $K$ inside an…

A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…

Using the standard filtration associated with a generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf subalgebra isomorphic…

Suppose C is a singular curve in CP^2 and it is topologically an embedded surface of genus g; such curves are called cuspidal. The singularities of C are cones on knots K_i. We apply Heegaard Floer theory to find new constraints on the sets…

Let $X$ be a geometrically irreducible smooth projective curve, of genus at least three, defined over the field of real numbers. Let $G$ be a connected reductive affine algebraic group, defined over $\mathbb R$, such that $G$ is nonabelian…

Let $X$ be a compact connected Riemann surface of genus at least two, and let ${G}$ be a connected semisimple affine algebraic group defined over $\mathbb C$. For any $\delta \in \pi_1({G})$, we prove that the moduli space of semistable…

We compute the cohomology ring $H^*(U,\mathbb{Z}/n\mathbb{Z})$ for $U=X\setminus S$ where $X$ is the spectrum of the ring of integers of a number field $K$ and $S$ is a finite set of finite primes. As a consequence, we obtain an efficient…

This paper is about cohomology of mapping class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the mapping class group $Mod(S)$ admits a well-known arithmetic quotient $Mod(S)\rightarrow Sp(2g, Z)$,…

Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism \sigma that fixes pointwise all the order two…

Let f:X-->Y be a semi-stable family of complex abelian varieties over a curve Y of genus q, and smooth over the complement of s points. If F(1,0) denotes the non-flat (1,0) part of the corresponding variation of Hodge structures, the…

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality…

We study the irreducible components of special loci of curves whose group of symmetries is given as certain group extension. We introduce some relative Hurwitz data, which we show by using mixed \'etale cohomology theory, identifies some…

Given a smooth curve, the canonical representation of its automorphism group is the space of global holomorphic differential 1-forms as a representation of the automorphism group of the curve. In this paper, we study an explicit set of…

We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…

Over a global field (number field or function field of a curve over a finite field), theorems for the Galois cohomology of algebraic groups have long been known. For $F$ the function field of a curve over the formal series field…