相关论文: The Poincar\'e Lemma in Subriemannian Geometry

Courcelle's Theorem is an important result in graph theory, proving the existence of linear-time algorithms for many decision problems on graphs whose tree-width is bounded by a constant. The purpose of this text is twofold: to provide an…

We observe that linear relations among Chern-Mather classes of projective varieties are preserved by projective duality. We deduce the existence of an explicit involution on a part of the Chow group of projective space, encoding the effect…

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two…

The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space:…

We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric…

The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…

The main purpose of this article is to introduce a comprehensive, unified theory of the geometry of all connections. We show that one can study a connection via a certain, closely associated second-order differential equation. One of the…

We prove several results about integral versions of Fourier duality for abelian schemes, making use of Pappas's work on integral Grothendieck-Riemann-Roch. If $S$ is smooth quasi-projective of dimension $d$ over a field and $\pi \colon X\to…

The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea of its proof is to consider polynomials whose roots belong…

Given a sequence of point and rational curve blow-ups blow-ups of smooth $3-$dimensional projective varieties $Z_{i}$ defined over an algebraically closed field $\mathit{k}$, $Z_{s}\xrightarrow{\pi_{s}}…

We extend the classical Schubert calculus of enumerative geometry for the Grassmann variety of lines in projective space from the complex realm to the real. Specifically, given any collection of Schubert conditions on lines in projective…

We consider the ring of invariants of n points on the projective line. The space (P^1)^n // PGL_2 is perhaps the first nontrivial example of a Geometry Invariant Theory quotient. The construction depends on the weighting of the n points.…

Given a finite collection of $C^1$ complex vector fields on a $C^2$ manifold $M$ such that they and their complex conjugates span the complexified tangent space at every point, the classical Newlander-Nirenberg theorem gives conditions on…

The geometrical diffraction theory, in the sense of Keller,is here reconsidered as an obstacle problem in the Riemannian geometry. The first result is the proof of the existence and the analysis of the main properties of the diffracted…

Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree…

We give a new characterisation of the unparametrised geodesics, or distinguished curves, for affine, pseudo-Riemannian, conformal, and projective geometry. This is a type of moving incidence relation. The characterisation is used to provide…

Walczak formula is a very nice tool for understanding the geometry of a Riemannian manifold equipped with two orthogonal complementary distributions. Svensson [7] has shown that this formula simplifies to a Bochner type formula when we are…

We present proofs of basic results, including those developed by Harold Bell, for the plane fixed point problem: does every map of a non-separating plane continuum have a fixed point? Some of these results had been announced much earlier by…

In a series of recent papers, W. M. Schmidt and L. Summerer developed a new theory by which they recover all major generic inequalities relating exponents of Diophantine approximation to a point in $\mathbb{R}^n$, and find new ones. Given a…

We give a solution to the Poincar\'e Problem, in the formulation of Cerveau and Lins Neto. We obtain a bound on the degree of general leaves of foliations of general type, which is linear in $g$. To achieve this we study the birational…