Related papers: Discriminants of complete intersection space curve…
We prove the coarea formula for sufficiently smooth contact mappings of Carnot manifolds. In particular, we investigate level surfaces of these mappings, and compare Riemannian and sub-Riemannian measures on them. Our main tool is the sharp…
This paper is devoted to presenting a new approach to determine the intersection of two quadrics based on the detailed analysis of its projection in the plane (the so called cutcurve) allowing to perform the corresponding lifting correctly.…
A Frontal-Delaunay refinement algorithm for mesh generation in piecewise smooth domains is described. Built using a restricted Delaunay framework, this new algorithm combines a number of novel features, including: (i) an unweighted,…
We obtain a sharp bound on the number of self-intersections of a closed planar curve with trigonometric parameterization. Moreover, we show that a generic curve of this form is normal in the sense of Whitney.
This paper describes a novel framework for computing geodesic paths in shape spaces of spherical surfaces under an elastic Riemannian metric. The novelty lies in defining this Riemannian metric directly on the quotient (shape) space, rather…
Using Hilbert schemes of points, we establish a number of results for a smooth projective variety $X$ in a sufficiently ample embedding. If $X$ is a curve or a surface, we show that the ideals of higher secant varieties are determinantally…
Building on results of Clemens and Kley, we find criteria for a continuous family of curves in a nodal $K$-trivial threefold $Y_0$ to deform to a scheme of finitely many smooth isolated curves in a general deformation $Y_t$ of $Y_0$. As an…
Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory.
We prove that a smooth, complex plane curve $C$ of odd degree can be defined by a polynomial with real coefficients if and only if $C$ is isomorphic to its complex conjugate. Counterexamples are known for curves of even degree. More…
We prove a first principle of preservation of multiplicity in difference geometry, paving the way for the development of a more general intersection theory. In particular, the fibres of a \sigma-finite morphism between difference curves are…
We give lower bounds for the degree of the discriminant with respect to y of separable polynomials f in K[x,y] over an algebraically closed field of characteristic zero. Depending on the invariants involved in the lower bound, we give a…
In this work, we present scalable balancing domain decomposition by constraints methods for linear systems arising from arbitrary order edge finite element discretizations of multi-material and heterogeneous 3D problems. In order to enforce…
Curb detection is a crucial function in intelligent driving, essential for determining drivable areas on the road. However, the complexity of road environments makes curb detection challenging. This paper introduces CurbNet, a novel…
In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…
We study certain top intersection products on the Hilbert scheme of points on a nonsingular surface relative to an effective smooth divisor. We find a formula relating these numbers to the corresponding intersection numbers on the…
The problem of counterfactual visual explanations is considered. A new family of discriminant explanations is introduced. These produce heatmaps that attribute high scores to image regions informative of a classifier prediction but not of a…
We describe the indecomposable components of the tangent bundle of the punctual Hilbert scheme of a smooth projective surface. As an application, we prove a recent conjecture about classification of products of punctual Hilbert schemes of…
We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…
In this work, merging ideas from compatible discretisations and polyhedral methods, we construct novel fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra. The spaces and operators that appear in these…
In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to…