Study of geodesics on Riemannian stacks, measuring distances on orbit spaces.
problem Extending Riemannian geometry to singular spaces.
method Introduce stacky metrics and study stacky curves and geodesics on Riemannian stacks.
result Establish a stacky version of Hopf-Rinow Theorem.
New Poisson structures found on Higgs bundle moduli spaces.
problem Constructing Poisson structures on moduli spaces of Higgs bundles.
method Via Lie algebroids on stacky curves, focusing on parabolic Higgs bundles.
result Provides new examples of Poisson structures on moduli spaces.
New framework for symplectic reduction on stacky spaces.
problem Symplectic reduction on stacky spaces.
method Introducing Hamiltonian actions on étale symplectic stacks and proving theorems.
result Established symplectic reduction theorems for stacky spaces.
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…
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…
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≥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…
We discuss two generalizations of Lie groupoids. One consists of Lie n-groupoids defined as simplicial manifolds with trivial πk≥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.
problem Modeling sections of stacky Lie algebroids.
method Introduces basic sections with injective core-anchor map.
result Basic sections are Morita invariant and equivalent to multiplicative sections.
Study of foliations' geometric and topological structures.
problem Analyzing the geometric and topological properties of transversely affine foliations.
method Attach holonomy group and quotient stack, identify reparametrisations, classify them, and study the Kato-Nakayama space.
result Holonomy group controls the geometric part, while the Kato-Nakayama space captures the topological and dynamical aspects.
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…
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…
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 …
Maps vector fields between stacks and orbit spaces.
problem Understanding vector fields on stacks and orbit spaces.
method Morita stratifications and geometric vector fields correspondence.
result Derives stacky version of Gauss lemma and extends Palais' theorem.
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…
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…
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…
Study of quantum decorated character stacks and their quantizations.
problem Quantization of decorated character stacks and their compatibility with cutting and gluing.
method Using stratified factorization homology, extend Fock and Goncharov's construction to include stacky points.
result Construction of categorical charts and flips on quantum decorated character stacks.
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…
Leaves of Lie algebroids are Lie groupoids under certain conditions.
problem Understanding the structure of leaves in Lie algebroids.
method Analyzing cotangent Lie algebroids and Lie 2-group coadjoint orbits.
result Coadjoint orbits of Lie 2-groups are symplectic groupoids.
New contact structures defined on differentiable stacks.
problem Defining contact structures on differentiable stacks.
method Introducing 0-shifted and +1-shifted contact structures. result Shifted contact structures provide new insights into geometry.
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.
problem Capturing framing anomaly in gauge theory.
method Constructs a relative Crane-Yetter theory from non-semisimple data.
result Establishes invertibility property for the theory.
This thesis extends contact structures to differentiable stacks using line bundle-valued 1-forms.
problem Extending classical contact structures to differentiable stacks.
method Introducing 0 and +1-shifted contact structures on Lie groupoids, using line bundle-valued 1-forms and homotopy kernels. result Definition and examples of 0 and +1-shifted contact structures on Lie groupoids. Cyclification of orbifolds explained in cohesive higher topos theory.
problem Understanding cyclification of orbifolds in geometric and algebraic contexts.
method Cohesive higher topos theory and transgression of cohomological charges.
result Cyclification of orbifolds is a fundamental base-change construction.
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…
Study of tangent spaces in diffeological spaces under Lie group actions.
problem Understanding tangent spaces in generalized spaces.
method Generalized tangent space construction and isomorphism proof.
result Internal tangent space isomorphic to stratified tangent space.
(1,1) non-L-space knots are foliar in 3D space.
problem Proving (1,1) non-L-space knots are foliar.
method Analyzing (1,1) non-L-space knots in S3 and lens spaces. result (1,1) non-L-space knots are persistently foliar.
Universal spaces for finite topological spaces simplify shape descriptions.
problem Describing shape properties of compact metric spaces.
method Inverse limits of finite spaces and Alexandroff extensions.
result Universal spaces simplify shape descriptions of compact metric spaces.
The paper extends Stone duality to topological convexity spaces.
problem Understanding the relationship between topological convexity spaces and sup-lattices.
method Extending Stone duality to topological convexity spaces using preconvexity spaces.
result An adjunction between topological convexity spaces and sup-lattices.
New findings on GRW space-times with constant scalar curvature.
problem Understanding GRW space-times in different subspaces.
method Analyzing orthogonal subspaces of Gray's decomposition.
result Generalized quasi-Einstein GRW space-times reduce to known types of space-times.
No Einstein hypersurfaces found in Damek-Ricci spaces.
problem Existence of Einstein hypersurfaces in symmetric spaces.
method Analyzing properties of Damek-Ricci spaces and proving no Einstein hypersurface exists.
result No Einstein hypersurfaces in Damek-Ricci spaces.
Generalizes balanced manifolds to complex spaces, studying their properties and relations.
problem Generalizing balanced manifolds to complex spaces.
method Defined class B and balanced spaces, compared with Kahlerian spaces, and studied properties and relations.
result Properties and relations between balanced spaces and class B are obtained.
The distance function ϱ(p,q) (or d(p,q)) of a distance space (general metric space) is not differentiable in general. We investigate such distance spaces over Rn, whose distance functions are differentiable like in case of Finsler spaces. These spaces have several good properties, yet they are no F…
New kernels defined for various spaces, including measures.
problem Defining kernels on non-standard spaces like measures.
method Integrally strictly positive definite and characteristic kernels on Hilbert, Banach, and metric spaces.
result Explicit classes of kernels on Lp spaces and sets of measures. In a paper (math.DG/0403528) we obtained explicit examples of Moishezon twistor spaces of some compact self-dual four-manifolds admitting a non-trivial Killing field, and also determined their moduli space. In this note we investigate minitwistor spaces associated to these twistor spaces. We determine their structure, …
Metric spaces uniquely split into Hilbert and non-line-split parts.
problem Understanding the structure of metric spaces.
method Proved unique decomposition into Hilbert and non-line-split parts.
result Metric spaces have a unique decomposition into a Hilbert space and a non-line-split part.
Study geometry of tetrahedra in complex hyperbolic space and Hilbert spaces.
problem Understanding geometric relationships between complex hyperbolic spaces and Hilbert spaces.
method Use a complex analog of the cosine of a vertex angle as a novel technical tool.
result Describe possible triangular faces of tetrahedra in hyperbolic space and three-dimensional subspaces in Hilbert spaces with Pick kernels.
New curvature positivity helps classify spherical spaces and complex projective spaces.
problem Classifying spherical space forms and complex projective spaces.
method Introducing a new positivity notion for curvature.
result Characterizations for spherical space forms and complex projective spaces.
Study of complete space-like self-expanders in Minkovski space.
problem Characterize complete space-like self-expanders in Minkovski space.
method Use of maximum principle of Omori-Yau type to prove rigidity theorems.
result Classification of 2-dimensional complete space-like self-expanders with constant squared norm of the second fundamental form.
The abstract discusses the linear and smooth structures of mapping spaces.
problem The structure of mapping spaces in differential geometry.
method Proving diffeomorphisms and fibre bundle properties.
result Path spaces and base point preserving mapping spaces are Fréchet spaces.
Study on convergence of transformed metric spaces as dimensions grow.
problem Conditions for convergence of transformed metric spaces.
method Clarifying conditions for convergence of transformed spaces from original sequence and vice versa.
result Spheres and projective spaces converge to Gaussian space and its quotient as dimensions increase.
Berwald spaces with non-zero flag curvature are Riemannian.
problem Understanding the conditions under which Berwald spaces become Riemannian.
method Analyzing the flag curvature of Berwald spaces and proving their rigidity under certain conditions.
result Berwald spaces with non-zero flag curvature are Riemannian.
Characterizes when almost smooth spaces become RCD spaces.
problem Understanding conditions for almost smooth spaces to be RCD spaces.
method Characterizations via local volume doubling and Poincaré inequality.
result Characterizes Einstein 4-orbifolds.
Stability of Wasserstein spaces under various convergence types.
problem Stability and finiteness of Wasserstein spaces over singular and non-singular spaces.
method Gromov--Hausdorff convergence and equivariant Gromov--Hausdorff convergence.
result Analogue of Perelman's stability theorem on Wasserstein spaces.
New infinite families of flat spaces found from symmetric spaces.
problem Finding new flat homogeneous spaces.
method Starting from compact symmetric spaces, constructing infinite families of compact homogeneous spaces with invariant Bismut connections.
result Infinite families of compact homogeneous spaces with vanishing Ricci tensor.
New quasi space forms solve Thurston's geometrical space form problem.
problem Solving Thurston's geometrical space form problem.
method Introducing quasi space forms as non-real space forms with specific geometric properties.
result Quasi space forms offer a metrical, local geometrical solution to Thurston's problem.
Sphere theorems extended to RCD spaces and improved for Einstein stratified spaces.
problem Generalizing sphere theorems to new types of spaces.
method Proved sphere theorems for RCD(n-1, n) spaces and Einstein stratified spaces.
result Extended sphere theorems to RCD spaces and improved results for Einstein stratified spaces.