Related papers: Bounding ramification by covers and curves

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety. Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on $X$ come from…

We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here curvature bounds are expressed in terms of the CAT(k) inequality. We prove a general CAT(k)…

We prove that wild ramification of a constructible sheaf on a surface is determined by that of the restrictions to all curves. We deduce from this result that the Euler-Poincar\'e characteristic of a constructible sheaf on a variety of…

We study Shimura curves of PEL type in the space of polarised abelian varieties $A^{\delta}_p$ generically contained in the ramified Prym locus. We generalise to ramified double covers, the construction done in [10] in the unramified case…

Let X --> P^2 be a p-cyclic cover branched over a smooth, connected curve C of degree divisible by p, defined over a separably closed field of prime-to-p characteristic. We show that all (unramified) p-torsion Brauer classes on X that are…

In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of \'{e}tale schemes over excellent regular local…

We prove that in rank 1, the Abbes-Saito log conductor is determined by its restriction to curves. This result is essentially established by analyzing Artin-Schreier-Witt extensions. Consequently, we confirm an expectation of H. Esnault and…

Let $X$ be an algebraic variety over a field $K \subset \overline{{\mathbb{Q}}_p}$ and $f$ be a self map. When $K$ is a local field, the boundedness of $f$-periods in $X(K)$ is a well studied question. We will study the same question for…

This paper examines the relationship between the automorphism group of a hyperelliptic curve defined over an algebraically closed field of characteristic two and the 2-rank of the curve. In particular, we exploit the wild ramification to…

Let E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u…

We prove that a double cover of $\mathbb{P}^2$ ramified along a general smooth curve B of degree $2s$, for $s \geq 3$, supports a rank 2 special Ulrich bundle.

In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of…

We classify the possible ramification data and etale local structure of orders over surfaces with canonical singularities.

I show that the set of smooth curves of genus g admitting branched coverings X->P^1 with only triple ramification points has dimension at least max(2g-3,g). In characteristic two, such curves have tame rational functions and an analog of…

Let $X$ be a smooth variety defined over an algebraically closed field of arbitrary characteristic and $\O_X(H)$ be a very ample line bundle on $X$. We show that for a semistable $X$-bundle $E$ of rank two, there exists an integer $m$…

The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth…

We introduce and study a semigroup structure on the set of irreducible components of the Hurwitz space of marked coverings of a complex projective curve with given Galois group of the coverings and fixed ramification type. As application,…

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a…

We consider the question of existence of ramified covers over P_1 matching certain prescribed ramification conditions. This problem has already been faced in a number of papers, but we discuss alternative approaches for an existence proof,…