We introduce the concept of modified vertical Weil functors on the category $ℱ{ℳ}_m$ of fibred manifolds with $m$-dimensional bases and their fibred maps with embeddings as base maps. Then we describe all fiber product preserving bundle functors on $ℱ{ℳ}_m$ in terms of modified vertical Weil functors. The construction of modified vertical Weil functors is an (almost direct) generalization of the usual vertical Weil functor. Namely, in the construction of the usual vertical Weil functors, we replace...

We prove that the global geometric theta-lifting functor for the dual pair $(H,G)$ is compatible with the Whittaker functors, where $(H,G)$ is one of the pairs $({\mathrm{S}𝕆}_{2n},{𝕊p}_{2n})$, $({𝕊p}_{2n},{\mathrm{S}𝕆}_{2n+2})$ or $({𝔾\mathrm{L}}_n,{𝔾\mathrm{L}}_{n+1})$. That is, the composition of the theta-lifting functor from $H$ to $G$ with the Whittaker functor for $G$ is isomorphic to the Whittaker functor for $H$.

We study the problem of the non-existence of natural transformations $J^r{J}^{s}Y\to J^s{J}^{r}Y$ of iterated jet functors depending on some geometric object on the base of Y.

We describe all ${}_m\left(G\right)$-gauge-natural operators lifting right-invariant vector fields X on principal G-bundles P → M with m-dimensional bases into vector fields (X) on the rth order principal prolongation $W^{r}P=P^{r}M{\times }_M{J}^{r}P$ of P → M. In other words, we classify all ${}_m\left(G\right)$-natural transformations $J^{r}LP{\times }_M{W}^{r}P\to T{W}^{r}P=L{W}^{r}P{\times }_M{W}^{r}P$ covering the identity of $W^{r}P$, where $J^{r}LP$ is the r-jet prolongation of the Lie algebroid LP=TP/G of P, i.e. we find all ${}_m\left(G\right)$-natural transformations which are similar to the Kumpera-Spencer isomorphism $J^{r}LP=L{W}^{r}P$. We formulate axioms which...

CONTENTS1. Introduction........................................................................................................................................................................................................ 52. Category of complexes.................................................................................................................................................................................... 73. Left stable derived functors of covariant functors..........................................................................................................................................

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

CONTENTSPART IIntroduction............................................................................................... 31. General solution.................................................................................. 42. Preliminaries and notation................................................................ 53. $C^p$ solutions in $ℭ$*................................................ 74. Change of variables..............................................................................

We extend Champernowne’s construction of normal numbers to base b to the ${\mathbb{Z}}^d$ case and obtain an explicit construction of a generic point of the ${\mathbb{Z}}^d$ shift transformation of the set ${0,1,...,b-1}^{{\mathbb{Z}}^d}$.

We prove that the problem of finding all $ℳf_m$-natural operators $B:Q⟿Q{T}^A$ lifting classical linear connections ∇ on m-manifolds M to classical linear connections $B_M\left(\nabla \right)$ on the Weil bundle $T^{A}M$ corresponding to a p-dimensional (over ℝ) Weil algebra A is equivalent to the one of finding all $ℳf_m$-natural operators $C:Q⟿(T{¹}_{p-1},T*\otimes T*\otimes T)$ transforming classical linear connections ∇ on m-manifolds M into base-preserving fibred maps $C_M\left(\nabla \right):T{¹}_{p-1}M={⨁}_M^{p-1}TM\to T*M\otimes T*M\otimes TM$.

For natural numbers n ≥ 3 and r a complete description of all natural bilinear operators $T*{\times }_{ℳfₙ}{T}^{(0,0)}⇝T^{(0,0)}{T}^{\left(r\right)}$ is presented. Next for natural numbers r and n ≥ 3 a full classification of all natural linear operators $T{*}_{|ℳfₙ}⇝T{T}^{\left(r\right)}$ is obtained.

We study the Taylor towers of the nth symmetric and exterior power functors, Spⁿ and Λⁿ. We obtain a description of the layers of the Taylor towers, $D_{k}Spⁿ$ and $D_k\Lambda ⁿ$, in terms of the first terms in the Taylor towers of $S{p}^t$ and ${\Lambda }^t$ for t < n. The homology of these first terms is related to the stable derived functors (in the sense of Dold and Puppe) of $S{p}^t$ and ${\Lambda }^t$. We use stable derived functor calculations of Dold and Puppe to determine the lowest nontrivial homology groups for $D_{k}Spⁿ$ and $D_k\Lambda ⁿ$.

CONTENTSIntroduction............................................................................................................ 51. The category of $C^N$-systems........................................................................... 82. The problem of split monomorphisms................................................................ 103. Internal hom and tensor product........................................................................... 134. Characterizations of split monomorphisms..........................................................

Let $X$ be a smooth projective curve over an algebraically closed field of characteristic $\&gt;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 $ℳ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)$.

We study the problem of how a map f:M → ℝ on an n-manifold M induces canonically an affinor $A\left(f\right):T{T}^{\left(r\right)}M\to T{T}^{\left(r\right)}M$ on the vector r-tangent bundle $T^{\left(r\right)}M=\left(J^r(M,ℝ)₀\right)*$ over M. This problem is reflected in the concept of natural operators $A:T_{|ℳfₙ}^{(0,0)}⇝T^{(1,1)}{T}^{\left(r\right)}$. For integers r ≥ 1 and n ≥ 2 we prove that the space of all such operators is a free (r+1)²-dimensional module over ${}^{\infty }\left(T^{\left(r\right)}ℝ\right)$ and we construct explicitly a basis of this module.

We show how the idea behind a formula for π discovered by the Indian mathematician and astronomer Nilakantha (1445-1545) can be developed into a general series acceleration technique which, when applied to the Gregory-Leibniz series, gives the formula $\pi ={\sum }_{n=0}^{\infty }((5n+3)n!\left(2n\right)!)/(2^{n-1}(3n+2)!)$ with convergence as $13.5^{-n}$, in much the same way as the Euler transformation gives $\pi ={\sum }_{n=0}^{\infty }(2^{n+1}n!n!)/(2n+1)!$ with convergence as $2^{-n}$. Similar transformations lead to other accelerated series for π, including three “BBP-like” formulas, all of which are collected in...

Let $J^{r}T*M$ be the r-jet prolongation of the cotangent bundle of an n-dimensional manifold M and let $(J^{r}T*M)*$ be the dual vector bundle. For natural numbers r and n, a complete classification of all linear natural operators lifting 1-forms from M to 1-forms on $(J^{r}T*M)*$ is given.

All natural operators A transforming a linear vector field X on a vector bundle E into a vector field A(X) on the r-jet prolongation $J^{r}E$ of E are given. Similar results are deduced for the r-jet prolongations $J_v^{r}E$ and $J^{\left[r\right]}E$ in place of $J^{r}E$.

Let $p$ be a prime number. This paper introduces the Roquette category ${ℛ}_p$ of finite $p$-groups, which is an additive tensor category containing all finite $p$-groups among its objects. In ${ℛ}_p$, every finite $p$-group $P$ admits a canonical direct summand $\partial P$, called the edge of $P$. Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$-groups, and the tensor structure of ${ℛ}_p$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

If $(M,g)$ is a Riemannian manifold, we have the well-known base preserving   vector bundle isomorphism $TM\widetilde{=}{T}^{*}M$ given by $v\to g(v,-)$ between the tangent $TM$ and the cotangent $T^{*}M$ bundles of $M$. In the present note, we generalize this isomorphism to the one $T^{\left(r\right)}M\widetilde{=}{T}^{r*}M$ between the $r$-th order vector tangent $T^{\left(r\right)}M={\left(J^r{(M,R)}_0\right)}^{*}$ and the $r$-th order cotangent $T^{r*}M=J^r{(M,R)}_0$ bundles of $M$. Next, we describe all base preserving  vector bundle maps $C_M\left(g\right):T^{\left(r\right)}M\to T^{r*}M$ depending on a Riemannian metric $g$ in terms of natural (in $g$) tensor fields on $M$.

Some properties and applications of natural vector bundle morphisms $T_A\circ {⨂}_s^q\to {⨂}_s^q\circ T_A$ over $i{d}_{T_A}$ are presented.

We classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $A$ transforming projectable-projectable torsion-free classical linear connections $\nabla$ on fibered-fibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into $r$th order Lagrangians $A\left(r\right)$ on the fibered-fibered linear frame bundle $L^{fib-fib}\left(Y\right)$ on $Y$. Moreover, we classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $B$ transforming projectable-projectable torsion-free classical linear connections r on fiberedfibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into Euler morphism $B\left(\nabla \right)$ on $L^{fib-fib}\left(Y\right)$. These classifications can be expanded on...

We prove that any first order ${ℱ}_2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operator transforming projectable general connections on an $(m_1,m_2,n_1,n_2)$-dimensional fibred-fibred manifold $p=(p,p):(p_Y:Y\to Y)\to (p_M:M\to M)$ into general connections on the vertical prolongation $VY\to M$ of $p:Y\to M$ is the restriction of the (rather well-known) vertical prolongation operator $𝒱$ lifting general connections $\overline{\Gamma }$ on a fibred manifold $Y\to M$ into $𝒱\overline{\Gamma }$ (the vertical prolongation of $\overline{\Gamma }$) on $VY\to M$.

We describe all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $D:Q_{proj-proj}^{\tau }⇝Q{T}^{*}$ transforming projectable-projectable classical torsion-free linear connections $\nabla$ on fibred-fibred manifolds $Y$ into classical linear connections $D\left(\nabla \right)$ on cotangent bundles $T^{*}Y$ of $Y$. We show that this problem can be reduced to finding ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $D:Q_{proj-proj}^{\tau }⇝(T^{*},{\otimes }^p{T}^{*}\otimes {\otimes }^{q}T)$ for $p=2$, $q=1$ and $p=3$, $q=0$.

Let C be a coalgebra over an arbitrary field K. We show that the study of the category C-Comod of left C-comodules reduces to the study of the category of (co)representations of a certain bicomodule, in case C is a bipartite coalgebra or a coradical square complete coalgebra, that is, C = C₁, the second term of the coradical filtration of C. If C = C₁, we associate with C a K-linear functor ${ℍ}_C:C-Comod\to H_C-Comod$ that restricts to a representation equivalence ${ℍ}_C:C-comod\to H_C-como{d}_{sp}^{•}$, where $H_C$ is a coradical square complete hereditary...

We classify all $ℱ{ℳ}_{m,n}$-natural operators $:J²⟿J²V^A$ transforming second order connections Γ: Y → J²Y on a fibred manifold Y → M into second order connections $\left(\Gamma \right):V^{A}Y\to J²V^{A}Y$ on the vertical Weil bundle $V^{A}Y\to M$ corresponding to a Weil algebra A.

Let $c_q\left(n\right)$ be the Ramanujan sum, i.e. $c_q\left(n\right)={\sum }_{d\left|\right(q,n)}d\mu (q/d)$, where μ is the Möbius function. In a paper of Chan and Kumchev (2012), asymptotic formulas for ${\sum }_{n\le y}{\left({\sum }_{q\le x}{c}_q\left(n\right)\right)}^k$ (k = 1,2) are obtained. As an analogous problem, we evaluate ${\sum }_{n\le y}{\left({\sum }_{n\le x}c{̂}_q\left(n\right)\right)}^k$ (k = 1,2), where $c{̂}_q\left(n\right):={\sum }_{d\left|\right(q,n)}d\left|\mu (q/d)\right|$.

We show that for any irrational number α and a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $li{m}_{l\to \infty }\left|\right||m_l\alpha \left|\right||=0$, there exists a continuous measure μ on the circle such that $li{m}_{l\to \infty }{\int }_{}\left|\right||m_l\theta \left|\right||d\mu \left(\theta \right)=0$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any α ∈ ℝ - ℚ, there exists a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $\left|\right||m_l\alpha \left|\right||\to 0$ and such that $m_l\theta \left[1\right]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

We continue the study of the category of functors ${ℱ}_{quad}$, associated to ₂-vector spaces equipped with a nondegenerate quadratic form, initiated in J. Pure Appl. Algebra 212 (2008) and Algebr. Geom. Topology 7 (2007). We define a filtration of the standard projective objects in ${ℱ}_{quad}$; this refines to give a decomposition into indecomposable factors of the first two standard projective objects in ${ℱ}_{quad}$: $P_{H₀}$ and $P_{H₁}$. As an application of these two decompositions, we give a complete description of the polynomial...

Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...