On $$\mathfrak {F}_{hq}$$-supplemented subgroups of a finite group

A subgroup H of a finite group G is quasinormal in G if it permutes with every subgroup of G. A subgroup H of a finite group G is \(\mathfrak {F}_{hq}\)-supplemented in G if G has a quasinormal subgroup N such that HN is a Hall subgroup of G and \((H\cap N)H_{G}/ H_{G} \le Z_{\mathfrak {F}}(G/H_{G})\), where \(H_{G}\) is the core of H in G and \({Z}_{\mathfrak {F}} (G/H_{G})\) is the \(\mathfrak {F}\)-hypercenter of \({G/H}_{G}\). This paper concerns the structure of a finite group G under the assumption that some subgroups of G are \(\mathfrak {F}_{hq}\)-supplemented in G.     

Upper bounds of homological invariants of {FI_G}-modules

Given a finite group G, let P_G(s) be the probability that s randomly chosen elements generate G, and let H be a finite group with \({P_{G}(s) = P_{H}(s)}\). We show that if the nonabelian composition factors of G and H are PSL(2, p) for some non-Mersenne prime \({p \geq 5}\), then G and H have the same non-Frattini chief factors.     

On Projective Modules in Category \mathcal{O}_{int} of Quantum \mathfrak{sl}_{2}

The restriction of a Verma module of ${\bf U}(\mathfrak{sl}_3)$ to ${\bf U}(\mathfrak{sl}_2)$ is isomorphic to a Verma module tensoring with all the finite dimensional simple modules of ${\bf U}(\mathfrak{sl}_2)$ . The canonical basis of the Verma module is compatible with such a decomposition. An explicit decomposition of the tensor product of the Verma module of highest weight 0 with a finite dimensional simple module into indecomposable projective modules in the category $\mathcal O_{\rm{int}}$ of quantum $\mathfrak{sl}_2$ is given.     

On tame pro-p Galois groups over basic {\mathbb{Z}_p}-extensions

For a prime number p and a finite set S of prime numbers congruent to 1 modulo p, we consider the Galois group of the maximal pro-p-extension unramified outside S over the ${\mathbb Z_p}$ -extension of the rational number field. In this paper, we give a family of S for which the Galois group is a metacyclic pro-p group with an application to Greenberg’s conjecture.     

Sets with finite {\mathbb H}-perimeter and controlled normal

In the Heisenberg group, we prove that the boundary of sets with finite ${\mathbb H}$ -perimeter and having a bound on the measure theoretic normal is an ${\mathbb H}$ -Lipschitz graph. Then we show that if the normal is, on the boundary, the restriction of a continuous mapping, then the boundary is an ${\mathbb H}$ -regular surface.     

An EKR-theorem for finite buildings of type $$D_{\ell }$$

We define optimal EKR-sets in finite buildings. This definition is motivated by various contributions on optimal EKR-sets in finite projective spaces and polar spaces. Our main result is the classification of optimal EKR-sets of type \(\{ \ell , \ell -1\}\) in finite building of type \(D_{\ell }\) with \(\ell \) even. As it is the case for most of the known optimal EKR-sets in finite buildings, our EKR-sets have a natural center. This provides some evidence that the EKR-problem for finite buildings and Tits center conjecture are closely related.     

Examples of area-minimizing surfaces in the sub-Riemannian Heisenberg group $${\mathbb{H}^1}$$ with low regularity

We give new examples of entire area-minimizing t-graphs in the sub-Riemannian Heisenberg group . They are locally Lipschitz in Euclidean sense. Some regular examples have prescribed singular set consisting of either a horizontal line or a finite number of horizontal halflines extending from a given point. Amongst them, a large family of area-minimizing cones is obtained. Research supported by MEC-Feder grant MTM2007-61919.     

The $$\mathrm {L}_3(4)$$ near octagon

In recent work we constructed two new near octagons, one related to the finite simple group \(\mathrm {G}_2(4)\) and another one as a sub-near-octagon of the former. In the present paper, we give a direct construction of this sub-near-octagon using a split extension of the group \(\mathrm {L}_3(4)\). We derive several geometric properties of this \(\mathrm {L}_3(4)\) near octagon, and determine its full automorphism group. We also prove that the \(\mathrm {L}_3(4)\) near octagon is closely related to the second subconstituent of the distance-regular graph on 486 vertices discovered by Soicher (Eur J Combin 14:501–505, 1993).     

Markov subshifts and partial representation of $$\mathbb{F}_{\text n}$$

In this paper we fix a set * of positive elements of the free group (e. g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S : which we prove to be a partial representation of on H under certain conditions studied by Matsumoto.*Supported by Capes.     

Torified varieties and their geometries over {\mathbb{F}_1}

This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over ${\mathbb Z}$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open covering, we construct a gadget in the sense of Connes?CConsani and an object in the sense of Soulé and show that both are varieties over ${\mathbb{F}_1}$ in the corresponding notion. Since toric varieties and split Chevalley schemes satisfy the compatibility condition, we shed new light on all examples of varieties over ${\mathbb{F}_1}$ in the literature so far. Furthermore, we compare Connes?CConsani??s geometry, Soulé??s geometry and Deitmar??s geometry, and we discuss to what extent Chevalley groups can be realized as group objects over ${\mathbb{F}_1}$ in the given categories.     

Atomic subspaces of {L_1}-martingale spaces

In Part I of the present paper the following problem was investigated. Let G be a finite simple graph, and S be a finite set of primes. We say that G is representable with S if it is possible to attach rational numbers to the vertices of G such that the vertices v₁, v₂ are connected by an edge if and only if the difference of the attached values is an S-unit. In Part I we gave several results concerning the representability of graphs in the above sense.     

Large $${\varvec{p}}^{\prime }$$-orbits for $${\varvec{p}}$$p-nilpotent linear groups

Let G be a p-nilpotent linear group on a finite vector space V of characteristic p. Suppose that |G||V| is odd. Let P be a Sylow p-subgroup of G. We show that there exist vectors \(v_1\) and \(v_2\) in V such that \(C_G(v_1) \cap C_G(v_2)=P\). A striking conjecture of Malle and Navarro offers a simple global criterion for the nilpotence (in the sense of Broué and Puig) of a p-block of a finite group. Our result implies that this conjecture holds for groups of odd order.     

$$\varvec{L^p}$$-norm estimate of the Bergman projection on Hartogs triangle

Let \({\mathcal {S}}\) denote the set of positive integers that may appear as the strong symmetric genus of a finite abelian group. We obtain a set of (simple) necessary and sufficient conditions for an integer g to belong to \({\mathcal {S}}\). We also prove that the set \({\mathcal {S}}\) has an asymptotic density and approximate its value.     

The intersection map of subgroups and the classes {\mathcal {PST}_c}, {\mathcal {PT}_c} and {\mathcal {T}_c}

A group G is called a ${\mathcal {T}_{c}}$ -group if every cyclic subnormal subgroup of G is normal in G. Similarly, classes ${\mathcal {PT}_{c}}$ and ${\mathcal {PST}_{c}}$ are defined, by requiring cyclic subnormal subgroups to be permutable or S-permutable, respectively. A subgroup H of a group G is called normal (permutable or S-permutable) cyclic sensitive if whenever X is a normal (permutable or S-permutable) cyclic subgroup of H there is a normal (permutable or S-permutable) cyclic subgroup Y of G such that ${X=Y \cap H}$ . We analyze the behavior of a collection of cyclic normal, permutable and S-permutable subgroups under the intersection map into a fixed subgroup of a group. In particular, we tie the concept of normal, permutable and S-permutable cyclic sensitivity with that of ${\mathcal {T}_c}$ , ${\mathcal {PT}_c}$ and ${\mathcal {PST}_c}$ groups. In the process we provide another way of looking at Dedekind, Iwasawa and nilpotent groups.     

The effect of an involution in\widetilde{K}^0 (ZG)

The involution in the Grothendieck group of the group ring of a finite cyclic group of prime order p, induced by the transition to the contragredient module is identical to complex conjugation followed by the automorphism x x^–1 in the ideal class group of the cyclotomic field of order p.Russian article translated from the English by V. L. Golo.Translated from Matematicheskie Zametki, Vol. 3, No. 5, pp. 523–528, May, 1968.     

Twisted honeycombs {3, 5, 3} t and their groups

A honeycomb of type {3, 5, 3} is finite when it has Petrie polygons of length 4, 6, 7 or 9. In these cases its group of automorphisms is isomorphic to PSL(2, 9), PSL(2, 11)×₂, PSL(2, 29) or PSL(2, 19). Its edges and faces are incident in a manner indicated by the vertices of a bipartite graph of girth 8 (in the first case) or 10, whose group is PGL(2, 9), PGL(2, 11)×₂, PSL(2, 29)×₂ or PGL(2, 19), respectively.     

Mean dimension of $${\mathbb{Z}^k}$$-actions

Mean dimension is a topological invariant for dynamical systems that is meaningful for systems with infinite dimension and infinite entropy. Given a \({\mathbb{Z}^k}\)-action on a compact metric space X, we study the following three problems closely related to mean dimension.

1. (1)
   When is X isomorphic to the inverse limit of finite entropy systems?
    
2. (2)
   Suppose the topological entropy \({h_{\rm top}(X)}\) is infinite. How much topological entropy can be detected if one considers X only up to a given level of accuracy? How fast does this amount of entropy grow as the level of resolution becomes finer and finer?
    
3. (3)
   When can we embed X into the \({\mathbb{Z}^k}\)-shift on the infinite dimensional cube \({([0,1]^D)^{\mathbb{Z}^k}}\)?
    

These were investigated for \({\mathbb{Z}}\)-actions in Lindenstrauss (Inst Hautes Études Sci Publ Math 89:227–262, 1999), but the generalization to \({\mathbb{Z}^k}\) remained an open problem. When X has the marker property, in particular when X has a completely aperiodic minimal factor, we completely solve (1) and a natural interpretation of (2), and give a reasonably satisfactory answer to (3).A key ingredient is a new method to continuously partition every orbit into good pieces.     

{\mathbb{G}_a^ M} degeneration of flag varieties

Let ${\mathcal{F}_\lambda}$ be a generalized flag variety of a simple Lie group G embedded into the projectivization of an irreducible G-module V _λ . We define a flat degeneration ${\mathcal{F}_\lambda^a}$ , which is a ${\mathbb{G}^M_a}$ variety. Moreover, there exists a larger group G ^a acting on ${\mathcal{F}_\lambda^a}$ , which is a degeneration of the group G. The group G ^a contains ${\mathbb{G}^M_a}$ as a normal subgroup. If G is of type A, then the degenerate flag varieties can be embedde‘d into the product of Grassmannians and thus to the product of projective spaces. The defining ideal of ${\mathcal{F}_\lambda}$ is generated by the set of degenerate Plücker relations. We prove that the coordinate ring of ${\mathcal{F}_\lambda^a}$ is isomorphic to a direct sum of dual PBW-graded ${\mathfrak{g}}$ -modules. We also prove that there exists bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogs of semistandard tableaux.     

Cartesian Closed Subcategories of $CONT_{\ll }^{{\kern 8pt}\ast }$

Let CONT _? be the category of continuous domains and Scott continuous mappings that preserve the way-below relation on domains. Let ω-ALG _? be the full subcategory of CONT _? consisting of all countably based algebraic domains, and F I N be the category of finite posets and monotone mappings. The main result proved in this paper is that F I N is the largest Cartesian closed full subcategory of ω-ALG _?. On the other hand, it is shown that the algebraic L-domains form a Cartesian closed full subcategory of ALG _?.