Search

Let $G$ be a subgroup of ${\rm PGL}_2({\mathbb F}_q)$, where $q$ is any prime power, and let $Q \in {\mathbb F}_q[x]$ such that ${\mathbb F}_q(x)/{\mathbb F}_q(Q(x))$ is a Galois extension with group $G$. By explicitly computing the Artin map on unramified degree-1 primes in ${\mathbb F}_q(Q)$ for various groups $G$, interesting new results emerge about finite fields, additive polynomials, and conjugacy classes of ${\rm PGL}_2({\mathbb F}_q)$. For example, by taking $G$ to be a unipotent group, one obtains a new characterization for when an additive polynomial splits completely over ${\mathbb F}_q$. When $G = {\rm PGL}_2({\mathbb F}_q)$, one obtains information about conjugacy classes of ${\rm PGL}_2({\mathbb F}_q)$. When $G$ is the group of order 3 generated by $x \mapsto 1 - 1/x$, one obtains a natural tripartite symbol on ${\mathbb F}_q$ with values in ${\mathbb Z}/3{\mathbb Z}$. Some of these results generalize to ${\rm PGL}_2(K)$ for arbitrary fields $K$. Apart from the introduction, this article is written from first principles, with the aim to be accessible to graduate students or advanced undergraduates. An earlier draft of this article was published on the Math arXiv in June 2019 under the title {\it More structure theorems for finite fields}., Comment: Version 4 contains minor corrections and updates to the bibliograpy. Version 3 is a major revision, including a change in the title from "More structure theorems for finite fields" to "Explicit Artin maps into PGL2". The author thanks Xander Faber for insightful comments that led to the change in the title

A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such as assuming the Latin square is reduced, diagonal, idempotent or unipotent. Our data corrected an error in earlier literature and suggested several patterns that we then found proofs for, including (1) The number of isomorphism classes of semisymmetric idempotent Latin squares of order $n$ equals the number of isomorphism classes of semisymmetric unipotent Latin squares of order $n+1$, and (2) Suppose $A$ and $B$ are totally symmetric Latin squares of order $n\not\equiv0\bmod3$. If $A$ and $B$ are paratopic then $A$ and $B$ are isomorphic.

We prove a certain transcendence property of the unipotent Albanese map of a smooth variety, conditional on the Ax-Schanuel conjecture for variations of mixed Hodge structure. We show that this property allows the Chabauty-Kim method to be generalized to higher-dimensional varieties. In particular, we conditionally generalize several of the main Diophantine finiteness results in Chabauty-Kim theory to arbitrary number fields., 14 pages

We consider a special class of unipotent periods for automorphic forms on a finite cover of a reductive adelic group $$\mathbf {G}(\mathbb {A}_\mathbb {K})$$ G ( A K ) , which we refer to as Fourier coefficients associated to the data of a ‘Whittaker pair’. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are ‘Levi-distinguished’ Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $${\mathbb K}$$ K -distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In companion papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of certain Fourier coefficients.

In this paper, we construct and classify the special unipotent representations of a real reductive group attached to the principal nilpotent orbit. We give formulas for the $\mathbf{K}$-types, associated varieties, and Langlands parameters of all such representations., revised exposition

This paper gives explicit constructions of all irreducible representations of unipotent radicals $$N_{n_1,n_2,n_3}({\mathbb {F}}_q)$$ of the standard parabolic subgroups $$P_{n_1,n_2,n_3}({\mathbb {F}}_q)$$ of $${\mathrm {GL}}_n({\mathbb {F}}_q),$$ corresponding to the ordered partition $$ (n_1,\ n_2,\ n_3)$$ of n. The construction gives a bijection between coadjoint orbits of $$N_{n_1,n_2,n_3}({\mathbb {F}}_q)$$ and irreducible representations inducing from degree 1 characters in the sense of Boyarchenko’s construction. The result shows that the number of irreducible characters of $$N_{n_1,n_2,n_3}({\mathbb {F}}_q)$$ with a fixed degree is a polynomial in $$q-1$$ with nonnegative integer coefficients and verifies analogue conjectures of Higman, Lehrer, and Isaacs.

We investigate positive-dimensional closed reductive subgroups of almost simple algebraic groups containing a regular unipotent element. Our main result states that such subgroups do not lie inside proper parabolic subgroups unless possibly when their connected component is a torus. This extends the earlier result of Testerman and Zalesski treating connected reductive subgroups.

We discuss some of the contributions of T.A. Springer (1926–2011) to the theory of algebraic groups, with emphasis on his work on unipotent classes and representations of Weyl groups.

This study continues the author’s previous papers where a refined description of the chief factors of a parabolic maximal subgroup involved in its unipotent radical was obtained for all (normal and twisted) finite simple groups of Lie type except for the groups $${}^{2}F_{4}(2^{2n+1})$$ and $$B_{l}(2^{n})$$ . In present paper, such a description is given for the group $${}^{2}F_{4}(2^{2n+1})$$ . We prove a theorem in which, for every parabolic maximal subgroup of $${}^{2}F_{4}(2^{2n+1})$$ , a fragment of the chief series involved in the unipotent radical of this subgroup is given. Generators of the corresponding chief factors are presented in a table.

In this paper we describe $${\mathcal {R}}$$ -unipotent semigroups being regular extensions of a left regular band by an $$\mathcal {R}$$ -unipotent semigroup T as certain subsemigroups of a wreath product of a left regular band by T. We obtain Szendrei’s result that each E-unitary $${\mathcal {R}}$$ -unipotent semigroup is embeddable into a semidirect product of a left regular band by a group. Further, specialising the first author’s notion of $$\lambda $$ -semidirect product of a semigroup by a locally $${\mathcal {R}}$$ -unipotent semigroup, we provide an answer to an open question raised by the authors in [Extensions and covers for semigroups whose idempotents form a left regular band, Semigroup Forum 81 (2010), 51-70].

The consistent systems of idempotents of Meyer and Solleveld allow to construct Serre subcategories of $Rep_R(G)$, the category of smooth representations of a $p$-adic group $G$ with coefficients in $R$. In particular, they were used to construct level 0 decompositions when $R=\overline{\mathbb{Z}}_{\ell}$, $\ell \neq p$, by Dat for $GL_n$ and the author for a more general group. Wang proved in the case of $GL_n$ that the subcategory associated with a system of idempotents is equivalent to a category of coefficient systems on the Bruhat-Tits building. This result was used by Dat to prove an equivalence between an arbitrary level zero block of $GL_n$ and a unipotent block of another group. In this paper, we generalize Wang's equivalence of category to a connected reductive group on a non-archimedean local field., 17 pages, in English

We introduce two properties: strong R-property and $C(q)$ -property, describing a special way of divergence of nearby trajectories for an abstract measure-preserving system. We show that systems satisfying the strong R-property are disjoint (in the sense of Furstenberg) with systems satisfying the $C(q)$ -property. Moreover, we show that if $u_t$ is a unipotent flow on $G/\Gamma $ with $\Gamma $ irreducible, then $u_t$ satisfies the $C(q)$ -property provided that $u_t$ is not of the form $h_t\times \operatorname {id}$ , where $h_t$ is the classical horocycle flow. Finally, we show that the strong R-property holds for all (smooth) time changes of horocycle flows and non-trivial time changes of bounded-type Heisenberg nilflows.

Building upon recent results of Dub\'edat on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $\Omega^\delta$ to a simply connected domain $\Omega\subset\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \emph{double-dimer loop ensembles} on $\Omega^\delta$ as $\delta\to 0$. More precisely, let $\lambda_1,\dots,\lambda_n\in\Omega$ and $L$ be a macroscopic lamination on $\Omega\setminus\{\lambda_1,\dots,\lambda_n\}$, i.e., a collection of disjoint simple loops surrounding at least two punctures considered up to homotopies. We show that the probabilities $P_L^\delta$ that one obtains $L$ after withdrawing all loops surrounding no more than one puncture from a double-dimer loop ensemble on $\Omega^\delta$ converge to a conformally invariant limit $P_L$ as $\delta \to 0$, for each $L$. Though our primary motivation comes from 2D statistical mechanics and probability, the proofs are of a purely analytic nature. The key techniques are the analysis of entire functions on the representation variety $\mathrm{Hom}(\pi_1(\Omega\setminus\{\lambda_1,\dots,\lambda_n\})\to\mathrm{SL}_2(\mathbb C))$ and on its (non-smooth) subvariety of locally unipotent representations. In particular, we do \emph{not} use any RSW-type arguments for double-dimers. The limits $P_L$ of the probabilities $P_L^\delta$ are defined as coefficients of the isomonodormic tau-function studied by Dub\'edat with respect to the Fock--Goncharov lamination basis on the representation variety. The fact that $P_L$ coincides with the probability to obtain $L$ from a sample of the nested CLE(4) in $\Omega$ requires a small additional input, namely a mild crossing estimate for this nested conformal loop ensemble.

For a general linear supergroup $G=GL(m|n)$, we consider a natural isomorphism $\phi: G \to U^-\times G_{ev} \times U^+$, where $G_{ev}$ is the even subsupergroup of $G$, and $U^-$, $U^+$ are appropriate odd unipotent subsupergroups of $G$. We compute the action of odd superderivations on the images $\phi^*(x_{ij})$ of the generators of $K[G]$. We describe a specific ordering of the dominant weights $X(T)^+$ of $GL(m|n)$ for which there exists a Donkin-Koppinen filtration of the coordinate algebra $K[G]$. Let $\Gamma$ be a finitely generated ideal $\Gamma$ of $X(T)^+$ and $O_{\Gamma}(K[G])$ be the largest $\Gamma$-subsupermodule of $K[G]$ having simple composition factors of highest weights $\lambda\in \Gamma$. We apply combinatorial techniques, using generalized bideterminants, to determine a basis of $G$-superbimodules appearing in Donkin-Koppinen filtration of $O_{\Gamma}(K[G])$.

Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non-liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd-Barron, do not lift to truncated Witt vectors, yet the base of the miniversal formal deformation over the Witt vectors is regular. Using the classification of Bombieri and Mumford, we also show that bielliptic surfaces arising from a quotient by a unipotent group scheme of order p do not lift to the ring of Witt vectors. These results hinge on some observations in homological algebra that relates splittings in derived categories to Yoneda extensions and certain diagram completions.

Methods of symbolic dynamics play an essential role in the study of combinatorial properties of words, problems in number theory and the theory of dynamical systems. The paper is devoted to the problems of combinatorics on words, its applications in algebra and dynamical systems. Section 2.1 considers the one-dimensional case using the key example of Sturm’s words. The proof of the criterion for substitutionality of Sturm palindromes using the Rauzy induction is given, the case of one-dimensional facordynamics is considered. Section 2.2 discusses the shift of the torus and the Rauzy fractal that generates the word Tribonacci. The relationship between the periodicity of Rauzy’s schemes and the substitutionality of the word generated by this system is discussed. The implementation of the word Tribonacci through the rearrangement of line segments is given. An approach to the Pisot hypothesis is outlined. Section 2.3 talks about unipotent torus transformations and billiards in polygons. Chapter 3 talks about normal forms and the growth of groups and algebras. Chapter 4 is devoted to Rosie graphs, Gr¨obner bases and co-growth, and algebraic applications. Section 4.1 discusses the results in the combinatorics of multilinear words developed by V. N. Latyshev and the problems he posed. Section 4.2 talks about finitely defined objects and the problems of controlling the relationships that define them. Section 4.3 describes some monomial algebras in terms of uniformly recurrent words. Chapter 5 deals with the problem of height and normal forms.

To a one-parameter family of Calabi-Yau threefolds, we can associate the extended period map by the log Hodge theory of Kato and Usui. In the present paper, we study the image of a maximally unipotent monodromy point under the extended period map. As an application, we prove the generic Torelli theorem for a large class of one-parameter families of Calabi-Yau threefolds.

We investigate several interrelated foundational questions pertaining to the study of motivic dga’s of Dan-Cohen and Schlank (Rational motivic path spaces and Kim’s relative unipotent section conjecture. arXiv:1703.10776 ) and Iwanari (Motivic rational homotopy type. arXiv:1707.04070 ). In particular, we note that morphisms of motivic dga’s can reasonably be thought of as a nonabelian analog of motivic cohomology. Just as abelian motivic cohomology is a homotopy group of a spectrum coming from K-theory, the space of morphisms of motivic dga’s is a certain limit of such spectra; we give an explicit formula for this limit—a possible first step towards explicit computations or dimension bounds. We also consider commutative comonoids in Chow motives, which we call “motivic Chow coalgebras”. We discuss the relationship between motivic Chow coalgebras and motivic dga’s of smooth proper schemes. As a small first application of our results, we show that among schemes which are finite etale over a number field, morphisms of associated motivic dga’s are no different than morphisms of schemes. This may be regarded as a small consequence of a plausible generalization of Kim’s relative unipotent section conjecture, hence as an ounce of evidence for the latter.

Following a suggestion of Peter Scholze, we construct an action of G m ^ \widehat {\mathbb {G}_m} on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the p p -adic modular curve whose ring of functions is Serre’s space of p p -adic modular functions. This action is a local, p p -adic analog of a global, archimedean action of the circle group S 1 S^1 on the lattice-unstable locus of the modular curve over C \mathbb {C} . To construct the G m ^ \widehat {\mathbb {G}_m} -action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates q q ; along the way we also prove a natural generalization of Dwork’s equation τ = log ⁡ q \tau =\log q for extensions of Q p / Z p \mathbb {Q}_p/\mathbb {Z}_p by μ p ∞ \mu _{p^\infty } valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of G m ^ \widehat {\mathbb {G}_m} integrates the differential operator θ \theta coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and p p -adic L L -functions.

Let $$\mathbb{G}$$ denote a higher-rank ℝ-split simple Lie group of the following type: SL(n, ℝ), SOo(m, m), E6(6), E7(7) and E8(8), where m ≥ 4 and n ≥ 3. We study the cohomological equation for discrete, abelian parabolic actions on $$\mathbb{G}$$ via representation theory. Specifically, we characterize the obstructions to solving the cohomological equation and construct smooth solutions with Sobolev estimates. We prove that global estimates of the solution are generally not tame, and our non-tame estimates in the case $$\mathbb{G}$$ = SL(n, ℝ) are sharp up to finite loss of regularity. Moreover, we prove that for general $$\mathbb{G}$$ the estimates are tame in all but one direction, and as an application, we obtain tame estimates for the common solution of the cocycle equations. We also give a sufficient condition for which the first cohomology with coefficients in smooth vector fields is trivial. In the case that $$\mathbb{G}$$ = SL(n, ℝ), we show this condition is also necessary. A new method is developed to prove tame directions involving computations within maximal unipotent subgroups of the unitary duals of SL(2, ℝ) ⋉ ℝ2 and SL(2, ℝ) ⋉ ℝ4. A new technique is also developed to prove non-tameness for solutions of the cohomological equation.

We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules is detected on proper sub-super\-group schemes. This special case feeds into the proof of a more general detection theorem for unipotent finite supergroup schemes, in a separate work of the authors joint with Iyengar and Krause. We also completely determine the cohomology ring in the smallest cases, namely $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb G_{a(1)}$ and $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb Z/p$. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes., 19 pages

Generalizing Lusztig's work, Malle as associated to any imprimitive complex reflection $W$ group a set of "unipotent characters", which are in bijection of the usual unipotent characters of the associated finite reductive group if $W$ is a Weyl group. He also obtained a partition of these characters into families and associated to each family a $\mathbb{Z}$-modular datum. We construct a categorification of some of these data, by studying the category of tilting modules of the Drinfeld double of the quantum enveloping algebra of the Borel of a simple complex Lie algebra.

Inclusions resulting from the commutativity of elements and their commutators with trans\-vections in the language of residual and fixed submodules are found. The residual and fixed submodules of an element $\sigma $ of the complete linear group are defined as the image and the kernel of the element $\sigma -1$ and are denoted by $R(\sigma )$ and $P(\sigma )$, respectively. It is shown that for an arbitrary element $g$ of a complete linear group over a division ring whose characteristic is different from 2 and the transvection $\tau $ from the commutativity of the commutator $\left[g,\tau \right]$ with $g$ is followed by the inclusion of $R(\left[g,\tau \right])\subseteq P(\tau )\cap P(g)$. It is proved that the same inclusions occur over an arbitrary division ring if $g$ is a unipotent element, $\mathrm{dim}\mathrm{}(R\left(\tau \right)+R\left(g\right))\le 2$ and the commutator $\left[g,\tau \right]$ commutes with $\tau $ or if $g$ is a unipotent commutator of some element of the complete linear group and transvection $\ \tau $.

We give a short combinatorial proof of Asai's decomposition formula for Lusztig induction of unipotent characters in groups of classical type, relying solely on the Mackey formula.

The Malle–Navarro conjecture relates central block theoretic invariants in two inequalities. In this article, we prove the conjecture for the 2-blocks and the unipotent 3-blocks of the general line...

S.-Y. Pan decomposes the uniform projection of the Weil representation of a finite symplectic-odd orthogonal dual pair, in terms of Deligne-Lusztig virtual characters, assuming that the order of the finite field is large enough. In this paper we use Pan's decomposition to study the theta correspondence for this kind of dual pairs, following the approach of Adams-Moy and Aubert-Michel-Rouquier. Our results give the theta correspondence between unipotent representations and certain quadratic unipotent representations., Comment: Revised version, accepted by Pacific J. Math

In this paper we will give a short proof of a special case of Zariski’s result about finite generation in connection with Hilbert’s 14th problem using a new idea. Our result is useful for invariant subrings of unipotent or connected semisimple groups. We will also prove an analogue of Miyanishi’s result for the ring of invariants of a $$ {\mathbbm{G}}_a $$ -action on R[X, Y, Z] for an affine Dedekind domain R using topological methods.

Let S be a del Pezzo surface with at worst Du Val singularities such that it is a hypersurface in a weighted projective space ℙ. We prove that the surface S contains a (−KS)-polar cylinder if and only if the automorphism group of the affine variety ℙ \ S contains a unipotent subgroup.

In this paper we study the Gan–Gross–Prasad problem for unitary groups over finite fields. Our results provide complete answers for unipotent representations, and we obtain the explicit branching of these representations.

Let G(F_q) be the group of rational points of a simple algebraic group defined and split over a finite field F_q. In this paper we define a new basis for the Grothendieck group of unipotent representations of G(F_q)., 36 pages. arXiv admin note: text overlap with arXiv:1805.03770

Let G be a connected reductive algebraic group defined over a finite field with q elements. In the 1980’s, Kawanaka introduced generalised Gelfand–Graev representations of the finite group $$ G\left({\mathbbm{F}}_q\right) $$ G F q , assuming that q is a power of a good prime for G. These representations have turned out to be extremely useful in various contexts. Here we investigate to what extent Kawanaka’s construction can be carried out when we drop the assumptions on q. As a curious by-product, we obtain a new, conjectural characterisation of Lusztig’s concept of special unipotent classes of G in terms of weighted Dynkin diagrams.

Let G be a simply connected Chevalley group over an infinite field K, and let $$ \tilde{w} $$ : Gn → G be a word map that corresponds to a nontrivial word w. In 2015, it has been proved that if w = w1w2w3w4 is the product of four words in independent variables, then every noncentral element of G is contained in the image of $$ \tilde{w} $$. A similar result for a word w = w1w2w3, which is the product of three independent words, was obtained in 2019 under the condition that the group G is not of type B2 or G2. In the present paper, it is proved that for a group of type B2 or G2, all elements of the large Bruhat cell B nw0B are contained in the image of the word map $$ \tilde{w} $$, where w = w1w2w3 is the product of three independent words. For a group G of type Ar, Cr, or G2 (respectively, for a group of type Ar) or a group over a perfect field K (respectively, over a perfect field K the characteristic of which is not a bad prime for G) with dim K ≤ 1 (here, dim K is the cohomological dimension of K), it is proved that all split regular semisimple elements (respectively, all regular unipotent elements) of G are contained in the image of $$ \tilde{w} $$, where w = w1w2 is the product of two independent words. Also, for any isotropic (but not necessary split) simple algebraic group G over a field K of characteristic zero, it is shown that for a word map $$ \tilde{w} $$ : G(K)n → G(K), where w = w1w2 is a product of two independent words, all unipotent elements are contained in Im $$ \tilde{w} $$.

We study the local zeta integrals attached to a pair of generic representations ( π , τ ) of GL n × GL m , n > m , over a p-adic field. Through a process of unipotent averaging we produce a pair of corresponding Whittaker functions whose zeta integral is non-zero, and we express this integral in terms of the Langlands parameters of π and τ. In many cases, these Whittaker functions also serve as a test vector for the associated Rankin–Selberg (local) L-function.

Given a Speh representation π of GL n ( F ) for a non-archimedean local field F, we obtain necessary and sufficient conditions on standard parabolic subgroups for the Jacquet module of π with respect to the parabolic subgroup to be generic. Using this we describe the precise set of characters Θ of the maximal unipotent radical U n of GL n ( F ) such that Hom U n ( π , Θ ) is non-zero. We then describe the behavior of this set under the base change map (with respect to a finite cyclic extension of F of prime degree).

We prove Zimmer’s conjecture for $$C^2$$ actions by finite-index subgroups of $$\mathrm {SL}(m,{\mathbb {Z}})$$ provided $$m>3$$ . The method utilizes many ingredients from our earlier proof of the conjecture for actions by cocompact lattices in $$\mathrm {SL}(m,{\mathbb {R}})$$ (Brown et al. in Zimmer’s conjecture: subexponential growth, measure rigidity, and strong property (T), 2016. arXiv:1608.04995 ) but new ideas are needed to overcome the lack of compactness of the space $$(G \times M)/\Gamma $$ (admitting the induced G-action). Non-compactness allows both measures and Lyapunov exponents to escape to infinity under averaging and a number of algebraic, geometric, and dynamical tools are used control this escape. New ideas are provided by the work of Lubotzky, Mozes, and Raghunathan on the structure of nonuniform lattices and, in particular, of $$\mathrm {SL}(m,{\mathbb {Z}})$$ providing a geometric decomposition of the cusp into rank one directions, whose geometry is more easily controlled. The proof also makes use of a precise quantitative form of non-divergence of unipotent orbits by Kleinbock and Margulis, and an extension by de la Salle of strong property (T) to representations of nonuniform lattices.

This article is part of a project which consists of investigating Arthur packets for real classical groups. Our goal is to give an explicit description of these packets and to establish the multiplicity one property (which is known to hold for $p$-adic and complex groups). The main result in this paper is a construction of packets from unipotent packets on $c$-Levi factors using cohomological induction. An important tool used in the argument is a statement of commutativity between cohomological induction and spectral endoscopic transfer.

To each automorphism of a spherical building, there is a naturally associated opposition diagram, which encodes the types of the simplices of the building that are mapped onto opposite simplices. If no chamber (that is, no maximal simplex) of the building is mapped onto an opposite chamber, then the automorphism is called domestic. In this paper, we give the complete classification of domestic automorphisms of split spherical buildings of types $\mathsf {E}_6$ , $\mathsf {F}_4$ , and $\mathsf {G}_2$ . Moreover, for all split spherical buildings of exceptional type, we classify (i) the domestic homologies, (ii) the opposition diagrams arising from elements of the standard unipotent subgroup of the Chevalley group, and (iii) the automorphisms with opposition diagrams with at most two distinguished orbits encircled. Our results provide unexpected characterizations of long root elations and products of perpendicular long root elations in long root geometries, and analogues of the density theorem for connected linear algebraic groups in the setting of Chevalley groups over arbitrary fields.

This article deals with the tamely ramified geometric Langlands correspondence for GL_2 on $\mathbf{P}_{\mathbf{F}_q}^1$, where $q$ is a prime power, with tame ramification at four distinct points $D = \{\infty, 0,1, t\} \subset \mathbf{P}^1(\mathbf{F}_q)$. We describe in an explicit way (1) the action of the Hecke operators on a basis of the cusp forms, which consists of $q$ elements; and (2) the correspondence that assigns to a pure irreducible rank 2 local system $E$ on $\mathbf{P}^1 \setminus D$ with unipotent monodromy its Hecke eigensheaf on the moduli space of rank 2 parabolic vector bundles. We define a canonical embedding $\mathbf{P}^1$ into this module space and show with a new proof that the restriction of the eigensheaf to the degree 1 part of this moduli space is the intermediate extension of $E$., 34 pages

Falbel, Koseleff and Rouillier computed a large number of boundary unipotent CR representations of fundamental groups of non compact three-manifolds. Those representations are not always discrete. By experimentally computing their limit set, one can determine that those with fractal limit sets are discrete. Many of those discrete representations can be related to (3,3,n) complex hyperbolic triangle groups. By exact computations, we verify the existence of those triangle representations, which have boundary unipotent holonomy. We also show that many representations are redundant: for n fixed, all the (3,3,n) representations encountered are conjugate and only one among them is uniformizable.

В статье изучаются p--расширения полных дискретно нормированных полей смешанной характеристики, где p-характеристика поля вычетов рассматриваемого поля. Известно, что любое вполне разветвленное расширение Галуа степени p-с немаксимальным скачком ветвления может быть задано уравнением Артина-Шрайера; при этом ограничение сверху на скачок ветвления соответствует ограничению снизу на нормирование правой части уравнения. Задача построения расширений с заданной группой Галуа произвольного конечного порядка не решена. В работах Инабы рассматривались p-расширения полей характеристики p, заданные матричным уравнением $$X^{(p)}=AX$$, которое мы здесь называем уравнением Инабы. В этом уравнении $$X^{(p)}$$ обозначает матрицу, полученную возведением каждого элемента квадратной матрицы X в степень p, а - некоторая унипотентная матрица A над данным полем. Такое уравнение задает последовательность расширений полей, каждое из которых задано уравнением Артина-Шрайера. Было доказано, что любое уравнение Инабы задает расширение Галуа, и обратно, любое конечное p-расширение Галуа задается уравнением такого вида. В настоящей работе для полей смешанной характеристики доказано, что расширение, задаваемое уравнением Инабы, является расширением Галуа, если нормирования элементов матрицы удовлетворяют некоторым оценкам снизу, т.е. если скачки промежуточных расширений степени p достаточно малы. Данная конструкция может применяться при решении задачи погружения расширений полей. Уравнение Инабы задает последовательность расширений полей, полученную последовательным присоединением элементов диагоналей матрицы. Это означает, что, если расширение L/K задано уравнением Инабы, и матрица A выбрана так, что на диагоналях с большими номерами записаны нули, то можно получать расширения, содержащие L/K, заменяя нули другими элементами. В работе доказано, что любое нециклическое расширение степени $$p^2$$ с достаточно маленькими скачками можно погрузить в расширение с группой Галуа, изоморфнной группе унипотентных матриц $$3\times 3$$ над полем из p элементов. В конце статьи сформулирован ряд открытых вопросов, при исследовании которых, возможно, окажется полезной данная конструкция.