Related papers: Arithmetic structure of CMSZ fake projective plane…

In order to enumerate the fake projective planes, as announced in~\cite{CS}, we found explicit generators and a presentation for each maximal arithmetic subgroup $\bar\Gamma$ of~$PU(2,1)$ for which the (appropriately normalized) covolume…

We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over…

We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$-elliptic surface that is the minimal resolution of a quotient of a fake…

We show that special cycles generate a large part of the cohomology of locally symmetric spaces associated to orthogonal groups. We prove in particular that classes of totally geodesic submanifolds generate the cohomology groups of degree…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…

The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer…

We construct six-dimensional (6D) F-theory models in which discrete $\mathbb{Z}_5, \mathbb{Z}_4, \mathbb{Z}_3,$ and $\mathbb{Z}_2$ gauge symmetries arise. We demonstrate that a special family of "Fano 3-folds" is a useful tool for…

Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in…

We consider Shimura varieties associated to a unitary group of signature $(n-1, 1)$. For these varieties, we construct $p$-adic integral models over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$…

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…

We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM…

For unramified reductive groups, we determine the connected components of affine Deligne-Lusztig varieties in the partial affine flag varieties. Based on the work of Hamacher-Kim and Zhou, this result allows us to verify, in the unramified…

We consider Shimura varieties associated to a unitary group of signature $(2,n-2)$. We give regular $p$-adic integral models for these varieties over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$…

We establish a conjecture of Mumford characterizing rationally connected complex projective manifolds in several cases.

We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…

We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective…

We introduce a Banach Lie group $G$ of unitary operators subject to a natural trace condition. We compute the homotopy groups of $G$, describe its cohomology and construct an $S^1$-central extension. We show that the central extension…

Let k be a commutative ring. We find and characterize a new family of twisted planes (i. e. associative unitary k-algebra structures on the k-module k[X,Y], having k[X] and and k[Y] as subalgebras).Similar results are obtained for the…

In this paper a finite dimensional unital associative algebra is presented, and its group of algebra automorphisms is detailed. The studied algebra can physically be understood as the creation operator algebra in a formal quantum field…