Related papers: Real geometric transcendence for the Gamma functio…
The graph of a real symplectic linear transformation is an R-Lagrangian subspace of a complex symplectic vector space. The restriction of the complex symplectic form is thus purely imaginary and may be expressed in terms of the generating…
The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture…
Let $G_\mathbb R$ be a real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a stratified homeomorphism between the based polynomial arc group of $G_\mathbb R$ and the based…
The commutative algebra of functions on a manifold is extended to a noncommutative algebra by considering its tensor product with the algebra of nxn complex matrices. Noncommutative geometry is used to formulate an extension of the…
In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $\Gamma$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant…
A compact real analytic Riemannian manifold M admits a canonical complexification with plurisubharmonic exhaustion function satisfying the homogeneous complex Monge-Ampere equation, called a Grauert tube. From the point of view of complex…
We prove a quantum ergodic restriction (QER) theorem for real hypersurfaces $\Sigma \subset X,$ where $X$ is the Grauert tube associated with a real-analytic, compact Riemannian manifold. As an application, we obtain $h$ independent upper…
We investigate the problem of the realization of a given graph as the Reeb graph $\mathcal{R}(f)$ of a smooth function $f\colon M\rightarrow \mathbb{R}$ with finitely many critical points, where $M$ is a closed manifold. We show that for…
Given a submanifold $M\subset \mathbf{R}^\nu$, a curve $\gamma:I\to M$ and tangent vectors $v$ along $\gamma$, we roll the tangent space along $\gamma$. In doing so, we get an imprint/trace of $\gamma$ on the tangent space, as well as an…
S. L. Tabachnikov's conjecture is proved: for any closed curve $\Gamma$ lying inside convex closed curve $\Gamma_1$ the mean absolute curvature $T(\Gamma)$ exceeds $T(\Gamma_1)$ if $\Gamma\ne k\Gamma_1$. An inequality $T(\Gamma)\ge…
The canonical projections of the unit spheres are generalized to special generic maps and round fold maps, for example. They are generalizations from the viewpoint of singularity theory of differentiable maps and these maps restrict the…
Let $\Gamma$ be a lattice in $\mathrm{SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $\Gamma$ is arithmetic. This answers a…
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…
In this paper we describe all rotation $H$-hypersurfaces in $H^n \times R$ and use them as barriers to prove existence and characterization of certain vertical $H$-graphs and to give symmetry and uniqueness results for compact…
For a real number $0<\lambda<2$, we introduce a transformation $T_\lambda$ naturally associated to expansion in $\lambda$-continued fraction, for which we also give a geometrical interpretation. The symbolic coding of the orbits of…
Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant…
The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…
In Euclidean geometry, the shortest distance between two points is a straight line. Chern made a conjecture in 1977 that an affine maximal graph of a smooth, locally uniformly convex function on two-dimensional Euclidean space…
We establish a framework that allows to prove Gamma-converge of functionals of Lagrangian form on spaces of trajectories based on convergence of viscosity solutions of associated Hamilton-Jacobi equations. Gamma convergence follows from a:…
This paper introduces arithmetic geometry for polynomial identity algebras using non-commutative (formal) deformation theory. Since formal deformation theory is inherently local the arithmetic and geometric results that follow give local…