Related papers: Real algebraic surfaces biholomorphically equivale…

Given two nonsingular real algebraic varieties V and W, we consider the problem of deciding whether a smooth map f: V -> W can be approximated by regular maps in the space of smooth maps from V to W. Our main result is a complete solution…

In the variety of all linear algebras over the infinite field the difference between geometric and automorphic equivalence of algebras can be big.

Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they…

The spectral geometry of negatively curved manifolds has received more attention than its positive curvature counterpart. In this paper we will survey a variety of spectral geometry results that are known to hold in the context of…

The conformal geometry of surfaces in the conformal space $\mathbf Q^n_1$ is studied. We classify the space-like surfaces in $\mathbf Q^n_1$ with vanishing conformal form up to conformal equivalence.

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology…

We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular group $\Gamma$ and use it to construct exponentially large families of not Hurwitz equivalent simple braid monodromy factorizations of…

The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

We prove that a proper holomorphic map between two bounded symmetric domains of the same dimension, one of them being irreducible, is a biholomorphism. Our methods allow us to give a single, all-encompassing argument that unifies the…

We prove that the group of area-preserving diffeomorphisms of the 2-sphere admits a non-trivial homogeneous quasimorphism to the real numbers with the following property. Its value on any diffeomorphism supported in a sufficiently small…

Let $f_1, ..., f_h$ be $h\ge 2$ germs of biholomorphisms of $\C^n$ fixing the origin. We investigate the shape a (formal) simultaneous linearization of the given germs can have, and we prove that if $f_1, ..., f_h$ commute and their linear…

We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$.…

Since 1999 it became obvious that the would be `isomorphism' between the affine $\hat sl(2)$ algebra and the N=2 superconformal algebras, proposed by some authors, simply does not work. However, this issue was never properly discussed in…

We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple…

We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted…

We study various classes of real hypersurfaces that are not embeddable into more special hypersurfaces in higher dimension, such as spheres, real algebraic compact strongly pseudoconvex hypersurfaces or compact pseudoconvex hypersurfaces of…

Budur, Fernandes de Bobadilla, Le and Nguyen (2022) conjectured that if two germs of holomorphic functions are topologically equivalent, then the Milnor fibres of their initial forms are homotopy equivalent. In this note, we give…

We give infinite series of groups Gamma and of compact complex surfaces of general type S with fundamental group Gamma such that 1) Any surface S' with the same Euler number as S, and fundamental group Gamma, is diffeomorphic to S. 2) The…