arXiv Science⌕ Search

arXiv subjects

Mark Shusterman

Publications and source records attributed to Mark Shusterman.

At least 19 recordsLinked to original sources
arXiv2026

A hereditary theorem for rigid and pseudorigid components of Lusztig's nilpotent varieties in type $A$

For irreducible components $C_\sigma$ of Lusztig's nilpotent varieties of type $A$ with graded dimension $(1,2,\dots,n,n-1,\dots,1)$ arising from permutations $\sigma\in S_n$, we characterize the property that $C_\sigma\oplus C_\sigma$ is an irreducible component combinatorially in terms of $\sigma$. The permutations that occur, which we call \emph{pseudosmooth}, are described by a recursion on direct sums and deleting suitable corners, whose terminal cases are the permutations obtained from \[ 3412,\quad 4231,\quad 35142,\quad 42513,\quad 45312,\quad 426153,\quad 463152,\quad 526413 \] by inflating the entries into consecutive decreasing blocks. The main new input is a hereditary property valid for decompositions of multisegments with disjoint extreme points.

math.RT↗
arXiv2026

Non-finitely Presented Lie Algebras of Type $FP_2$

Building on work of Kassel--Loday and Zelmanov--Zhang, we show that a Steinberg Lie algebra of the complex group algebra of a (suitable) Bestvina--Brady group is of type $FP_2$ and is not finitely presented. This also allows us to answer the (homological) $0$-$1$-$2$ question for Lie algebras.

math.RA↗
arXiv2026

Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Discrete Groups

We prove the Virtual Surjection Conjecture for discrete groups, both for property $F_{n}$ and for property $FP_{n}$: given a product of groups of type $F_k$ (respectively $FP_k$), a subgroup that virtually surjects onto $k$-tuples must be $F_k$ (respectively $FP_k$) as well. We prove the homological $n$-$(n+1)$-$(n+2)$ Conjecture for discrete groups under the assumption the common quotient is finitely presented, and prove that this assumption cannot be dropped. We deduce the $n$-$(n+1)$-$(n+2)$ Conjecture for property $F_{n}$.

math.GR↗
arXiv2026

Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Profinite Groups

We prove the Virtual Surjection Conjecture for profinite groups. Namely, given a product of $n$ profinite $\mathrm{FP}_{k}$ groups, a subgroup that virtually surjects onto $k$-tuples must be $\mathrm{FP}_{k}$ as well. We also prove the $n$-$(n+1)$-$(n+2)$ Conjecture for profinite groups, as well as a few other $\mathrm{FP}_{n}$ permanence results for fibre products. Our main tool is a numerical criterion for property $\mathrm{FP}_{n}$ of modules of profinite groups. Our work suggests a new finiteness property to investigate.

math.GR↗
arXiv2026

Arithmetic Wu Formulas and the Generalized Hecke Theorem

We construct canonical Steenrod square operations on the Geisser--Schmidt/Milne modified compactly supported \'etale cohomology of separated finite-type schemes over rings of $S$-integers in which $2$ is invertible. This lets us extend Feng's notion of the absolute \'etale Wu class from the finite-field setting to arithmetic bases away from $2$. A key technical input is a modified compactly supported relative Wu formula, extending Benoist's relative Wu formula to the arithmetic compact-support setting. Using this, we prove an absolute Wu formula for regular projective flat schemes over either finite fields of odd characteristic or rings of $S$-integers away from $2$: if $f\colon X\to B$ is such a scheme, then the absolute Wu class of $X$ is the product of the relative Wu class $\operatorname{Sq}^{-1}(w_{\mathrm{et}}(\tau_f))$ and the pullback of the absolute Wu class of the base. In the $S$-integer case, the base contribution is $1+\beta_B$, where $\beta_B$ is the Bockstein, equivalently the Kummer class of $-1$. As an application, we obtain an infinite family of universal mod-$2$ congruences among the Chern classes of regular projective flat schemes over such bases, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series; this is the generalized Hecke theorem. In low dimensions these congruences recover Hecke's theorem on the different away from $2$, Serre's Riemann--Hurwitz theorem for spin bundles, Atiyah's theorem on theta characteristics over finite fields, and the smooth $3$-manifold branched-cover analogue of the Shusterman--Sawin theorem, while yielding new higher-dimensional congruences over both finite and arithmetic bases.

math.NT↗
arXiv2026

Subgroups with all finite lifts isomorphic are conjugate

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

math.GR↗
arXiv2026

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.

math.NT↗
arXiv2026

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.

math.NT↗
arXiv2025

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.

math.NT↗
arXiv2022

The Tamely Ramified Geometric Quantitative Minimal Ramification Problem

We prove a large finite field version of the Boston--Markin conjecture on counting Galois extensions of the rational function field with a given Galois group and the smallest possible number of ramified primes. Our proof involves a study of structure groups of (direct products of) racks.

math.NT↗
arXiv2022

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.

math.NT↗
arXiv2021

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.

math.AG↗
arXiv2020

M\"{o}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\'{o}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\"{o}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]$.

math.NT↗
arXiv2019

The Hanna Neumann conjecture for Demushkin Groups

We confirm the Hanna Neumann conjecture for topologically finitely generated closed subgroups $U$ and $W$ of a nonsolvable Demushkin group $G$. Namely, we show that \begin{equation*} \sum_{g \in U \backslash G/W} \bar d(U \cap gWg^{-1}) \leq \bar d(U) \bar d(W) \end{equation*} where $\bar d(K) = \max\{d(K) - 1, 0\}$ and $d(K)$ is the least cardinality of a topological generating set for the group $K$.

math.GR↗
arXiv2019

Nonvanishing of hyperelliptic zeta functions over finite fields

Fixing $t \in \mathbb{R}$ and a finite field $\mathbb{F}_q$ of odd characteristic, we give an explicit upper bound on the proportion of genus $g$ hyperelliptic curves over $\mathbb{F}_q$ whose zeta function vanishes at $\frac{1}{2} + it$. Our upper bound is independent of $g$ and tends to $0$ as $q$ grows.

math.NT↗
arXiv2018

On the Chowla and twin primes conjectures over $\mathbb F_q[T]$

Using geometric methods, we improve on the function field version of the Burgess bound, and show that, when restricted to certain special subspaces, the M\"{o}bius function over $\mathbb F_q[T]$ can be mimicked by Dirichlet characters. Combining these, we obtain a level of distribution close to $1$ for the M\"{o}bius function in arithmetic progressions, and resolve Chowla's $k$-point correlation conjecture with large uniformity in the shifts. Using a function field variant of a result by Fouvry-Michel on exponential sums involving the M\"{o}bius function, we obtain a level of distribution beyond $1/2$ for irreducible polynomials, and establish the twin prime conjecture in a quantitative form. All these results hold for finite fields satisfying a simple condition.

math.NT↗