Abstract For every integer k there exists a bound $$B=B(k)$$ B = B ( k ) such that if the characteristic polynomial of $$g\in \textrm{SL}_n(q)$$ g ∈ SL n ( q ) is the product of $$\le k$$ ≤ k pairwise distinct monic irreducible polynomials over $$\mathbb {F}_q$$ F q , then every element x of $$\textrm{SL}_n(q)$$ SL n ( q ) of support at least B is the product of two conjugates of g . We prove this and analogous results for the other classical groups over finite fields; in the orthogonal and symplectic cases, the result is slightly weaker. With finitely many exceptions ( p , q ), in the special case that $$n=p$$ n = p is prime, if g has order $$\frac{q^p-1}{q-1}$$ q p - 1 q - 1 , then every non-scalar element $$x \in \textrm{SL}_p(q)$$ x ∈ SL p ( q ) is the product of two conjugates of g . The proofs use the Frobenius formula together with upper bounds for values of unipotent and quadratic unipotent characters in finite classical groups.
more »
« less
This content will become publicly available on March 15, 2025
Global B(G) with adelic coefficients and transfer factors at non-regular elements
The goal of this paper is extend Kottwitz’s theory of B(G) for global fields. In particular, we show how to extend the definition of “B(G) with adelic coefficients” from tori to all connected reductive groups. As an application, we give an explicit construction of certain transfer factors for non-regular semisimple elements of non-quasisplit groups. This generalizes some results of Kaletha and Taibi. These formulas are used in the stabilization of the cohomology of Shimura and Igusa varieties.
more »
« less
- Award ID(s):
- 1840234
- PAR ID:
- 10531525
- Publisher / Repository:
- Springer
- Date Published:
- Journal Name:
- Mathematische Zeitschrift
- Volume:
- 306
- Issue:
- 4
- ISSN:
- 0025-5874
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Iwata, Satoru ; Kakimura, Naonori (Ed.)We give a new rapid mixing result for a natural random walk on the independent sets of a graph G. We show that when G has bounded treewidth, this random walk - known as the Glauber dynamics for the hardcore model - mixes rapidly for all fixed values of the standard parameter λ > 0, giving a simple alternative to existing sampling algorithms for these structures. We also show rapid mixing for analogous Markov chains on dominating sets, b-edge covers, b-matchings, maximal independent sets, and maximal b-matchings. (For b-matchings, maximal independent sets, and maximal b-matchings we also require bounded degree.) Our results imply simpler alternatives to known algorithms for the sampling and approximate counting problems in these graphs. We prove our results by applying a divide-and-conquer framework we developed in a previous paper, as an alternative to the projection-restriction technique introduced by Jerrum, Son, Tetali, and Vigoda. We extend this prior framework to handle chains for which the application of that framework is not straightforward, strengthening existing results by Dyer, Goldberg, and Jerrum and by Heinrich for the Glauber dynamics on q-colorings of graphs of bounded treewidth and bounded degree.more » « less
-
A bstract In a companion paper [1] we showed that the symmetry group $$ \mathfrak{G} $$ G of non-expanding horizons (NEHs) is a 1-dimensional extension of the Bondi-Metzner-Sachs group $$ \mathfrak{B} $$ B at $$ \mathcal{I} $$ I + . For each infinitesimal generator of $$ \mathfrak{G} $$ G , we now define a charge and a flux on NEHs as well as perturbed NEHs. The procedure uses the covariant phase space framework in presence of internal null boundaries $$ \mathcal{N} $$ N along the lines of [2–6]. However, $$ \mathcal{N} $$ N is required to be an NEH or a perturbed NEH. Consequently, charges and fluxes associated with generators of $$ \mathfrak{G} $$ G are free of physically unsatisfactory features that can arise if $$ \mathcal{N} $$ N is allowed to be a general null boundary. In particular, all fluxes vanish if $$ \mathcal{N} $$ N is an NEH, just as one would hope; and fluxes associated with symmetries representing ‘time-translations’ are positive definite on perturbed NEHs. These results hold for zero as well as non-zero cosmological constant. In the asymptotically flat case, as noted in [1], $$ \mathcal{I} $$ I ± are NEHs in the conformally completed space-time but with an extra structure that reduces $$ \mathfrak{G} $$ G to $$ \mathfrak{B} $$ B . The flux expressions at $$ \mathcal{N} $$ N reflect this synergy between NEHs and $$ \mathcal{I} $$ I + . In a forthcoming paper, this close relation between NEHs and $$ \mathcal{I} $$ I + will be used to develop gravitational wave tomography, enabling one to deduce horizon dynamics directly from the waveforms at $$ \mathcal{I} $$ I + .more » « less
-
Abstract The goal of this paper is to generalise, refine and improve results on large intersections from [2, 8]. We show that if G is a countable discrete abelian group and $\varphi , \psi : G \to G$ are homomorphisms, such that at least two of the three subgroups $\varphi (G)$ , $\psi (G)$ and $(\psi -\varphi )(G)$ have finite index in G , then $\{\varphi , \psi \}$ has the large intersections property . That is, for any ergodic measure preserving system $\textbf {X}=(X,\mathcal {X},\mu ,(T_g)_{g\in G})$ , any $A\in \mathcal {X}$ and any $\varepsilon>0$ , the set $$ \begin{align*} \{g\in G : \mu(A\cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A)>\mu(A)^3-\varepsilon\} \end{align*} $$ is syndetic (Theorem 1.11). Moreover, in the special case where $\varphi (g)=ag$ and $\psi (g)=bg$ for $a,b\in \mathbb {Z}$ , we show that we only need one of the groups $aG$ , $bG$ or $(b-a)G$ to be of finite index in G (Theorem 1.13), and we show that the property fails, in general, if all three groups are of infinite index (Theorem 1.14). One particularly interesting case is where $G=(\mathbb {Q}_{>0},\cdot )$ and $\varphi (g)=g$ , $\psi (g)=g^2$ , which leads to a multiplicative version of the Khintchine-type recurrence result in [8]. We also completely characterise the pairs of homomorphisms $\varphi ,\psi $ that have the large intersections property when $G = {{\mathbb Z}}^2$ . The proofs of our main results rely on analysis of the structure of the universal characteristic factor for the multiple ergodic averages $$ \begin{align*} \frac{1}{|\Phi_N|} \sum_{g\in \Phi_N}T_{\varphi(g)}f_1\cdot T_{\psi(g)} f_2. \end{align*} $$ In the case where G is finitely generated, the characteristic factor for such averages is the Kronecker factor . In this paper, we study actions of groups that are not necessarily finitely generated, showing, in particular, that, by passing to an extension of $\textbf {X}$ , one can describe the characteristic factor in terms of the Conze–Lesigne factor and the $\sigma $ -algebras of $\varphi (G)$ and $\psi (G)$ invariant functions (Theorem 4.10).more » « less
-
more » « less
Abstract A Kodaira fibration is a non‐isotrivial fibration from a smooth algebraic surface
S to a smooth algebraic curveB such that all fibers are smooth algebraic curves of genusg . Such fibrations arise as complete curves inside the moduli space of genusg algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of parametrizing curves whose Jacobians have extra endomorphisms.
