Subword complexes and edge subdivisions

For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections and π is a group element. We discuss the transformations of such a complex that are induced by braid moves of the word Q. We show that under certain conditions, such a transformation is a composition of edge subdivisions and inverse edge subdivisions. In this case, we describe how the H- and γ-polynomials change under the transformation. This case includes all braid moves for groups with simply laced Coxeter diagrams.     

Cyclic cohomology of certain nuclear Fréchet algebras and DF algebras

We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain \(\hat \otimes\)-algebras. We use well-developed homological techniques together with some niceties of the theory of locally convex spaces to generalize the results known in the case of Banach algebras and their inverse limits to wider classes of topological algebras. To this end we show that, for a continuous morphism ?: x → y of complexes of complete nuclear DF-spaces, the isomorphism of cohomology groups H ⁿ(?): H ⁿ (x) → H ⁿ (y) is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective \(\hat \otimes\)-algebras: the tensor algebra E \(\hat \otimes\) F generated by the duality (E,F,<·,·>) for nuclear Fréchet spaces E and F or for nuclear DF-spaces E and F; nuclear biprojective Köthe algebras λ(P) which are Fréchet spaces or DF-spaces; the algebra of distributions ε^*(G) on a compact Lie group G.     

Hecke algebras with independent parameters

We study the Hecke algebra \({\mathcal {H}}({\mathbf {q}})\) over an arbitrary field \({\mathbb {F}}\) of a Coxeter system (W, S) with independent parameters \({\mathbf {q}}=(q_s\in {\mathbb {F}}:s\in S)\) for all generators. This algebra always has a spanning set indexed by the Coxeter group W, which is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receives the same parameter. In general, the dimension of \({\mathcal {H}}({\mathbf {q}})\) could be as small as 1. We construct a basis for \({\mathcal {H}}({\mathbf {q}})\) when (W, S) is simply laced. We also characterize when \({\mathcal {H}}({\mathbf {q}})\) is commutative, which happens only if the Coxeter diagram of (W, S) is simply laced and bipartite. In particular, for type A, we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.     

A note on Weyl groups and root lattices

We follow the dual approach to Coxeter systems and show for Weyl groups that a set of reflections generates the group if and only if the related sets of roots and coroots generate the root and the coroot lattices, respectively. Previously, we have proven if (W, S) is a Coxeter system of finite rank n with set of reflections T and if \(t_1, \ldots t_n \in T\) are reflections in W that generate W, then \(P:= \langle t_1, \ldots t_{n-1}\rangle \) is a parabolic subgroup of (W, S) of rank \(n-1\) (Baumeister et al. in J Group Theory 20:103–131, 2017, Theorem 1.5). Here we show if (W, S) is crystallographic as well, then all the reflections \(t \in T\) such that \(\langle P, t\rangle = W\) form a single orbit under conjugation by P.     

K(π, 1) and word problems for infinite type Artin–Tits groups, and applications to virtual braid groups

Let Γ be a Coxeter graph, let (W, S) be its associated Coxeter system, and let (A, Σ) be its associated Artin–Tits system. We regard W as a reflection group acting on a real vector space V. Let I be the Tits cone, and let E _Γ be the complement in I + iV of the reflecting hyperplanes. Recall that Salvetti, Charney and Davis have constructed a simplicial complex Ω(Γ) having the same homotopy type as E _Γ. We observe that, if ${T \subset S}$ , then Ω(Γ _T ) naturally embeds into Ω (Γ). We prove that this embedding admits a retraction ${\pi_T: \Omega(\Gamma) \to \Omega (\Gamma_T)}$ , and we deduce several topological and combinatorial results on parabolic subgroups of A. From a family ${\mathcal{S}}$ of subsets of S having certain properties, we construct a cube complex Φ, we show that Φ has the same homotopy type as the universal cover of E _Γ, and we prove that Φ is CAT(0) if and only if ${\mathcal{S}}$ is a flag complex. We say that ${X \subset S}$ is free of infinity if Γ _X has no edge labeled by ∞. We show that, if ${E_{\Gamma_X}}$ is aspherical and A _X has a solution to the word problem for all ${X \subset S}$ free of infinity, then E _Γ is aspherical and A has a solution to the word problem. We apply these results to the virtual braid group VB _n . In particular, we give a solution to the word problem in VB _n , and we prove that the virtual cohomological dimension of VB _n is n?1.     

On the second cohomology of an algebraic group and of its lie algebra in a positive characteristic

Necessary and sufficient isomorphism conditions for the second cohomology group of an algebraic group with an irreducible root system over an algebraically closed field of characteristic p ≥ 3h ? 3, where h stands for the Coxeter number, and the corresponding second cohomology group of its Lie algebra with coefficients in simple modules are obtained, and also some nontrivial examples of isomorphisms of the second cohomology groups of simple modules are found. In particular, it follows from the results obtained here that, among the simple algebraic groups SL₂(k), SL₃(k), SL₄(k), Sp₄(k), and G ₂, nontrivial isomorphisms of this kind exist for SL₄(k) and G ₂ only. For SL₄(k), there are two simple modules with nontrivial second cohomology and, for G ₂, there is one module of this kind. All nontrivial examples of second cohomology obtained here are one-dimensional.     

Geodesics and Curvatures of Special Sub-Riemannian Metrics on Lie Groups

Let G be a full connected semisimple isometry Lie group of a connected Riemannian symmetric space M = G/K with the stabilizer K; p : G → G/K = M the canonical projection which is a Riemannian submersion for some G-left invariant and K-right invariant Riemannian metric on G, and d is a (unique) sub-Riemannian metric on G defined by this metric and the horizontal distribution of the Riemannian submersion p. It is proved that each geodesic in (G, d) is normal and presents an orbit of some one-parameter isometry group. By the Solov'ev method, using the Cartan decomposition for M = G/K, the author found the curvatures of the homogeneous sub-Riemannian manifold (G, d). In the case G = Sp(1) × Sp(1) with the Riemannian symmetric space S³ = Sp(1) = G/ diag(Sp(1) × Sp(1)) the curvatures and torsions are calculated of images in S³ of all geodesics on (G, d) with respect to p.     

On J. C. C. Nitsche type inequality for annuli on Riemann surfaces

Assume that (N, ?) and (M, S) are two Riemann surfaces with conformal metrics ? and S. We prove that if there is a harmonic homeomorphism between an annulus A ? N with a conformal modulus Mod(A) and a geodesic annulus A _S (p, ρ₁, ρ₂)?M, then we have ρ₂/ρ₁ ≥ Ψ _S Mod(A)²+ 1, where Ψ _S is a certain positive constant depending on the upper bound of Gaussian curvature of the metric S. An application for the minimal surfaces is given.     

Hochschild Cohomology of a Sullivan Algebra

Let \({A= (\land V, d)}\) be a minimal Sullivan algebra where V is finite dimensional. We show that the Hochschild cohomology HH*(A; A) can be computed in terms of derivations of A. This provides another method to compute the loop space homology of a simply connected space for which \({ \pi_*(X) \otimes \mathbb{Q} }\) is finite dimensional.     

Note: A conjecture on partitions of groups

We conjecture that every infinite group G can be partitioned into countably many cells \(G = \bigcup\limits_{n \in \omega } {A_n }\) such that cov(A _n A _n ^?1 ) = |G| for each n ∈ ω Here cov(A) = min{|X|: X} ? G, G = X A}. We confirm this conjecture for each group of regular cardinality and for some groups (in particular, Abelian) of an arbitrary cardinality.     

Critical Independent Sets and König–Egerváry Graphs

A set S of vertices is independent or stable in a graph G, and we write S ∈ Ind (G), if no two vertices from S are adjacent, and α(G) is the cardinality of an independent set of maximum size, while core(G) denotes the intersection of all maximum independent sets. G is called a König–Egerváry graph if its order equals α(G) + μ(G), where μ(G) denotes the size of a maximum matching. The number def (G) = | V(G) | ?2μ(G) is the deficiency of G. The number \({d(G)=\max\{\left\vert S\right\vert -\left\vert N(S)\right\vert :S\in\mathrm{Ind}(G)\}}\) is the critical difference of G. An independent set A is critical if \({\left\vert A\right\vert -\left\vert N(A)\right\vert =d(G)}\) , where N(S) is the neighborhood of S, and α _c (G) denotes the maximum size of a critical independent set. Larson (Eur J Comb 32:294–300, 2011) demonstrated that G is a König–Egerváry graph if and only if there exists a maximum independent set that is also critical, i.e., α _c (G) = α(G). In this paper we prove that: (i) \({d(G)=\left \vert \mathrm{core}(G) \right \vert -\left \vert N (\mathrm{core}(G))\right\vert =\alpha(G)-\mu(G)=def \left(G\right)}\) holds for every König–Egerváry graph G; (ii) G is König–Egerváry graph if and only if each maximum independent set of G is critical.     

From the Icosahedron to Natural Triangulations of??P 2 and S 2��S 2

We present two constructions in this paper: (a) a 10-vertex triangulation $\mathbb{C}P^{2}_{10}$ of the complex projective plane ?P ² as a subcomplex of the join of the standard sphere ( $S^{2}_{4}$ ) and the standard real projective plane ( $\mathbb{R}P^{2}_{6}$ , the decahedron), its automorphism group is A ₄; (b) a 12-vertex triangulation (S ²×S ²)₁₂ of S ²×S ² with automorphism group 2S ₅, the Schur double cover of the symmetric group S ₅. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of S ²×S ². Both constructions have surprising and intimate relationships with the icosahedron. It is well known that ?P ² has S ²×S ² as a two-fold branched cover; we construct the triangulation $\mathbb{C}P^{2}_{10}$ of ?P ² by presenting a simplicial realization of this covering map S ²×S ²???P ². The domain of this simplicial map is a simplicial subdivision of the standard cell structure of S ²×S ², different from the triangulation alluded to in (b). This gives a new proof that Kühnel??s $\mathbb{C}P^{2}_{9}$ triangulates ?P ². It is also shown that $\mathbb{C}P^{2}_{10}$ and (S ²×S ²)₁₂ induce the standard piecewise linear structure on ?P ² and S ²×S ² respectively.     

Hochschild Cohomology of skew group rings and invariants

Let A be a k-algebra and G be a group acting on A. We show that G also acts on the Hochschild cohomology algebra HH ^⊙ (A) and that there is a monomorphism of rings HH ^⊙ (A) ^G →HH ^⊙ (A[G]). That allows us to show the existence of a monomorphism from HH ^⊙ (Ã) ^G into HH ^⊙ (A), where à is a Galois covering with group G.     

On the seidel integral complete multipartite graphs

For a simple undirected graph G, denote by A(G) the (0,1)-adjacency matrix of G. Let thematrix S(G) = J-I-2A(G) be its Seidel matrix, and let S _G (??) = det(??I-S(G)) be its Seidel characteristic polynomial, where I is an identity matrix and J is a square matrix all of whose entries are equal to 1. If all eigenvalues of S _G (??) are integral, then the graph G is called S-integral. In this paper, our main goal is to investigate the eigenvalues of S _G (??) for the complete multipartite graphs G = $G = K_{n_1 ,n_2 ,...n_t } $ . A necessary and sufficient condition for the complete tripartite graphs K _m,n,t and the complete multipartite graphs to be S-integral is given, respectively.     

Extendability of Contractible Configurations for Nowhere-Zero Flows and Modulo Orientations

Let H be a connected graph and G be a supergraph of H. It is trivial that for any k-flow (D, f) of G, the restriction of (D, f) on the edge subset E(G / H) is a k-flow of the contracted graph G / H. However, the other direction of the question is neither trivial nor straightforward at all: for any k-flow \((D',f')\) of the contracted graph G / H, whether or not the supergraph G admits a k-flow (D, f) that is consistent with \((D',f')\) in the edge subset E(G / H). In this paper, we will investigate contractible configurations and their extendability for integer flows, group flows, and modulo orientations. We show that no integer flow contractible graphs are extension consistent while some group flow contractible graphs are also extension consistent. We also show that every modulo \((2k+1)\)-orientation contractible configuration is also extension consistent and there are no modulo (2k)-orientation contractible graphs.     

Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.     

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/Γ.     

Automorphisms of Coxeter groups of type <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A Coxeter system (W, S) is said to be of type K _n if the associated Coxeter graph Γ_S is complete on n vertices and has only odd edge labels. If W satisfies either of: (1) n = 3; (2) W is rigid; then the automorphism group of W is generated by the inner automorphisms of W and any automorphisms induced by Γ_S. Indeed, Aut(W) is the semidirect product of Inn(W) and the group of diagram automorphisms, and furthermore W is strongly rigid. We also show that if W is a Coxeter group of type K _n then W has exactly one conjugacy class of involutions and hence Aut(W) = Spec(W).     

A characterization of linearly semisimple groups

Let G = SpecA be an affine K-group scheme and à = {w ∈ A*: dim _K A*·w < ∞, dim _K w· A* < ∞}. Let 〈?,?〉: A* × Ã → K, 〈w, \(\tilde w\)〉:=tr(w~w), be the trace form. We prove that G is linearly reductive if and only if the trace form is non-degenerate on A*.