arXiv research

Study complex slices on real algebraic varieties and their properties.

This thesis explores algebraic cycles and moduli spaces over real numbers.

Study real forms and GIT quotients in algebraic varieties.

Study tests if a probability measure is near a real algebraic variety.

We define the notion of a smooth pseudo-Riemannian algebraic variety $(X,g)$ over a field $k$ of characteristic $0$, which is an algebraic analogue of the notion of Riemannian manifold and we study, from a model-theoretic perspective, the algebraic differential equation describing the geodesics on $(X,g)$. When $k$ is …

We prove that every (compact) taut submanifold in Euclidean space is real algebraic, i.e., is a connected component of a real irreducible algebraic variety in the same ambient space. This answers affirmatively a question of Nicolaas Kuiper raised in the 1980s.

Unique K-polystable degenerations for Fano varieties confirmed.

We prove that for any affine variety S defined over Q there exist Shephard and Artin groups G such that a Zariski open subset U of S is biregular isomorphic to a Zariski open subset of the character variety Hom(G, PO(3))//PO(3). The subset U contains all real points of S . As an application we construct new examples of…

We prove that the ring $\Aff{\R}{M}$ of all polynomials defined on a real algebraic variety $M\subset\R^n$ is dense in the Hilbert space $L^2(M,e^{-|x|^2}\deμ)$, where $\deμ$ denotes the volume form of $M$ and $\deν=e^{-|x|^2}\deμ$ the Gaussian measure on $M$.

The problem of determining the volume of a tubular neighbourhood has a long and rich history. Bounds on the volume of neighbourhoods of algebraic sets have turned out to play an important role in the probabilistic analysis of condition numbers in numerical analysis. We present a self-contained derivation of bounds on t…

We determine the expected curvature polynomial of random real projective varieties given as the zero set of independent random polynomials with Gaussian distribution, whose distribution is invariant under the action of the orthogonal group. In particular, the expected Euler characteristic of such random real projective…

Computes the component group of arbitrary real algebraic groups.

The amoebas associated to algebraic varieties are certain concave regions in the Euclidean space whose shape reminds biological amoebas. This term was formally introduced to Mathematics in 1994 by Gelfand, Kapranov and Zelevinski. Some traces of amoebas were appearing from time to time, even before the formal introduct…

The study of the topology of real algebraic varieties dates back to the work of Harnack, Klein and Hilbert in the 19th century; in particular, the isotopy type classification of real algebraic curves in real toric surfaces is a classical subject that has undergone considerable evolution. On the other hand, not much is …

We study the Gauss map and the dual variety of a real-analytic immersion of a connected compact real-analytic manifold into a sphere or into a hyperbolic space. The dual variety is defined to be the set of all normal directions of the immersion. First, we show that the image of the Gauss map characterizes the manifold.…

Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projecti…

The paper classifies orbit closures of symplectic Lie algebras.

By attaching a Lie algebra of germs of analytic vector fields to every point of a (real or complex) analytic variety V we construct the Nagano foliation of the variety. We prove that the Nagano foliation of V is a stratification. The treatment of the subject is totally coordinate free but relies on the Oka-Cartan-Serre…

Surveying recent work on Kähler metrics and algebraic variety stability.

The study calculates the Smith-Thom deficiency of Hilbert squares and provides conditions for maximality.

We construct universal geometric spaces over the real spectrum compactification $Ξ^{\mathrm{RSp}}$ of the character variety $Ξ$ of a finitely generated group $Γ$ in $\mathrm{SL}_n$, providing geometric interpretations of boundary points. For an algebraic set $Y(\mathbb{R})$ on which $\mathrm{SL}_n(\mathbb{R})$ acts by …

The article examines twisted cohomologies on algebraic and analytic varieties.

For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete op…

We give an asymptotic probabilistic real Riemann-Hurwitz formula computing the expected real ramification index of a random covering over the Riemann sphere. More generally, we study the asymptotic expected number and distribution of critical points of a random real Lefschetz pencil over a smooth real algebraic variety…

We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recen…

In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Ho…

New proof of divisibility property for certain algebraic varieties.

We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hyper…

We investigate some geometric properties of the real algebraic variety $Δ$ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart-Young-Mirsky-type theorem for the distance function from a generic matrix to points in $Δ$. We exhibit conne…

The paper studies gradings on nilpotent Lie algebras linked to smooth algebraic varieties.

Study BV operators on holomorphic polyvector fields on toric varieties.

We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed topological type. These spaces embed onto connected subsets of real points inside a c…

The paper concerns a compactification of the isospectral varieties of nilpotent Toda lattices for real split simple Lie algebras. The compactification is obtained by taking the closure of unipotent group orbits in the flag manifolds. The unipotent group orbits are called the Peterson varieties and can be used in the co…

Study identifies subvarieties of projective varieties mapping to models.

We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in parti…

Researchers create a new compactification of character varieties using geometric and algebraic methods.

A generalised Thurston-Bennequin invariant for a Q-singularity of a real algebraic variety is defined as a linking form on the homologies of the real link of the singularity. The main goal of this paper is to present a method to calculate the linking form in terms of the very good resolution graph of a real normal unib…

Proves properties of complex algebraic varieties and local systems.

Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it …

Computes expected number of real intersection points of essential variety with random linear spaces.

Advances in Koszul modules and syzygies of algebraic varieties.

We define a quandle variety as an irreducible algebraic variety $Q$ endowed with an algebraically defined quandle operation $\rhd$. It can also be seen as an analogue of a generalized affine symmetric space or a regular $s$-manifold in algebraic geometry. Assume that $Q$ is normal as an algebraic variety and that the a…

Demailly's conjecture, which is a consequence of the Green-Griffiths-Lang conjecture on varieties of general type, states that an algebraically hyperbolic complex projective variety is Kobayashi hyperbolic. Our aim is to provide evidence for Demailly's conjecture by verifying several predictions it makes. We first defi…

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 for abelian varieties with real multiplication, uniformly in the field of multi…

We use Bonahon-Wong's trace map to study character varieties of the once-punctured torus and of the 4-punctured sphere. We clarify a relationship with cluster algebra associated with ideal triangulations of surfaces, and we show that the Goldman Poisson algebra of loops on surfaces is recovered from the Poisson structu…

For any complex affine reductive group G and a fixed choice of maximal compact subgroup K, we show that the G-character variety of a free group strongly deformation retracts to the corresponding K-character space, which is a real semi-algebraic set. Combining this with constructive invariant theory and classical topolo…

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.

We study Lagrangian subalgebras of a semisimple Lie algebra with respect to the imaginary part of the Killing form. We show that the variety $\Lagr$ of Lagrangian subalgebras carries a natural Poisson structure $Π$. We determine the irreducible components of $\Lagr$, and we show that each irreducible component is a smo…