Source author record

Ted Chinburg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.GR math.GT math.RA Cryptography and Security math.CO math.RT

Catalog footprint

Research overview

21works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ , $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$

By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$ , the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$ , the Grothendieck-Teichmüller group. While it is known that every abelian representation of $G_{\mathbb{Q}}$ can be extended to $\widehat{GT}$ , Lochak and Schneps put forward the challenge of constructing irreducible non-abelian representations of $\widehat{GT}$ . We do this virtually, namely by showing that a rich class of arithmetically defined representations of $G_{\mathbb{Q}}$ can be extended to finite index subgroups of $\widehat{GT}$ . This is achieved, in fact, by extending these representations all the way to finite index subgroups of $A=\mathrm{Aut}(\widehat{F_2})$ . We do this by developing a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group $\mathrm{Aut}(F_d)$ .

preprint2021arXiv

Unramified Heisenberg group extensions of number fields

We construct étale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized Heisenberg Galois extensions.

preprint2020arXiv

Azumaya algebras and canonical components

Let $M$ be a compact 3-manifold and $Γ=π_1(M)$ . Work of Thurston and Culler--Shalen established the $\mathrm{SL}_2(\mathbb{C})$ character variety $X(Γ)$ as fundamental tool in the study of the geometry and topology of $M$ . This is particularly the case when $M$ is the exterior of a hyperbolic knot $K$ in $S^3$ . The main goals of this paper are to bring to bear tools from algebraic and arithmetic geometry to understand algebraic and number theoretic properties of the so-called canonical component of $X(Γ)$ , as well as distinguished points on the canonical component, when $Γ$ is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.

preprint2020arXiv

Galois structure of the holomorphic differentials of curves

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$ . Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$ -subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$ -modules is uniquely determined by the lower ramification groups and the fundamental characters of closed points of $X$ that are ramified in the cover $X\to X/G$ . We apply our method to determine the $\mathrm{PSL}(2,\mathbb{F}_\ell)$ -module structure of the space of holomorphic differentials of the reduction of the modular curve $\mathcal{X}(\ell)$ modulo $p$ when $p$ and $\ell$ are distinct odd primes and the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on this reduction is not tamely ramified. This provides some non-trivial congruences modulo appropriate maximal ideals containing $p$ between modular forms arising from isotypic components with respect to the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on $\mathcal{X}(\ell)$ .

preprint2016arXiv

Cryptographic applications of capacity theory: On the optimality of Coppersmith's method for univariate polynomials

We draw a new connection between Coppersmith's method for finding small solutions to polynomial congruences modulo integers and the capacity theory of adelic subsets of algebraic curves. Coppersmith's method uses lattice basis reduction to construct an auxiliary polynomial that vanishes at the desired solutions. Capacity theory provides a toolkit for proving when polynomials with certain boundedness properties do or do not exist. Using capacity theory, we prove that Coppersmith's bound for univariate polynomials is optimal in the sense that there are \emph{no} auxiliary polynomials of the type he used that would allow finding roots of size $N^{1/d+ε}$ for monic degree- $d$ polynomials modulo $N$ . Our results rule out the existence of polynomials of any degree and do not rely on lattice algorithms, thus eliminating the possibility of even superpolynomial-time improvements to Coppersmith's bound. We extend this result to constructions of auxiliary polynomials using binomial polynomials, and rule out the existence of any auxiliary polynomial of this form that would find solutions of size $N^{1/d+ε}$ unless $N$ has a very small prime factor.

preprint2015arXiv

Geodesic curves on Shimura surfaces

We parametrize the commensurability classes of curves on Shimura surfaces that are totally geodesic, i.e., the commensurability classes of so-called $\mathbb{C}$ -Fuchsian subgroups. In particular, if a Shimura surface contains one commensurability class of totally geodesic curves, it contains infinitely many.

preprint2015arXiv

Global Oort Groups

We study the Oort groups for a prime p, i.e. finite groups G such that every G-Galois branched cover of smooth curves over an algebraically closed field of characteristic p lifts to a G-cover of curves in characteristic 0. We prove that all Oort groups lie in a particular class of finite groups that we characterize, with equality of classes under a conjecture about local liftings. We prove this equality unconditionally if the order of G is not divisible by 2p^2. We also treat the local lifting problem and relate it to the global problem.

preprint2014arXiv

Presentations for quaternionic $S$ -unit groups

The purpose of this paper is to give presentations for projective $S$ -unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$ . To our knowledge, this provides the first explicit presentations of an $S$ -arithmetic lattice in a semisimple Lie group with $S$ large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product of Bruhat--Tits trees. We also include some discussion and experimentation related to the congruence subgroup problem, which is open when $S$ contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set $S$ .

preprint2014arXiv

Small generators for S-unit groups of division algebras

Let $k$ be a number field, suppose that $B$ is a central simple division algebra over $k$ , and choose any maximal order $\mathcal{D}$ of $B$ . The object of this paper is to show that the group $\mathcal{D}_S^*$ of $S$ -units of $B$ is generated by elements of small height once $S$ contains an explicit finite set of places of $k$ . This generalizes a theorem of H.\ W.\ Lenstra Jr., who proved such a result when $B = k$ . Our height bound is an explicit function of the number field and the discriminant of a maximal order in $B$ used to define its $S$ -units.

preprint2014arXiv

The geometry of finite dimensional algebras with vanishing radical square

Let $Λ$ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical $J$ vanishes. We determine the irreducible components of the module variety $\text{Mod}_{\bf d}(Λ)$ for any dimension vector $\bf d$ . Our description leads to a count of the components in terms of the underlying Gabriel quiver. A closed formula for the number of components when $Λ$ is local extends existing counts for the two-loop quiver to quivers with arbitrary finite sets of loops. For any algebra $Λ$ with $J^2 = 0$ , our criteria for identifying the components of $\text{Mod}_{\bf d}(Λ)$ permit us to characterize the modules parametrized by the individual irreducible components. Focusing on such a component, we explore generic properties of the corresponding modules by establishing a geometric bridge between the algebras with zero radical square on one hand and their stably equivalent hereditary counterparts on the other. The bridge links certain closed subvarieties of Grassmannians parametrizing the modules with fixed top over the two types of algebras. By way of this connection, we transfer results of Kac and Schofield from the hereditary case to algebras of Loewy length $2$ . Finally, we use the transit of information to show that any algebra of Loewy length $2$ which enjoys the dense orbit property in the sense of Chindris, Kinser and Weyman has finite representation type.

preprint2013arXiv

Derived category invariants and L-series

We relate invariants in derived categories associated to tame actions of finite groups on projective varieties over a finite field to zeros of L-functions

preprint2012arXiv

Every Binary Self-Dual Code Arises From Hilbert Symbols

In this paper we construct binary self-dual codes using the étale cohomology of $\mathbb{Z}/2$ on the spectra of rings of $S$ -integers of global fields. We will show that up to equivalence, all self-dual codes of length at least 4 arise from Hilbert pairings on rings of $S$ -integers of $\Q$. This is an arithmetic counterpart of a result of Kreck and Puppe, who used cobordism theory to show that all self-dual codes arise from Poincaré duality on real three manifolds.

preprint2012arXiv

Finite Morphisms to Projective Space and Capacity Theory

We study conditions on a commutative ring R which are equivalent to the following requirement; whenever X is a projective scheme over S = Spec(R) of fiber dimension \leq d for some integer d \geq 0, there is a finite morphism from X to P^d_S over S such that the pullbacks of coordinate hyperplanes give prescribed subschemes of X provided these subschemes satisfy certain natural conditions. We use our results to define a new kind of capacity for adelic subsets of projective schemes X over global fields. This capacity can be used to generalize the converse part of the Fekete-Szegő Theorem.

preprint2012arXiv

Inverse Problems for deformation rings

Let $\mathcal{W}$ be a complete local commutative Noetherian ring with residue field $k$ of positive characteristic $p$ . We study the inverse problem for the versal deformation rings $R_{\mathcal{W}}(Γ,V)$ relative to $\mathcal{W}$ of finite dimensional representations $V$ of a profinite group $Γ$ over $k$ . We show that for all $p$ and $n \ge 1$ , the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ arises as a universal deformation ring. This ring is not a complete intersection if $p^n\mathcal{W}\neq\{0\}$ , so we obtain an answer to a question of M. Flach in all characteristics. We also study the `inverse inverse problem' for the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ ; this is to determine all pairs $(Γ, V)$ such that $R_{\mathcal{W}}(Γ,V)$ is isomorphic to this ring.

preprint2011arXiv

Orthogonal representations of affine group schemes and twists of symmetric bundles

Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified over Y. The natural framework for handling the case of a non-constant group scheme over the affine base is provided by the quadratic theory of Hopf-algebras.

preprint2010arXiv

An element of order 4 in the Nottingham group at the prime 2

For k a field of characteristic 2, we show that there is a unique continuous automorphism of order 4 of the power series ring k[[t]] which sends t to t + t^2 + (t^6) + (t^{12} + t^{14}) + (t^{24} + t^{26} + t^{28} + t^{30}) + ... . For j >= 0, the j-th sum in parentheses has 2^j terms beginning at t^{6*2^j}, with successive terms in the j-th sum raising the exponent of t by 2.

preprint2010arXiv

Deformation rings which are not local complete intersections

We study the inverse problem for the versal deformation rings $R(Γ,V)$ of finite dimensional representations $V$ of a finite group $Γ$ over a field $k$ of positive characteristic $p$ . This problem is to determine which complete local commutative Noetherian rings with residue field $k$ can arise up to isomorphism as such $R(Γ,V)$ . We show that for all integers $n \ge 1$ and all complete local commutative Noetherian rings $\mathcal{W}$ with residue field $k$ , the ring $\mathcal{W}[[t]]/(p^n t,t^2)$ arises in this way. This ring is not a local complete intersection if $p^n\mathcal{W}\neq\{0\}$ , so we obtain an answer to a question of M. Flach in all characteristics.

preprint2010arXiv

Finiteness Theorems for Deformations of Complexes

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex to be represented by a complex of G-modules that is strictly perfect over the associated versal deformation ring.

preprint2010arXiv

Infinite Easier Waring Constants for Commutative Rings

Suppose n >= 2. We show that there is no integer v >= 1 such that for all commutative rings R with identity, every element of the subring J(2^n,R) of R generated by 2^n-th powers can be written in the form \pm f_1^{2^n} \pm \cdots \pm f_v^{2^n} for some f_1,...,f_v \in R and some choice of signs.

preprint2010arXiv

Obstructions for Deformations of Complexes

We develop two approaches to obstruction theory for deformations of derived isomorphism classes of complexes $Z^\bullet$ of modules for a profinite group $G$ over a complete local Noetherian ring $A$ of positive residue characteristic $\ell$ .

preprint2007arXiv

Oort groups and lifting problems

Let k be an algebraically closed field of positive characteristic p. We consider which finite groups G have the property that every faithful action of G on a connected smooth projective curve over k lifts to characteristic zero. Oort conjectured that cyclic groups have this property. We show that if a cyclic-by-p group G has this property, then G must be either cyclic or dihedral, with the exception of A_4 in characteristic 2. This proves one direction of a strong form of the Oort Conjecture.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ted Chinburg

Research overview

Is this your work?

21 publications

On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ , $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$

Unramified Heisenberg group extensions of number fields

Azumaya algebras and canonical components

Galois structure of the holomorphic differentials of curves

Cryptographic applications of capacity theory: On the optimality of Coppersmith's method for univariate polynomials

Geodesic curves on Shimura surfaces

Global Oort Groups

Presentations for quaternionic $S$ -unit groups

Small generators for S-unit groups of division algebras

The geometry of finite dimensional algebras with vanishing radical square

Derived category invariants and L-series

Every Binary Self-Dual Code Arises From Hilbert Symbols

Finite Morphisms to Projective Space and Capacity Theory

Inverse Problems for deformation rings

Orthogonal representations of affine group schemes and twists of symmetric bundles

An element of order 4 in the Nottingham group at the prime 2

Deformation rings which are not local complete intersections

Finiteness Theorems for Deformations of Complexes

Infinite Easier Waring Constants for Commutative Rings

Obstructions for Deformations of Complexes

Oort groups and lifting problems

See the researcher in context

Building this map preview

Ted Chinburg

Research overview

Is this your work?

21 publications

On representations of Gal(Q‾/Q)\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})Gal(Q​/Q), GT^\widehat{GT}GT and Aut(F^2)\mathrm{Aut}(\hat{F}_2)Aut(F^2​)

Unramified Heisenberg group extensions of number fields

Azumaya algebras and canonical components

Galois structure of the holomorphic differentials of curves

Cryptographic applications of capacity theory: On the optimality of Coppersmith's method for univariate polynomials

Geodesic curves on Shimura surfaces

Global Oort Groups

Presentations for quaternionic SSS-unit groups

Small generators for S-unit groups of division algebras

The geometry of finite dimensional algebras with vanishing radical square

Derived category invariants and L-series

Every Binary Self-Dual Code Arises From Hilbert Symbols

Finite Morphisms to Projective Space and Capacity Theory

Inverse Problems for deformation rings

Orthogonal representations of affine group schemes and twists of symmetric bundles

An element of order 4 in the Nottingham group at the prime 2

Deformation rings which are not local complete intersections

Finiteness Theorems for Deformations of Complexes

Infinite Easier Waring Constants for Commutative Rings

Obstructions for Deformations of Complexes

Oort groups and lifting problems

See the researcher in context

Building this map preview

On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ , $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$

Presentations for quaternionic $S$ -unit groups