Related papers: On tight projective designs
We prove that the set of complex irrationals whose partial quotients in their Hurwitz continued fraction expansion are naturally regarded as subsets of $\mathbb Z^2$ and contain infinitely many homothetic copies of any finite subset of…
For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational…
It is shown that a trace invariant projection map, i.e. a positive unital idempotent map, of a finite dimensional C*-algebra into itself is non-decomposable if and only if it is atomic, or equivalently not the sum of a 2-positive and a…
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope…
We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…
We study the examples mentioned in [2,Tables A & C] and establish the arithmeticity of four examples of symplectic hypergeometric groups of degree six. Following [2] we know that there are 458 inequivalent symplectic hypergeometric groups…
This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit…
In this article, we study the rational cohomology rings of Voisin's punctual Hilbert schemes $X^{[n]}$ associated to a symplectic compact fourfold $X$. We prove that these rings can be universally constructed from $H^*(X,\mathbb{Q})$ and…
We give an infinite family of knots that are not rationally concordant to their reverses. More precisely, if R denotes the involution of the rational knot concordance group QC induced by string reversal and Fix(R) denotes the subgroup of…
We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness…
The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in…
We describe the structure of singular transversely affine foliations of codimension one on projective manifolds X with zero first Betti number. Our result can be rephrased as a theorem on rank two reducible flat meromorphic connections.
We describe (infinite-dimensional) irreducible representations of the crossed product C$^*$-algebra associated with a topological dynamical system (based on $Z$) and we show that their restrictions to the underling $\ell^1$-Banach…
We prove that admissible functions for Fubini-Study metrics on the complex projective space $P_{m}C$, of complex dimension $m$, invariant by a convenient automorphisms group, are lower bounded by a function going to minus infinity on the…
We consider equivalence relations and preorders complete for various levels of the arithmetical hierarchy under computable, component-wise reducibility. We show that implication in first order logic is a complete preorder for $\SI 1$, the…
The Bodirsky-Pinsker conjecture asserts a P vs. NP-complete dichotomy for the computational complexity of Constraint Satisfaction Problems (CSPs) of first-order reducts of finitely bounded homogeneous structures. Prominently, two structures…
This article deals with the tamely ramified geometric Langlands correspondence for GL_2 on $\mathbf{P}_{\mathbf{F}_q}^1$, where $q$ is a prime power, with tame ramification at four distinct points $D = \{\infty, 0,1, t\} \subset…
Let H be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we describe all annihilator ideals of indecomposable H-modules by generators. In particular, we give the…
We conclude the classification of isoparametric (or equivalently, polar) foliations of complex and quaternionic projective spaces. This is done by investigating the projections of certain inhomogeneous isoparametric foliations of the…