Let $X$ be a smooth projective curve over an algebraically closed field of characteristic $\>2$. Consider the dual pair $H={\mathrm{SO}}_{2m},G={\mathrm{Sp}}_{2n}$ over $X$ with $H$ split. Write ${\mathrm{Bun}}_G$ and ${\mathrm{Bun}}_H$ for the stacks of $G$-torsors and $H$-torsors on $X$. The theta-kernel ${\mathrm{Aut}}_{G,H}$ on ${\mathrm{Bun}}_G\times {\mathrm{Bun}}_H$ yields theta-lifting functors $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ and $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ between the corresponding derived categories. We describe the relation of these functors with Hecke operators. In two particular cases these functors realize the geometric Langlands functoriality for the above pair (in the non...

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

We consider the Massera-Schäffer problem for the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y\left(x\right)=f\left(x\right),x\in ℝ,$$ where $f\in L_p^{\mathrm{loc}}\left(ℝ\right),$ $p\in [1,\infty )$ and $0\le q\in L_1^{\mathrm{loc}}\left(ℝ\right).$ By a solution of the problem we mean any function $y,$ absolutely continuous and satisfying the above equation almost everywhere in $ℝ.$ Let positive and continuous functions $\mu \left(x\right)$ and $\theta \left(x\right)$ for $x\in ℝ$ be given. Let us introduce the spaces $$\begin{array}{cc}\hfill L_p(ℝ,\mu )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\mu )}^p={\int }_{-\infty }^{\infty }{\left|\mu \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\},\\ \hfill L_p(ℝ,\theta )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\theta )}^p={\int }_{-\infty }^{\infty }{\left|\theta \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\}.\end{array}$$ We obtain requirements to the functions $\mu$, $\theta$ and $q$ under which (1) for every function $f\in L_p(ℝ,\theta )$ there exists a unique solution $y\in L_p(ℝ,\mu )$ of the above equation; (2) there is an absolute constant...

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of ${\omega }^{\omega }$ there exists a continuous function $f:{\omega }^{\omega }\to X$ such that $f^{-1}\left(C₀\right)=D₀$ and $f^{-1}\left(C₁\right)=D₁$. We give several explicit examples of complete pairs of coanalytic sets.

Let $M(X,𝒜)$ ($M^{*}(X,𝒜)$) be the $f$-ring of all (bounded) real-measurable functions on a $T$-measurable space $(X,𝒜)$, let $M_K(X,𝒜)$ be the family of all $f\in M(X,𝒜)$ such that $\mathrm{coz}\left(f\right)$ is compact, and let $M_{\infty }(X,𝒜)$ be all $f\in M(X,𝒜)$ that $\{x\in X:|f\left(x\right)|\ge \frac{1}{n}\}$ is compact for any $n\in \mathbb{N}$. We introduce realcompact subrings of $M(X,𝒜)$, we show that $M^{*}(X,𝒜)$ is a realcompact subring of $M(X,𝒜)$, and also $M(X,𝒜)$ is a realcompact if and only if $(X,𝒜)$ is a compact measurable space. For every nonzero real Riesz map $\varphi :M(X,𝒜)\to ℝ$, we prove that there is an element $x_0\in X$ such that $\varphi \left(f\right)=f\left(x_0\right)$ for every $f\in M(X,𝒜)$ if $(X,𝒜)$ is a compact measurable space....

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

Let $G$ be a finite group. The main supergraph $𝒮\left(G\right)$ is a graph with vertex set $G$ in which two vertices $x$ and $y$ are adjacent if and only if $o\left(x\right)\mid o\left(y\right)$ or $o\left(y\right)\mid o\left(x\right)$. In this paper, we will show that $G{\cong }^2{G}_2\left(3^{2n+1}\right)$ if and only if $𝒮\left(G\right)\cong 𝒮{(}^2{G}_2\left(3^{2n+1}\right))$. As a main consequence of our result we conclude that Thompson’s problem is true for the small Ree group ${}^2{G}_2\left(3^{2n+1}\right)$.

We consider the linear system $|2{\Theta }_0|$ of second order theta functions over the Jacobian $JC$ of a non-hyperelliptic curve $C$. A result by J.Fay says that a divisor $D\in |2{\Theta }_0|$ contains the origin $𝒪\in JC$ with multiplicity $4$ if and only if $D$ contains the surface $C-C=\left\{𝒪\right(p-q)\mid p,q\in C\}\subset JC$. In this paper we generalize Fay’s result and some previous work by R.C.Gunning. More precisely, we describe the relationship between divisors containing $𝒪$ with multiplicity $6$, divisors containing the fourfold $C_2-C_2=\{𝒪(p+q-r-s)\mid p,q,r,s\in C\}$, and divisors singular along $C-C$, using...

Let $(M,\theta )$ be a compact CR manifold of dimension $2n+1$ with a contact form $\theta$, and $L=(2+2/n){\Delta }_b+R$ its associated CR conformal laplacien. The CR Yamabe conjecture states that there is a contact form $\tilde{\theta }$ on $M$ conformal to $\theta$ which has a constant Webster curvature. This problem is equivalent to the existence of a function $u$ such that $Lu=u^{1+2/n}$, $u>0$ on $M$. D. Jerison and J. M. Lee solved the CR Yamabe problem in the case where $n\ge 2$ and $(M,\theta )$ is not locally CR equivalent to the sphere $S^{2n+1}$ of ${𝐂}^n$. In a join work with R. Yacoub, the CR Yamabe...

A space $X$ is said to have the Rothberger property (or simply $X$ is Rothberger) if for every sequence $\langle {𝒰}_n:n\in \omega \rangle$ of open covers of $X$, there exists $U_n\in {𝒰}_n$ for each $n\in \omega$ such that $X={\bigcup }_{n\in \omega }{U}_n$. For any $n\in \omega$, necessary and sufficient conditions are obtained for $C_p{(\Psi \left(𝒜\right),2)}^n$ to have the Rothberger property when $𝒜$ is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family $𝒜$ for which the space $C_p{(\Psi \left(𝒜\right),2)}^n$ is Rothberger for all $n\in \omega$.

Let $ex(n,G)$ denote the maximum number of edges in a graph on $n$ vertices which does not contain $G$ as a subgraph. Let $P_i$ denote a path consisting of $i$ vertices and let $m{P}_i$ denote $m$ disjoint copies of $P_i$. In this paper we count $ex(n,3P_4)$.

A graph $X$, with a group $G$ of automorphisms of $X$, is said to be $(G,s)$-transitive, for some $s\ge 1$, if $G$ is transitive on $s$-arcs but not on $(s+1)$-arcs. Let $X$ be a connected $(G,s)$-transitive graph of prime valency $p\ge 5$, and $G_v$ the vertex stabilizer of a vertex $v\in V\left(X\right)$. Suppose that $G_v$ is solvable. Weiss (1974) proved that $|G_v{|\mid p(p-1)}^2$. In this paper, we prove that $G_v\cong ({\mathbb{Z}}_p⋊{\mathbb{Z}}_m)\times {\mathbb{Z}}_n$ for some positive integers $m$ and $n$ such that $ndivm$ and $m\mid p-1$.

A graph $G$ is $H$-saturated if it contains no $H$ as a subgraph, but does contain $H$ after the addition of any edge in the complement of $G$. The saturation number, $\mathrm{sat}(n,H)$, is the minimum number of edges of a graph in the set of all $H$-saturated graphs of order $n$. We determine the saturation number $\mathrm{sat}(n,P_6+t{P}_2)$ for $n\ge \frac{10}{3}t+10$ and characterize the extremal graphs for $n>\frac{10}{3}t+20$.

We give a graph theoretic interpretation of $r$-Lah numbers, namely, we show that the $r$-Lah number ${⌊\genfrac{}{}{0pt}{}{n}{k}⌋}_r$ counting the number of $r$-partitions of an $(n+r)$-element set into $k+r$ ordered blocks is just equal to the number of matchings consisting of $n-k$ edges in the complete bipartite graph with partite sets of cardinality $n$ and $n+2r-1$ ($0\le k\le n$, $r\ge 1$). We present five independent proofs including a direct, bijective one. Finally, we close our work with a similar result for $r$-Stirling numbers of the second kind. ...