Singular del Pezzo surfaces that are equivariant compactifications

We determine which singular del Pezzo surfaces are equivariant compactifications of \mathbbG_\texta² \mathbb{G}_{\text{a}}^2 , to assist with proofs of Manin’s conjecture for such surfaces. Additionally, we give an example of a singular quartic del Pezzo surface that is an equivariant compactification of \mathbbG_\texta {\mathbb{G}_{\text{a}}} ⋊ \mathbbG_\textm {\mathbb{G}_{\text{m}}} . Bibliography: 32 titles.     

Semisimple metacyclic group algebras

Given a group G of order p ₁ p ₂, where p ₁, p ₂ are primes, and \mathbbF_q\mathbb{F}_{q}, a finite field of order q coprime to p ₁ p ₂, the object of this paper is to compute a complete set of primitive central idempotents of the semisimple group algebra \mathbbF_q[G]\mathbb{F}_{q}[G]. As a consequence, we obtain the structure of \mathbbF_q[G]\mathbb{F}_{q}[G] and its group of automorphisms.     

Second cohomology group of extended W-algebras

Let \mathbbF\mathbb{F} be a field of characteristic 0, and let G be an additive subgroup of \mathbbF\mathbb{F}. We define a class of infinite-dimensional Lie algebras \mathbbF\mathbb{F}-basis {L _μ, V _μ, W _μ | μ ∈ G}, which are very closely related to W-algebras. In this paper, the second cohomology group of is determined.     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

Characterization of $ {\mathbb{A}_{16}} $ by a noncommuting graph

Let G be a finite non-Abelian group. We define a graph Γ _G ; called the noncommuting graph of G; with a vertex set G − Z(G) such that two vertices x and y are adjacent if and only if xy ≠ yx: Abdollahi, Akbari, and Maimani put forward the following conjecture (the AAM conjecture): If S is a finite non-Abelian simple group and G is a group such that Γ _S ≅ Γ _G ; then S ≅ G: It is still unknown if this conjecture holds for all simple finite groups with connected prime graph except \mathbbA₁₀ {\mathbb{A}_{10}} , L ₄(8), L ₄(4), and U ₄(4). In this paper, we prove that if \mathbbA₁₆ {\mathbb{A}_{16}} denotes the alternating group of degree 16; then, for any finite group G; the graph isomorphism G_\mathbbA16 @ G_G {\Gamma_{{\mathbb{A}_{16}}}} \cong {\Gamma_G} implies that \mathbbA₁₆ @ G {\mathbb{A}_{16}} \cong G .     

Normalizers and self-normalizing subgroups II

Let \mathbbK\mathbb{K} be a field, G a reductive algebraic \mathbbK\mathbb{K}-group, and G ₁ ≤ G a reductive subgroup. For G ₁ ≤ G, the corresponding groups of \mathbbK\mathbb{K}-points, we study the normalizer N = N _G (G ₁). In particular, for a standard embedding of the odd orthogonal group G ₁ = SO(m, \mathbbK\mathbb{K}) in G = SL(m, \mathbbK\mathbb{K}) we have N ≅ G ₁ ⋊ μ _m ( \mathbbK\mathbb{K}), the semidirect product of G ₁ by the group of m-th roots of unity in \mathbbK\mathbb{K}. The normalizers of the even orthogonal and symplectic subgroup of SL(2n, \mathbbK\mathbb{K}) were computed in [Širola B., Normalizers and self-normalizing subgroups, Glas. Mat. Ser. III (in press)], leaving the proof in the odd orthogonal case to be completed here. Also, for G = GL(m, \mathbbK\mathbb{K}) and G ₁ = O(m, \mathbbK\mathbb{K}) we have N ≅ G ₁ ⋊ \mathbbK\mathbb{K} ^×. In both of these cases, N is a self-normalizing subgroup of G.     

On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups

We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C _G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C _A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

Initial Enlargement of Filtrations and Entropy of Poisson Compensators

Let μ be a Poisson random measure, let \mathbbF\mathbb{F} be the smallest filtration satisfying the usual conditions and containing the one generated by μ, and let \mathbbG\mathbb{G} be the initial enlargement of \mathbbF\mathbb{F} with the σ-field generated by a random variable G. In this paper, we first show that the mutual information between the enlarging random variable G and the σ-algebra generated by the Poisson random measure μ is equal to the expected relative entropy of the \mathbbG\mathbb{G}-compensator relative to the \mathbbF\mathbb{F}-compensator of the random measure μ. We then use this link to gain some insight into the changes of Doob–Meyer decompositions of stochastic processes when the filtration is enlarged from  \mathbbF\mathbb{F} to  \mathbbG\mathbb{G}. In particular, we show that if the mutual information between G and the σ-algebra generated by the Poisson random measure μ is finite, then every square-integrable \mathbbF\mathbb{F}-martingale is a \mathbbG\mathbb{G}-semimartingale that belongs to the normed space S¹\mathcal{S}^{1} relative to  \mathbbG\mathbb{G}.     

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

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Automorphisms of a finitary factor power of an infinite symmetric group

We consider a semigroup FP_\textfin⁺ ( \mathfrakS_\textfin( \mathbbN ) ) FP_{\text{fin}}^{+} \left( {{\mathfrak{S}_{\text{fin}}}\left( \mathbb{N} \right)} \right) defined as a finitary factor power of a finitary symmetric group of countable order. It is proved that all automorphisms of FP_\textfin⁺ ( \mathfrakS_\textfin( \mathbbN ) ) FP_{\text{fin}}^{+} \left( {{\mathfrak{S}_{\text{fin}}}\left( \mathbb{N} \right)} \right) are induced by permutations from \mathfrakS( \mathbbN ) \mathfrak{S}\left( \mathbb{N} \right) .     

Lifting of convex functions on Carnot groups and lack of convexity for a gauge function

Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbF_m,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbF_m,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbF_m,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbF_m,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?_j=1^m X_j²{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d ^2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X ₁, . . . , X _m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).     

Classifying a family of edge-transitive metacirculant graphs

A characterization is given of the class of edge-transitive Cayley graphs of Frobenius groups \mathbbZ_p^d:\mathbbZ_q\mathbb{Z}_{p^{d}}{:}\mathbb{Z}_{q} with p,q odd prime, of valency coprime to p. This characterization is then used to study an isomorphism problem regarding Cayley graphs, and to construct new families of half-arc-transitive graphs.     

Finite-dimensional pointed Hopf algebras over $\mathbb{S}_4$

Let K be an algebraically closed field of characteristic 0. We conclude the classification of finite-dimensional pointed Hopf algebras whose group of group-likes is \mathbbS₄\mathbb{S}_4. We also describe all pointed Hopf algebras over \mathbbS₅\mathbb{S}_5 whose infinitesimal braiding is associated to the rack of transpositions.     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

Groups whose non-linear irreducible characters are rational valued

A finite group G all of whose nonlinear irreducible characters are rational is called a \mathbbQ₁{\mathbb{Q}_1}-group. In this paper, we obtain some results concerning the structure of \mathbbQ₁{\mathbb{Q}_1}-groups.