Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

Resilience of ranks of higher inclusion matrices

Let \(n \ge r \ge s \ge 0\) be integers and \(\mathcal {F}\) a family of r-subsets of [n]. Let \(W_{r,s}^{\mathcal {F}}\) be the higher inclusion matrix of the subsets in \({{\mathcal {F}}}\) vs. the s-subsets of [n]. When \(\mathcal {F}\) consists of all r-subsets of [n], we shall simply write \(W_{r,s}\) in place of \(W_{r,s}^{\mathcal {F}}\). In this paper we prove that the rank of the higher inclusion matrix \(W_{r,s}\) over an arbitrary field K is resilient. That is, if the size of \(\mathcal {F}\) is “close” to \({n \atopwithdelims ()r}\) then \({{\mathrm{rank}}}_{K}( W_{r,s}^{\mathcal {F}}) = {{\mathrm{rank}}}_{K}(W_{r,s})\), where K is an arbitrary field. Furthermore, we prove that the rank (over a field K) of the higher inclusion matrix of r-subspaces vs. s-subspaces of an n-dimensional vector space over \({\mathbb {F}}_q\) is also resilient if \(\mathrm{char}(K)\) is coprime to q.     

Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

Stringy K-theory and the Chern character

We construct two new G-equivariant rings: \(\mathcal{K}(X,G)\), called the stringy K-theory of the G-variety X, and \(\mathcal{H}(X,G)\), called the stringy cohomology of the G-variety X, for any smooth, projective variety X with an action of a finite group G. For a smooth Deligne–Mumford stack \(\mathcal{X}\), we also construct a new ring \(\mathsf{K}_{\mathrm{orb}}(\mathcal{X})\) called the full orbifold K-theory of \(\mathcal{X}\). We show that for a global quotient \(\mathcal{X} = [X/G]\), the ring of G-invariants \(K_{\mathrm{orb}}(\mathcal{X})\) of \(\mathcal{K}(X,G)\) is a subalgebra of \(\mathsf{K}_{\mathrm{orb}}([X/G])\) and is linearly isomorphic to the “orbifold K-theory” of Adem-Ruan [AR] (and hence Atiyah-Segal), but carries a different “quantum” product which respects the natural group grading.We prove that there is a ring isomorphism \(\mathcal{C}\mathbf{h}:\mathcal{K}(X,G)\to\mathcal{H}(X,G)\), which we call the stringy Chern character. We also show that there is a ring homomorphism \(\mathfrak{C}\mathfrak{h}_\mathrm{orb}:\mathsf{K}_{\mathrm{orb}}(\mathcal{X}) \rightarrow H^\bullet_{\mathrm{orb}}(\mathcal{X})\), which we call the orbifold Chern character, which induces an isomorphism \(Ch_{\mathrm{orb}}:K_{\mathrm{orb}}(\mathcal{X})\rightarrow H^\bullet_{\mathrm{orb}}(\mathcal{X})\) when restricted to the sub-algebra \(K_{\mathrm{orb}}(\mathcal{X})\). Here \(H_{\mathrm{orb}}^\bullet(\mathcal{X})\) is the Chen–Ruan orbifold cohomology. We further show that \(\mathcal{C}\mathbf{h}\) and \(\mathfrak{C}\mathfrak{h}_\mathrm{orb}\) preserve many properties of these algebras and satisfy the Grothendieck–Riemann–Roch theorem with respect to étale maps. All of these results hold both in the algebro-geometric category and in the topological category for equivariant almost complex manifolds.We further prove that \(\mathcal{H}(X,G)\) is isomorphic to Fantechi and Göttsche’s construction [FG, JKK]. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results greatly simplify the definitions of the Fantechi–Göttsche ring, Chen–Ruan orbifold cohomology, and the Abramovich–Graber–Vistoli orbifold Chow ring.We conclude by showing that a K-theoretic version of Ruan’s Hyper-Kähler Resolution Conjecture holds for the symmetric product of a complex projective surface with trivial first Chern class.     

Inflation of Finite Lattices Along All-or-nothing Sets

We introduce a new generalization of Alan Day’s doubling construction. For ordered sets \(\mathcal {L}\) and \(\mathcal {K}\) and a subset \(E \subseteq \ \leq _{\mathcal {L}}\) we define the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) arising from inflation of \(\mathcal {L}\) along E by \(\mathcal {K}\). Under the restriction that \(\mathcal {L}\) and \(\mathcal {K}\) are finite lattices, we find those subsets \(E \subseteq \ \leq _{\mathcal {L}}\) such that the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) is a lattice. Finite lattices that can be constructed in this way are classified in terms of their congruence lattices.A finite lattice is binary cut-through codable if and only if there exists a 0?1 spanning chain \(\left \{\theta _{i}\colon 0 \leq i \leq n \right \}\) in \(Con(\mathcal {L})\) such that the cardinality of the largest block of ?? _i /?? _i?1 is 2 for every i with 1≤i≤n. These are exactly the lattices that can be constructed by inflation from the 1-element lattice using only the 2-element lattice. We investigate the structure of binary cut-through codable lattices and describe an infinite class of lattices that generate binary cut-through codable varieties.     

A New Family of Singular Integral Operators Whose $$L^2$$-Boundedness Implies Rectifiability

Let \(E \subset {\mathbb {C}}\) be a Borel set such that \(0<{\mathcal {H}}^1(E)<\infty \). David and Léger proved that the Cauchy kernel 1 / z (and even its coordinate parts \(\mathrm{Re\,}z/|z|^2\) and \(\mathrm{Im\,}z/|z|^2, z\in {\mathbb {C}}{\setminus }\{0\}\)) has the following property: the \(L^2({\mathcal {H}}^1\lfloor E)\)-boundedness of the corresponding singular integral operator implies that E is rectifiable. Recently Chousionis, Mateu, Prat and Tolsa extended this result to any kernel of the form \((\mathrm{Re\,}z)^{2n-1}/|z|^{2n}, n\in {\mathbb {N}}\). In this paper, we prove that the above-mentioned property holds for operators associated with the much wider class of the kernels \((\mathrm{Re\,}z)^{2N-1}/|z|^{2N}+t\cdot (\mathrm{Re\,}z)^{2n-1}/|z|^{2n}\), where n and N are positive integer numbers such that \(N\geqslant n\), and \(t\in {\mathbb {R}}{\setminus } (t_1,t_2)\) with \(t_1,t_2\) depending only on n and N.     

Idempotent and <Emphasis Type="Italic">p</Emphasis>-potent quadratic functions: distribution of nonlinearity and co-dimension

The Walsh transform \(\widehat{Q}\) of a quadratic function \(Q:{\mathbb F}_{p^n}\rightarrow {\mathbb F}_p\) satisfies \(|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}\) for all \(b\in {\mathbb F}_{p^n}\), where \(0\le s\le n-1\) is an integer depending on Q. In this article, we study the following three classes of quadratic functions of wide interest. The class \(\mathcal {C}_1\) is defined for arbitrary n as \(\mathcal {C}_1 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{\lfloor (n-1)/2\rfloor }a_ix^{2^i+1})\;:\; a_i \in {\mathbb F}_2\}\), and the larger class \(\mathcal {C}_2\) is defined for even n as \(\mathcal {C}_2 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{(n/2)-1}a_ix^{2^i+1}) + \mathrm{Tr_{n/2}}(a_{n/2}x^{2^{n/2}+1}) \;:\; a_i \in {\mathbb F}_2\}\). For an odd prime p, the subclass \(\mathcal {D}\) of all p-ary quadratic functions is defined as \(\mathcal {D} = \{Q(x) = \mathrm{Tr_n}(\sum _{i=0}^{\lfloor n/2\rfloor }a_ix^{p^i+1})\;:\; a_i \in {\mathbb F}_p\}\). We determine the generating function for the distribution of the parameter s for \(\mathcal {C}_1, \mathcal {C}_2\) and \(\mathcal {D}\). As a consequence we completely describe the distribution of the nonlinearity for the rotation symmetric quadratic Boolean functions, and in the case \(p > 2\), the distribution of the co-dimension for the rotation symmetric quadratic p-ary functions, which have been attracting considerable attention recently. Our results also facilitate obtaining closed formulas for the number of such quadratic functions with prescribed s for small values of s, and hence extend earlier results on this topic. We also present the complete weight distribution of the subcodes of the second order Reed–Muller codes corresponding to \(\mathcal {C}_1\) and \(\mathcal {C}_2\) in terms of a generating function.     

Endpoint Properties of Localized Riesz Transforms and Fractional Integrals Associated to Schrödinger Operators

Let \({\mathcal L}\equiv-\Delta+V\) be the Schrödinger operator in \({{\mathbb R}^n}\), where V is a nonnegative function satisfying the reverse Hölder inequality. Let ρ be an admissible function modeled on the known auxiliary function determined by V. In this paper, the authors characterize the localized Hardy spaces \(H^1_\rho({{\mathbb R}^n})\) in terms of localized Riesz transforms and establish the boundedness on the BMO-type space \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) of these operators as well as the boundedness from \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) to \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) of their corresponding maximal operators, and as a consequence, the authors obtain the Fefferman–Stein decomposition of \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) via localized Riesz transforms. When ρ is the known auxiliary function determined by V, \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) is just the known space \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\), and \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) in this case is correspondingly denoted by \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\). As applications, when n?≥?3, the authors further obtain the boundedness on \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) of Riesz transforms \(\nabla{\mathcal L}^{-1/2}\) and their adjoint operators, as well as the boundedness from \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) to \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\) of their maximal operators. Also, some endpoint estimates of fractional integrals associated to \({\mathcal L}\) are presented.     

Solutions of perturbed Schrödinger equations with critical nonlinearity

We consider the perturbed Schrödinger equation

$\left\{\begin{array}{ll}{- \varepsilon ^2 \Delta u + V(x)u = P(x)|u|^{p - 2} u + k(x)|u|^{2* - 2} u} &; {\text{for}}\, x \in {\mathbb{R}}^N\\ \qquad \qquad \quad {u(x) \rightarrow 0} &; \text{as}\, {|x| \rightarrow \infty} \end{array} \right.$

where \(N\geq 3, \ 2^*=2N/(N-2)\) is the Sobolev critical exponent, \(p\in (2, 2^*)\) , P(x) and K(x) are bounded positive functions. Under proper conditions on V we show that it has at least one positive solution provided that \(\varepsilon\leq{\mathcal{E}}\) ; for any \(m\in{\mathbb{N}}\) , it has m pairs of solutions if \(\varepsilon\leq{\mathcal{E}}_{m}\) ; and suppose there exists an orthogonal involution \(\tau:{\mathbb{R}}^{N}\to{\mathbb{R}}^{N}\) such that V(x), P(x) and K(x) are τ -invariant, then it has at least one pair of solutions which change sign exactly once provided that \(\varepsilon\leq{\mathcal{E}}\) , where \({\mathcal{E}}\) and \({\mathcal{E}}_{m}\) are sufficiently small positive numbers. Moreover, these solutions \(u_\varepsilon\to 0\) in \(H^1({\mathbb{R}}^N)\) as \(\varepsilon\to 0\) .

     

Frame completions with prescribed norms: local minimizers and applications

Let \(\mathcal {F}_{0}=\{f_{i}\}_{i\in \mathbb {I}_{n_{0}}}\) be a finite sequence of vectors in \(\mathbb {C}^{d}\) and let \(\mathbf {a}=(a_{i})_{i\in \mathbb {I}_{k}}\) be a finite sequence of positive numbers, where \(\mathbb {I}_{n}=\{1,\ldots , n\}\) for \(n\in \mathbb {N}\). We consider the completions of \(\mathcal {F}_{0}\) of the form \(\mathcal {F}=(\mathcal {F}_{0},\mathcal {G})\) obtained by appending a sequence \(\mathcal {G}=\{g_{i}\}_{i\in \mathbb {I}_{k}}\) of vectors in \(\mathbb {C}^{d}\) such that ∥g _i ∥² = a _i for \(i\in \mathbb {I}_{k}\), and endow the set of completions with the metric \(d(\mathcal {F},\tilde {\mathcal {F}}) =\max \{ \,\|g_{i}-\tilde {g}_{i}\|: \ i\in \mathbb {I}_{k}\}\) where \(\tilde {\mathcal {F}}=(\mathcal {F}_{0},\,\tilde {\mathcal {G}})\). In this context we show that local minimizers on the set of completions of a convex potential P _φ , induced by a strictly convex function φ, are also global minimizers. In case that φ(x) = x ² then P _φ is the so-called frame potential introduced by Benedetto and Fickus, and our work generalizes several well known results for this potential. We show that there is an intimate connection between frame completion problems with prescribed norms and frame operator distance (FOD) problems. We use this connection and our results to settle in the affirmative a generalized version of Strawn’s conjecture on the FOD.     

Finite groups with small automizers of {\mathcal {F}}-subgroups

Let \({ \mathcal {F}}\) be a saturated formation and G a finite group such that \({N_{G} (H^{\mathcal {F}})/C_{G} (H^{\mathcal {F}})\cong Inn(H^{\mathcal {F}})}\) for every subgroup H of G. If the minimal non-\({ \mathcal {F}}\)-group is soluble, then \({G \in \mathcal {F}}\).     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.     

On a strange invariant bilinear form on the space of automorphic forms

Let F be a global field and \(G:=SL(2)\). We study the bilinear form \({{\mathcal {B}}}\) on the space of K-finite smooth compactly supported functions on \(G({\mathbb {A}})/G(F)\) defined by

$$\begin{aligned} {{\mathcal {B}}}(f_1,f_2):={{\mathcal {B}}}_{\mathrm {naive}}(f_1,f_2)-\langle M^{-1}{{\mathrm{{CT}}}}(f_1)\, ,{{\mathrm{{CT}}}}(f_2)\rangle , \end{aligned}$$

where \({{\mathcal {B}}}_{\mathrm {naive}}\) is the usual scalar product, \({{\mathrm{{CT}}}}\) is the constant term operator, and M is the standard intertwiner. This form is natural from the viewpoint of the geometric Langlands program. To justify this claim, we provide a dictionary between the classical and ‘geometric’ theory of automorphic forms. We also show that the form \({{\mathcal {B}}}\) is related to S. Schieder’s Picard–Lefschetz oscillators.

     

Determination of cusp forms by central values of Rankin–Selberg <Emphasis Type="BoldItalic">L</Emphasis>-functions<Superscript>*</Superscript>

Let f be a fixed holomorphic Hecke eigen cusp form of weight k for \( SL\left( {2,{\mathbb Z}} \right) \), and let \( {\mathcal U} = \left\{ {{u_j}:j \geqslant 1} \right\} \) be an orthonormal basis of Hecke–Maass cusp forms for \( SL\left( {2,{\mathbb Z}} \right) \). We prove an asymptotic formula for the twisted first moment of the Rankin–Selberg L-functions \( L\left( {s,f \otimes {u_j}} \right) \) at \( s = \frac{1}{2} \) as u _j runs over \( {\mathcal U} \). It follows that f is uniquely determined by the central values of the family of Rankin–Selberg L-functions \( \left\{ {L\left( {s,f \otimes {u_j}} \right):{u_j} \in {\mathcal U}} \right\} \).     

Conflict free colorings of (strongly) almost disjoint set-systems

\(f\: \cup {\mathcal {A}}\to {\rho}\) is called a conflict free coloring of the set-system\({\mathcal {A}}\)(withρcolors) if

$\forall A\in {\mathcal {A}}\ \exists\, {\zeta}<{\rho} (|A\cap f^{-1}\{{\zeta}\}|=1).$

The conflict free chromatic number\(\operatorname {\chi _{\rm CF}}\, ({\mathcal {A}})\) of \({\mathcal {A}}\) is the smallest ρ for which \({\mathcal {A}}\) admits a conflict free coloring with ρ colors.

\({\mathcal {A}}\) is a (λ,κ,μ)-system if \(|{\mathcal {A}}| = \lambda\), |A|=κ for all \(A \in {\mathcal {A}}\), and \({\mathcal {A}}\) is μ-almost disjoint, i.e. |A∩A′|<μ for distinct \(A, A'\in {\mathcal {A}}\). Our aim here is to study

$\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\mu) = \sup \{\operatorname {\chi _{\rm CF}}\, ({\mathcal {A}})\: {\mathcal {A}}\mbox{ is a } (\lambda,\kappa,\mu)\mbox{-system}\}$

for λ≧κ≧μ, actually restricting ourselves to λ≧ω and μ≦ω.

For instance, we prove that

? for any limit cardinal κ (or κ=ω) and integers n≧0, k>0, GCH implies

$\operatorname {\chi _{\rm CF}}\, (\kappa^{+n},t,k+1) =\begin{cases}\kappa^{+(n+1-i)}&; \text{if \ } i\cdot k < t \le (i+1)\cdot k,\ i =1,\dots,n;\\[2pt]\kappa&; \text{if \ } (n+1)\cdot k < t;\end{cases}$

? if λ≧κ≧ω>d>1, then λ<κ ^+ω implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,d) <\omega\) and λ≧? _ω (κ) implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,d) = \omega\);? GCH implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\omega) \le \omega_{2}\) for λ≧κ≧ω ₂ and V=L implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\omega) \le \omega_{1}\) for λ≧κ≧ω ₁;? the existence of a supercompact cardinal implies the consistency of GCH plus \(\operatorname {\chi _{\rm CF}}\,(\aleph_{\omega+1},\omega_{1},\omega)= \aleph_{\omega+1}\) and \(\operatorname {\chi _{\rm CF}}\, (\aleph_{\omega+1},\omega_{n},\omega) = \omega_{2}\) for 2≦n≦ω;? CH implies \(\operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega,\omega) = \operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega_{1},\omega) = \omega_{1}\), while \(MA_{\omega_{1}}\) implies \(\operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega,\omega) = \operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega_{1},\omega) = \omega\).     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

Witten’s perturbation on strata with general adapted metrics

Let M be a stratum of a compact stratified space A. It is equipped with a general adapted metric g, which is slightly more general than the adapted metrics of Nagase and Brasselet–Hector–Saralegi. In particular, g has a general type, which is an extension of the type of an adapted metric. A restriction on this general type is assumed, and then, g is called good. We consider the maximum/minimum ideal boundary condition, \(d_{\mathrm{max/min}}\), of the compactly supported de Rham complex on M, in the sense of Brüning–Lesch. Let \(H^*_{\mathrm{max/min}}(M)\) and \(\Delta _{\mathrm{max/min}}\) denote the cohomology and Laplacian of \(d_{\mathrm{max/min}}\). The first main theorem states that \(\Delta _{\mathrm{max/min}}\) has a discrete spectrum satisfying a weak form of the Weyl’s asymptotic formula. The second main theorem is a version of Morse inequalities using \(H_{\mathrm{max/min}}^*(M)\) and what we call rel-Morse functions. An ingredient of the proofs of both theorems is a version for \(d_{\mathrm{max/min}}\) of the Witten’s perturbation of the de Rham complex. Another ingredient is certain perturbation of the Dunkl harmonic oscillator previously studied by the authors using classical perturbation theory. The condition on g to be good is general enough in the following sense. Assume that A is a stratified pseudomanifold, and consider its intersection homology \(I^{\bar{p}}H_*(A)\) with perversity \(\bar{p}\); in particular, the lower and upper middle perversities are denoted by \(\bar{m}\) and \(\bar{n}\), respectively. Then, for any perversity \(\bar{p}\le \bar{m}\), there is an associated good adapted metric on M satisfying the Nagase isomorphism \(H^r_{\mathrm{max}}(M)\cong I^{\bar{p}}H_r(A)^*\) (\(r\in \mathbb {N}\)). If M is oriented and \(\bar{p}\ge \bar{n}\), we also get \(H^r_{\mathrm{min}}(M)\cong I^{\bar{p}}H_r(A)\). Thus our version of the Morse inequalities can be described in terms of \(I^{\bar{p}}H_*(A)\).     

Polynomially peripheral range-preserving maps between Banach algebras

Let A and B be two Banach function algebras and p a two variable polynomial \(p(z,w)=zw+az+bw+c\), (\(a,b,c\in {\mathbb {C}}\)). We characterize the general form of a surjection \(T: A \longrightarrow B\) which satisfies \(\mathrm{Ran}_\pi (p(Tf,Tg))\cap \mathrm{Ran}_\pi (p(f,g))\ne \emptyset , (f,g\in A\) and \(c\ne ab)\), where \(\mathrm{Ran}_\pi (f)\) is the peripheral range of f.