A difference version of Nori’s theorem

We consider (Frobenius) difference equations over \((\mathbb {F}\!_q(s,t), \phi _q)\) where \(\phi _q\) fixes \(t\) and acts on \(\mathbb {F}\!_q(s)\) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group \(\mathcal {G}\) defined over \(\mathbb {F}\!_q\) can be realized as a difference Galois group over \((\mathbb {F} \! _{q^i} (s,t),\phi _{q^i})\) for some \(i \in \mathbb {N}\) . The proof uses upper and lower bounds on the Galois group scheme of a Frobenius difference equation that are developed in this paper. The result can be seen as a difference analogue of Nori’s theorem which states that \(\mathcal {G}(\mathbb {F}\!_q)\) occurs as a (finite) Galois group over \(\mathbb {F}\!_q(s)\) .     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

Vertex transitive graphs from injective linear mappings

Based on a motivation coming from the study of the metric structure of the category of finite dimensional vector spaces over a finite field \(\mathbb {F}\) , we examine a family of graphs, defined for each pair of integers \(1 \le k \le n\) , with vertex set formed by all injective linear transformations \(\mathbb {F}^k \rightarrow \mathbb {F}^n\) and edges corresponding to pairs of mappings, \(f\) and \(g\) , with \(\lambda (f,g)= \dim \mathrm{Im }(f-g)=1 \) . For \(\mathbb {F}\cong \mathrm{GF }(q)\) , this graph will be denoted by \(\mathrm{INJ }_q(k,n)\) . We show that all such graphs are vertex transitive and Hamiltonian and describe the full automorphism group of each \(\mathrm{INJ }_q (k,n)\) for \(k . Using the properties of line-transitive groups, we completely determine which of the graphs \(\mathrm{INJ }_q (k,n)\) are Cayley and which are not. The Cayley ones consist of three infinite families, corresponding to pairs \((1,n),\,(n-1,n)\) , and \((n,n)\) , with \(n\) and \(q\) arbitrary, and of two sporadic examples \(\mathrm{INJ }_{2} (2,5)\) and \(\mathrm{INJ }_{2}(3,5)\) . Hence, the overwhelming majority of our graphs is not Cayley.     

Hyperreflexivity of bounded N-cocycle spaces of banach algebras

Let \(X\) and \(Y\) be Banach spaces, \(n\in \mathbb {N}\) , and \(B^n(X,Y)\) the space of bounded \(n\) -linear maps from \(X\times \ldots \times X\) ( \(n\) -times) into \(Y\) . The concept of hyperreflexivity has already been defined for subspaces of \(B(X,Y)\) , where \(X\) and \(Y\) are Banach spaces. We extend this concept to the subspaces of \(B^n(X,Y)\) , taking into account its \(n\) -linear structure. We then investigate when \(\mathcal {Z}^n(A,X)\) , the space of all bounded \(n\) -cocycles from a Banach algebra \(A\) into a Banach \(A\) -bimodule \(X\) , is hyperreflexive. Our approach is based on defining two notions related to a Banach algebra, namely the strong property \((\mathbb {B})\) and bounded local units, and then applying them to find uniform criterions under which \(\mathcal {Z}^n(A,X)\) is hyperreflexive. We also demonstrate that these criterions are satisfied in variety of examples including large classes of C \(^*\) -algebras and group algebras and thereby providing various examples of hyperreflexive \(n\) -cocyle spaces. One advantage of our approach is that not only we obtain the hyperreflexivity for bounded \(n\) -cocycle spaces in different cases but also our results generalize the earlier ones on the hyperreflexivity of bounded derivation spaces, i.e. when \(n=1\) , in the literature. Finally, we investigate the hereditary properties of the strong property \((\mathbb {B})\) and b.l.u. This allows us to come with more examples of bounded \(n\) -cocycle spaces which are hyperreflexive.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

Trace Formulae for Curvature of Jet Bundles over Planar Domains

For a domain \(\varOmega \) in \(\mathbb {C}\) and an operator \(T\) in \({\mathcal {B}}_n(\varOmega )\) , Cowen and Douglas construct a Hermitian holomorphic vector bundle \(E_T\) over \(\varOmega \) corresponding to \(T\) . The Hermitian holomorphic vector bundle \(E_T\) is obtained as a pull-back of the tautological bundle \(S(n,{\mathcal {H}})\) defined over \({\mathcal {G}}r(n,{\mathcal {H}})\) by a nondegenerate holomorphic map \(z\mapsto {\mathrm{ker}}(T-z),\;z\in \varOmega \) . To find the answer to the converse, Cowen and Douglas studied the jet bundle in their foundational paper. The computations in this paper for the curvature of the jet bundle are rather intricate. They have given a set of invariants to determine if two rank \(n\) Hermitian holomorphic vector bundle are equivalent. These invariants are complicated and not easy to compute. It is natural to expect that the equivalence of Hermitian holomorphic jet bundles should be easier to characterize. In fact, in the case of the Hermitian holomorphic jet bundle \({\mathcal {J}}_k({\mathcal {L}}_f)\) , we have shown that the curvature of the line bundle \({\mathcal {L}}_f\) completely determines the class of \({\mathcal {J}}_k({\mathcal {L}}_f)\) . In case of rank \(n\) Hermitian holomorphic vector bundle \(E_f\) , We have calculated the curvature of jet bundle \({\mathcal {J}}_k(E_f)\) and also obtained a trace formula for jet bundle \({\mathcal {J}}_k(E_f)\) .     

Necessary and sufficient conditions for the existence of Helmholtz decompositions in general domains

Consider a general domain \(\varOmega \subseteq {\mathbb {R}}^n, n\ge 2\) , and let \(1 < q <\infty \) . Our first result is based on the estimate for the gradient \(\nabla p \in G^q(\varOmega )\) in the form \(\Vert \nabla p\Vert _q \le C \,\sup |\langle \nabla p,\nabla v\rangle _{\varOmega }|/\Vert \nabla v\Vert _{q'}\) , \(\nabla v \in G^{q'}(\varOmega ), q' = \frac{q}{q-1}\) , with some constant \(C=C(\varOmega ,q)>0\) . This estimate was introduced by Simader and Sohr (Mathematical Problems Relating to the Navier–Stokes Equations. Series on Advances in Mathematics for Applied Sciences, vol. 11, pp. 1–35. World Scientific, Singapore, 1992) for smooth bounded and exterior domains. We show for general domains that the validity of this gradient estimate in \(G^q(\varOmega )\) and in \(G^{q'}(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) . A new aspect concerns the estimate for divergence free functions \(f_0 \in L^q_{\sigma }(\varOmega )\) in the form \(\Vert f_0\Vert _q \le C \sup |\langle f_0,w\rangle _{\varOmega }|/ \Vert w\Vert _{q'}, w\in L^{q'}_{\sigma }(\varOmega )\) , for the second part of the Helmholtz decomposition. We show again for general domains that the validity of this estimate in \(L^q_{\sigma }(\varOmega )\) and in \(L^{q'}_{\sigma }(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) .     

Badly approximable points on planar curves and a problem of Davenport

Let \({\mathcal {C}}\) be two times continuously differentiable curve in \({\mathbb {R}}^2\) with at least one point at which the curvature is non-zero. For any \(i,j \geqslant 0\) with \(i+j =1\) , let \({\mathbf {Bad}}(i,j)\) denote the set of points \((x,y) \in {\mathbb {R}}^2\) for which \( \max \{ \Vert qx\Vert ^{1/i}, \, \Vert qy\Vert ^{1/j} \} > c/q \) for all \( q \in {\mathbb {N}}\) . Here \(c = c(x,y)\) is a positive constant. Our main result implies that any finite intersection of such sets with \({\mathcal {C}}\) has full Hausdorff dimension. This provides a solution to a problem of Davenport dating back to the sixties.     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

Classical limit of the tensor product of holomorphic discrete series representations

For three coadjoint orbits \(\mathcal {O}_1, \mathcal {O}_2\) and \(\mathcal {O}_3\) in \(\mathfrak {g}^*\) , the Corwin–Greenleaf function \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) is given by the number of \(G\) -orbits in \(\{(\lambda , \mu ) \in \mathcal {O}_1 \times \mathcal {O}_2 \, : \, \lambda + \mu \in \mathcal {O}_3 \}\) under the diagonal action. In the case where \(G\) is a simple Lie group of Hermitian type, we give an explicit formula of \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) for coadjoint orbits \(\mathcal {O}_1\) and \(\mathcal {O}_2\) that meet \(\left( [\mathfrak {k}, \mathfrak {k}] + \mathfrak {p}\right) ^{\perp }\) , and show that the formula is regarded as the ‘classical limit’ of a special case of Kobayashi’s multiplicity-free theorem (Progr. Math. 2007) in the branching law to symmetric pairs.     

Commutative orders revisited

This article studies commutative orders, that is, commutative semigroups having a semigroup of quotients. In a commutative order \(S\) , the square-cancellable elements \(\mathcal {S}(S)\) constitute a well-behaved separable subsemigroup. Indeed, \(\mathcal {S}(S)\) is also an order and has a maximum semigroup of quotients \(R\) , which is Clifford. We present a new characterisation of commutative orders in terms of semilattice decompositions of \(\mathcal {S}(S)\) and families of ideals of \(S\) . We investigate the role of tensor products in constructing quotients, and show that all semigroups of quotients of \(S\) are homomorphic images of the tensor product \(R\otimes _{\mathcal {S}(S)} S\) . By introducing the notions of generalised order and semigroup of generalised quotients, we show that if \(S\) has a semigroup of generalised quotients, then it has a greatest one. For this we determine those semilattice congruences on \(\mathcal {S}(S)\) that are restrictions of congruences on \(S\) .     

t-Structures and cotilting modules over commutative noetherian rings

For a commutative noetherian ring \(R\) , we establish a bijection between the resolving subcategories consisting of finitely generated \(R\) -modules of finite projective dimension and the compactly generated t-structures in the unbounded derived category \(\mathcal {D}(R)\) that contain \(R[1]\) in their heart. Under this bijection, the t-structures \((\mathcal U,\mathcal V)\) such that the aisle \(\mathcal U\) consists of objects with homology concentrated in degrees \(<n\) correspond to the \(n\) -cotilting classes in \({{\mathrm{Mod}\text {-}R}}\) . As a consequence of these results, we prove that the little finitistic dimension findim \(R\) of \(R\) equals an integer \(n\) if and only if the direct sum \(\bigoplus _{k=0}^n E_k(R)\) of the first \(n+1\) terms in a minimal injective coresolution \(0\rightarrow R\rightarrow E_0(R)\rightarrow E_1(R)\rightarrow \cdots \) of \(R\) is an injective cogenerator of \({{\mathrm{Mod}\text {-}R}}\) .     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

Pairs of Projections: Geodesics,Fredholm and Compact Pairs

A pair \((P, Q)\) of orthogonal projections in a Hilbert space \( \mathcal{H} \) is called a Fredholm pair if $$\begin{aligned} QP : R(P) \rightarrow R(Q) \end{aligned}$$ is a Fredholm operator. Let \( \mathcal{F} \) be the set of all Fredholm pairs. A pair is called compact if \(P-Q\) is compact. Let \( \mathcal{C} \) be the set of all compact pairs. Clearly \( \mathcal{C} \subset \mathcal{F} \) properly. In this paper it is shown that both sets are differentiable manifolds, whose connected components are parametrized by the Fredholm index. In the process, pairs \(P, Q\) that can be joined by a geodesic (or equivalently, a minimal geodesic) of the Grassmannian of \( \mathcal{H} \) are characterized: this happens if and only if $$\begin{aligned} \dim (R(P)\cap N(Q))=\dim (R(Q)\cap N(P)). \end{aligned}$$      

Gaussian Integral Means of Entire Functions

For an entire function \(f:\mathbb C\mapsto \mathbb C\) and a triple \((p,\alpha , r)\in (0,\infty )\times (-\infty ,\infty )\times (0,\infty ]\) , the Gaussian integral mean of \(f\) (with respect to the area measure \(dA\) ) is defined by $$\begin{aligned} {\mathsf M}_{p,\alpha }(f,r)=\left( \,\, {\int \limits _{|z| Via deriving a maximum principle for \({\mathsf M}_{p,\alpha }(f,r)\) , we establish not only Fock–Sobolev trace inequalities associated with \({\mathsf M}_{p,p/2}(z^m f(z),\infty )\) (as \(m=0,1,2,\ldots \) ), but also convexities of \(r\mapsto \ln {\mathsf M}_{p,\alpha }(z^m,r)\) and \(r\mapsto {\mathsf M}_{2,\alpha <0}(f,r)\) in \(\ln r\) with \(0 .     

Limit theorems for von Mises statistics of a measure preserving transformation

For a measure preserving transformation \(T\) of a probability space \((X,\mathcal{F },\mu )\) and some \(d \ge 1\) we investigate almost sure and distributional convergence of random variables of the form $$\begin{aligned} x \rightarrow \frac{1}{C_n} \sum _{0\le i_1,\ldots ,\,i_d where \(C_1, C_2,\ldots \) are normalizing constants and the kernel \(f\) belongs to an appropriate subspace in some \(L_p(X^d\!,\, \mathcal{F }^{\otimes d}\!,\,\mu ^d)\) . We establish a form of the individual ergodic theorem for such sequences. Using a filtration compatible with \(T\) and the martingale approximation, we prove a central limit theorem in the non-degenerate case; for a class of canonical (totally degenerate) kernels and \(d=2\) , we also show that the convergence holds in distribution towards a quadratic form \(\sum _{m=1}^{\infty } \lambda _m\eta ^2_m\) in independent standard Gaussian variables \(\eta _1, \eta _2, \ldots \) .     

Scattered linear sets generated by collineations between pencils of lines

Let \(A\) and \(B\) be two points of \(\mathrm{{PG}}(2,q^n)\) , and let \(\Phi \) be a collineation between the pencils of lines with vertices \(A\) and \(B\) . In this paper, we prove that the set of points of intersection of corresponding lines under \(\Phi \) is either the union of a scattered \(\mathrm{{GF}}(q)\) -linear set of rank \(n+1\) with the line \(AB\) or the union of \(q-1\) scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n\) with \(A\) and \(B\) . We also determine the intersection configurations of two scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n+1\) of \(\mathrm{{PG}}(2,q^n)\) both meeting the line \(AB\) in a \(\mathrm{{GF}}(q)\) -linear set of pseudoregulus type with transversal points \(A\) and \(B\) .     

Stationary and invariant densities and disintegration kernels

Let \(G\) be a locally compact topological group, acting measurably on some Borel spaces \(S\) and \(T\) , and consider some jointly stationary random measures \(\xi \) on \(S\times T\) and \(\eta \) on \(S\) such that \(\xi (\cdot \times T)\ll \eta \) a.s. Then there exists a stationary random kernel \(\zeta \) from \(S\) to \(T\) such that \(\xi =\eta \otimes \zeta \) a.s. This follows from the existence of an invariant kernel \(\varphi \) from \(S\times {\mathcal {M}}_{S\times T}\times {\mathcal {M}}_S\) to \(T\) such that \(\mu =\nu \otimes \varphi (\cdot ,\mu ,\nu )\) whenever \(\mu (\cdot \times T)\ll \nu \) . Also included are some related results on stationary integration, absolute continuity, and ergodic decomposition.     

On the non-existence of maximal difference matrices of deficiency 1

A \(k\times u\lambda \) matrix \(M=[d_{ij}]\) with entries from a group \(U\) of order \(u\) is called a \((u,k,\lambda )\) -difference matrix over \(U\) if the list of quotients \(d_{i\ell }{d_{j\ell }}^{-1}, 1 \le \ell \le u\lambda ,\) contains each element of \(U\) exactly \(\lambda \) times for all \(i\ne j.\) Jungnickel has shown that \(k \le u\lambda \) and it is conjectured that the equality holds only if \(U\) is a \(p\) -group for a prime \(p.\) On the other hand, Winterhof has shown that some known results on the non-existence of \((u,u\lambda ,\lambda )\) -difference matrices are extended to \((u,u\lambda -1,\lambda )\) -difference matrices. This fact suggests us that there is a close connection between these two cases. In this article we show that any \((u,u\lambda -1,\lambda )\) -difference matrix over an abelian \(p\) -group can be extended to a \((u,u\lambda ,\lambda )\) -difference matrix.