On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .     

Connected Domination Number of a Graph and its Complement

A set S of vertices in a graph G is a connected dominating set if every vertex not in S is adjacent to some vertex in S and the subgraph induced by S is connected. The connected domination number γ _c (G) is the minimum size of such a set. Let d^*(G)=min{d(G),d([`(G)])}{\delta^*(G)={\rm min}\{\delta(G),\delta({\overline{G}})\}} , where [`(G)]{{\overline{G}}} is the complement of G and δ(G) is the minimum vertex degree. We prove that when G and [`(G)]{{\overline{G}}} are both connected, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ d^*(G)+4-(g_c(G)-3)(g_c([`(G)])-3){{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+4-({\gamma_c}(G)-3)({\gamma_c}({\overline{G}})-3)} . As a corollary, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ \frac3n4{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \frac{3n}{4}} when δ*(G) ≥ 3 and n ≥ 14, where G has n vertices. We also prove that g_c(G)+g_c([`(G)]) ￡ d<sup>*</sup>(G)+2{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+2} when g<sub>c</sub>(G),g<sub>c</sub>([`(G)]) 3 4{{\gamma_c}(G),{\gamma_c}({\overline{G}})\ge 4} . This bound is sharp when δ*(G) = 6, and equality can only hold when δ*(G) = 6. Finally, we prove that g_c(G)g_c([`(G)]) ￡ 2n-4{{\gamma_c}(G){\gamma_c}({\overline{G}})\le 2n-4} when n ≥ 7, with equality only for paths and cycles.     

A correspondence for the supercuspidal representations of $\overline {SL_2(F)}$, F p-adic

Following D. Manderscheid, we describe the supercuspidal representations of the n-fold metaplectic cover [`(SL<sub>2</sub>(F))]\overline {SL_2(F)}, where F is a p-adic field with (p, 2n) = 1. We prove a "Frobenius formula" for the character of a supercuspidal representation of [`(SL₂(F))]\overline {SL_2(F)}. Using this formula, we obtain a character relation between corresponding supercuspidal representations of [`(SL₂(F))]\overline {SL_2(F)} and of SL₂(F)> in the case n = 2.     

Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by [`(a)]<sub>c</sub>{\overline{a}_{c}} the unique integer satisfying 1 ￡ [`(a)]_c ￡ q{1\leq\overline{a}_{c} \leq{q}} and a[`(a)]_c o c(mod q){a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}. Put

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Compact embeddings of besov spaces involving only slowly varying smoothness

We characterize compact embeddings of Besov spaces B _p,r ^0,b (ℝ ⁿ ) involving the zero classical smoothness and a slowly varying smoothness b into Lorentz-Karamata spaces L<sub>p,q;[`(b)]</sub> {L_{p,q;\overline b }}(Ω), where is a bounded domain in ℝ <sup>n</sup> and [`(b)]\overline b is another slowly varying function.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

<Emphasis Type="Italic">v</Emphasis>-Adic maximal extensions,spectral norms and absolute Galois groups

Let (K, v) be a perfect rank one valued field and let ([`(K<sub>v</sub>)],[`(v)]){(\overline{K_{v}},\overline{v})} be the canonical valued field obtained from (K, v) by the unique extension of the valuation [(v)\tilde]{\widetilde{v}} of K _v , the completion of K relative to v, to a fixed algebraic closure [`(K<sub>v</sub>)]{\overline{K_{v}}} of K <sub>v</sub> . Let [`(K)]{\overline{K}} be the algebraic closure of K in [`(K<sub>v</sub>)]{\overline {K_{v}}}. An algebraic extension L of K, L ì [`(K)]{L\subset\overline{K}}, is said to be a v-adic maximal extension, if [`(v)] | <sub>L</sub>{\overline{v}\mid_{L}} is the only extension of v to L and L is maximal with this property. In this paper we describe some basic properties of such extensions and we consider them in connection with the v-adic spectral norm on [`(K)]{\overline{K}} and with the absolute Galois groups Gal([`(K)]/K){(\overline{K}/K)} and Gal([`(K_v)] /K_v){(\overline{K_{v}} /K_{v})}. Some other auxiliary results are given, which may be useful for other purposes.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Delsarte Set Graphs with Small c 2

Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set ${\mathcal{C}}Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set C{\mathcal{C}} of Delsarte cliques such that each edge lies in a positive constant number n_C{n_{\mathcal{C}}} of Delsarte cliques in C{\mathcal{C}}). We showed in Bang et al. (J Combin 28:501–506, 2007) that if ψ ₁ > 1 then c ₂ ≥ 2 ψ ₁ where y₁:=|G₁(x)?C |{\psi_1:=|\Gamma_1(x)\cap C |} for x ? V(G){x\in V(\Gamma)} and C a Delsarte clique satisfying d(x, C) = 1. In this paper, we classify Γ with the case c ₂ = 2ψ ₁ > 2. As a consequence of this result, we show that if c ₂ ≤ 5 and ψ ₁ > 1 then Γ is either a Johnson graph or a folded Johnson graph [`(J)](4s,2s){\overline{J}(4s,2s)} with s ≥ 3.     

Truncated Complex Moment Problems with a $ \widetilde{zz} $ Relation

We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz ² ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g⁽²ⁿ⁾:g₀₀,g₀₁,g₁₀,?,g_0,2n,g_1,2n-1,?,g_2n-1,1,g_2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that g_ij=ò[`(z)]<sup>i</sup>z<sup>j</sup> dm (0 ￡ 1+j ￡ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ <sup>2</sup>, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number g<sub>n,n+1</sub> \gamma_{n,n+1} satisfying g<sub>n+1,n</sub> o [`(g)]_n,n+1=Ag_n,n-1+Bg_n,n+Cg_n+1,n-1+Dg_n,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z ^k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.     

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

Multiplicative isometries on the Smirnov class

We show that T is a surjective multiplicative (but not necessarily linear) isometry from the Smirnov class on the open unit disk, the ball, or the polydisk onto itself, if and only if there exists a holomorphic automorphism Φ such that T(f)=f ○ Φ for every class element f or T(f) = [`(f<sup>°</sup> [`(j)] )]\overline {f^\circ \bar \varphi } for every class element f, where the automorphism Φ is a unitary transformation in the case of the ball and Φ(z ₁, ..., z _n ) = (l₁ z_i1 ,...,l_n z_in )(\lambda _1 z_{i_1 } ,...,\lambda _n z_{i_n } ) for |λ _j | = 1, 1 ≤ j ≤ n, and (i ₁; ..., i _n )is some permutation of the integers from 1through n in the case of the n-dimensional polydisk.     

Calculus of functors,operad formality,and rational homology of embedding spaces

Let M be a smooth manifold and V a Euclidean space. Let [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V) be the homotopy fiber of the map Emb(M,V) → Imm(M,V). This paper is about the rational homology of [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V). We study it by applying embedding calculus and orthogonal calculus to the bifunctor (M,V)↦ HQ ∧ [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V)₊. Our main theorem states that if

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Spectral theorem for multipliers on {L_{\omega}^{2}(\mathbb{R})}

We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces ${L_{\omega}^{2}(\mathbb{R})}We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces L_w²(\mathbbR){L_{\omega}^{2}(\mathbb{R})} For operators M in the algebra generated by the convolutions with f ? C_c(\mathbb R){\phi \in {C_c(\mathbb {R})}} we show that [`(m(W))] = s(M){\overline{\mu(\Omega)} = \sigma(M)}, where the set Ω is determined by the spectrum of the shift S and μ is the symbol of M. For the general multipliers M we establish that [`(m(W))]{\overline{\mu(\Omega)}} is included in σ(M). A generalization of these results is given for the weighted spaces L²_w(\mathbb R^k){L^2_{\omega}(\mathbb {R}^{k})} where the weight ω has a special form.     

On the number of conjugacy classes of maximal subgroups in a finite soluble group

We show that for many formations \frak F\frak F, there exists an integer n = [`(m)](\frak F)n = \overline m(\frak F) such that every finite soluble group G not belonging to the class \frak F\frak F has at most n conjugacy classes of maximal subgroups belonging to the class \frak F\frak F. If \frak F\frak F is a local formation with formation function f, we bound [`(m)](\frak F)\overline m(\frak F) in terms of the [`(m)](f(p))(p ? \Bbb P )\overline m(f(p))(p \in \Bbb P ). In particular, we show that [`(m)](\frak N^k) = k+1\overline m(\frak N^k) = k+1 for every nonnegative integer k, where \frak N^k\frak N^k is the class of all finite groups of Fitting length ￡ k\le k.     

Pontrjagin–Thom maps and the homology of the moduli stack of stable curves

We study the singular homology (with field coefficients) of the moduli stack [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} of stable n-pointed complex curves of genus g. Each irreducible boundary component of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}} determines via the Pontrjagin–Thom construction a map from [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This detects many new torsion classes in the homology of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}}.