相关论文: What is the Degree of a Smooth Hypersurface?
Motivated by a question of Rubel, we consider the problem of characterizing which noncompact hypersurfaces in $\RR^n$ can be regular level sets of a harmonic function modulo a $C^\infty$ diffeomorphism, as well as certain generalizations to…
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also…
We consider the problem of approximating the reachable set of a discrete-time polynomial system from a semialgebraic set of initial conditions under general semialgebraic set constraints. Assuming inclusion in a given simple set like a box…
Let $k$ be any field. Let $X \subset \mathbb{P}_k^N$ be a degree $d \geq 2$ hypersurface. Under some conditions, we prove that if $X(K) \neq \emptyset$ for some extension $K/k$ with $n:=[K:k] \geq 2$ and $\gcd(n,d)=1$, then $X(L) \neq…
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…
Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in…
The zero sets of harmonic polynomials play a crucial role in the study of the free boundary regularity problem for harmonic measure. In order to understand the fine structure of these free boundaries a detailed study of the singular points…
We present a computational scheme that derives a global polynomial level set parametrisation for smooth closed surfaces from a regular surface-point set and prove its uniqueness. This enables us to approximate a broad class of smooth…
Explicit formulas determining the dimension and the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$ are given in terms of the graded Betti numbers of the minimal free resolution of the corresponding Jacobian algebra.…
Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every…
Let X be an irreducible hypersurface in $\mathbb{P}^n$ of degree $d\geq 3$ with only isolated semi-weighted homogeneous singularities, such that $exp(\frac{2\pi i}{k})$ is a zero of the Alexander polynomial. Then we show that the…
We study the set of $D$ such that a given irreducible hypersurface $C$ of degree $d$ has infinitely many points of degree $D$ over $\mathbb{Q}$. We give a new explicit proof that this set contains all (positive) multiples of the index of…
Let $\Sigma(f)$ be critical points of a polynomial $f \in \mathbb{K}[x,y]$ in the plane $\mathbb{K}^2$, where $\mathbb{K}$ is $\mathbb{R}$ or $\mathbb{C}$. Our goal is to study the critical point map $\mathfrak{S}_d$, by sending polynomials…
Let V $\subset$ C n be an equidimensional algebraic set and g be an n-variate polynomial with rational coefficients. Computing the critical points of the map that evaluates g at the points of V is a cornerstone of several algorithms in real…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…
Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role…
We prove finite jet determination for (finitely) smooth CR diffeomorphisms of (finitely) smooth Levi degenerate hypersurfaces in $\mathbb{C}^{n+1}$ by constructing generalized stationary discs glued to such hypersurfaces.
Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The…
A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is…
We construct a finitely dimensional invariant manifold of holomorphic discs attached to a certain class of smooth pseudconvex hypersurfaces of finite type in $\C^2$, generalizing the notion of stationary discs. The discs we construct are…