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...

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 $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

The notion of $\beta$-normality was introduced and studied by Arhangel’skii, Ludwig in 2001. Recently, almost $\beta$-normal spaces, which is a simultaneous generalization of $\beta$-normal and almost normal spaces, were introduced by Das, Bhat and Tartir. We introduce a new generalization of normality, namely weak $\beta$-normality, in terms of $\theta$-closed sets, which turns out to be a simultaneous generalization of $\beta$-normality and $\theta$-normality. A space $X$ is said to be weakly $\beta$-normal (w$\beta$-normal$)$ if for every...

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 $ℳf_m$ be the category of $m$-dimensional manifolds and local diffeomorphisms and  let $T$ be the tangent functor on $ℳf_m$. Let $𝒱$ be the category of real vector spaces and linear maps and let ${𝒱}_m$ be the category of $m$-dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F:{𝒱}_m\to 𝒱$ admitting $ℳf_m$-natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$-dimensional manifolds $M$ into almost complex structures $\tilde{J}\left(\nabla \right)$ on $F\left(T\right)M={\bigcup }_{x\in M}F\left(T_{x}M\right)$.

Let $𝒜$ and $ℬ$ be abelian categories with enough projective and injective objects, and $T:𝒜\to ℬ$ a left exact additive functor. Then one has a comma category $\left(ℬ\downarrow T\right)$. It is shown that if $T:𝒜\to ℬ$ is $𝒳$-exact, then ${(}^{\perp }𝒳,𝒳)$ is a (hereditary) cotorsion pair in $𝒜$ and ${(}^{\perp }𝒴,𝒴)$) is a (hereditary) cotorsion pair in $ℬ$ if and only if $\left(\left(\genfrac{}{}{0pt}{}{{}^{\perp }𝒳}{{}^{\perp }𝒴}\right)\right),\langle 𝐡(𝒳,𝒴)\rangle )$ is a (hereditary) cotorsion pair in $\left(ℬ\downarrow T\right)$ and $𝒳$ and $𝒴$ are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories $𝒜$ and $ℬ$ can induce special preenveloping...

Let $G$ be a finite group and $p$ a prime number. We prove that if $G$ is a finite group of order $\left|\mathrm{PSL}\right(2,p^2\left)\right|$ such that $G$ has an irreducible character of degree $p^2$ and we know that $G$ has no irreducible character $\theta$ such that $2p\mid \theta \left(1\right)$, then $G$ is isomorphic to $\mathrm{PSL}(2,p^2)$. As a consequence of our result we prove that $\mathrm{PSL}(2,p^2)$ is uniquely determined by the structure of its complex group algebra.

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...

Let $𝒳$ be a semibrick in an extriangulated category. If $𝒳$ is a $\tau$-semibrick, then the Auslander-Reiten quiver $\Gamma \left(ℱ\right(𝒳\left)\right)$ of the filtration subcategory $ℱ\left(𝒳\right)$ generated by $𝒳$ is $\mathbb{Z}{𝔸}_{\infty }$. If $𝒳={\left\{X_i\right\}}_{i=1}^t$ is a $\tau$-cycle semibrick, then $\Gamma \left(ℱ\right(𝒳\left)\right)$ is $\mathbb{Z}{𝔸}_{\infty }/{\tau }_{𝔸}^t$.

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

We introduce the cardinal invariant $\theta$-$a{L}^{\text{'}}\left(X\right)$, related to $\theta$-$aL\left(X\right)$, and show that if $X$ is Urysohn, then $\left|X\right|\le 2^{\theta \text{-}a{L}^{\text{'}}\left(X\right)\chi \left(X\right)}$. As $\theta$-$a{L}^{\text{'}}\left(X\right)\le aL\left(X\right)$, this represents an improvement of the Bella-Cammaroto inequality. We also introduce the classes of firmly Urysohn spaces, related to Urysohn spaces, strongly semiregular spaces, related to semiregular spaces, and weakly $H$-closed spaces, related to $H$-closed spaces.

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...