arXiv research

Study of geodesics on Riemannian stacks, measuring distances on orbit spaces.

We study Riemannian metrics on Lie groupoids in the relative setting. We show that any split fibration between proper groupoids can be made Riemannian, and we use these metrics to linearize proper groupoid fibrations. As an application, we derive rigidity theorems for Lie groupoids, which unify, simplify and improve si…

We define stacky Lie groups to be group objects in the 2-category of differentiable stacks. We show that every connected and etale stacky Lie group is equivalent to a crossed module of the form (H,G) where H is the fundamental group of the given stacky Lie group and G is the connected and simply connected Lie group int…

Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoi…

Presentations of smooth symmetry groups of differentiable stacks are studied within the framework of the weak 2-category of Lie groupoids, smooth principal bibundles, and smooth biequivariant maps. It is shown that principality of bibundles is a categorical property which is sufficient and necessary for the existence o…

We discuss two sorts of generalization of Lie groupoids. One is Lie $n$-groupoids defined as simplicial manifolds with trivial $π_{k\geq n+1}$. The other is the stacky Lie groupoid $\cG\rra M$ with $\cG$ a differentiable stack. We build 1-1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to a certain…

New Poisson structures found on Higgs bundle moduli spaces.

We discuss two generalizations of Lie groupoids. One consists of Lie $n$-groupoids defined as simplicial manifolds with trivial $π_{k\geq n+1}$. The other consists of stacky Lie groupoids $\cG\rra M$ with $\cG$ a differentiable stack. We build a 1-1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to …

Defines basic sections of LA-groupoids for simpler modeling.

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected componen…

We construct a canonical Hausdorff complex analytic moduli space of Fano manifolds with Kähler-Ricci solitons. This naturally enlarges the moduli space of Fano manifolds with Kähler-Einstein metrics, which was constructed by Odaka and Li-Wang-Xu. We discover a moment map picture for Kähler-Ricci solitons, and give comp…

We introduce the notion of a Hamiltonian action of an étale Lie group stack on an étale symplectic stack and establish versions of the Kirwan convexity theorem, the Meyer-Marsden-Weinstein symplectic reduction theorem, and the Duistermaat-Heckman theorem in this context.

The orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. The resolution maps planar metric trees to their underlying abstract representatives, collapsing an…

Study of foliations' geometric and topological structures.

We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A moti…

Maps vector fields between stacks and orbit spaces.

In this paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite …

A group, defined as set with associative multiplication and inverse, is a natural structure describing the symmetry of a space. The concept of group generalizes to group objects internal to other categories than sets. But there are yet more general objects that can still be thought of as groups in many ways, such as qu…

Leaves of Lie algebroids are Lie groupoids under certain conditions.

Study of quantum decorated character stacks and their quantizations.

New contact structures defined on differentiable stacks.

The first part of this text is a gentle exposition of some basic constructions and results in the extended prequantum theory of Chern-Simons-type gauge field theories. We explain in some detail how the action functional of ordinary 3d Chern-Simons theory is naturally localized ("extended", "multi-tiered") to a map on t…

New theory captures framing anomaly in gauge theory.

This thesis extends contact structures to differentiable stacks using line bundle-valued 1-forms.

Cyclification of orbifolds explained in cohesive higher topos theory.

We formalize higher dimensional and higher gauge WZW-type sigma-model local prequantum field theory, and discuss its rationalized/perturbative description in (super-)Lie n-algebra homotopy theory (the true home of the "FDA"-language used in the supergravity literature). We show generally how the intersection laws for s…

This thesis surveys various metrics on Riemann surface spaces.

Proves existence and uniqueness of weighted metrics for smooth spaces.

New Finsler metrics constructed from $GDW$-metrics.

In this essay, we study the sufficient and necessary conditions for a Randers metrc to be of constant Ricci curvature without the restriction of strong convexity (regularity). The classification result for the case $\|β\|_α>1$ is provided, which is similar to the famous Bao-Robles-Shen's result for strongly convex Rand…

We prove the equivalences of several classical complete metrics on the Teichmüller and the moduli spaces of Riemann surfaces. We use as bridge two new Kähler metrics, the Ricci metric and the perturbed Ricci metric and prove that the perturbed Ricci metric is a complete Kähler metric with bounded negative holomorphic s…

New metric defined for bounded symmetric domains.

Introduces Finslerian convolution metrics and their properties.

Survey of recent metric geometry in Kähler metrics space.

New balanced metrics introduced for SPD matrices, improving metric choice.

Study on geodesics of Finsler metrics derived from Riemannian metrics.

We consider geometries on the space of Riemannian metrics conformally equivalent to the widely studied Ebin L^2 metric. Among these we characterize a distinguished metric that can be regarded as a generalization of Calabi's metric on the space of Kähler metrics to the space of Riemannian metrics, and we study its geome…

New Kähler metrics generalize Calabi's and relate to Fano manifolds.

New Finsler metrics defined by Riemannian and 1-forms are studied.

We study the geodesic equation for the Dirichlet (gradient) metric in the space of Kaehler potentials. We first solve the initial value problem for the geodesic equation of the combination metric, including the gradient metric. We then discuss a comparison theorem between it and the Calabi metric. As geometric motivati…

Study on special Finsler metrics with conditions for Riemannian and isotropic properties.

Sharp estimates for Finsler metrics in convex domains.

The study examines Lee metrics on groups and their properties.

Survey of spectral, probabilistic, and deep metric learning methods.

Study shows convergence of Lagrangian submanifolds under certain metrics.

In this paper, we study an important class of Finsler metrics--square metrics. We give two expressions of such metrics in terms of a Riemannian metric and a 1-form. We show that Einstein square metrics can be classified up to the classification of Einstein Riemannian metrics.

Defines a new Randers metric based on an existing one.

Investigates O(n)-invariant metrics on SPD matrices, extending kernel metrics.