We give a constructive proof that the Regge symmetry is a scissors congruence in hyperbolic space. The main tool is Leibon's construction for computing the volume of a general hyperbolic tetrahedron. The proof consists of identifying the key elements in Leibon's construction and permuting them.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,742 papers · 148 categories
Trend · papers per month
48 results for “constructive proof”
Geometric proof of contractibility of unitary group in strong topology.
problem Contractibility of unitary group in strong operator topology.
method Direct geometric proof and construction of special subspaces and operators.
result Direct geometric proof of contractibility theorem.
New proof for discrete Morse theory using combinatorial construction.
problem Verifying the Morse differential in discrete Morse homology.
method Combinatorial construction of flowlines in discrete Morse theory.
result Morse differential squares to zero in discrete Morse homology.
We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential varieties of homogeneous varieties already constructed. Our algorithms make no referenc…
Modified proof constructs dual spheres for 4-manifolds.
problem Prove dual spheres for 4-manifolds.
method Modified proof of disc embedding theorem, geometric construction.
result Constructs geometrically dual spheres.
Proof of Gromov's theorem on convex polytopes with acute angles.
problem Gromov's conjecture on extremal scalar curvature of convex polytopes.
method Smoothing construction using Dirac operator techniques.
result Detailed proof of Gromov's theorem.
Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding'…
Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics. However, human experts have to construct proofs manually by en…
Geometrically constructs dilogarithm from Chern-Simons theory.
problem Dilogarithm function and its properties.
method Spin Chern-Simons invariant of C*-connections.
result Geometric proofs of dilogarithm identities and branching structure.
Formalizes synthetic differential geometry in Lean.
problem Formalizing synthetic differential geometry in a proof assistant.
method Formalization of synthetic differential geometry with Lean and mathlib.
result Proves a Taylor theorem for functions of several variables.
New proof shows all conformal vector fields on complex hyperbolic space are Killing.
problem Proving all conformal vector fields on complex hyperbolic space are Killing.
method Local, analytic, and constructive approach using Lie group model and partial differential equations.
result Every conformal vector field on complex hyperbolic space is Killing.
We know that any element of the exceptional Jordan algebra $\gJ$ is transformed to a diagonal form by the compact exceptional Lie group . However, its proof is used the method which is reduced a contradiction. In this paper, we give a direct and constructive proof.
Using bordered Floer theory, we give a combinatorial construction and proof of invariance for the hat version of Heegaard Floer homology. As a part of the proof, we also establish combinatorially the invariance of the linear-categorical representation of the strongly-based mapping class groupoid given by the same theor…
We provide an alternative, simpler proof of the existence of thick triangulations for noncompact manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary differential topology. The role played by curvatures in this construction is also…
New proof confirms operations on constructible functions match theory.
problem Matching operations on constructible functions with generalized valuations theory.
method Comparison with characteristic cycles approach.
result Operations on constructible functions match generalized valuations theory under mild assumptions.
The paper proves a theorem about constructing Higgs bundle moduli space.
problem Constructing the moduli space of Higgs bundles on a closed Riemann surface.
method Uses Kuranishi slice method and GIT quotient to prove the moduli space is a complex space locally modeled on a quadratic cone.
result The moduli space of Higgs bundles is a complex space locally modeled on an affine GIT quotient of a quadratic cone.
Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classificationmath.DG
Two new proofs classify complete totally geodesic subsets of complex hyperbolic plane.
problem Classify complete totally geodesic subsets of complex hyperbolic plane.
method Two new proofs: one algebraic and one geometric.
result Only complex geodesics and real planes are non-trivial complete totally geodesic subsets.
Constructs hyperbolic surfaces with small eigenvalues.
problem Finding hyperbolic surfaces with eigenvalues below a given threshold.
method Geometric proof using techniques from B.Randol's 1974 paper.
result Constructs closed hyperbolic covering surfaces with eigenvalues less than any small positive number ε.
All link types arise from semiholomorphic polynomials.
problem Proving every link type can be represented by semiholomorphic polynomials.
method Constructive proof showing every link type arises from a weakly isolated singularity of a semiholomorphic polynomial.
result Every link type in the 3-sphere arises as the link of a weakly isolated singularity of a semiholomorphic polynomial.
Non-property (t) for SO(n,1)math.GT
Concrete proof that SO(n,1) is not a T-group.
problem Proving SO(n,1) is not a T-group.
method Constructed a concrete model for hyperbolic space and measure, proving hyperbolic distance equals measure up to a constant.
result Concrete proof that SO(n,1) is not a T-group.
Direct proof of hyperbolicity for a family of knots.
problem Proving the hyperbolicity of a family of knots.
method Using a theorem of Casson and Rivin, constructing geometric triangulations.
result Direct proof of hyperbolicity for -pretzel knots and links with .
Paper provides a rigorous proof of the index theorem for economists.
problem Lack of a rigorous proof in textbooks for economists.
method Constructs a readable proof of the index theorem under specific assumptions.
result Provides a gap-free proof of the index theorem.
Consider a family of K3 surfaces over a hyperbolic curve (i.e. Riemann surface). Their second cohomology groups form a local system, and we show that its top Lyapunov exponent is a rational number. One proof uses the Kuga-Satake construction, which reduces the question to Hodge structures of weight 1. A second proof us…
All paths admit trajectoidsmath.DG
New proof confirms rolling objects can follow any path.
problem Existence of rolling objects following any path.
method Geometric proof for period-n trajectoids.
result Existence of period-n trajectoids for any smooth curve.
We present a short elementary proof of an existence theorem of certain CAT(-1)-surfaces in open hyperbolic 3-manifolds. The main construction lemma in Calegari and Gabai's proof of Marden's Tameness Conjecture can be replaced by an applicable version of our theorem.
Modified proof constructs holomorphic quilts on closed surfaces.
problem Compare Lagrangian Floer theory with quilted Lagrangian Floer theory.
method Modified proof of holomorphic quilts from Wehrheim and Woodward.
result Supports Bottman and Wehrheim's conjecture on isomorphism.
Revisits Pontryagin's proof of stable stems 0, 1, and 2.
problem Computing stable stems in dimensions 0, 1, and 2.
method Introduction of homotopy theory concepts, framed cobordism, and Pontryagin-Thom construction.
result Corrects the result of \(\pi_2^S\) from \cite{Pont2} and computes stable stems in dimensions 0, 1, and 2.
In this paper we prove genus bounds for closed embedded minimal surfaces in a closed 3-dimensional manifold constructed via min-max arguments. A stronger estimate was announced by Pitts and Rubistein but to our knowledge its proof has never been published. Our proof follows ideas of Simon and uses an extension of a fam…
In this paper, we give a general group-theoretic construction of affine $\RR$-buildings, and more generally, of affine -buildings, associated to semisimple Lie groups over nonarchimedean real closed fields. The construction of Kleiner-Leeb using the asymptotic cone of a Riemannian symmetric space appears as a specia…
Original abstract: "We construct periodic solutions of nonlinear wave equations using analytic continuation. The construction applies in particular to Einstein equations, leading to infinite-dimensional families of time-periodic solutions of the vacuum, or of the Einstein-Maxwell-dilaton-scalar fields-Yang-Mills-Higgs-…
New proof of divisibility property for certain algebraic varieties.
problem Divisibility property for LQEL varieties.
method Construction of Clifford algebra representations to Severi varieties.
result New proof of Russo's Divisibility Property for LQEL varieties.
We construct cup and cap products in intersection (co)homology with field coefficients. The existence of the cap product allows us to give a new proof of Poincare duality in intersection (co)homology which is similar in spirit to the usual proof for ordinary (co)homology of manifolds.
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsev…
Two new proofs provide Eguchi-Hanson metrics as ALE bubbles for Kummer constructions of K3 metrics.
problem Constructing Ricci-flat Kähler metrics on the K3 surface with special holonomy.
method Singular perturbation and weighted function space analysis.
result Large families of compact hyper-Kähler orbifolds as volume non-collapsed limits of Kummer constructions.
In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable users to construct machine-checkable proofs in a step-by-step manner. Hence, they provide an opportuni…
We reformulate Heegaard Floer homology in terms of holomorphic curves in the cylindrical manifold Sigma x [0,1] x R, where Sigma is the Heegaard surface, instead of Sym^g(Sigma). We then show that the entire invariance proof can be carried out in our setting. In the process, we derive a new formula for the index of the…
We will simplify the earlier proofs of Perelman's collapsing theorem of 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's semi-convex analysis of distance functions to construct the desired local Seifert fibration structure on collapsed 3-manifolds. The verification of Perelma…
New proof shows compact homogeneous LCK manifolds are Vaisman.
problem Proving compact homogeneous LCK manifolds are Vaisman.
method Using homogeneous LCK manifolds with potential and a new metric construction.
result Compact homogeneous LCK manifolds are Vaisman.
In this paper, we present a new approach to the construction of Einstein metrics by a generalization of Thurston's Dehn filling. In particular in dimension 3, we will obtain an analytic proof of Thurston's result.
The aim of this paper is to give an alternative proof of a theorem about the existence of contact structures on five-manifolds due to Geiges. This theorem asserts that simply-connected five-manifolds admit a contact structure in every homotopy class of almost contact structures. Our proof uses the open book constructio…
The combined work of Guaraco, Hutchinson, Tonegawa and Wickramasekera has recently produced a new proof of the classical theorem that any closed Riemannian manifold of dimension contains a minimal hypersurface with a singular set of Hausdorff dimension at most . This proof avoids the Almgren--Pitts …
We construct an equivariant colored sl(N)-homology for links, which generalizes both the colored sl(N)-homology defined by the author and the equivariant sl(N)-homology defined by Krasner. The construction is a straightforward generalization of that of the colored sl(N)-homology. The proof of invariance is based on a s…
We prove the conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on sever…
We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here …
Proofs for flows of linear vector fields and their applications.
problem Existence of flows for linear vector fields and related properties.
method Detailed proofs and flow construction techniques.
result Smooth triviality of vector bundles over contractible bases and isomorphy of fibers of transitive Lie algebroids.
We give a short elementary proof that a Khovanov-type link homology constructed from a diagonalisable Frobenius algebra is degenerate.
Constructs knots from 3-manifolds with specified geometric limits.
problem Build knots from 3-manifolds with specific geometric properties.
method Constructs explicit families of knots converging to specified 3-manifolds.
result Constructs knots from geometrically finite 3-manifolds with one end.
New proofs for complex Hopf manifolds using geometric structures.
problem Proving properties of complex Hopf manifolds.
method Constructing integrable holomorphic G-structures and flat holomorphic Cartan geometries.
result Provided a new proof of flat holomorphic Cartan geometries on complex Hopf manifolds.