The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .     

Upper Bounds for $${\mathbb R}$$-Linear Resolvents

We discuss upper bounds for the resolvent of an \mathbbR{\mathbb{R}}-linear operator in \mathbbC^d{\mathbb{C}^d}.     

Character formulas for Feigin–Stoyanovsky’s type subspaces of standard $\mathfrak{sl}(3, \mathbb{C})^{\widetilde{}}$-modules

Exact sequences of Feigin–Stoyanovsky’s type subspaces for affine Lie algebra \mathfraksl(l+1,\mathbbC)^[\tilde]\mathfrak{sl}(l+1,\mathbb{C})^{\widetilde{}} lead to systems of recurrence relations for formal characters of those subspaces. By solving the corresponding system for \mathfraksl(3,\mathbbC)^[\tilde]\mathfrak{sl}(3,\mathbb{C})^{\widetilde{}}, we obtain a new family of character formulas for all Feigin–Stoyanovsky’s type subspaces at the general level.     

On the Second Cohomology of K?hler Groups

Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H²(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.     

Algebraic characterization of the isometries of the hyperbolic 5-space

Let \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} be the group of invertible 2 × 2 matrices over the division algebra \mathbbH{\mathbb{H}} of quaternions. \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} acts on the hyperbolic 5-space as the group of orientation-preserving isometries. Using this action we give an algebraic characterization of the orientation-preserving isometries of the hyperbolic 5-space. Along the way we also determine the conjugacy classes and the conjugacy classes of centralizers or the z-classes in \mathbb GL(2, \mathbbH){{\mathbb G}L(2, \mathbb{H})} .     

Complex cycles on algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to the set X(\mathbbR){X(\mathbb{R})} of real points of a nonsingular projective real algebraic variety X, which is called an algebraic model of M. Each algebraic cycle of codimension k on the complex variety X_\mathbbC=X×_\mathbbR\mathbbC{X_{\mathbb{C}}=X\times_{\mathbb{R}}\mathbb{C}} determines a cohomology class in H^2k(X(\mathbbR);\mathbbD){H^{2k}(X(\mathbb{R});\mathbb{D})} , where \mathbbD{\mathbb{D}} denotes \mathbbZ{\mathbb{Z}} or \mathbbQ{\mathbb{Q}} . We investigate the behavior of such cohomology classes as X runs through the class of algebraic models of M.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Affine normal surfaces with simply-connected smooth locus

Given a normal affine surface V defined over \mathbbC{\mathbb{C}}, we look for algebraic and topological conditions on V which imply that V is smooth or has at most rational singularities. The surfaces under consideration are algebraic quotients \mathbbCⁿ/G{\mathbb{C}^n/G} with an algebraic group action of G and topologically contractible surfaces. Theorem 3.6 can be considered as a global version of the well-known result of Mumford giving a smoothness criterion for a germ of a normal surface in terms of the local fundamental group.     

Deformations of Symplectic Cohomology and Exact Lagrangians in ALE Spaces

ALE spaces are the simply connected hyperkähler manifolds which at infinity look like ${\mathbb{C}^{2}/G}ALE spaces are the simply connected hyperk?hler manifolds which at infinity look like \mathbbC²/G{\mathbb{C}^{2}/G}, for any finite subgroup G ì SL₂(\mathbbC){G \subset SL_2(\mathbb{C})}. We prove that all exact Lagrangians inside ALE spaces must be spheres. The proof relies on showing the vanishing of a twisted version of symplectic cohomology.     

Completely periodic directions and orbit closures of many pseudo-Anosov Teichmueller discs in Q(1,1,1,1)

In this paper, we investigate the closure of a large class of Teichmüller discs in the stratum Q(1, 1, 1, 1){\mathcal{Q}(1, 1, 1, 1)} or equivalently, in a GL⁺₂(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -invariant locus L{\mathcal{L}} of translation surfaces of genus three. We describe a systematic way to prove that the GL⁺₂(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -orbit closure of a translation surface in L{\mathcal{L}} is the whole locus L{\mathcal{L}} . The strategy of the proof is an analysis of completely periodic directions on such a surface and an iterated application of Ratner’s theorem to unipotent subgroups acting on an “adequate” splitting. This analysis applies for example to all Teichmüller discs obtained by the Thurston–Veech’s construction with a trace field of degree three which are moreover “obviously not Veech”. We produce an infinite series of such examples and show moreover that the favourable splitting situation does not arise everywhere on L{\mathcal{L}} , contrary to the situation in genus two. We also study completely periodic directions on translation surfaces in L{\mathcal{L}} . For instance, we prove that completely periodic directions are dense on surfaces obtained by the Thurston–Veech’s construction.     

A criterion for the splitting of a principal bundle over a projective space

Let E_G be an algebraic principal G-bundle over \mathbbC\mathbbPⁿ ,\mathbb{C}\mathbb{P}^n , n  \mathbbC.\mathbb{C}. We prove that E_G admits a reduction of structure group to a one-parameter subgroup of G if and only if

Rectifiability and Lipschitz extensions into the Heisenberg group

Denote by \mathbbHⁿ{\mathbb{H}^n} the 2n + 1 dimensional Heisenberg group. We show that the pairs (\mathbbR^k ,\mathbbHⁿ){(\mathbb{R}^k ,\mathbb{H}^n)} and (\mathbbH^k ,\mathbbHⁿ){(\mathbb{H}^k ,\mathbb{H}^n)} do not have the Lipschitz extension property for k  >  n.     

Metrizability of the space of {\mathbb{R}} -places of a real function field

For n = 1, the space of ${\mathbb{R}}For n = 1, the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x₁,?, x_n){\mathbb{R}(x_1,\ldots, x_n)} is homeomorphic to the real projective line. For n ≥ 2, the structure is much more complicated. We prove that the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x, y){\mathbb{R}(x, y)} is not metrizable. We explain how the proof generalizes to show that the space of \mathbbR{\mathbb{R}} -places of any finitely generated formally real field extension of \mathbbR{\mathbb{R}} of transcendence degree ≥ 2 is not metrizable. We also consider the more general question of when the space of \mathbbR{\mathbb{R}} -places of a finitely generated formally real field extension of a real closed field is metrizable.     

Biharmonic submanifolds of {\mathbb{C}P^n}

We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold [`(M)]{\bar{M}} in \mathbbCPⁿ{\mathbb{C}P^n} and the bitension field of the inclusion of the corresponding Hopf-tube in \mathbbS²ⁿ⁺¹{\mathbb{S}^{2n+1}}. Using this relation we produce new families of proper-biharmonic submanifolds of \mathbbCPⁿ{\mathbb{C}P^n}. We study the geometry of biharmonic curves of \mathbbCPⁿ{\mathbb{C}P^n} and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.     

A classification of taut,Stein surfaces with a proper $${\mathbb{R}}$$-action

We present a classification of 2-dimensional, taut, Stein manifolds with a proper \mathbbR{\mathbb{R}}-action. For such manifolds the globalization with respect to the induced local \mathbbC{\mathbb{C}}-action turns out to be Stein. As an application we determine all 2-dimensional taut, non-complete, Hartogs domains over a Riemann surface.     

Isomorphisms preserving invariants

Let V and W be finite dimensional real vector spaces and let G ì GL(V){G \subset {\rm GL}(V)} and H ì GL(W){H \subset {\rm GL}(W)} be finite subgroups. Assume for simplicity that the actions contain no reflections. Let Y and Z denote the real algebraic varieties corresponding to \mathbbR[V]^G{\mathbb{R}[V]^G} and \mathbbR[W]^H{\mathbb{R}[W]^H}, respectively. If V and W are quasi-isomorphic, i.e., if there is a linear isomorphism L : V → W such that L sends G-orbits to H-orbits and L ⁻¹ sends H-orbits to G-orbits, then L induces an isomorphism of Y and Z. Conversely, suppose that f : Y → Z is a germ of a diffeomorphism sending the origin of Y to the origin of Z. Then we show that V and W are quasi-isomorphic, This result is closely related to a theorem of Strub [8], for which we give a new proof. We also give a new proof of a result of Kriegl et al. [3] on lifting of biholomorphisms of quotient spaces.