Research
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,657 papers · 148 categories

Trend · papers per month

113225338450 · Jun 202019922001200920172026
48 results for type theory

We define string geometry: spaces of superstrings including the interactions, their topologies, charts, and metrics. Trajectories in asymptotic processes on a space of strings reproduce the right moduli space of the super Riemann surfaces in a target manifold. Based on the string geometry, we define Einstein-Hilbert ac…

2017-09-11abs ↗pdf ↗

A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki'…

1998-05-06abs ↗pdf ↗

This article constructs the moduli stack of torsionfree GG-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any \infty-topos equipped with any stable factorization systems. In the intended applications of this theory, the factorization systems are …

2018-06-15abs ↗pdf ↗

We extend Weil-Petersson theory to infinite type Teichmüller spaces.

problem Defining and analyzing Weil-Petersson geometry for infinite-dimensional Teichmüller spaces.
method Rigorous definition of complex Hilbert manifold structures, Kähler geometry, and global analysis.
result Generalizations of the period mapping and Weil-Petersson Teichmüller space in other fields.

Synthetic theory defines orbifolds as microlinear types with finite identifications.

problem Defining orbifolds in traditional set-level foundations with internal symmetries.
method Synthetic differential cohesive homotopy type theory, microlinearity, finite identifications.
result Proper étale groupoids are orbifolds in synthetic theory.

Study on homeomorphism groups of manifolds using set theory.

problem Relationship between set theory and homeomorphism groups of manifolds.
method First-order rigidity, type versus conjugacy, axiom of constructibility, projective determinacy.
result Under V=L, homeomorphism groups of manifolds are first-order rigid and conjugacy class is determined by type.

Several formulas for computing coarse indices of twisted Dirac type operators are introduced. One type of such formulas is by composition product in EE-theory. The other type is by module multiplications in KK-theory, which also yields an index theoretic interpretation of the duality between Roe algebra and stable Hi…

2016-06-03abs ↗pdf ↗

Topological twists for 4d N=2 theories depend on spacetime type, gerbe connections, and generalized spin-c structures.

problem Defining topologically twisted partition functions for 4d N=2 theories.
method Topological twisting for general 4d N=2 theories, introducing generalized spin-c structures.
result Topological partition functions depend on spacetime type, gerbe connections, and generalized spin-c structures.

Cubic complexes appear in the theory of finite type invariants so often that one can ascribe them to basic notions of the theory. In this paper we begin the exposition of finite type invariants from the `cubic' point of view. Finite type invariants of knots and homology 3-spheres fit perfectly into this conception. In …

2002-04-08abs ↗pdf ↗

We systematically analyse the necessary and sufficient conditions for the preservation of supersymmetry for bosonic geometries of the form R^{1,9-d} \times M_d, in the common NS-NS sector of type II string theory and also type I/heterotic string theory. The results are phrased in terms of the intrinsic torsion of G-str…

2003-02-19abs ↗pdf ↗

Weierstrass-type representations have been used extensively in surface theory to create surfaces with special curvature properties. In this paper we give a unified description of these representations in terms of classical transformation theory of ΩΩ-surfaces.

2018-09-01abs ↗pdf ↗

A recent paper by Moore and Witten explained that Ramond-Ramond fields in Type II superstring theory have a global meaning in K-theory. In this note we amplify and generalize some points raised in that paper. In particular, we express the coupling of the Ramond-Ramond fields to D-branes in a K-theoretic framework and s…

2000-02-03abs ↗pdf ↗

We present an explicit formula for the topology and H-flux of the T-dual of a general type II compactification, significantly generalizing earlier results. Our results apply to T-dualities with respect to any circle action on spacetime. As before, T-duality exchanges type IIA and type IIB string theories. A new consequ…

2011-08-25abs ↗pdf ↗

Abstract: Generalizes stability theories over toric varieties and Novikov type rings.

problem Stability theories over toric varieties and Novikov type base.
method Generalization of stability theories to families over toric varieties and their analytic analogues.
result Established properness of moduli of Calabi-Yau cones and Kahler-Ricci solitons.

Aether theory is introduced to implement the violation of the Lorentz invariance in general relativity. For this purpose a unit timelike vector field introduced to theory in addition to the metric tensor. Aether theory contains four free parameters which satisfy some inequalities in order that the theory to be consiste…

2008-01-03abs ↗pdf ↗

Paper solves the minimal generating set problem for singular Reidemeister moves.

problem Determine minimal generating sets of oriented singular Reidemeister moves.
method Introduced new invariant for singular links to detect type IV moves and provide obstructions.
result Proved exactly 96 distinct inclusion-minimal generating sets for singular moves.

In this paper we outline a program for the classification of Floer-type theories, (or defining invariants of finite type for families). We consider Khovanov complexes as a local system on the space of knots introduced by V. Vassiliev and construct the wall-crossing morphism. We extend this system to the singular locus …

2007-04-10abs ↗pdf ↗

Graph potentials link to topological QFTs, with computational methods.

problem Defining a topological quantum field theory using graph potentials.
method Using colored trivalent graphs and birational type to define a topological QFT.
result Graph potentials' birational type depends on the graph's homotopy type.

This paper extends geometric structure theory to infinite type structures.

problem Calculating characteristic class relations in complex Cartan geometries.
method Improves representation theory for infinite type structures.
result Direct calculation of characteristic class relations from structure group representation.

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a higher-order generalisation of a part of Arnold's invariants that are first-ord…

2008-03-14abs ↗pdf ↗

This paper studies finite type invariants for welded string links and ribbon tubes, showing characterizations and algebraic structures.

problem Finite type invariants for ribbon knotted surfaces and their relation to welded string links.
method Developed a theory of finite type invariants for welded string links up to wkw_k-equivalence, studied algebraic structures, and showed characterizations.
result Characterizes the information contained by finite type invariants in low degrees for welded string links.

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams o…

2005-08-03abs ↗pdf ↗

The study explores discrete versions of Riemannian geometry structures on manifolds.

problem Understanding the relationship between discrete structures and continuous Riemannian geometry.
method Surveying and analyzing discrete counterparts of Riemannian geometry concepts on graphs and simplicial complexes.
result Recent developments include Cheeger type inequalities for higher-dimensional simplicial complexes and Floer type constructions.

Interprets coarse symbol and index classes for Callias type operators.

problem Understanding coarse geometry and index classes for Callias type operators.
method Interprets coarse symbol and index classes in terms of K-theory classes of coarse corona.
result Local positivity and invertibility conditions are incorporated into support conditions in K-theory.

The Birman-Hilden theory is extended to infinite type surfaces and branched covers.

problem Extending Birman-Hilden theory to surfaces of infinite type and branched covers of infinite degree.
method Proving the Birman-Hilden property for fully ramified branched covering maps.
result The mapping class group of a non-orientable surface of infinite type can be realized as a subgroup of the mapping class group of its orientable double cover.