Related papers: Simple loop conjecture for discrete representation…

In this article, the goal is to find the shortest presentation of a matrix $A \in PSL(2,\mathbb{Z})$ in terms of the so-called continuant matrices which are most known for their role in continued fraction theory. In chapter 7 of…

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…

Let $H$ be a linear algebraic group whose connected component $G\neq 1$ is simple and $H/G$ is cyclic. We determine the irreducible projective representations $\phi$ of $H$ such that $\phi(G)$ is irreducible and $\phi(h)$ has simple…

The simplest rigourous, non-circular proof that d(cos x) = -sen x. Some details omitted if the gap is intuitive, nevertheles, each gap is easily filled, rigourously. As Ehrenpreis and others have pointed out, the usual text book `proof' is…

Let $G$ be an absolutely almost simple simply connected algebraic group defined over a number field $K$, and let $M/K$ be the minimal Galois extension over which $G$ becomes an inner form of a split group. Assume that $G$ satisfies the…

We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we…

We study cubic graphical regular representations of the finite simple groups $PSL_2(q)$. It is shown that such graphical regular representations exist if and only if $q\neq7$, and the generating set must consist of three involutions.

In 2008, Halman proved a discrete Helly-type theorem for axis-parallel boxes in $\mathbb R^d$. Very recently, this result was extended to the $(p,q)$ setting with $p \geq q \geq d+1$ by Edwards and Sober\'on, and subsequently to the case $p…

In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…

Let $\chi$ be a real primitive character to the modulus $D$. It is proved that $$ L(1,\chi)\gg (\log D)^{-2022} $$ where the implied constant is absolute and effectively computable. In the proof, the lower bound for $L(1,\chi)$ is first…

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. In programming, short-circuit…

Motivated by a conjecture of Xiao, we study families of coverings of elliptic curves and their corresponding Prym map $\Phi$. More precisely, we describe the codifferential of the period map $P$ associated to $\Phi$ in terms of the residue…

Let $\Lambda$ be a uniformly discrete set and $S$ be a compact set in $R$. We prove that if there exists a bounded sequence of functions in Paley--Wiener space $PW_S$, which approximates $\delta-$functions on $\Lambda$ with $l^2-$error $d$,…

The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the…

A discrete group is matricially stable if every function from the group to a complex unitary group that is "almost multiplicative" in the point-operator norm topology is "close" to a genuine unitary representation. It follows from a recent…

Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $\rho$ be a seminorm on $A$ which satisfies $\rho(ab)\leq\rho(a)\rho(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$…

In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is…

Let $E$ be an elliptic curve over the rationals that does not have complex multiplication. For each prime $\ell$, the action of the absolute Galois group on the $\ell$-torsion points of $E$ can be given in terms of a Galois representation…

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in a quadratically closed field $K$ of any characteristic. It has been conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of…

As announced in [arXiv:0908.2596], we show that the non-passive finite simple groups are among the $PSL_2(q)$ with $q-1 \ge 4$ a 2-power. [arXiv:0908.2596]: Baumeister,Stein,Stroth: On Bruck Loops of 2-power Exponent