Source author record

Mark Shusterman

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.GR math.AG math.AC math.AT math.CO math.GT math.LO math.QA

Catalog footprint

Research overview

10works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Averages of Arithmetic Functions over Conductors of Function Fields

For a finite group $G$ and a sufficiently large (but fixed) prime power $q$ coprime to $G$ we obtain asymptotics for the number of regular Galois extensions $L/ \mathbb{F}_q(t)$ , with $\mathrm{Gal}(L/\mathbb{F}_q(t)) \cong G$ , ramified at a single place of $\mathbb{F}_q(t)$ , thus making progress on a positive characteristic analog of the Boston--Markin conjecture. We also obtain similar results for other arithmetic functions of the product of places of $\mathbb{F}_q(t)$ ramified in $L$ , and for more general one-variable function fields over $\mathbb{F}_q$ in place of $\mathbb{F}_q(t)$ . Some of our proofs make crucial use of a series of recent breakthroughs by Landesman--Levy, as well as a new `vanishing of stable homology in a given direction' result for representations of braid groups arising from braided vector spaces. Other inputs include a study of (rings of coinvariants of) braided vector spaces associated to racks with $2$ -cocycles, a connection between convolution of arithmetic functions and direct sums of braided vector spaces, and a Goursat lemma for racks.

preprint2026arXiv

Pro- $\ell$ -by-cyclotomic and tamely ramified variants of the Neukirch-Uchida Theorem

We prove a generalization of the Neukirch-Uchida Theorem. In particular, we show that the isomorphism type of a number field $K$ can be recovered from the maximal pro- $\ell$ -by-cyclotomic quotient of its absolute Galois group $G_{\overline{K}/K}$ . This should be contrasted with the previous result that the isomorphism type cannot, in general, be recovered from the maximal pronilpotent quotient. We also show that the isomorphism type can be recovered from the maximal tamely ramified quotient.

preprint2025arXiv

Short sums of trace functions over function fields and their applications

For large enough (but fixed) prime powers $q$ , and trace functions to squarefree moduli in $\mathbb{F}_q[u]$ with slopes at most $1$ at infinity, and no Artin--Schreier factors in their geometric global monodromy, we come close to square-root cancellation in short sums. A special case is a function field version of Hooley's Hypothesis $R^*$ for short Kloosterman sums. As a result, we are able to make progress on several problems in analytic number theory over $\mathbb{F}_q[u]$ such as Mordell's problem on the least residue class not represented by a polynomial and the variance of short Kloosterman sums.

preprint2022arXiv

Hecke's Theorem on the Different for $3$ -Manifolds

Hecke has shown that the different of an extension of number fields is a square in the class group. We prove an analog for branched covers of closed $3$ -manifolds saying that the branch divisor is a square in the first homology group.

preprint2021arXiv

Finite presentation of the tame fundamental group

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$ . We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of a smooth projective variety over $k$ is finitely presented. More generally we prove that the tame fundamental group of a smooth quasi-projective variety over $k$ which admits a good compactification is finitely presented. v2: references added. Thank you to all for the friendly and fruitful comments.

preprint2020arXiv

Möbius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields

We establish cancellation in short sums of certain special trace functions over $\mathbb{F}_q[u]$ below the Pólya-Vinogradov range, with savings approaching square-root cancellation as $q$ grows. This is used to resolve the $\mathbb{F}_q[u]$ -analog of Chowla's conjecture on cancellation in Möbius sums over polynomial sequences, and of the Bateman-Horn conjecture in degree $2$ , for some values of $q$ . A final application is to sums of trace functions over primes in $\mathbb{F}_q[u]$ .

preprint2016arXiv

An axiomatizable profinite group with infinitely many open subgroups of index 2

We show that a profinite group with the same first-order theory as the direct product over all odd primes $p$ of the dihedral group of order $2p$ , is necessarily isomorphic to this direct product.

preprint2016arXiv

Ascending chains of finitely generated subgroups

We show that a nonempty family of $n$ -generated subgroups of a pro- $p$ group has a maximal element. This suggests that 'Noetherian Induction' can be used to discover new features of finitely generated subgroups of pro- $p$ groups. To demonstrate this, we show that in various pro- $p$ groups $Γ$ (e.g. free pro- $p$ groups, nonsolvable Demushkin groups) the commensurator of a finitely generated subgroup $H \neq 1$ is the greatest subgroup of $Γ$ containing $H$ as an open subgroup. We also show that an ascending sequence of $n$ -generated subgroups of a limit group must terminate (this extends the analogous result for free groups proved by Takahasi, Higman, and Kapovich-Myasnikov).

preprint2016arXiv

Groups with positive rank gradient and their actions

We show that given a finitely generated LERF group $G$ with positive rank gradient, and finitely generated subgroups $A,B \leq G$ of infinite index, one can find a finite index subgroup $B_0$ of $B$ such that $[G : \langle A \cup B_0 \rangle] = \infty$ . This generalizes a theorem of Olshanskii on free groups. We conclude that a finite product of finitely generated subgroups of infinite index does not cover $G$ . We construct a transitive virtually faithful action of $G$ such that the orbits of finitely generated subgroups of infinite index are finite. Some of the results extend to profinite groups with positive rank gradient.

preprint2016arXiv

Schreier's formula for Prosupersolvable groups

We classify the finitely generated prosupersolvable groups that satisfy Schreier's formula for the number of generators of open subgroups.

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.

Mark Shusterman

Research overview

Is this your work?

10 publications

Averages of Arithmetic Functions over Conductors of Function Fields

Pro- $\ell$ -by-cyclotomic and tamely ramified variants of the Neukirch-Uchida Theorem

Short sums of trace functions over function fields and their applications

Hecke's Theorem on the Different for $3$ -Manifolds

Finite presentation of the tame fundamental group

Möbius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields

An axiomatizable profinite group with infinitely many open subgroups of index 2

Ascending chains of finitely generated subgroups

Groups with positive rank gradient and their actions

Schreier's formula for Prosupersolvable groups

See the researcher in context

Building this map preview

Mark Shusterman

Research overview

Is this your work?

10 publications

Averages of Arithmetic Functions over Conductors of Function Fields

Pro-ℓ\ellℓ-by-cyclotomic and tamely ramified variants of the Neukirch-Uchida Theorem

Short sums of trace functions over function fields and their applications

Hecke's Theorem on the Different for 333-Manifolds

Finite presentation of the tame fundamental group

Möbius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields

An axiomatizable profinite group with infinitely many open subgroups of index 2

Ascending chains of finitely generated subgroups

Groups with positive rank gradient and their actions

Schreier's formula for Prosupersolvable groups

See the researcher in context

Building this map preview

Pro- $\ell$ -by-cyclotomic and tamely ramified variants of the Neukirch-Uchida Theorem

Hecke's Theorem on the Different for $3$ -Manifolds