Related papers: Real and complex indices of vector fields on compl…
We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset…
We prove a {\Gamma}-equivariant version of the algebraic index theorem, where {\Gamma} is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of…
Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in…
Given a closed Riemannian manifold $(M^m,g)$ and a vector field $v$ on $M$, we form the Sasaki metric $g_S$ on $TM$, and restrict it to the image of the cross section map of $M$ into $TM$ defined by $v$, whose pull back to $M$ defines a new…
Given a projective contraction $\pi \colon X\rightarrow Z$ and a log canonical pair $(X, B)$ such that $-(K_X+B)$ is nef over a neighborhood of a closed point $z\in Z$, one can define an invariant, the complexity of $(X, B)$ over $z \in Z$,…
When a singular point of a vector field passes through resonance, a formal invariant cone appears. In the seventies, Pyartli proved that for $(-1,1)$-resonance the cone is in fact analytic and is the degeneration of a family of invariant…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
On a real ($\mathbb F=\mathbb R$) or complex ($\mathbb F=\mathbb C$) analytic connected 2-manifold $M$ with empty boundary consider two vector fields $X,Y$. We say that $Y$ {\it tracks} $X$ if $[Y,X]=fX$ for some continuous function…
The Gauss-Bonnet Theorem is studied for edge metrics as a renormalized index theorem. These metrics include the Poincar\'e-Einstein metrics of the AdS/CFT correspondence. Renormalization is used to make sense of the curvature integral and…
Based on some analogies with the Hodge theory of isolated hypersurface singularities, we define Hodge-type numerical invariants (called H-numbers) of any, not necessarily algebraic, link in $S^3$. They contain the same information as the…
Suppose $X$ is a smooth, proper, geometrically connected curve over $\mathbb F_q$ with an $\mathbb F_q$-rational point $x_0$. For any $\mathbb F_q^{\times}$-character $\sigma$ of $\pi_1(X)$ trivial on $x_0$, we construct a functor $\mathbb…
The Poincar\'e gauge theory (PGT) of gravity provides a viable formulation of general relativity (Einstein-Cartan theory), and a popular model-building framework for modified gravity with torsion. Notoriously, however, the PGT terms which…
A graph is said to be globally rigid in $d$-dimensional space if almost all of its embeddings are unique up to isometries. If a graph has enough automorphisms to send any of its vertices into any other, then it is called vertex-transitive.…
We investigate the geometry of holomorphic curves and complex surfaces from the perspective of singularity theory. We show that, with a suitable choice of a complex bilinear symmetric form, the families of functions and mappings that…
The eccentric-connectivity index of a graph G is the sum of the products of the eccentricity and the degree of each vertex in G. In this paper, we define four new invariants related to the eccentric-connectivity index and obtain upper…
A big-isotropic structure is a generalization of the notion of Dirac structure, due to Vaisman. We discuss the inverse problem of deciding if a vector field is Hamiltonian having a big-isotropic structure as underlying geometry. In [1] we…
We give a global geometric decomposition of continuously differentiable vector fields on $\mathbb{R}^n$. More precisely, given a vector field of class $\mathcal{C}^{1}$ on $\mathbb{R}^{n}$, and a geometric structure on $\mathbb{R}^n$, we…
Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $\nu$ is well-defined as a smooth vector field of the surface. A cuspidal edge…
Consider a smooth projective curve and a given embedding into projective space via a sufficiently positive line bundle. We can form the secant variety of $k$-planes through the curve. These are singular varieties, with each secant variety…
A projective variety $X\subset\mathbb{P}^N$ is $h$-identifiable if the generic element in its $h$-secant variety uniquely determines $h$ points on $X$. In this paper we propose an entirely new approach to study identifiability, connecting…