Related papers: A counterexample to DG version of Han's conjecture

It is conjectured that the dual variety of every smooth nonlinear subvariety of dimension $> \frac{2N}{3}$ in projective $N$-space is a hypersurface, an expectation known as the duality defect conjecture. This would follow from the truth of…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

Artin's conjecture is established for all forms that can be realised as a diagonal form on an hyperplane.

We give many examples of surfaces of general type with $p_g=0$ for which Bloch's conjecture holds, for all values of $K^2$ except 9. Our surfaces are equipped with an involution.

We prove that the Jacobian conjecture is false if and only if there exists a solution to a certain system of polynomial equations. We analyse the solution set of this system. In particular we prove that it is zero dimensional.

We consider a generalization of the "Hadamard quotient theorem" of Pourchet and van der Poorten. A particular case of our conjecture states that if $f := \sum_{n \geq 0} a(n)x^n$ and $g := \sum_{n \geq 0} b(n)x^n$ represent, respectively,…

The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the…

Let A be a finite dimensional associative algebra over an algebraically closed field with a simple module S of finite projective dimension. The strong no loop conjecture says that this implies Ext(S,S)=0, i.e. that the quiver of A has no…

We use bounds of character sums and some combinatorial arguments to show the abundance of very smooth numbers which also have very few non-zero binary digits.

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

The goal of this article is to prove the Sum of Squares Conjecture for real polynomials $r(z,\bar{z})$ on $\mathbb{C}^3$ with diagonal coefficient matrix. This conjecture describes the possible values for the rank of $r(z,\bar{z}) \|z\|^2$…

We show that if $H$ is a Hopf algebra with bijective antipode and $B \subset A$ is a faithfully flat $H$-Galois extension, then $A$ is homologically smooth if $H$ and $B$ are.

A conjecture of Boone and Higman from the 1970's asserts that a finitely generated group $G$ has solvable word problem if and only if $G$ can be embedded into a finitely presented simple group. We comment on the history of this conjecture…

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his…

A new direct proof of the Virtual Haken Conjecture, which asserts that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group has a finite cover that is Haken, will be given.

In this paper, we will give suitable conditions on differential polynomials $Q(f)$ such that they take every finite non-zero value infinitely often, where $f$ is a meromorphic function in complex plane. These results are related to Problem…

The main geometric result of this paper is that given any family of surfaces of general type f:X-->B, for sufficiently large n the fiber product X^n_B dominates a variety of general type. This result is especially interesting when it is…

We prove a general result on presentations of finitely-generated algebras and apply it to obtain nice presentations for some noncommutative algebras arising in the matrix bispectral problem. By "nice presentation" we mean a presentation…

An n-dimensional simplex \Delta in \R^n is called empty lattice simplex if \Delta \cap\Z^n is exactly the set of vertices of \Delta . A theorem of G. K. White shows that if n=3 then any empty lattice simplex \Delta \subset\R^3 is isomorphic…