SearcharxivSearch

arXiv subjects

Dmitry Fuchs

Publications and source records attributed to Dmitry Fuchs.

17 recordsLinked to original sources

Representations of the group of two-diagonal triangular matrices

Let G be a Lie group, $g = Lie(G)$ - its Lie algebra, $g*$ - the dual vector space and $\widehat G$ - the set of equivalence classes of unitary irreducible representations of $G$. The orbit method [1] establishes a correspondence between points of $\widehat G$ and $G$-orbits in $g*$. For many Lie groups it gives the answers to all major problems of representation theory in terms of coadjoint orbits. Formally, the notions and statements of the orbit method make sense when $G$ is infinite-dimensional Lie group, or an algebraic group over a topological field or ring $K$, whose additive group is self dual (e.g., $p$-adic or finite). In this paper, we introduce the big family of finite groups $G_n$, for which the orbit method works perfectly well. Namely, let $N_n(K)$ be the algebraic group of upper unitriangular $(n+1)\times(n+1)$ matrices with entries from $K$, and $F_q$ be the finite field with $q$ elements. We define $G_n$ as the quotient of of the group $N_{n+1}(F_q)$ over its second commutator subgroup.

math.RT

Differential geometry of space curves: Forgotten chapters

We study evolutes and involutes of space curves. Although much of the material presented is not new and can be found in classic treatises, we believe that a modern and unified treatment, complemented with several novel observations, may be useful. The results are illustrated with the help of computer graphics, a tool that was not not available to the classical geometers.

math.DG

Jordan types of triangular matrices over a finite field

Let $\lambda$ be a partition of an integer $n$ and ${\mathbb F}_q$ be a finite field of order $q$. Let $P_\lambda(q)$ be the number of strictly upper triangular $n\times n$ matrices of the Jordan type $\lambda$. It is known that the polynomial $P_\lambda$ has a tendency to be divisible by high powers of $q$ and $Q=q-1$, and we put $P_\lambda(q)=q^{d(\lambda)}Q^{e(\lambda)}R_\lambda(q)$, where $R_\lambda(0)\neq0$ and $R_\lambda(1)\neq0$. In this article, we study the polynomials $P_\lambda(q)$ and $R_\lambda(q)$. Our main results: an explicit formula for $d(\lambda)$ (an explicit formula for $e(\lambda)$ is known, see Proposition 3.3 below), a recursive formula for $R_\lambda(q)$ (a similar formula for $P_\lambda(q)$ is known, see Proposition 3.1 below), the stabilization of $R_\lambda$ with respect to extending $\lambda$ by adding strings of 1's, and an explicit formula for the limit series $R_{\lambda1^\infty}$. Our studies are motivated by projected applications to the orbit method in the representation theory of nilpotent algebraic groups over finite fields.

math.RT

Cross-ratio dynamics on ideal polygons

Two ideal polygons, $(p_1,\ldots,p_n)$ and $(q_1,\ldots,q_n)$, in the hyperbolic plane or in hyperbolic space are said to be $\alpha$-related if the cross-ratio $[p_i,p_{i+1},q_i,q_{i+1}] = \alpha$ for all $i$ (the vertices lie on the projective line, real or complex, respectively). For example, if $\alpha = -1$, the respective sides of the two polygons are orthogonal. This relation extends to twisted ideal polygons, that is, polygons with monodromy, and it descends to the moduli space of M\"obius-equivalent polygons. We prove that this relation, which is, generically, a 2-2 map, is completely integrable in the sense of Liouville. We describe integrals and invariant Poisson structures, and show that these relations, with different values of the constants $\alpha$, commute, in an appropriate sense. We investigate the case of small-gons, describe the exceptional ideal polygons, that possess infinitely many $\alpha$-related polygons, and study the ideal polygons that are $\alpha$-related to themselves (with a cyclic shift of the indices).

math.DS

Iterating evolutes of spatial polygons and of spatial curves

The evolute of a smooth curve in an m-dimensional Euclidean space is the locus of centers of its osculating spheres, and the evolute of a spatial polygon is the polygon whose consecutive vertices are the centers of the spheres through the consecutive (m+1)-tuples of vertices of the original polygon. We study the iterations of these evolute transformations. This work continues the recent study of similar problems in dimension two, see arXiv:1510.07742. Here is a sampler of our results. The set of n-gons with fixed directions of the sides, considered up to parallel translation, is an (n-m)-dimensional vector space, and the second evolute transformation is a linear map of this space. If n=m+2, then the second evolute is homothetic to the original polygon, and if n=m+3, then the first and the third evolutes are homothetic. In general, each eigenvalue of the second evolute map has double multiplicity. We also study curves, with cusps, in 3-dimensional Euclidean space and their evolutes. We provide continuous analogs of the results obtained for polygons, and present a class of curves which are homothetic to their second evolutes; these curves are spatial analogs of the classical hypocycloids.

math.DG

On tangent cones of Schubert varieties

We consider tangent cones of Schubert varieties in the complete flag variety, and investigate the problem when the tangent cones of two different Schubert varieties coincide. We give a sufficient condition for such coincidence, and formulate a conjecture that provides a necessary condition. In particular, we show that all Schubert varieties corresponding to the Coxeter elements of the Weyl group have the same tangent cone. Our main tool is the notion of pillar entries in the rank matrix counting the dimensions of the intersections of a given flag with the standard one. This notion is a version of Fulton's essential set. We calculate the dimension of a Schubert variety in terms of the pillar entries of the rank matrix.

math.RT

Periodic trajectories in the regular pentagon, II

In our recent paper, we studied periodic billiard trajectories in the regular pentagon and closed geodesic on the double pentagon, a translation surface of genus two. In particular, we made a number of conjectures concerning symbolic periodic trajectories. In this paper, we prove two of these conjectures.

math.DS

Projections of Singular Vectors of Verma Modules over Rank 2 Kac-Moody Lie Algebras

We prove an explicit formula for a projection of singular vectors in the Verma module over a rank 2 Kac-Moody Lie algebra onto the universal enveloping algebra of the Heisenberg Lie algebra and of $sl_{2}$ (Theorem 3). The formula is derived from a more general but less explicit formula due to Feigin, Fuchs and Malikov [Funct. Anal. Appl. 20 (1986), no. 2, 103-113]. In the simpler case of $A_{1}^{1}$ the formula was obtained in [Fuchs D., Funct. Anal. Appl. 23 (1989), no. 2, 154-156].

math.RT

Laplacian spectrum for the nilpotent Kac-Moody Lie algebras

We prove that the maximal nilpotent subalgebra of a Kac-Moody Lie algebra has an (essentially unique) Euclidean metric with respect to which the Laplace operator in the chain complex is scalar on each component of a given degree. Moreover, both the Lie algebra structure and the metric are uniquely determined by this property.

math.RA

Generating families and Legendrian contact homology in the standard contact space

We show that if a Legendrian knot in standard contact ${\bb R}^3$ possesses a generating family then there exists an augmentation of the Chekanov-Eliashberg DGA so that the associated linearized contact homology (LCH) is isomorphic to singular homology groups arising from the generating family. In this setting we show Sabloff's duality result for LCH may be viewed as Alexander duality. In addition, we provide an explicit construction of a generating family for a front diagram with graded normal ruling and give a new approach to augmentation $\Rightarrow$ normal ruling.

math.SG

Self-dual polygons and self-dual curves

We study projectively self-dual polygons and curves in the projective plane. Our results provide a partial answer to problem No 1994-17 in the book of Arnold's problems.

math.DG

Construction of Miniversal Deformations of Lie Algebras

We consider deformations of finite or infinite dimensional Lie algebras over a field of characteristic 0. There is substantial confusion in the literature if one tries to describe all the non-equivalent deformations of a given Lie algebra. It is known that there is in general no "universal" deformation of the Lie algebra L with a commutative algebra base A with the property that for any other deformation of L with base B there exists a unique homomorphism f: A -> B that induces an equivalent deformation. Thus one is led to seek a "miniversal" deformation. For a miniversal deformation such a homomorphism exists, but is unique only at the first level. If we consider deformations with base spec A, where A is a local algebra, then under some minor restrictions there exists a miniversal element. In this paper we give a construction of a miniversal deformation.

math.RT

Singular deformations of Lie algebras on an example

The notion of singular one-parameter deformation of a Lie algebra is introduced. It is shown that the complex infinite-dimensional Lie algebra of polynomial vector fields in C with trivial 1-jet at the origin has such singular deformation.

q-alg

Massey products and deformations

The classical deformation theory of Lie algebras involves different kinds of Massey products of cohomology classes. Even the condition of extendibility of an infinitesimal deformation to a formal one-parameter deformation of a Lie algebra involves Massey powers of two dimensional cohomology classes which are not powers in the usual definition of Massey products in the cohomology of a differential graded Lie algebra. In the case of deformations with other local bases, one deals with other, more specific Massey products. In the present work a construction of generalized Massey products is given, depending on an arbitrary graded commutative, associative algebra. In terms of these products, the above condition of extendibility is generalized to deformations with arbitrary local bases. Dually, a construction of generalized Massey products on the cohomology of a differential graded commutative associative algebra depends on a nilpotent graded Lie algebra. For example, the classical Massey products correspond to the Lie algebra of strictly upper triangular matrices, while the matric Massey products correspond to the Lie algebra of block strictly upper triangular matrices.

q-alg

Matrix Vieta Theorem

We consider generalizations of the Vieta formula (relating the coefficients of an algebraic equation to the roots) to the case of equations whose coefficients are order-$k$ matrices. Specifically, we prove that if $X_1,\dots ,X_n$ are solutions of an algebraic matrix equation $X^n+A_1X^{n-1}+\dots +A_n=0,$ independent in the sense that they determine the coefficients $A_1,\dots ,A_n$, then the trace of $A_1$ is the sum of the traces of the $X_i$, and the determinant of $A_n$ is, up to a sign, the product of the determinants of the $X_i$. We generalize this to arbitrary rings with appropriate structures. This result is related to and motivated by some constructions in non-commutative geometry.

math.RA