Related papers: Proof of the Knop conjecture

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.

We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a…

We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn…

In this paper we give a new proof of the Quantum Unique Ergodicity conjecture for holomorphic integral weight modular forms on the upper half plane. The proof requires only partial results towards the Ramanujan conjecture and the shifted…

Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the…

We prove the positive mass theorem for asymptotical flat (AF for short) manifolds with finitely many isolated conical singularities. We do not impose the spin condition. Instead we use the conformal blow up technique which dates back to…

We give a short proof, using profinite techniques, that idempotent pointlikes, stable pairs and triples are decidable for the pseudovariety of aperiodic monoids. Stable pairs are also described for the pseudovariety of all finite monoids.

We prove that the affine closure of the cotangent bundle of the basic affine space of a complex semisimple group has conical symplectic singularities, which confirms a conjecture of Ginzburg and Kazhdan. We also show that this variety is…

In this paper, we prove the K- and L-theoretical Isomorphism Conjecture for Baumslag-Solitar groups with coefficients in an additive category.

The Kashaev-Murakami-Murakami Volume Conjecture connects the hyperbolic volume of a knot complement to the asymptotics of certain evaluations of the colored Jones polynomials of the knot. We introduce a closely related conjecture for…

We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In…

We give a short proof of the Zariski-Lipman conjecture for toric varieties: any complex toric variety with locally free tangent sheaf is smooth.

In this paper we show that the fibered isomorphism conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of complex manifolds. A consequence of this…

We establish a characterization of adequate knots in terms of the degree of their colored Jones polynomial. We show that, assuming the Strong Slope conjecture, our characterization can be reformulated in terms of "Jones slopes" of knots and…

We prove the generalised Mukai conjecture for $\mathbb{Q}$-factorial spherical Fano varieties. In this case, a stronger inequality holds featuring an extra term - the minimum absolute complexity of a log Calabi-Yau pair - which measures how…

We consider a smooth projective surjective morphism between smooth complex projective varieties. We give a Hodge theoretic proof of the following well-known fact: If the anti-canonical divisor of the source space is nef, then so is the…

We show that every finite inverse monoid has an idempotent-separating cover by a finite F-inverse monoid. This provides a positive answer to a conjecture of Henckell and Rhodes.

Using log convergent topoi, %In the derived category of filtered complexes of %sheaves of modules over %an isostructure we define two fundamental filtered complexes $(E_{conv},P)$ and $(C_{conv},P)$ for the log scheme obtained by a smooth…

We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…

We propose an analogue of Dubrovin's conjecture for the case where Fano manifolds have quantum connections of exponential type. It includes the case where the quantum cohomology rings are not necessarily semisimple. The conjecture is…