Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

Invariant random subgroups of linear groups

Let Γ < GL _n (_F) be a countable non-amenable linear group with a simple, center free Zariski closure. Let Sub(Γ) denote the space of all subgroups of Γ with the compact, metric, Chabauty topology. An invariant random subgroup (IRS) of Γ is a conjugation invariant Borel probability measure on Sub(Γ). An IRS is called non-trivial if it does not have an atom in the trivial group, i.e. if it is non-trivial almost surely. We denote by IRS⁰(Γ) the collection of all non-trivial IRS on Γ.

Theorem 0.1: With the above notation, there exists a free subgroup F < Γ and a non-discrete group topology on Γ such that for every μ ∈ IRS⁰(Γ) the following properties hold:

μ-almost every subgroup of Γ is open

• F ·Δ = Γ for μ-almost every Δ ∈ Sub(Γ).
• F ∩ Δ is infinitely generated, for every open subgroup. In particular, this holds for μ-almost every Δ ∈ Sub(Γ).
• The map

Φ: (Sub(Γ), μ) → (Sub(F),Φ*μ) Δ → Δ ∩ F is an F-invariant isomorphism of probability spaces.A more technical version of this theorem is valid for general countable linear groups. We say that an action of Γ on a probability space, by measure preserving transformations, is almost surely non-free (ASNF) if almost all point stabilizers are non-trivial.Corollary 0.2: Let Γ be as in the Theorem above. Then the product of finitely many ASNF Γ-spaces, with the diagonal Γ action, is ASNF.Corollary 0.3: Let Γ < GL_n(F) be a countable linear group, A Δ Γ the maximal normal amenable subgroup of Γ — its amenable radical. If μ ∈ IRS(Γ) is supported on amenable subgroups of Γ, then in fact it is supported on Sub(A). In particular, if A(Γ) = <e> then Δ = <e>, μ almost surely.     

Varieties of Characters

Let G be a connected reductive affine algebraic group. In this short note we define the variety of G-characters of a finitely generated group Γ and show that the quotient of the G-character variety of Γ by the action of the trace preserving outer automorphisms of G normalizes the variety of G-characters when Γ is a free group, free abelian group, or a surface group.     

Bounded differential forms,generalized Milnor–Wood inequality and an application to deformation rigidity

We establish sufficient conditions for a cohomology class of a discrete subgroup Γ of a connected semisimple Lie group with finite center to be representable by a bounded differential form on the quotient by Γ of the associated symmetric space; furthermore if \(\rho : \Gamma\to\mathrm{PU}(1,q)\) is any representation of any discrete subgroup Γ of SU (1, p), we give an explicit closed bounded differential form on the quotient by Γ of complex hyperbolic space which is a representative for the pullback via ρ of the Kähler class of PU(1,q). If G,G′ are Lie groups of Hermitian type, we generalize to representations \(\rho : \Gamma\to G'\) of lattices Γ < G the invariant defined in [Burger, M., Iozzi, A.: Bounded cohomology and representation variates in PU (1,n). Preprint announcement, April 2000] for which we establish a Milnor–Wood type inequality. As an application we study maximal representations into PU(1, q) of lattices in SU(1,1).     

Expanding curves in T1(Hn) under geodesic flow and equidistribution in homogeneous spaces

Let H = SO(n, 1) and A = {a(t): t ∈ R} be a maximal R-split Cartan subgroup of H. Let G be a Lie group containing H and Γ be a lattice of G. Let φ = gΓ ∈ G/Γ be a point of G/Γ such that its H-orbit Hx is dense in G/Γ. Let φ: I = [a, b] → H be an analytic curve. Then φ(I)x gives an analytic curve in G/Γ. In this article, we will prove the following result: if φ(I) satisfies some explicit geometric condition, then a(t)φ(I)x tends to be equidistributed in G/Γ as t → ∞. It answers the first question asked by Shah in [Sha09c] and generalizes the main result of that paper.     

ON DE RHAM AND DOLBEAULT COHOMOLOGY OF SOLVMANIFOLDS

For a simply connected (non-nilpotent) solvable Lie group G with a lattice Γ the de Rham and Dolbeault cohomologies of the solvmanifold G/Γ are not in general isomorphic to the cohomologies of the Lie algebra g of G. In this paper we construct, up to a finite group, a new Lie algebra eg whose cohomology is isomorphic to the de Rham cohomology of G/Γ by using a modification of G associated with an algebraic sub-torus of the Zariski-closure of the image of the adjoint representation. This technique includes the construction due to Guan and developed by the first two authors. In this paper, we also give a Dolbeault version of such technique for complex solvmanifolds, i.e., for solvmanifolds endowed with an invariant complex structure. We construct a finite-dimensional cochain complex which computes the Dolbeault cohomology of a complex solvmanifold G/Γ with holomorphic Mostow bundle and we give a construction of a new Lie algebra \( \overset{\smile }{\mathfrak{g}} \) with a complex structure whose cohomology is isomorphic to the Dolbeault cohomology of G/Γ.     

Cannon–Thurston maps for hyperbolic free group extensions

This paper gives a detailed analysis of the Cannon–Thurston maps associated to a general class of hyperbolic free group extensions. Let F denote a free group of finite rank at least 3 and consider a convex cocompact subgroup Γ ≤ Out(F), i.e. one for which the orbit map from Γ into the free factor complex of F is a quasi-isometric embedding. The subgroup Γ determines an extension E_Γ of F, and the main theorem of Dowdall–Taylor [DT14] states that in this situation E_Γ is hyperbolic if and only if Γ is purely atoroidal.     

On the cohomology of tori over local fields with perfect residue field

If T is an algebraic torus defined over a discretely valued field K with perfect residue field k, we relate the K-cohomology of T to the k-cohomology of certain objects associated to T. When k has cohomological dimension ≤ 1, our results have a particularly simple form and yield, more generally, isomorphisms between Borovoi’s abelian K-cohomology of a reductive group G over K and the k-cohomology of a certain quotient of the algebraic fundamental group of G.     

Twisted Generalized Weyl Algebras and Primitive Quotients of Enveloping Algebras

To each multiquiver Γ we attach a solution to the consistency equations associated to twisted generalized Weyl (TGW) algebras. This generalizes several previously obtained solutions in the literature. We show that the corresponding algebras \(\mathcal {A}({\Gamma })\) carry a canonical representation by differential operators and that \(\mathcal {A}({\Gamma })\) is universal among all TGW algebras with such a representation. We also find explicit conditions in terms of Γ for when this representation is faithful or locally surjective. By forgetting some of the structure of Γ one obtains a Dynkin diagram, D(Γ). We show that the generalized Cartan matrix of \(\mathcal {A}({\Gamma })\) coincides with the one corresponding to D(Γ) and that \(\mathcal {A}({\Gamma })\) contains graded homomorphic images of the enveloping algebra of the positive and negative part of the corresponding Kac-Moody algebra. Finally, we show that a primitive quotient U/J of the enveloping algebra of a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic zero is graded isomorphic to a TGW algebra if and only if J is the annihilator of a completely pointed (multiplicity-free) simple weight module. The infinite-dimensional primitive quotients in types A and C are closely related to \(\mathcal {A}({\Gamma })\) for specific Γ. We also prove one result in the affine case.     

Contribution to the General Linear Conjugation Problem for A Piecewise Analytic Vector

Establishing an analogy between the theories of Riemann–Hilbert vector problem and linear ODEs, for the n-dimensional homogeneous linear conjugation problem on a simple smooth closed contour Γ partitioning the complex plane into two domains D⁺ and D^? we show that if we know n?1 particular solutions such that the determinant of the size n?1 matrix of their components omitting those with index k is nonvanishing on D⁺ ∪ Γ and the determinant of the matrix of their components omitting those with index j is nonvanishing on Γ ∪ D^? {∞}, where \(k,j = \overline {1,n} \), then the canonical system of solutions to the linear conjugation problem can be constructed in closed form.     

Maximum Distance Between Slater Orders and Copeland Orders of Tournaments

Given a tournament T?=?(X, A), we consider two tournament solutions applied to T: Slater’s solution and Copeland’s solution. Slater’s solution consists in determining the linear orders obtained by reversing a minimum number of directed edges of T in order to make T transitive. Copeland’s solution applied to T ranks the vertices of T according to their decreasing out-degrees. The aim of this paper is to compare the results provided by these two methods: to which extent can they lead to different orders? We consider three cases: T is any tournament, T is strongly connected, T has only one Slater order. For each one of these three cases, we specify the maximum of the symmetric difference distance between Slater orders and Copeland orders. More precisely, thanks to a result dealing with arc-disjoint circuits in circular tournaments, we show that this maximum is equal to n(n???1)/2 if T is any tournament on an odd number n of vertices, to (n ²???3n?+?2)/2 if T is any tournament on an even number n of vertices, to n(n???1)/2 if T is strongly connected with an odd number n of vertices, to (n ²???3n???2)/2 if T is strongly connected with an even number n of vertices greater than or equal to 8, to (n ²???5n?+?6)/2 if T has an odd number n of vertices and only one Slater order, to (n ²???5n?+?8)/2 if T has an even number n of vertices and only one Slater order.     

Tangential polynomials and matrix KdV elliptic solitons

Let (X, q) be an elliptic curve marked at the origin. Starting from any cover π: Γ → X of an elliptic curve X marked at d points {π _i } of the fiber π ^?1(q) and satisfying a particular criterion, Krichever constructed a family of d × d matrix KP solitons, that is, matrix solutions, doubly periodic in x, of the KP equation. Moreover, if Γ has a meromorphic function f: Γ → P¹ with a double pole at each p _i , then these solutions are doubly periodic solutions of the matrix KdV equation U _t = 1/4(3UU _x + 3U _x U + U _xxx ). In this article, we restrict ourselves to the case in which there exists a meromorphic function with a unique double pole at each of the d points {p _i }; i.e. Γ is hyperelliptic and each pi is a Weierstrass point of Γ. More precisely, our purpose is threefold: (1) present simple polynomial equations defining spectral curves of matrix KP elliptic solitons; (2) construct the corresponding polynomials via the vector Baker–Akhiezer function of X; (3) find arbitrarily high genus spectral curves of matrix KdV elliptic solitons.     

Properly discontinuous group actions on affine homogeneous spaces

Let G be a real algebraic group, H ≤ G an algebraic subgroup containing a maximal reductive subgroup of G, and Γ a subgroup of G acting on G/H by left translations. We conjecture that Γ is virtually solvable provided its action on G/H is properly discontinuous and ΓG/H is compact, and we confirm this conjecture when G does not contain simple algebraic subgroups of rank ≥2. If the action of Γ on G/H (which is isomorphic to an affine linear space Aⁿ) is linear, our conjecture coincides with the Auslander conjecture. We prove the Auslander conjecture for n ≤ 5.     

The graph Kre(4) does not exist

Suppose that a strongly regular graph Γ with parameters (v, k, λ, μ) has eigenvalues k, r, and s. If the graphs Γ and \(\bar \Gamma \) are connected, then the following inequalities, known as Krein’s conditions, hold: (i) (r + 1)(k + r + 2rs) ≤ (k + r)(s + 1)² and (ii) (s + 1)(k + s + 2rs) ≤ (k + s)(r + 1)². We say that Γ is a Krein graph if one of Krein’s conditions (i) and (ii) is an equality for this graph. A triangle-free Krein graph has parameters ((r ² + 3r)², r ³ + 3r ² + r, 0, r ² + r). We denote such a graph by Kre(r). It is known that, in the cases r = 1 and r = 2, the graphs Kre(r) exist and are unique; these are the Clebsch and Higman–Sims graphs, respectively. The latter was constructed in 1968 together with the Higman–Sims sporadic simple group. A.L. Gavrilyuk and A.A. Makhnev have proved that the graph Kre(3) does not exist. In this paper, it is proved that the graph Kre(4) (a strongly regular graph with parameters (784, 116, 0, 20)) does not exist either.     

Some Remarks on Perov Type Mappings in Cone Metric Spaces

Let \(\left( E,C,t\right) \) be a real ordered topological vector space and let (X, d) be a tvs-cone metric space over cone C. Using Proposition 19.9 of Deimling (Nonlinear functional analysis, Springer, Berlin, 1985), we show that E can be equipped with a norm such that C is a normal monotone solid cone. Hence, a tvs-cone metric space \(\left( X,d\right) \) over a solid cone C is a normal cone metric space over the same cone C. This assures that tvs-cone metric spaces are not a genuine generalization of cone metric spaces introduced by Huang and Zhang, recently. Further, if the cone C is solid then we have only cone metric spaces over normal solid cone (with coefficient of normality \(K=1\)). Here, we introduce also the notion of Sehgal–Guseman–Perov type mappings and we establish a result of existence and uniqueness of fixed points for this class of mappings.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

The column-sufficiency and row-sufficiency of the linear transformation on Hilbert spaces

Given a real Hilbert space H with a Jordan product and \({\Omega\subset H}\) being the Lorentz cone, \({q\in H}\), and let T : H → H be a bounded linear transformation, the corresponding linear complementarity problem is denoted by LCP(T, Ω, q). In this paper, we introduce the concepts of the column-sufficiency and row-sufficiency of T. In particular, we show that the row-sufficiency of T is equivalent to the existence of the solution of LCP(T, Ω, q) under an operator commutative condition; and that the column-sufficiency along with cross commutative property is equivalent to the convexity of the solution set of LCP(T, Ω, q). In our analysis, the properties of the Jordan product and the Lorentz cone in H are interconnected.     

Modern thermodynamics as a branch of mathematics (mathematical physics)

In the paper, it is proved that, if f(x₁,..., x_n)g(y₁,..., y_m) is a multilinear central polynomial for a verbally prime T-ideal Γ over a field of arbitrary characteristic, then both polynomials f(x₁,..., x_n) and g(y₁,..., y_m) are central for Γ.     

Rates of decay in the classical Katznelson-Tzafriri theorem

The Katznelson-Tzafriri Theorem states that, given a power-bounded operator T, ∥Tⁿ(I ? T)∥ → 0 as n → ∞ if and only if the spectrum σ(T) of T intersects the unit circle T in at most the point 1. This paper investigates the rate at which decay takes place when σ(T) ∩ T = {1}. The results obtained lead, in particular, to both upper and lower bounds on this rate of decay in terms of the growth of the resolvent operator R(e^iθ, T) as θ → 0. In the special case of polynomial resolvent growth, these bounds are then shown to be optimal for general Banach spaces but not in the Hilbert space case.     

A note on infinite aS-groups

Let G be a group. If every nontrivial subgroup of G has a proper supplement, then G is called an aS-group. We study some properties of aS-groups. For instance, it is shown that a nilpotent group G is an aS-group if and only if G is a subdirect product of cyclic groups of prime orders. We prove that if G is an aS-group which satisfies the descending chain condition on subgroups, then G is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an aS-group. Finally, it is shown that if G is an aS-group and |G| ≠ pq, p, where p and q are primes, then G has a triple factorization.