Homotopy type of smooth weighted complete intersections

If the total degree d has no prime divisors less than(n+3)/2,then we prove that the homotopy type of complex odd dimensional smooth weighted complete intersection Xn(d;w) is determined by the dimension n,the total degree d,the Euler characteristic and the Kervaire invariant,provided that the weights w =(ω0,...,ωn+r) is pairwise relatively prime.     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

On a problem of Ishmukhametov

Given a d.c.e. degree d, consider the d.c.e. sets in d and the corresponding degrees of their Lachlan sets. Ishmukhametov provided a systematic investigation of such degrees, and proved that for a given d.c.e. degree d > 0, the class of its c.e. predecessors in which d is c.e., denoted as R[d], can consist of either just one element, or an interval of c.e. degrees. After this, Ishmukhametov asked whether there exists a d.c.e. degree d for which the class R[d] has no minimal element. We give a positive answer to this question.     

Distance regularity of Kerdock codes

A code is called distance regular, if for every two codewords x, y and integers i, j the number of codewords z such that d(x, z) = i and d(y, z) = j, with d the Hamming distance, does not depend on the choice of x, y and depends only on d(x, y) and i, j. Using some properties of the discrete Fourier transform we give a new combinatorial proof of the distance regularity of an arbitrary Kerdock code. We also calculate the parameters of the distance regularity of a Kerdock code.     

Modules over group rings of solvable groups with rank restrictions on subgroups

Let A be an R G-module over a commutative ring R, where G is a group of infinite section p-rank (0-rank), C _G (A) = 1, A is not a Noetherian R-module, and the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (0-rank). We describe the structure of solvable groups G of this type.     

Shintani lifting and real-valued characters

We study Shintani lifting of real-valued irreducible characters of finite reductive groups. In particular, if G is a connected reductive group defined over ${\mathbb{F}_q}$ , and ψ is an irreducible character of G( ${\mathbb{F}_{q^m}}$ ) which is the lift of an irreducible character χ of G( ${\mathbb{F}_q}$ ), we prove ψ is real-valued if and only if χ is real-valued. In the case m = 2, we show that if χ is invariant under the twisting operator of G( ${\mathbb{F}_{q^2}}$ ), and is a real-valued irreducible character in the image of lifting from G( ${\mathbb{F}_q}$ ), then χ must be an orthogonal character. We also study properties of the Frobenius–Schur indicator under Shintani lifting of regular, semisimple, and irreducible Deligne–Lusztig characters of finite reductive groups.     

Degree of equivariant maps between generalized G-manifolds

Yasuhiro Hara in [Topology Appl. 148 (2005), 113–121] and Jan Jaworowski in [J. Fixed Point Theory Appl. 1 (2007), 111–121] studied, under certain conditions, the degree of equivariant maps between free G-manifolds, where G is a compact Lie group. The main results obtained by them involve data provided by the classifying maps of the orbit spaces. In this paper, we extend these results by replacing the free G-manifolds by free generalized G-manifolds over ${\mathbb{Z}}$ .     

A Short Note on Extreme Amenability of Automorphism Groups of <Emphasis Type="Italic">ω</Emphasis>-Categorical Structures

In this short note we would like to point out a straighforward corllary of the recent result of Dorais, Gubkin, McDonald and Rivera that the automorphism group of every ω-categorical linear order is extremely amenable: it follows that an oligomorphic permutation group G is contained in an extremely amenable permutation group if and only if it preserves a linear order.     

Regular principal factors in free objects in varieties in the interval [B 2 ,NB 2 ∨G n ]

The author has shown previously how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges and how to describe the regular principal factors in the free objects in the Rees-Sushkevich varieties RS _n generated by all completely 0-simple semigroups over groups from the Burnside variety G _n of groups of exponent dividing a positive integer n by employing this graphical construction. Here we consider the analogous problem for varieties containing the variety B ₂ , generated by the five element Brandt semigroup B ₂, and contained in the variety NB ₂ ∨G _n where NB ₂ is the variety generated by all left and right zero semigroups together with B ₂. The interval [NB ₂ ,NB ₂ ∨G _n ] is of particular interest as it is an important interval, consisting entirely of varieties generated by completely 0-simple semigroups, in the lattice of subvarieties of RS _n .     

Sylow-metacyclic groups andQ-admissibility

A finite groupG isQ-admissible if there exists a division algebra finite dimensional and central overQ which is a crossed product forG. AQ-admissible group is necessarily Sylow-metacyclic (all its Sylow subgroups are metacyclic). By means of an investigation into the structure of Sylow-metacyclic groups, the inverse problem (is every Sylow-metacyclic groupQ-admissible?) is essentially reduced to groups of order 2 ^a 3 ^b and to a list of known “almost simple” groups.     

A folk model structure on omega-cat

The primary aim of this work is an intrinsic homotopy theory of strict ω-categories. We establish a model structure on ωCat, the category of strict ω-categories. The constructions leading to the model structure in question are expressed entirely within the scope of ωCat, building on a set of generating cofibrations and a class of weak equivalences as basic items. All objects are fibrant while free objects are cofibrant. We further exhibit model structures of this type on n-categories for arbitrary n∈N, as specializations of the ω-categorical one along right adjoints. In particular, known cases for n=1 and n=2 nicely fit into the scheme.     

Definability in the Substructure Ordering of Simple Graphs

For simple graphs, we investigate and seek to characterize the properties first-order definable by the induced subgraph relation. Let \({\mathcal{P}\mathcal{G}}\) denote the set of finite isomorphism types of simple graphs ordered by the induced subgraph relation. We prove this poset has only one non-identity automorphism co, and for each finite isomorphism type G, the set {G, G ^co } is definable. Furthermore, we show first-order definability in \({\mathcal{P}\mathcal{G}}\) captures, up to isomorphism, full second-order satisfiability among finite simple graphs. These results can be utilized to explore first-order definability in the closely associated lattice of universal classes. We show that for simple graphs, the lattice of universal classes has only one non-trivial automorphism, the set of finitely generated and finitely axiomatizable universal classes are separately definable, and each such universal subclass is definable up to the unique non-trivial automorphism.     

Sets of vectors with many orthogonal paris:

What is the most number of vectors inR ^d such that anyk+1 contain an orthogonal pair? The 24 positive roots of the root systemF ₄ inR ⁴ show that this number could exceeddk.     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Primitive words,free factors and measure preservation

Let F _k be the free group on k generators. A word w ∈ F _k is called primitive if it belongs to some basis of F _k . We investigate two criteria for primitivity, and consider more generally subgroups of F _k which are free factors. The first criterion is graph-theoretic and uses Stallings core graphs: given subgroups of finite rank H ≤ J ≤ F _k we present a simple procedure to determine whether H is a free factor of J. This yields, in particular, a procedure to determine whether a given element in F _k is primitive. Again let w ∈ F _k and consider the word map w: G × … × G → G (from the direct product of k copies of G to G), where G is an arbitrary finite group. We call w measure preserving if given uniform measure on G × … × G, w induces uniform measure on G (for every finite G). This is the second criterion we investigate: it is not hard to see that primitivity implies measure preservation, and it was conjectured that the two properties are equivalent. Our combinatorial approach to primitivity allows us to make progress on this problem and, in particular, prove the conjecture for k = 2. It was asked whether the primitive elements of F _k form a closed set in the profinite topology of free groups. Our results provide a positive answer for F ₂.     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

Kähler structures on complex torus

Consider the complex torus T _C under the natural action of the compact real torus T. In this paper, we study T-invariant Kähler structures ω on T_C. For each ω, we consider the corresponding line bundleL on T _C. Namely, the Chern class ofL is [ω], and L is equipped with a connection ? whose curvature is ω. We construct a canonical T-invariant L ²-structure on the sections ofL,and let H _ω be the square-integrable holomorphic sections ofL.Then the Hilbert space H _ω is a unitary T-representation, and we study the multiplicity of the (l-dimensional) irreducible unitary T-representations in H_ω. We shall see that the multiplicity is controlled by the image of the moment map corresponding to the T-action preserving ω.     

Definability in substructure orderings, IV: Finite lattices

Let ${\mathcal{L}}$ be the ordered set of isomorphism types of finite lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. Our main result is that for every finite lattice L, the set {?, ? ^opp} is definable, where ? and ? ^opp are the isomorphism types of L and its opposite (L turned upside down). We shall show that the only non-identity automorphism of ${\mathcal{L}}$ is the map ${\ell \mapsto \ell^{\rm opp}}$ .