Showing 1–17 of 17 results for author: Smilga, I

Adjoints in symmetric squares of Lie algebra representations

Authors: Bruno Le Floch, Ilia Smilga

Abstract: *Caveat: we learned post-factum that most of these results are not novel. We are keeping this paper for continuity reasons.* Given finite-dimensional complex representations $V$ and $V'$ of a simply-connected semisimple compact Lie group $G$, we determine the dimension of the $G$-invariant subspace of $\mathrm{adj}(G)\otimes V\otimes V'$, of $\mathrm{adj}(G)\otimes S^2 V$, and of… ▽ More *Caveat: we learned post-factum that most of these results are not novel. We are keeping this paper for continuity reasons.* Given finite-dimensional complex representations $V$ and $V'$ of a simply-connected semisimple compact Lie group $G$, we determine the dimension of the $G$-invariant subspace of $\mathrm{adj}(G)\otimes V\otimes V'$, of $\mathrm{adj}(G)\otimes S^2 V$, and of $\mathrm{adj}(G)\otimesΛ^2 V$, where $\mathrm{adj}(G)$ is the adjoint representation. In other words we derive the multiplicity with which summands of $\mathrm{adj}(G)$ appear in a tensor product $V \otimes V'$ or (anti)symmetric square $S^2 V$ or $Λ^2 V$. We find in particular that the dimension of the $G$-invariant subspace of $\mathrm{adj}(G)\otimes S^2 V$ is larger than (resp. smaller or equal to) that of $\mathrm{adj}(G)\otimesΛ^2 V$ for a symplectic (resp. orthogonal) representation $V$. △ Less

Submitted 9 May, 2024; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: 14 pages. The $μ= \overlineν$ case of our Theorem 1.3, as well as our Theorem 1.4, already appear in the literature; we added the relevant references

MSC Class: 17B10; 17B20; 22E46; 22E47

Action of $w_0$ on $V^L$: the special case of $\mathfrak{so}(1,n)$

Authors: Ilia Smilga

Abstract: In this note, we present an algorithm that allows to answer any individual instance of the following question. Let $G_{\mathbb{R}}$ be a semisimple real Lie group, and $V$ an irreducible representation of $G_{\mathbb{R}}$. How does the longest element $w_0$ of the restricted Weyl group $W$ act on the subspace $V^L$ of $V$ formed by vectors that are invariant by $L$, the centralizer of a maximal sp… ▽ More In this note, we present an algorithm that allows to answer any individual instance of the following question. Let $G_{\mathbb{R}}$ be a semisimple real Lie group, and $V$ an irreducible representation of $G_{\mathbb{R}}$. How does the longest element $w_0$ of the restricted Weyl group $W$ act on the subspace $V^L$ of $V$ formed by vectors that are invariant by $L$, the centralizer of a maximal split torus of $G_{\mathbb{R}}$? This algorithm comprises two parts. First we describe a complete answer to this question in the particular case where $G_{\mathbb{R}} = \operatorname{SO}(1,n)$ for any $n \geq 2$. Then, for an arbitrary $G_{\mathbb{R}}$, we show that it suffices to do the computation in a well-chosen subgroup $S_{\mathbb{R}} \subset G_{\mathbb{R}}$ which is (up to isogeny) the product of several groups that are either compact, abelian or isomorphic to $\operatorname{SO}(1,n)$ for some $n \geq 2$. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: Main text: 9 pages, 1 figure. Appendix: 7 pages, of which 4.5 pages are occupied by 2 tables. The ancillary files contain an implementation of the algorithm in the LiE software package (with an explanation)

MSC Class: 17B10; 17B20; 22E46; 22E47

Geometrically and topologically random surfaces in a closed hyperbolic three manifold

Authors: Jeremy Kahn, Vladimir Markovic, Ilia Smilga

Abstract: We study the distribution of geometrically and topologically nearly geodesic random surfaces in a closed hyperbolic 3-manifold M. In particular, we describe PSL(2,R) invariant measures on the Grassmann bundle G(M) which arise as limits of random minimal surfaces. It is showed that if M contains at least one totally geodesic subsurface then every topological limiting measure is totally scarring (i.… ▽ More We study the distribution of geometrically and topologically nearly geodesic random surfaces in a closed hyperbolic 3-manifold M. In particular, we describe PSL(2,R) invariant measures on the Grassmann bundle G(M) which arise as limits of random minimal surfaces. It is showed that if M contains at least one totally geodesic subsurface then every topological limiting measure is totally scarring (i.e supported on the totally geodesic locus), while we prove that geometrical limiting measures are never totally scarring. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: 47 pages, 2 figures

MSC Class: 20H10

Action of $w_0$ on $V^L$ for orthogonal and exceptional groups

Authors: Ilia Smilga

Abstract: In this note, we present some results that partially answer the following question. Let $G$ be a simple real Lie group; what is the set of representations $V$ of $G$ in which the longest element $w_0$ of the restricted Weyl group $W$ acts nontrivially on the subspace $V^L$ of $V$ formed by vectors that are invariant by $L$, the centralizer of a maximal split torus of $G$? We give a conjectural ans… ▽ More In this note, we present some results that partially answer the following question. Let $G$ be a simple real Lie group; what is the set of representations $V$ of $G$ in which the longest element $w_0$ of the restricted Weyl group $W$ acts nontrivially on the subspace $V^L$ of $V$ formed by vectors that are invariant by $L$, the centralizer of a maximal split torus of $G$? We give a conjectural answer to that question, as well as the experimental results that back this conjecture, when $G$ is either an orthogonal group (real form of $\operatorname{SO}_n(\mathbb{C})$ for some $n$) or an exceptional group. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Comments: 8 pages. arXiv admin note: substantial text overlap with arXiv:2002.09378

MSC Class: 17B10; 17B20; 22E46; 22E47

New sequences of non-free rational points

Authors: Ilia Smilga

Abstract: We exhibit some new infinite families of rational values of $τ$, some of them squares of rationals, for which the group or even the semigroup generated by the matrices $\left( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 1 & 0 \\ τ& 1 \end{smallmatrix} \right)$ is not free. We exhibit some new infinite families of rational values of $τ$, some of them squares of rationals, for which the group or even the semigroup generated by the matrices $\left( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 1 & 0 \\ τ& 1 \end{smallmatrix} \right)$ is not free. △ Less

Submitted 9 January, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Fixed a typo: I had written "free" instead of "non-free" in a few places; and made a few other minor edits

MSC Class: 11C20 (Primary) 20E05; 11J70; 30F35 (Secondary)

Representations having vectors fixed by a Levi subgroup

Authors: Ilia Smilga

Abstract: For any semisimple real Lie algebra $\mathfrak{g}_\mathbb{R}$, we classify the representations of $\mathfrak{g}_\mathbb{R}$ that have at least one nonzero vector on which the centralizer of a Cartan subspace, also known as the centralizer of a maximal split torus, acts trivially. In the process, we revisit the notion of $\mathfrak{g}$-standard Young tableaux, introduced by Lakshmibai and studied b… ▽ More For any semisimple real Lie algebra $\mathfrak{g}_\mathbb{R}$, we classify the representations of $\mathfrak{g}_\mathbb{R}$ that have at least one nonzero vector on which the centralizer of a Cartan subspace, also known as the centralizer of a maximal split torus, acts trivially. In the process, we revisit the notion of $\mathfrak{g}$-standard Young tableaux, introduced by Lakshmibai and studied by Littelmann, that provides a combinatorial model for the characters of the irreducible representations of any classical semisimple Lie algebra $\mathfrak{g}$. We construct a new version of these objects, which differs from the old one for $\mathfrak{g} = \mathfrak{so}(2r)$ and seems, in some sense, simpler and more natural. △ Less

Submitted 27 September, 2023; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 63 pages, 8 tables, 3 figures. Made some minor edits (including referee suggestions), added journal reference and added "version information" paragraph

MSC Class: 17B10; 17B20; 22E46; 22E47

Journal ref: Journal of Algebra 597 (2022) 75-115

Proper actions of discrete groups of affine transformations

Authors: Jeffrey Danciger, Todd A. Drumm, William M. Goldman, Ilia Smilga

Abstract: In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery. In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 74 pages, 8 figures. Solicited for: Dynamics, Geometry, Number Theory: the Impact of Margulis on Modern Mathematics

MSC Class: 57M50; 22E40; 53C50; 20H10

Action of the restricted Weyl group on the $L$-invariant vectors of a representation

Authors: Ilia Smilga

Abstract: This note constitutes a brief survey of our recent work on the problem of determining, for a given real Lie group~$G$, the set of representations~$V$ in which the longest element~$w_0$ of the restricted Weyl group~$W$ acts nontrivially on the subspace~$V^L$ of~$V$ formed by vectors that are invariant by~$L$, the centralizer of a maximal split torus of~$G$. This note constitutes a brief survey of our recent work on the problem of determining, for a given real Lie group~$G$, the set of representations~$V$ in which the longest element~$w_0$ of the restricted Weyl group~$W$ acts nontrivially on the subspace~$V^L$ of~$V$ formed by vectors that are invariant by~$L$, the centralizer of a maximal split torus of~$G$. △ Less

Submitted 26 February, 2020; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: 9 pages; updated a reference to a paper formerly listed as "in preparation"

MSC Class: 17B10; 17B20; 22E46; 22E47

A translation of Y. Benoist's "Propriétés asymptotiques des groupes linéaires"

Authors: Ilia Smilga

Abstract: This is a translation of Yves Benoist's "Propriétés asymptotiques des groupes linéaires", Geom. and funct. anal., 7:1-47, 1997 This is a translation of Yves Benoist's "Propriétés asymptotiques des groupes linéaires", Geom. and funct. anal., 7:1-47, 1997 △ Less

Submitted 9 November, 2018; originally announced November 2018.

MSC Class: 22F30; 22E40; 22E46; 20G20

Action of Weyl group on zero weight space

Authors: Bruno Le Floch, Ilia Smilga

Abstract: For any simple complex Lie group we classify irreducible finite-dimensional representations $ρ$ for which the longest element $w_0$ of the Weyl group acts nontrivially on the zero weight space. Among irreducible representations that have zero among their weights, $w_0$ acts by $\pm$Id if and only if the highest weight of $ρ$ is a multiple of a fundamental weight, with a coefficient less than a bou… ▽ More For any simple complex Lie group we classify irreducible finite-dimensional representations $ρ$ for which the longest element $w_0$ of the Weyl group acts nontrivially on the zero weight space. Among irreducible representations that have zero among their weights, $w_0$ acts by $\pm$Id if and only if the highest weight of $ρ$ is a multiple of a fundamental weight, with a coefficient less than a bound that depends on the group and on the fundamental weight. △ Less

Submitted 26 August, 2019; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 20 pages. This version has two appendixes that did not appear in the published version. The first appendix contains the full list of the results of the computations done "by hand", and the second appendix contains the computer code used to do these computations

MSC Class: 17B10; 17B20; 22E46; 22E47

Journal ref: Comptes Rendus Mathématique 356:8 (2018) 852--858

A translation of Y. Benoist's "Actions propres sur les espaces homogènes réductifs"

Authors: Ilia Smilga

Abstract: This is a translation of Yves Benoist's "Actions propres sur les espaces homogènes réductifs", Ann. of Math., 144:315-347, 1996. This is a translation of Yves Benoist's "Actions propres sur les espaces homogènes réductifs", Ann. of Math., 144:315-347, 1996. △ Less

Submitted 20 February, 2018; originally announced February 2018.

MSC Class: 22F30; 22E40; 22E46; 20G20

Construction of Milnorian representations

Authors: Ilia Smilga

Abstract: We prove a partial converse to the main theorem of the author's previous paper "Proper affine actions: a sufficient criterion" (submitted; available at arXiv:1612.08942). More precisely, let $G$ be a semisimple real Lie group with a representation $ρ$ on a finite-dimensional real vector space $V$, that does not satisfy the criterion from the previous paper. Assuming that $ρ$ is irreducible and und… ▽ More We prove a partial converse to the main theorem of the author's previous paper "Proper affine actions: a sufficient criterion" (submitted; available at arXiv:1612.08942). More precisely, let $G$ be a semisimple real Lie group with a representation $ρ$ on a finite-dimensional real vector space $V$, that does not satisfy the criterion from the previous paper. Assuming that $ρ$ is irreducible and under some additional assumptions on $G$ and $ρ$, we then prove that there does not exist a group of affine transformations acting properly discontinuously on $V$ whose linear part is Zariski-dense in $ρ(G)$. △ Less

Submitted 28 June, 2019; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: This version differs from the previous one only by a reference that I added

MSC Class: 20G20; 20G05; 22E40; 20H15

Proper affine actions: a sufficient criterion

Authors: Ilia Smilga

Abstract: For a semisimple real Lie group $G$ with an irreducible representation $ρ$ on a finite-dimensional real vector space $V$, we give a sufficient criterion on $ρ$ for existence of a group of affine transformations of $V$ whose linear part is Zariski-dense in $ρ(G)$ and that is free, nonabelian and acts properly discontinuously on $V$. This new criterion is more general than the one given in the autho… ▽ More For a semisimple real Lie group $G$ with an irreducible representation $ρ$ on a finite-dimensional real vector space $V$, we give a sufficient criterion on $ρ$ for existence of a group of affine transformations of $V$ whose linear part is Zariski-dense in $ρ(G)$ and that is free, nonabelian and acts properly discontinuously on $V$. This new criterion is more general than the one given in the author's previous paper "Proper affine actions in non-swinging representations" (submitted; available at arXiv:1605.03833), insofar as it also deals with "swinging" representations. We conjecture that it is actually a necessary and sufficient criterion, applicable to all representations. △ Less

Submitted 27 February, 2024; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: This paper generalizes the author's previous papers arXiv:1406.5906 and arXiv:1605.03833 . The structure of the proof is similar; a few passages are borrowed from the earlier papers. In this version, I corrected a mathematical mistake in Definition 6.12.(iii). This mistake remains present in the published version; an erratum has been published to address it

MSC Class: 20G20; 20G05; 22E40; 20H15

Journal ref: Mathematische Annalen 382 (2022) 513--605; Erratum: Mathematische Annalen 382 (2022) 1029--1030

Proper affine actions in non-swinging representations

Authors: Ilia Smilga

Abstract: For a semisimple real Lie group $G$ with an irreducible representation $ρ$ on a finite-dimensional real vector space $V$, we give a sufficient criterion on $ρ$ for existence of a group of affine transformations of $V$ whose linear part is Zariski-dense in $ρ(G)$ and that is free, nonabelian and acts properly discontinuously on $V$. For a semisimple real Lie group $G$ with an irreducible representation $ρ$ on a finite-dimensional real vector space $V$, we give a sufficient criterion on $ρ$ for existence of a group of affine transformations of $V$ whose linear part is Zariski-dense in $ρ(G)$ and that is free, nonabelian and acts properly discontinuously on $V$. △ Less

Submitted 20 September, 2018; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: This paper generalizes the author's earlier paper arXiv:1406.5906 . The structure of the proof is similar; a few passages, especially sections 7 to 10, draw heavily on the previous paper. This is an updated version that takes into account reviewers' corrections

MSC Class: 20G20; 20G05; 22E40; 20H15

Journal ref: Groups, Geometry and Dynamics, 12 (2018), no. 2, 449-528

Proper affine actions on semisimple Lie algebras

Authors: Ilia Smilga

Abstract: For any noncompact semisimple real Lie group $G$, we construct a group of affine transformations of its Lie algebra $\mathfrak{g}$ whose linear part is Zariski-dense in $\operatorname{Ad} G$ and which is free, nonabelian and acts properly discontinuously on $\mathfrak{g}$. For any noncompact semisimple real Lie group $G$, we construct a group of affine transformations of its Lie algebra $\mathfrak{g}$ whose linear part is Zariski-dense in $\operatorname{Ad} G$ and which is free, nonabelian and acts properly discontinuously on $\mathfrak{g}$. △ Less

Submitted 11 May, 2016; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: Section 3 of this paper draws heavily on the section 3 from my earlier paper arXiv:1303.3766 This is the version that appeared in Geometriae Dedicata. I have corrected some mistakes, added a few examples and added a proof that the Margulis invariant is well-defined

MSC Class: 20G20; 22E40; 20H15

Journal ref: Annales de l'Institut Fourier 66 no. 2 (2016) 785-831

Fundamental domains for properly discontinuous affine groups

Authors: Ilia Smilga

Abstract: We construct a fundamental region for the action on the $2d+1$-dimensional affine space of some free, discrete, properly discontinuous groups of affine transformations preserving a quadratic form of signature $(d+1, d)$, where $d$ is any odd positive integer. We construct a fundamental region for the action on the $2d+1$-dimensional affine space of some free, discrete, properly discontinuous groups of affine transformations preserving a quadratic form of signature $(d+1, d)$, where $d$ is any odd positive integer. △ Less

Submitted 29 July, 2013; v1 submitted 15 March, 2013; originally announced March 2013.

Comments: This is the version published in Geometriae Dedicata. It incorporates the corrections suggested by the reviewer. Most of these are minor, except for one: I replaced the term 'Lagrangian' (which, given the context, was not quite proper) by 'MTIS' (short for 'maximal totally isotropic subspace')

MSC Class: 20G20 (Primary) 22E40; 20H15 (Secondary)

Journal ref: Geometriae Dedicata 171 (2014) 203-229

Harmonic functions on the Sierpinski triangle

Authors: Ilia Smilga

Abstract: In this paper, we give a few results on the local behavior of harmonic functions on the Sierpinski triangle - more precisely, of their restriction to a side of the triangle. First we present a general formula that gives the Hölder exponent of such a function in a given point. From this formula, we deduce an explicit algorithm to calculate this exponent in any rational point, and the fact that the… ▽ More In this paper, we give a few results on the local behavior of harmonic functions on the Sierpinski triangle - more precisely, of their restriction to a side of the triangle. First we present a general formula that gives the Hölder exponent of such a function in a given point. From this formula, we deduce an explicit algorithm to calculate this exponent in any rational point, and the fact that the derivative of such a function is always equal to 0, infinity or undefined. △ Less

Submitted 20 May, 2012; originally announced May 2012.

Comments: 24 pages, 7 figures

MSC Class: 28A80