Related papers: Geometry of integers revisited
In his thesis, N. Durov develops a theory of algebraic geometry in which schemes are locally determined by commutative algebraic monads. In this setting, one is able to construct the Arakelov geometric compactification of the spectrum of…
We prove that the upper blow-up theorem in the Engel group holds for $C^1$ submanifolds. Combining this result with the known negligibility of the singular set, we obtain an integral representation of the spherical measure for all surfaces…
In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the…
We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of…
Using a construction closely related to Waldhausen's $S_\bullet$-construction, we produce a spectrum $K(\mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (\mathbf{Var}_{/k})$. We then…
A convexity theorem for certain G-orbits in a complexified Riemannian symmetric space G_C/K_C is proved. Applications to analytically continued spherical functions will be given.
Given a connected and locally compact Hausdorff space X with a good base K we assign, in a functorial way, a C(X)-algebra to any precosheaf of C*-algebras A defined over K. Afterwards we consider the representation theory and the Kasparov…
The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce…
We show that the space of all holomorphic maps of degree one from the Riemann sphere into a Grassmann manifold is a sphere bundle over a flag manifold. Using the notions of "kernel" and "span" of a map, we completely identify the space of…
We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic…
We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois…
We study Galois descent of K_1 of group algebras with coefficients in certain subrings of the ring of integers of C_p, the completion of an algebraic closure of Q_p.
We interpret a counterexample to Hilbert's 14th problem by S. Kuroda geometrically in two ways: As ring of regular functions on a smooth rational quasiprojective variety over any field K of characteristic 0, and, in the special case where K…
We fix a number field $K$ and study statistical properties of the ring $\mathcal{O}_K[\gamma]\cap K$ as $\gamma$ varies over algebraic numbers of a fixed degree $n\geq 2$. Given $k\geq 1$, we explicitly compute the density of $\gamma$ for…
We investigate the Galois group $G_S(p)$ of the maximal $p$-extension unramified outside a finite $S$ of primes of a number field in the (tame) case, when no prime dividing $p$ is in $S$. We show that the cohomology of $G_S(p)$ is 'often'…
We consider a variant of the ring of components of Hurwitz spaces introduced by Ellenberg, Venkatesh and Westerland. By focusing on Hurwitz spaces classifying covers of the projective line, the resulting ring of components is commutative,…
This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The…
If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using…
Belyi's Theorem states that a Riemann surface, X, as an algebraic curve is defined over an algebraic closure of the rationals if and only if there exists a holomorphic function taking X to the Riemann sphere with at most three critical…
We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite…