Twisted cubic and point-line incidence matrix in $$\mathrm {PG}(3,q)$$ PG ( 3 , q )

Designs, Codes and Cryptography - We consider the structure of the point-line incidence matrix of the projective space $$\mathrm {PG}(3,q)$$ connected with orbits of points and lines under the...     

Combinatorial invariants for nets of conics in $$\mathrm {PG}(2,q)$$ PG ( 2 , q )

Designs, Codes and Cryptography - The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics...     

Hyperbolic spaces,principal series,and $${\mathrm{O}}(2,\infty )$$O(2,∞)

We prove that there exists no irreducible representation of the identity component of the isometry group $${\mathrm{PO}}(1,n)$$ of the real hyperbolic space of dimension n into the group $${\mathrm{O}}(2,\infty )$$ if $$n\ge 3$$. This is motivated by the existence of irreducible representations (arising from the spherical principal series) of $${\mathrm{PO}}(1,n)^{\circ }$$ into the groups $${\mathrm{O}}(p,\infty )$$ for other values of p.     

The projective general linear group $${mathrm {PGL}}(2,2^m)$$ PGL ( 2 , 2 m ) and linear codes of length $$2^m+1$$ 2 m + 1

Designs, Codes and Cryptography - Let $$q=2^m$$ . The projective general linear group $${mathrm {PGL}}(2,q)$$ acts as a 3-transitive permutation group on the set of points of the projective line....     

Determinantal Resolution of the Universal Subscheme in $$\mathcal{S}{\text{ }} \times {\text{ }}H_{d + 1} $$

We construct a determinantal resolution of singularities for the universal subscheme in and prove that it is isomorphic to the variety of total pairs .     

Deformations of fundamental group representations and earthquakes on $${\textit{SO}}(n,1)$$ surface groups

In this article we construct a type of deformations of representations \(\pi _1(M)\rightarrow G\) where G is an arbitrary lie group and M is a large class of manifolds including \(\hbox {CAT}(0)\) manifolds. The deformations are defined based on codimension 1 hypersurfaces with certain conditions, and also on disjoint union of such hypersurfaces, i.e. multi-hypersurfaces. We show commutativity of deforming along disjoint hypersurfaces. As application, we consider Anosov surface groups in \({\textit{SO}}(n,1)\) and show that the construction can be extended continuously to measured laminations, thus obtaining earthquake deformations on these surface groups.     

Rigidity of unary algebras and its application to the $${\mathcal {HS} = \mathcal {SH}}$$ problem

H. P. Gumm and T. Schröder stated a conjecture that the preservation of preimages by a functor T for which |T1| = 1 is equivalent to the satisfaction of the class equality \({{\mathcal {HS}}({\sf K}) = {\mathcal {SH}}({\sf K})}\) for any class K of T-coalgebras. Although T. Brengos and V. Trnková gave a positive answer to this problem for a wide class of Set-endofunctors, they were unable to find the full solution. Using a construction of a rigid unary algebra we prove \({{\mathcal {HS}} \neq {\mathcal {SH}}}\) for a class of Set-endofunctors not preserving non-empty preimages; these functors have not been considered previously.     

A remark on the ring of algebraic integers in $$\mathbb{Q}(\sqrt { - d} )$$

It is well-known that the rings O_d of algebraic integers in \(\mathbb{Q}(\sqrt { - d} )\) for d = 19, 43, 67, and 163 are principal ideal domains but not Euclidean. In this article we shall provide a method, based on a result of P. M. Cohn, to construct explicitly pairs (b, a) of integers in O_d for d = 19, 43, 67, and 163 such that, in O_d, there exists no terminating division chain of finite length starting from the pairs (b, a). That is, a greatest common divisor of the pairs (b, a) exists in O_d but it can not be obtained by applying a terminating division chain of finite length starting from (b, a). Furthermore, for squarefree positive integer d ? {1, 2, 3, 7, 11, 19, 43, 67, 163}, we shall also construct pairs (b, a) of integers in O_d which generate O_d but have no terminating division chain of finite length. It is of interest to note that our construction provides a short alternative proof of a theorem of Cohn which is related to the concept of GE₂-rings.     

A note on the intersection property for flat boxes and boxicity in $${\mathbb{R}^{d}}$$

By extending the definition of boxicity, we extend a Hellytype result given by Danzer and Grünbaum on 2-piercings of families of boxes in d-dimensional Euclidean space by lowering the dimension of the boxes in the ambient space.     

Products of Functions in $$\mathrm {BMO}({\mathcal X})$$ and $$H^1_\mathrm{at}({\mathcal X})$$Hat1(X) via Wavelets Over Spaces of Homogeneous Type

Let \(({\mathcal X},d,\mu )\) be a metric measure space of homogeneous type in the sense of R. R. Coifman and G. Weiss and \(H^1_\mathrm{at}({\mathcal X})\) be the atomic Hardy space. Via orthonormal bases of regular wavelets and spline functions recently constructed by P. Auscher and T. Hytönen, the authors prove that the product \(f\times g\) of \(f\in H^1_\mathrm{at}({\mathcal X})\) and \(g\in \mathrm {BMO}({\mathcal X})\), viewed as a distribution, can be written into a sum of two bounded bilinear operators, respectively, from \(H^1_\mathrm{at}({\mathcal X})\times \mathrm {BMO}({\mathcal X})\) into \(L^1({\mathcal X})\) and from \(H^1_\mathrm{at}({\mathcal X}) \times \mathrm {BMO}({\mathcal X})\) into \(H^{\log }({\mathcal X})\), which affirmatively confirms the conjecture suggested by A. Bonami and F. Bernicot (This conjecture was presented by Ky in J Math Anal Appl 425:807–817, 2015).     

The Birch and Swinnerton-Dyer conjecture for an elliptic curve over $$\pmb {\mathbb {Q}\left( \root 4 \of {5}\,\right) }$$Q54

Archiv der Mathematik - In this paper, we show that the Birch and Swinnerton-Dyer conjecture for a certain elliptic curve over $$\mathbb {Q}\left( \root 4 \of {5}\,\right) $$ is equivalent to the...     

A numerical study on exceptional eigenvalues of certain congruence subgroups of \mathrm {SO}(n,1) and \mathrm {SU}(n,1)

In a previous work, we applied lattice point theorems on hyperbolic spaces to obtain asymptotic formulas for the number of integral representations of negative integers by quadratic and Hermitian forms of signature \((n,1)\) lying in Euclidean balls of increasing radius. That formula involved an error term that depended on the first nonzero eigenvalue of the Laplace–Beltrami operator on the corresponding congruence hyperbolic manifolds. The aim of this paper is to compare the error term obtained by experimental computations with the error term mentioned above, for several choices of quadratic and Hermitian forms. Our numerical results provide evidence of the existence of exceptional eigenvalues for some arithmetic subgroups of \(\mathrm {SU}(3,1)\) , \(\mathrm {SU}(4,1)\) , and \(\mathrm {SU}(5,1)\) , and thus they contradict the generalized Selberg (and Ramanujan) conjecture in these cases. Furthermore, for several arithmetic subgroups of \(\mathrm {SO}(4,1)\) , \(\mathrm {SO}(6,1)\) , \(\mathrm {SO}(8,1)\) , and \(\mathrm {SU}(2,1)\) , there is evidence of a lower bound on the first nonzero eigenvalue that is better than the already known lower bound for congruences subgroups.     

On the Evaluation of the Integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$

The integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$ where m and n are relatively prime positive integers, is evaluated exactly in terms of elementary functions and the Catalan constant G.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .