Related papers: Proof of the Knop conjecture

Let us denote by $\mathcal K_n$ the hyperspace of all convex bodies of $\mathbb R^n$ equipped with the Hausdorff distance topology. An affine invariant point $p$ is a continuous and Aff(n)-equivariant map $p:\mathcal K_n\to \mathbb R^n$,…

Given a morphism from an affine semigroup Q to an arbitrary commutative monoid, it is shown that every fiber possesses an affine stratification: a partition into a finite disjoint union of translates of normal affine semigroups. The proof…

In this note we prove that any affine algebraic monoid can be obtained as the endomorphisms' monoid of a finite-dimensional (nonassociative) algebra.

After providing an explicit K-stability condition for a $\mathbb{Q}$-Gorenstein log spherical cone, we prove the existence and uniqueness of an equivariant K-stable degeneration of the cone, and deduce uniqueness of the asymptotic cone of a…

In this paper, we survey recent progress on the Null Penrose Conjecture, including a proof of the conjecture for smooth null cones that are foliated by doubly convex spheres.

The slope conjecture gives a precise relation between the degree of the colored Jones polynomial of a knot and the boundary slopes of essential surfaces in the knot complement. In this note we propose a generalization of the slope…

We prove Conjecture F from [VW12] which states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. Moreover, we generalize this conjecture…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.

We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion for the smoothness of the simple (normal) symmetric varieties whose closed orbit is complete. In particular we…

It is shown that every polynomial function $P : \mathbb{C}^2\longrightarrow \mathbb{C}$ with irreducible fibres of same a genus is a coordinate. In consequence, there does not exist counterexamples F = (P,Q) to the Jacobian conjecture such…

We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have…

We prove some general results on syzygies of smooth projective varieties with numerically trivial canonical line bundle. This allows to confirm several cases of Mukai's syzygies conjecture for finite quotients of abelian varieties in any…

We introduce an invariant of tangles in Khovanov homology by considering a natural inverse system of Khovanov homology groups. As application, we derive an invariant of strongly invertible knots; this invariant takes the form of a graded…

Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that…

We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.

We prove a conjecture of Fomichev and Karev [{European J. Combin.} 127 (2025) 104160] by showing the equality of two graph invariants: $\varphi$, defined via graph colorings, and $\psi$, derived from the $\mathfrak{sl}(2)$-weight system of…

In 2010 de Jong proposed a $p$-adic version of Gieseker's conjecture: if $X$ is a smooth, simply connected projective variety, then any isocrystal on $X$ is constant. This was proven by Esnault and Shiho under some additional assumptions.…

It is proved that if $S\subset \mathbb P^N$ is a smooth projective surface and $f:S\to \mathbb P^2$ is a generic linear projection branched over a cuspidal curve $B\subset \mathbb P^2$, then the surface $S$ is determined uniquely up to an…

We prove that a prime knot K is not determined by its p-fold cyclic branched cover for at most two odd primes p. Moreover, we show that for a given odd prime p, the p-fold cyclic branched cover of a prime knot K is the p-fold cyclic…