Search

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.

We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.

For the groups $\operatorname{SO}(2n+1,F)$, where $F$ is a $p$-adic field, we consider the tempered irreducible representations of unipotent reduction. Lusztig has constructed and parametrized these representations. We prove that they satisfy the expected endoscopic identities which determine the parametrization.

Several problems in number theory when reformulated in terms of homogenous dynamics involve study of limiting distributions of translates of algebraically defined measures on orbits of reductive groups. The general non-divergence and linearization techniques, in view of Ratner’s measure classification for unipotent flows, reduce such problems to dynamical questions about linear actions of reductive groups on finite-dimensional vector spaces. This article provides general results which resolve these linear dynamical questions in terms of natural group theoretic or geometric conditions.

Let $\mathbf{G}$ be a connected reductive algebraic group over an algebraic closure $\overline{\mathbb{F}_{p}}$ of the finite field of prime order $p$ and let $F:\mathbf{G}\rightarrow \mathbf{G}$ be a Frobenius endomorphism with $G=\mathbf{G}^{F}$ the corresponding $\mathbb{F}_{q}$-rational structure. One of the strongest links we have between the representation theory of $G$ and the geometry of the unipotent conjugacy classes of $\mathbf{G}$ is a formula, due to Lusztig (Adv. Math. 94(2) (1992), 139–179), which decomposes Kawanaka’s Generalized Gelfand–Graev Representations (GGGRs) in terms of characteristic functions of intersection cohomology complexes defined on the closure of a unipotent class. Unfortunately, the formula given in Lusztig (Adv. Math. 94(2) (1992), 139–179) is only valid under the assumption that $p$ is large enough. In this article, we show that Lusztig’s formula for GGGRs holds under the much milder assumption that $p$ is an acceptable prime for $\mathbf{G}$ ($p$ very good is sufficient but not necessary). As an application we show that every irreducible character of $G$, respectively, character sheaf of $\mathbf{G}$, has a unique wave front set, respectively, unipotent support, whenever $p$ is good for $\mathbf{G}$.

It is proved that positive entropy implies mean Li–Yorke chaos for a $G$-system, where $G$ is a countable, infinite, discrete, bi-orderable amenable group. Examples are given for the cases of integer lattice groups and groups of integer unipotent upper triangular matrices.

Let$\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}S$be a semigroup. Elements$a,b$of$S$are$\widetilde{\mathscr{R}}$-related if they have the same idempotent left identities. Then$S$is weakly left ample if (1) idempotents of$S$commute, (2) $\widetilde{\mathscr{R}}$is a left congruence, (3) for any$a \in S$,$a$is$\widetilde{\mathscr{R}}$-related to a (unique) idempotent, say$a^+$, and (4) for any element$a$and idempotent$e$of$S$,$ae=(ae)^+a$. Elements$a,b$of$S$are$\mathscr{R}^*$-related if, for any$x,y \in S^1$,$xa=ya$if and only if$xb=yb$. Then$S$is left ample if it satisfies (1), (3) and (4) relative to$\mathscr{R}^*$instead of$\widetilde{\mathscr{R}}$. Further,$S$is (weakly) ample if it is both (weakly) left and right ample. We establish several characterizations of these classes of semigroups. For weakly left ample ones we provide a construction of all such semigroups with zero all of whose nonzero idempotents are primitive. Among characterizations of weakly ample semigroups figure (strong) semilattices of unipotent monoids, and among those for ample semigroups, (strong) semilattices of cancellative monoids. This describes the structure of these two classes of semigroups in an optimal way, while, for the ‘one-sided’ case, the problem of structure remains open.

We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type 0., Comment: minor revision

We address the question of lifting the étale unipotent fundamental group of curves to the level of algebraic cycles and show that a sequence of algebraic cycles whose sum satisfies the Maurer-Cartan equation would do the job. For any elliptic curve with the origin removed and the curve $\double-struck(G)_m\$, we construct such a sequence of algebraic cycles whose image under the cycle map gives rise to the étale unipotent fundamental group of the curve.

We study self-duality of Grothendieck's blended extensions in the context of a tannakian category. The set of equivalence classes of symmetric, resp. antisymmetric, blended extensions is naturally endowed with a torsor structure, which enables us to compute the unipotent radical of the associated monodromy groups in various situations.

Let p and ℓ be two distinct primes. The aim of this paper is to show how, under a certain congruence hypothesis, the mod ℓ cohomology complex of the Lubin-Tate tower, together with a natural Lefschetz operator, provides a geometric interpretation of Vignéras’s local Langlands correspondence modulo ℓ for unipotent representations.

We prove that for a minimal rotation T on a 2-step nilmanifold and any measure mu, the push-forward T^n(mu) of mu under T^n tends toward Haar measure if and only if mu projects to Haar measure on the maximal torus factor. For an arbitrary nilmanifold we get the same result along a sequence of uniform density 1. These results strengthen Parry's result that such systems are uniquely ergodic. Extending the work of Furstenberg, we prove an analogous theorem for a large class of iterated skew products. Additionally we prove a multiplicative ergodic theorem for functions taking values in the upper unipotent group. Finally, we characterize limits of T^n(mu) for some skew product transformations with expansive fibers. All results are presented in terms of twisting and weak twisting, properties which strengthen unique ergodicity in a way analogous to how mixing and weak mixing strengthen ergodicity for measure preserving systems., 40 pages

We provide a description of the enveloping semigroup of the affine unipotent transformation T:X→X of the form T(x)=Ax+α, where A is a lower triangular unipotent matrix, α is a constant vector, and X is a finite-dimensional torus. In particular, we show that in this case the enveloping semigroup is a nilpotent group whose nilpotency class is at most the dimension of the underlying torus.

Let G be a finite Steinberg–Tits triality group 3D4(q), and let H be a maximal unipotent subgroup of G. In this paper we classify irreducible characters χ of G such that χH has a linear constituent with multiplicity one.

We study the action of the horocycle flow on the moduli space of abelian differentials in genus two. In particular, we exhibit a classification of a specific class of probability measures that are invariant and ergodic under the horocycle flow on the stratum ℋ(1,1).

Let G be a group. A subset N of G is a set of pairwise noncommuting elements if xy⁄=yx for any two distinct elements x and y in N. If ∣N∣≥∣M∣ for any other set of pairwise noncommuting elements M in G, then N is said to be a maximal subset of pairwise noncommuting elements. In this paper we determine the cardinality of a maximal subset of pairwise noncommuting elements in a three-dimensional general linear group. Moreover, we show how to modify a given maximal subset of pairwise noncommuting elements into another maximal subset of pairwise noncommuting elements that contains a given ‘generating element’ from each maximal torus.

In this article we show that finite loops with nilpotent inner mapping groups are centrally nilpotent.

In an effort to extend the theory of algebraic geometry over groups beyond free groups, Duncan, Kazatchkov and Remeslennikov have studied the notion of centraliser dimension for free partially commutative groups. In this paper we consider the centraliser dimension of free partially commutative nilpotent groups of class 2, showing that a free partially commutative nilpotent group of class 2 with non-commutation graph Γ has the same centraliser dimension as the free partially commutative group represented by the non-commutation graph Γ.

An element in a free group is a proper power if and only if it is a proper power in every nilpotent factor group. Moreover there is an algorithm to decide if an element in a finitely generated torsion-free nilpotent group is a proper power.

We study the monomial crystal defined by the second author. We show that each component of the monomial crystal can be embedded into a crystal of an extremal weight module introduced by Kashiwara. And we determine all monomials appearing in the components corresponding to all level 0 fundamental representations of quantum affine algebras except for some nodes of . Thus we obtain explicit descriptions of the crystals in these examples. We also give those for the corresponding finite dimensional representations. For classical types, we give them in terms of tableaux. For exceptional types, we list up all monomials.

We find necessary and sufficient conditions for completing an arbitrary 2 by n latin rectangle to an n by n symmetric latin square, for completing an arbitrary 2 by n latin rectangle to an n by n unipotent symmetric latin square, and for completing an arbitrary 1 by n latin rectangle to an n by n idempotent symmetric latin square. Equivalently, we prove necessary and sufficient conditions for the existence of an (n−1)-edge colouring of Kn (n even), and for n-edge colouring of Kn (n odd) in which the colours assigned to the edges incident with two vertices are specified in advance.

Aw ell-known theorem of P. Hall says that if a group G contains a normal nilpotent subgroup N such that G/Nis nilpotent then G is nilpotent. We give as imilar sufficient condition for a group G to be an extension of a group of finite exponent by a nilpotent group.

LetGbe a connected reductive algebraic group over an algebraic closure of a finite field of characteristicp. Under the assumption thatpis good forG, we prove that for each character sheafAonGwhich has nonzero restriction to the unipotent variety ofG, there exists a unipotent classCAcanonically attached toA, such thatAhas non-zero restriction onCA, and any unipotent classCinGon whichAhas non-zero restriction has dimension strictly smaller than that ofCA.

The notion of gluing of abelian categories was introduced by Kazhdan and Laumon in an attempt of another geometric construction of representations of finite Chevalley groups; the approach was later developed by Polishchuk and Braverman. We observe that this notion of gluing is a particular case of a general categorical construction (used also by Kontsevich and Rosenberg to define "noncommutative schemes"). We prove a conjecture of Kazhdan which says that the D-module counterpart of the Kazhdan-Laumon gluing construction produces a category equivalent to modules over the ring $\mathcal D$ of global differential operators on the basic affine space. As an application we show that $\mathcal D$ is Noetherian, and has finite injective dimension as a module over itself., 14 pages

Let k be a field and X = Spec (k[t,t -1 ]). Katz proved that a differential equations with coefficients in k((t -1 )) is uniquely extended to a special algebraic differential equation on X when k is of characteristic 0. He also proved that a finite extension of k((t -1 )) is uniquely extended to a special covering of X when k is of any characteristic. These theorems are called canonical extension or Katz correspondence. We shall prove a p-adic analogue of canonical extension for quasi-unipotent overconvergent isocrystals. As a consequence, we can show that the local index of a quasi-unipotent overconvergent is equal to its Swan conductor.

Let G be a connected split reductive group defined over a finite field [ ]q, and G([ ]q) the group of [ ]q-rational points of G. For each maximal torus T of G defined over [ ]q and a complex linear character θ of T([ ]q), let RGT(θ) be the generalized representation of G([ ]q) defined in [DL]. It can be seen that the conjugacy classes in the Weyl group W of G are in one-to-one correspondence with the conjugacy classes of maximal tori defined over [ ]q in G ([C1, 3·3·3]). Let c be the Coxeter conjugacy class of W, and let Tc be the corresponding maximal torus. Then by [DL] we know that πθ = (−1)nRGTc(θ) (where n is the semisimple rank of G and θ is a character in ‘general position’) is an irreducible cuspidal representation of G([ ]q). The results of this paper generalize the pattern about the dimensions of cuspidal representations of GL(n, [ ]q) as an alternating sum of the dimensions of certain irreducible representations of GL(n, [ ]q) appearing in the space of functions on the flag variety of GL(n, [ ]q) as shown in the table below.

Let $G$ be a linear algebraic group over a field $k$, and let $V$ be a $G$-module. Recall that the nullcone of $(G,V)$ is the set of points $v$ in $V$ with the property that $f(v)=0$ for every positive degree homogeneous invariant $f$ in $k[V]^G$. We define numbers $\delta(G,V)$ and $\sigma(G,V)$ associated with a given representation as follows: $\delta(G,V)$ is the smallest number $d$ such that, for any point $v$ in $V^G$ outside the nullcone, there exists an invariant $f$ of degree at most $d$ such that $f(v)$ is not zero; $\sigma(G,V)$ is the same thing with $V^G$ replaced by $V$. If k has positive characteristic, we show that $\delta(G,V)$ is infinite for all subgroups of $GL_2(k)$ containing a unipotent subgroup, and that $\sigma(G,V)$ is finite if and only if $G$ is finite. If $k$ has characteristic zero we show that $\delta(G,V)=1$ for all linear algebraic groups and that if $\sigma(G,V)$ is finite then the connected component of $G$ is unipotent., Comment: 12 pages

The paper discusses modules over free nilpotent groups and demonstrates that faithful modules are more restricted than might appear at first glance. Some discussion is also made of applying the techniques more generally.

We show that two abelian-by-finite groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. We also prove that abelian-by-finite groups satisfy a quantifier elimination property. On the other hand, for each integer n, we give some examples of nilpotent groups which satisfy the same sentences with n alternations of quantifiers and do not satisfy the same sentences with n + 1 alternations of quantifiers.

For an inclusion $F < G < L$ of connected real algebraic groups such that $F$ is epimorphic in $G$, we show that any closed $F$-invariant subset of $L/\Lambda$ is $G$-invariant, where $\Lambda$ is a lattice in $L$. This is a topological analogue of a result due to S. Mozes, that any finite $F$-invariant measure on $L/\Lambda$ is $G$-invariant.This result is established by proving the following result. If in addition $G$ is generated by unipotent elements, then there exists $a\in F$ such that the following holds. Let $U\subset F$ be the subgroup generated by all unipotent elements of $F$, $x\in L/\Lambda$, and $\lambda$ and $\mu$ denote the Haar probability measures on the homogeneous spaces $\overline{Ux}$ and $\overline{Gx}$, respectively (cf. Ratner's theorem). Then $a^n\lambda\to\mu$ weakly as $n\to\infty$.We also give an algebraic characterization of algebraic subgroups $F

In this paper, we determine the residues at poles of standard intertwining operators for parabolically induced representations of an arbitrary connected reductive quansisplit algebraic group over a p-acid field whenever the unipotent radical of the parabolic subgroup is Abelian. We then interpret these residues by means of the theory of endoscopy.

This article studies unipotent orbital integrals on symplectic and orthogonal groups from the point of view of endoscopy. It begins by partitioning stable unipotent classes into packets and goes on to propose a transfer of these packets. It then discusses (in rough form) the associated transfer factors. Some supporting calculations in split odd orthogonal groups are given.

We show that unipotent overconvergent isocrystals are algebraic and that the category of unipotent overconvergent isocrystals has a Frobenius automorphism. We also prove a structure theorem for unipotent overconvergent F-isocrystals over an open subset of the line, analogous to Dieudonne–Manin decomposition theorem for F-isocrystals.

We show that two finitely generated finite-by-nilpotent groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. For each integer n ≥ 2, we prove the same result for the following classes of structures:(1) the (n + 2)-tuples (A1, …, An+1, f), where A1, …, An+1 are disjoint finitely generated Abelian groups and f: A1 × … × An → An+1 is a n-linear map;(2) the triples (A, B, f), where A, B are disjoint finitely generated Abelian groups and f: An → B is a n-linear map;(3) the pairs (A, f), where A is a finitely generated Abelian group and f: An → A is a n-linear map.In the proof, we use some properties of commutative rings associated to multilinear maps.

The proofs of Theorems 5.1 and 7.1 of [2] contain a gap. We will show below how to close it under some suitable additional assumptions in these theorems and their corollaries. We will assume the notation of [2] throughout. In particular, $\mu$ is a measure invariant and ergodic under an $R^k$-action $\alpha$. Let us first explain the gap. Both theorems are proved by establishing a dichotomy for the conditional measures of $\mu$ along the intersection of suitable stable manifolds. They were either atomic or invariant under suitable translation or unipotent subgroups $U$. Atomicity eventually led to zero entropy. Invariance of the conditional measures showed invariance of $\mu$ under $U$. We then claimed that $\mu$ was algebraic using, respectively, unique ergodicity of the translation subgroup on a rational subtorus or Ratner's theorem (cf. [2, Lemma 5.7]). This conclusion, however, only holds for the $U$-ergodic components of $\mu$ which may not equal $\mu$. In fact, in the toral case, the $R^k$-action may have a zero-entropy factor such that the conditional measures along the fibers are Haar measures along a foliation by rational subtori. Since invariant measures with zero entropy have not been classified, we cannot conclude algebraicity of the total measure $\mu$ at this time. In the toral case, the existence of zero entropy factors turns out to be precisely the obstruction to our methods. The case of Weyl chamber flows is somewhat different as the ‘Haar’ direction of the measure may not be integrable. In this case, we need to use additional information coming from the semisimplicity of the ambient Lie group to arrive at the versions of Theorem 7.1 presented below.

Let G be a Lie group and Γ be a discrete subgroup. We show that if {μn} is a convergent sequence of probability measures on G/Γ which are invariant and ergodic under actions of unipotent one-parameter subgroups, then the limit μ of such a sequence is supported on a closed orbit of the subgroup preserving it, and is invariant and ergodic for the action of a unipotent one-parameter subgroup of G.

Brian Hartley asked me whether a free (nilpotent of class 2 and exponent p2)-group of countable rank has a faithful linear representation of finite degree, p here being a prime of course. The answer is yes. The point is that this then yields via work of F. Leinen and M. J. Tomkinson, see [3,3.6] an image of a linear p-group, which is not even finitary linear. The question of which relatively free groups have faithful linear representations dates back at least to work of W. Magnus in the 1930's, see [4, pp. 33, 34 and the final comment on p. 40] for a discussion of this. Our construction, which works more generally, is a further contribution. We write ℜc for the variety of nilpotent groups of class at most c and (ℭ9 for the variety of groups of exponent dividing q.

The nonabelian tensor square G⊗G of a group G is generated by the symbols g⊗h, g, h ∈ G, subject to the relations,for all g, g′, h, h′ ∈ G, where The tensor square is a special case of the nonabelian tensor product which has its origins in homotopy theory. It was introduced by R. Brown and J. L. Loday in [4] and [5], extending ideas of Whitehead in [6].

In this paper we characterise the linear transformations of an infinite-dimensional vector space that can be written as the product of nilpotent transformations. This and a linear version of Malcev's congruence on transformation semigroups are then used to construct a new class of congruence-free semigroups.

We study the residual finiteness of free products with amalgamations and HNN-extensions of finitely generated nilpotent groups. We give a characterization in terms of certain conditions satisfied by the associated subgroups. In particular the residual finiteness of these groups implies the possibility of extending the isomorphism of the associated subgroups to an isomorphism of their isolated closures in suitable overgroups of the factors (or the base group in case of HNN-extensions).

The lower central series of the absolute Galois group of a field is obtained by iterating the process of forming the maximal central extension of the maximal nilpotent extension of a given class, starting with the maximal abelian extension. The purpose of this paper is to give a cohomological description of this central series in case of an algebraic number field. This description is based on a result of Tate which states that the Schur multiplier of the absolute Galois group of a number field is trivial. We are in a profinite situation throughout which requires some functorial background especially for treating the dual of the Schur multiplier of a profinite group. In a future paper we plan to apply our results to construct a nilpotent reciprocity map.

An orbital integral formula is proven for the direct integral decomposition of an induced representation of a connected nilpotent Lie group. Previous work required simple connectivity. An explicit description of the spectral measure and spectral multiplicity function is derived in terms of orbital parameters. It is also proven that connected (but not necessarily simply connected) exponential solvable symmetric spaces are multiplicity free. Finally, the qualitative properties of the spectral multiplicity function are examined via several illuminating examples.

There is a natural action of SL(2,R) on the moduli space of translation surfaces, and this yields an action of the unipotent subgroup $U = {\begin{pmatrix} 1 & * 0 & 1 \end{pmatrix}}$. We classify the U-invariant ergodic measures on certain special submanifolds of the moduli space. (Each submanifold is the SL(2,R)-orbit of the set of branched covers of a fixed Veech surface.) For the U-action on these submanifolds, this is an analogue of Ratner's Theorem on unipotent flows. The result yields an asymptotic estimate of the number of periodic trajectories for billiards in a certain family of non-Veech rational triangles, namely, the isosceles triangles in which exactly one angle is $2 ��/n$, with $n \ge 5$ and $n$ odd., Added a corollary regarding orbit closures. Greatly expanded the part involving the counting application, giving more detailed proofs and a summary of previous results used

In this paper we prove that the automorphism group A(N) of a free nilpotent group N of class 2 and finite rank n is complete, except when n is 1 or 3. Equivalently, the centre of A(N) is trivial and every automorphism of A(N) is inner, provided n ≠ 1 or 3. When n = 3, A(N) has an our automorphism of order 2, so A(A(N)) is a split extension of A(N) by . In this case, A(A(N)) is complete. These results provide some evidence supporting a conjecture of Gilbert Baumslag that the sequencebecomes periodic if N is a finitely generated nilpotent group.

LetGbe a simple adjoint algebraic group over an algebraically closed fieldK. We are concerned to describe the conjugacy classes of unipotent elements ofG. Goperates on its Lie algebra g by means of the adjoint action and we may consider classes of nilpotent elements of g under this action. It has been shown by Springer (11) that there is a bijection between the unipotent elements ofGand the nilpotent elements ofgwhich preserves theG-action, provided that the characteristic ofKis either 0 or a ‘good prime’ forG. Thus we may concentrate on the problem of classifying the nilpotent elements of g under the adjointG-action.

It is shown that ifRis a 2-torsion-free semi-prime ring such that [xy, [xy, yx]] = 0 for allx, y∈R, thenRis commutative.

We show that, if two finitely generated nilpotent groups are elementarily equivalent, and more generally if they satisfy the same sentences with one alternation of quantifiers, then, they are quite similar, though not necessarily isomorphic. For instance, each of them is isomorphic to a subgroup of finite index of the other and they have the same finite images, the same Mislin genus and the same Pickel genus.