Source author record

Mark Shusterman

Mark Shusterman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

10 published item(s)

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.

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

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.