Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40604

Some remarks on robust features of surfaces in 4-space

Jorge Luiz Deolindo-Silva
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study robust features of smooth surfaces in 4-space associated with contact with lines and hyperplanes. We investigate the local and multi-local singularities of orthogonal projections and height functions that describe these contacts and their corresponding geometric loci on the surface. At an $A_4$-singularity of a height function, we show that the $A_3$-curve and the $A_1A_2$-curve are generically tangent with contact of order $2$. We further establish criteria for the versality of the families of height functions and orthogonal projections in terms of the regularity of the $B_2$-curve and $S_2$-curve, respectively. Finally, we obtain the $[A_2]$- and $(A_0S_0)_2$-curves arising from multi-local singularities of orthogonal projections and describe their tangency properties at the $B_3$- and $H_3$-singularities.

Explore related subjects

math.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jorge Luiz Deolindo-Silva. 2026-10-29. Some remarks on robust features of surfaces in 4-space. https://arxiv.org/abs/2610.40604

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A generalization of the Perelman gluing theorem and applications

We extend a positive Ricci curvature gluing theorem of Perelman to a range of positive intermediate curvature conditions, ranging from positive scalar curvature up to (and including) positive sectional curvature. As an application of this, we demonstrate that the observer moduli space of metrics with positive intermediate Ricci curvatures can have non-trivial higher homotopy groups. Further applications include deriving a sufficient condition for the existence of a metric with positive intermediate Ricci curvature and totally geodesic boundary.

math.DG↗
arXiv2026

Covariant derivatives in the representation-valued Bott-Shulman-Stasheff and Weil complex

For a Lie groupoid $G$, the differential forms on its nerve comprise a double complex. A natural question is if this statement extends to forms with values in a representation $V$ of $G$. In this paper, we research two types of covariant derivatives which commute with the simplicial differential, yielding two types of curved double complexes of forms with coefficients in $V$. The naive approach is to consider a linear connection $\nabla$ on $V$, in which case $d^\nabla$ commutes with the simplicial differential if and only if $\nabla$ satisfies a certain (restrictive) invariance condition. The heart of this paper focuses on another, more compelling approach: using a multiplicative Ehresmann connection for a bundle of ideals. In this case, we obtain a geometrically richer curved double complex, where the cochain map is given by the horizontal exterior covariant derivative $D$, which generalizes the well-known operator from the theory of principal bundles. Moreover, both differential operators $d^\nabla$ and $D$ are researched in the infinitesimal setting of Lie algebroids, as well as their relationship with the van Est map. We conclude by using the operator $D$ to study the curvature of an (infinitesimal) multiplicative Ehresmann connection.

math.DG↗
arXiv2026

Montel's theorem and tautness in calibrated geometry

We relate the hyperbolicity of a calibrated manifold $(X, ϕ)$ to the analytic properties of the space of Smith immersions $\mathrm{SmIm}(B^k, X)$ from the Poincare $k$-ball into $X$. In particular, we establish the following calibrated analogue of a theorem of Royden: if $X$ is $ϕ$-saturated, then $R_ϕ$- and $K_ϕ$-hyperbolicity coincide, and either implies the equicontinuity of $\mathrm{SmIm}(B^k, X)$ with respect to the $ϕ$-distance. This yields a Montel theorem for compact $ϕ$-saturated calibrated manifolds as an immediate corollary. Our primary technical tool is a new Schwarz lemma for Smith immersions from $B^k$ into $X$, which is of independent interest. In a similar spirit, we also prove a calibrated analogue of Kiernan's theorem to the effect that the $K_ϕ$-hyperbolicity of $X$ is almost equivalent to $\mathrm{SmIm}(B^k, X)$ being a normal family. Finally, we prove that bounded domains in flat euclidean space are $R_ϕ$-hyperbolic for any calibration $ϕ$, and we investigate the hyperbolicity of products and discrete quotients.

math.DG↗