Related papers: Congruence kernels around affine curves

Using the theory of moduli of curves, we establish various slope inequalities for general fibered surfaces. More precisely, we introduce the notion of functorial divisors on Artin stacks and prove a theorem concerning their effectiveness.…

For an Azumaya algebra $A$ which is free over its centre $R$, we prove that the $K$-theory of $A$ is isomorphic to $K$-theory of $R$ up to its rank torsion. We observe that a graded central simple algebra, graded by an abelian group, is a…

We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…

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…

In this article, we consider Bergman kernels with respect to modules at boundary points, and obtain a log-subharmonicity property of the Bergman kernels, which deduces a concavity property related to the Bergman kernels. As applications, we…

We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…

We prove the Congruence Subgroup Property for two families of subgroups of Mapping Class Groups of finite-type surfaces. The first one is related to nilpotent quotients of the fundamental group and Johnson filtration, and along the way we…

We consider the parameter space $\mathcal U_d$ of smooth plane curves of degree $d$. The universal smooth plane curve of degree $d$ is a fiber bundle $\mathcal E_d\to\mathcal U_d$ with fiber diffeomorphic to a surface $\Sigma_g$. This…

We prove the existence theorem for basic elements in the quasi-projective case, extending results of Eisenbud-Evans and Bruns from the affine case. We give several geometric applications. For example, we show that every local complete…

There exists a dictionary between hereditary orders and smooth stacky curves, resp. tame orders of global dimension 2 and Azumaya algebras on smooth stacky surfaces. We extend this dictionary by explaining how the restriction of a tame…

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)$,…

We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.

It is well-known that univariate cubic spline interpolation, if carried out on point sets with fill distance $h$, converges only like ${\cal O}(h^2)$ in $L_2[a,b]$ for functions in $W_2^2[a,b]$ if no additional assumptions are made. But…

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…

Let $G$ be a connected reductive group over a totally real field $F$ which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on $G(\mathbb…

We describe the Griffiths group of the product of a curve $C$ and a surface $S$ as a quotient of the Albanese kernel of $S$ over the function field of $C$. When $C$ is a hyperplane section of $S$ varying in a Lefschetz pencil, we prove the…

We show that every irreducible, simply connected curve on a toric affine surface X over the field of complex numbers is an orbit closure of a multiplicative group action on X. It follows that up to the action of the automorphism group…

We adopt a measure-theoretic perspective on the Riemannian approximation scheme proving a sub-Riemannian Gauss-Bonnet theorem for surfaces in 3D contact manifolds. We show that the zero-order term in the limit is a singular measure…

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…

In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.