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

2025-04-21T17:28:41Z

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.

Connections on a principal Lie groupoid bundle and representations up to homotopy

2025-04-21T16:49:35Z

A Lie groupoid principal $\mbbX$ bundle is a surjective submersion $\pi\colon P\to M$ with an action of $\mathbb{X}$ on $P$ with certain additional conditions. This paper offers a suitable definition for the notion of a connection on such bundles. Although every Lie groupoid $\mathbb{X}$ has its associated Lie algebroid $A:=1^*\ker ds\to X_0$, it does not admit a natural action on its Lie algebroid. There is no natural action of $\mathbb{X}$ on $TP$ either. Choosing a connection $\mathbb{H}\subset TX_1$ on the Lie groupoid $\mathbb{X},$ and considering its induced action up to homotopy of $\mathbb{X}$ on graded vector bundle $TX_0\oplus A,$ we prove the existence of a short exact sequence of diffeological groupoids over the discrete category $M$ (with appropriate vector space structures on the fibres) for the $\mbbX$ bundle $\pi\colon P\to M.$ We introduce a notion of connection on $\mbbX$ bundle $\pi\colon P\to M,$ and show that such a connection $\omega$ splits the sequence. Finally, we show that a connection pair $(\omega, \mathbb{H})$ on $\mbbX$ bundle $\pi\colon P\to M$ is isomorphic to any other connection pair.}

Arc K-semistability is a very general property

2025-04-21T16:07:21Z

We prove that arc K-semistability is a very general property in flat families of polarised varieties, and prove a similar result for uniform arc K-stability. This can be used to produce the only current examples of smooth uniformly arc K-stable varieties which are not known to admit a constant scalar curvature K\"ahler metric. Our technique is to prove a general result stating that semistability of a pair in the sense of Paul is a Zariski open property, and to employ prior work with Reboulet relating arc K-semistability to semistability of an associated pair.

Kähler-Einstein metrics of negative curvature

2025-04-21T14:03:47Z

Given any integer $n\geq 2$, we construct a compact K\"ahler-Einstein manifold of dimension n of negative sectional curvature which is not covered by the ball.

New Heintze-Karcher type inequalities in sub-static warped product manifolds

2025-04-21T14:02:09Z

In this paper, we prove Heintze-Karcher type inequalities involving the shifted mean curvature for smooth bounded domains in certain sub-static warped product manifolds. In particular, we prove a Heintze-Karcher-type inequality for non mean-convex domains in the hyperbolic space. As applications, we obtain uniqueness results for hypersurfaces satisfying a class of curvature equations.

One Dimensional Asymptotic Plateau Problem in $n$-Dimensional Asymptotically Conical Manifolds

2025-04-21T12:36:07Z

Let $(M,g)$ be an asymptotically conical Riemannian manifold having dimension $n\ge 2$, opening angle $\alpha \in (0,\pi/2) \setminus \{\arcsin \frac{1}{2k+1}\}_{k \in \mathbb{N}}$ and positive asymptotic rate. Under the assumption that the exponential map is proper at each point, we give a solution to the one dimensional asymptotic Plateau problem on $M$. Precisely, for any pair of antipodal points in the ideal boundary $\partial_\infty M = \mathbb S^{n-1}$, we prove the existence of a geodesic line with asymptotic prescribed boundaries and the Morse index $\le n-1$.

Neumann Data and Second Variation Formula of Renormalized Area for Conformally Compact Static Spaces

2025-04-21T12:11:26Z

In this paper, we derive the first and second variation formulas for the renormalized area for static Einstein spaces along a specific direction, demonstrating that the negativity of the Neumann data implies instability. Consequently, we obtain a rigidity result for the case when the conformal boundary is a warped product torus, which strengthens the result presented in \cite{GSW}.

Harmonic projections in negative curvature II: large convex sets

2025-04-21T11:09:48Z

An important result in the theory of harmonic maps is due to Benoist--Hulin: given a quasi-isometry $f:X\to Y$ between pinched Hadamard manifolds, there exists a unique harmonic map at a finite distance from $f$. Here we show existence of harmonic maps under a weaker condition on $f$, that we call non-collapsing -- we require that the following two conditions hold uniformly in $x\in X$: (1) average distance from $f(x)$ to $f(y)$ for $y$ on the sphere of radius $R$ centered at $x$ grows linearly with $R$ (2) the pre-image under $f$ of small cones with apex $f(x)$ have low harmonic measures on spheres centered at $x$. Using these ideas, we also continue the previous work of the author on existence of harmonic maps that are at a finite distance from projections to certain convex sets. We show this existence in a pinched negative curvature setting, when the convex set is large enough. For hyperbolic spaces, this includes the convex hulls of open sets in the sphere at infinity with sufficiently regular boundary.

The Schouten-Nijenhuis bracket in infinite dimensions

2025-04-21T10:23:40Z

The Schouten-Nijenhuis bracket on smooth infinite-dimensional manifolds $M$ is developed in two steps: For summable multivector fields whose pointwise dual are all differential form, and in an extended form for multivector fields which are sections of $L^{\bullet}_{\text{skew}}(T^*M,\mathbb R)$. We need to either assume that $C^{\infty}(M)$ separates points on $TM$, or consider sheaves of local sections.

A Spectral Splitting Theorem for the $N$-Bakry Émery Ricci tensor

2025-04-21T08:44:32Z

We extend the spectral generalization of the Cheeger-Gromoll splitting theorem to smooth metric measure space. We show that if a complete non-compact weighted Riemannian manifold $(M,g,e^{-f}\,dvolg)$ of dimension $n\ge 2$ has at least two ends where $f$ is smooth and bounded. If there is some $N\in (0,\infty)$ such that $$\lambda_1(\gamma \Delta_f+\operatorname{Ric}^N_f)\ge 0$$ for some $\gamma<\left(\frac{1}{(n-1)\left(1 + \frac{n-1}{N}\right)} + \frac{n-1}{4}\right)^{-1}$, then $M$ splits isometrically as $\mathbb{R}\times X$ for some complete Riemannian manifold $X$ with $(\operatorname{Ric}_X)^N_f\ge 0$. The estimate can recover the spectral splitting result and its sharp constant $\frac{4}{n-1}$ in Antonelli-Pozzetta-Xu and and Catino--Mari--Mastrolia--Roncoroni.

Stratification and Rectifiability of Harmonic Map Flows via Tangent Measures

2025-04-21T06:16:09Z

In this paper, we investigate the stratification theory for suitable solutions of harmonic map flows based on the spatial symmetry of tangent measures. Generally, suitable solutions are a category of solutions that satisfy both the localized energy inequality and the monotonicity formula. Building on the modifications and adjustments of quantitative stratifications and Reifenberg-rectifiable theory by Naber and Valtorta, we confirm that each stratum in our model is rectifiable. We also establish an estimate for the Minkowski content of the singular set at each time slice, demonstrating that the singular set is rectifiable and that our results strengthen previous findings, which were limited to almost every time slice. Furthermore, under certain assumptions about the target manifolds that exclude specific tangent flows and measures, our analysis achieves substantial improvements in the regularity of suitable solutions for harmonic map flows.

Book I of Euclid's Elements and application of areas

2025-04-21T03:06:01Z

We work through Book I of Euclid's Elements with our focus on application of areas (I.42, I.44, I.45). We summarize alternate constructions from medieval editions of Euclid's elements and ancient and medieval commentaries. We remark that Euclid's proof of I.44 involves a seldom commented on use of superposition, but that several medieval editions of Euclid give constructions that avoid the use of superposition. This use of superposition is also avoided in Ralph Abraham's ``VCE: The Visual Constructions of Euclid'' C#12, C#12B at http://www.visual-euclid.org/vce/contents.html We collate the figures with the digitized editions of Euclid at (P) Biblioteca Apostolica Vaticana (BAV), Vat. gr. 190, (F) Biblioteca Medicea Laurenziana (BML), Plut. 28.03, (B) Bodleian, MS. D'Orville 301, (V) \"Osterreichische Nationalbibliothek, Cod. Phil. gr. 31, (b) Biblioteca Comunale dell'Archiginnasio, Collocazione A 19, (p) Biblioth\`eque nationale de France, Grec 2466.

Classification of low-dimensional complete gradient Yamabe solitons

2025-04-21T01:44:01Z

In this paper, we completely classify nontrivial non-flat three-dimensional complete gradient Yamabe solitons. Furthermore, by considering Ricci solitons from the point of view of Yamabe solitons, we provide a proof of the complete classification of nontrivial two-dimensional complete gradient Ricci solitons.

Complete steady gradient Yamabe solitons with positive scalar curvature are rotationally symmetric

2025-04-21T01:42:40Z

In this paper, we solve the Yamabe soliton version of the Perelman conjecture. We show that any nontrivial complete steady gradient Yamabe solitons with positive scalar curvature are rotationally symmetric.

Interpreting the Ooguri-Vafa symplectic form à la Atiyah-Bott

2025-04-20T22:15:07Z

Gaiotto, Moore, and Neitzke predicted that the hyperk\"ahler Ooguri-Vafa space $\mathcal{M}^{\rm ov}$ should provide a local model for Hitchin moduli spaces near the discriminant locus. To this end, Tulli identified $\mathcal{M}^{\rm ov}$ with a certain space of framed Higgs bundles with an irregular singularity. We extend this result by identifying the Ooguri-Vafa holomorphic symplectic form with a regularized version of the Atiyah-Bott form on the associated space of framed connections. We also prove the analogous statement for the corresponding semiflat forms. Finally, restricting to the Hitchin section, we identify a regularized version of Hitchin's $L^2$-metric with the Ooguri-Vafa metric.