Computing the Automorphic Chromatic Index of Certain Snarks

The automorphic G-chromatic index of a graph Γ is the minimum integer m for which Γ has a proper edge-coloring with m colors which is preserved by the full automorphism group G of Γ. We determine the automorphic G-chromatic index of each member of four infinite classes of snarks: type I Blanu?a snarks, type II Blanu?a snarks, Flower snarks and Goldberg snarks.     

Remarkable valuation of the dichromatic polynomial of planar multigraphs

Let Γ be a finite multigraph; we denote by χ(Γ, x, y) the dichromatic polynominal of Γ, as defined by W. T. Tutte in 1953. We prove that, for any planar multigraph Γ with m edges, χ(Γ, ?1, ?1) = (?1)^m · (?2)^k, where $\text{0 ≤ k ≤}\text{m}\text{2}$. Furthermore, if Γ is connected, s = k ? 1 turns out to be a pertinent invariant of the medial of Γ.     

Profinite groups, profinite completions and a conjecture of Moore

Let R be any ring (with 1), Γ a group and RΓ the corresponding group ring. Let H be a subgroup of Γ of finite index. Let M be an RΓ-module, whose restriction to RH is projective.Moore's conjecture (J. Pure Appl. Algebra 7(1976)287): Assume for every nontrivial element x in Γ, at least one of the following two conditions holds:

(M1)

〈x〉∩H≠{e} (in particular this holds if Γ is torsion free)

(M2)

ord(x) is finite and invertible in R.

Then M is projective as an RΓ-module.More generally, the conjecture has been formulated for crossed products R*Γ and even for strongly graded rings R(Γ). We prove the conjecture for new families of groups, in particular for groups whose profinite completion is torsion free.The conjecture can be formulated for profinite modules M over complete groups rings [[RΓ]] where R is a profinite ring and Γ a profinite group. We prove the conjecture for arbitrary profinite groups. This implies Serre's theorem on cohomological dimension of profinite groups.     

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.     

When is an operator the integral of a given spectral measure?

For a closed densely defined operator T on a complex Hilbert space $\text{H}$ and a spectral measure E for $\text{H}$ of countable multiplicity q defined on a σ-algebra $\text{B}$ over an arbitrary space Λ we give three conceptually differing but equivalent answers to the question asked in the title of the paper (Theorem 1.5). We then study the simplifications which accrue when T is continuous or when q = 1 (Sect. 4). With the aid of these results we obtain necessary and sufficient conditions for T to be the integral of the spectral measure of a given group of unitary operators parametrized over a locally compact abelian group Γ (Sect. 5). Applying this result to the Hilbert space $\text{H}$ of functions which are L₂ with respect to Haar measure for Γ, we derive a generalization of Bochner's theorem on multiplication operators (Sect. 6). Some results on the multiplicity of indicator spectral measures over Γ are also obtained. When Γ = $\text{R}$ we easily deduce the classical theorem about the commutant of the associated self-adjoint operator (Sect. 7).     

On projective planes admitting elations and homologies

We consider projective planes Π of ordern with abelian collineation group Γ of ordern(n?1) which is generated by (A, m)-elations and (B, l)-homologies wherem =AB andA εl. We prove

1. Ifn is even thenn=2^e and the Sylow 2-subgroup of Γ is elementary abelian.
2. Ifn is odd then the Sylow 2-subgroup of Γ is cyclic.
3. Ifn is a prime then Π is Desarguesian.
4. Ifn is not a square thenn is a prime power.

     

An analogue of Artin’s conjecture for multiplicative subgroups of the rationals

Given ${\Gamma \subset \mathbb{Q}^*}$ a multiplicative subgroup and ${m \in \mathbb{N}^+}$ , assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for the number of primes p ≤ x for which ind _p Γ = m, where ind _p Γ = (p ? 1)/|Γ _p | and Γ _p is the reduction of Γ modulo p. This problem is a generalization of some earlier works by Cangelmi–Pappalardi, Lenstra, Moree, Murata, Wagstaff, and probably others. We prove, on GRH, that the primes with this property have a density and, in the case when Γ contains only positive numbers, we give an explicit expression for it in terms of an Euler product. We conclude with some numerical computations.     

On a question of Külshammer for representations of finite groups in reductive groups

Let G be a simple algebraic group of type G₂ over an algebraically closed field of characteristic 2. We give an example of a finite group Γ with Sylow 2-subgroup Γ₂ and an infinite family of pairwise non-conjugate homomorphisms ρ: Γ → G whose restrictions to Γ₂ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of Γ on a connected unipotent group V such that the map of 1-cohomologies H¹(Γ, V) → H¹(Γ_p, V) induced by restriction of 1-cocycles has an infinite fibre.     

La monotonia di rappresentazioni del gruppo libero

Let Γ be a free nonabelian group on finitely many generators. Let Ω be the boundary of Γ, letC(Ω) be theC ^*-algebra of continuous functions on Ω, and let λ be the natural action of Γ onC(Ω). Aboundary representation is a representation of the crossed productC ^*-algebra Γ×_λ C(Ω). Given a unitary representation π of Γ onH, aboundary realization of π is an isometric Γ-inclusion ofH into the space of a boundary representation whose image is cyclic for that boundary representation. If the Γ-inclusion is bijective, we call, the realizationperfect. We prove below that if π admits an imperfect boundary realization, then there exists a nonzero vectorv ₀∈H satisfying $$\sum\limits_{|x| = n} {|\left\langle {v,\pi (x)v_0 } \right\rangle |^2 \leqslant |v|^2 } for each v \in {\mathcal{H}} (GVB)$$ If π is irreducible and weakly contained in the regular representation, and if no suchv ₀ exists, it follows that π satisfiesmonotony: up to equivalence, there exists exactly one realization of π, and that realization is perfect.     

Diameters of sections and coverings of convex bodies

We study the diameters of sections of convex bodies in R^N determined by a random N×n matrix Γ, either as kernels of Γ^* or as images of Γ. Entries of Γ are independent random variables satisfying some boundedness conditions, and typical examples are matrices with Gaussian or Bernoulli random variables. We show that if a symmetric convex body K in R^N has one well bounded k-codimensional section, then for any m>ck random sections of K of codimension m are also well bounded, where c?1 is an absolute constant. It is noteworthy that in the Gaussian case, when Γ determines randomness in sense of the Haar measure on the Grassmann manifold, we can take c=1.     

A complex hyperbolic structure for moduli of cubic surfaces

We show that the moduli space M of marked cubic surfaces is biholomorphic to (B⁴ − H)/Г, where B⁴ is complex hyperbolic four-space, Γ is a specific group generated by complex reflections, and H is the union of reflection hyperplanes for Γ. Thus M has a complex hyperbolic structure, i.e., an (incomplete) metric of constant negative holomorphic sectional curvature.     

Dirichlet polyhedra for dihedral groups acting on complex hyperbolic space

We consider groups Γ generated by inversions in a pair of asymptotic complex hyperplanes in complex hyperbolic spaceH _? ⁿ . We show that there exists a Γ-invariant real hypersurfaceF ?H _? ⁿ such that the Dirichlet fundamental polyhedron for Γ centered at z₀ has two sides (resp. infinitely many sides) if and only ifz ₀ ∈F (resp.z ₀ ?F). The Dirichlet regions are determined explicitly in terms of coordinates on Γ-invariant horospheres and the geometry ofH _? ⁿ is developed in terms of these horospherical coordinates.     

A note on the girth‐doubling construction for polygonal graphs

A near‐polygonal graph is a graph Γ which has a set ?? of m‐cycles for some positive integer m such that each 2‐path of Γ is contained in exactly one cycle in ??. If m is the girth of Γ then the graph is called polygonal. Given a polygonal graph Γ of valency r and girth m, Archdeacon and Perkel proved the existence of a polygonal graph Γ₂ of valency r and girth 2m. We will show that this construction can be extended to one that yields a polygonal graph Γ₃ of valency r and girth 3m, but that making the cycles any longer with this construction does not yield a polygonal graph. We also show that if Aut(Γ) is 2‐arc transitive, so is Aut(Γ_k) for k = 2, 3. © 2010 Wiley Periodicals, Inc. J Graph Theory 68: 246‐254, 2011     

On the problems of Hartshorne and Serre for some -analytic surfaces

Let M be a compact -analytic surface, let Γ ⊂ M be a compact analytic subvariety, and let X := Mx00393;. We are interested in the following two problems: Assume that X does not contain any compact curve and that Γ is an irreducible compact curve such that Γ² ≥ 0 (resp. assume that the analytic cohomology groups H¹ (X, Ω^p) = 0, for all 0 ≤ p ≤ 2). Is X always Stein? It is our main purpose here to provide an affirmative answer to those two problems, provided M is either a (minimal) ruled surface or a non-algebraic compact surface. Also, the affine structure of such Stein surfaces will be discussed.     

New results related to a conjecture of Moore

Let Γ be a group, Γ′ be a subgroup of Γ of finite index, and R be a ring with identity. Assume that M is an RΓ-module whose restriction to RΓ′ is projective. Moore’s conjecture: Assume that, for all ${x \in (\Gamma-\Gamma^{\prime})}$ , either there is an integer n such that ${1 \neq x^{n} \in \Gamma^{\prime}}$ or x has finite order and is invertible in R. Then M is also projective over RΓ. In this paper, we consider an analogue of this conjecture for injective modules. It turns out that the validity of the conjecture for injective modules implies the validity of it on projective and flat modules. It is also shown that the conjecture for injective modules is true whenever Γ belongs to Kropholler’s hierarchy ${{\bf LH}\mathfrak{F}}$ . In addition, assume that M is an RΓ-module whose restriction to RΓ′ is Gorenstein projective (resp. injective), it is proved that M is Gorenstein projective (resp. injective) over RΓ whenever Γ′ is a subgroup of Γ of finite index.     

Strong relative property (T) and spectral gap of random walks

We consider strong relative property (T) for pairs (Γ, G) where Γ acts on G. If N is a connected nilpotent Lie group and Γ is a group of automorphisms of N, we choose a finite index subgroup Γ ⁰ of Γ and obtain that (Γ , [Γ ⁰, N]) has strong relative property (T) provided Zariski-closure of Γ has no compact factor of positive dimension. We apply this to obtain the following: Let G be a connected Lie group with solvable radical R and a semisimple Levi subgroup S. If S _nc denotes the product of noncompact simple factors of S and S _T denotes the product of simple factors in S that have property (T), then we show that (Γ , R) or ${(\Gamma S_{T}, \overline{S_{T}R})}$ has strong relative property (T) for a ’Zariski-dense’ closed subgroup Γ of S _nc if and only if R = [S _nc , R]. We also provide some applications to the spectral gap of π (μ) =  ∫ π (g) d μ (g) where π is a certain unitary representation and μ is a probability measure.     

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.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

Coding with injections

A permutation code of length n and minimum distance d is a set Γ of permutations from some fixed set of n symbols such that the Hamming distance between any distinct ${u,v \in \Gamma}$ is at least d. As a generalization, we introduce the problem of packing injections from an m-set, m ≤?n, sometimes called m-arrangements, relative to Hamming distance. We offer some preliminary coding-theoretic bounds, a few design-theoretic connections, and a short discussion on possible applications.     

Stabilité de la conjecture de Baum—Connes pour certains produits semi-directs de groupes

Let Γ = G ⋉_r N be the semi-direct product of two locally compact groups, and A a Y-algebra. We build a map from topological K-theory of Γ with coefficients in A to the one for G with coefficients in N ⋉_r A. For Γ a p-adic group equipped with a γ element and N an amenable group, we prove that Γ satisfies Baum-Connes conjecture with coefficients when G does.