arXiv research

A C-infinity ring is a set equipped with n-ary operations corresponding to smooth n-ary functions on the real line (satisfying natural axioms). We prove that the cosimplicial abelian group associated to the de Rham complex of Euclidean space has the structure of a cosimplicial C-infinity ring. We also analyse the notio…

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

Defines vector fields and differential forms on local C-infinity-ringed spaces.

Constructs differential forms on $C^\infty$-ringed spaces.

Vector fields on schemes have flows if rings are finitely generated.

Lie-Rinehart algebras over $C^\infty$-rings defined and studied.

In the model of synthetic differential geometry consisting of sheaves (with respect to open covers) over the opposite category of the category of closed finitely generated C-infinity rings, any morphism from S, the zeroes of the "amazing right adjoint" of dx, to the real line R extends to a morphism from R to R. This s…

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such…

The paper proposes a method to compute higher infinitesimals in numerical and symbolic analysis.

This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in particular, the notion of a differential graded algebra in the wo…

In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with family of metrics.

We prove a uniform C^alpha estimate for collapsing Calabi-Yau metrics on the total space of a proper holomorphic submersion over the unit ball in C^m. The usual methods of Calabi, Evans-Krylov, and Caffarelli do not apply to this setting because the background geometry degenerates. We instead rely on blowup arguments a…

We consider curvature flows in hyperbolic space with a monotone, symmetric, homogeneous of degree 1 curvature function F. Furthermore we assume F to be either concave and inverse concave or convex. For compact initial hypersurfaces, which are strictly convex by horospheres, we show the long time existence of mixed volu…

A pair of points (x,y) in a Riemannian manifold (M,g) is said to have the finite blocking property if there is a finite set P contained in M\{x,y} such that every geodesic segment from x to y passes through a point of P. We show that for every closed C-infinity manifold M of dimension at least two and every pair (x,y) …

Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization.

In this paper, we consider a new length preserving curve flow for convex curves in the plane. We show that the global flow exists, the area of the region bounded by the evolving curve is increasing, and the evolving curve converges to the circle in C-infinity topology as t goes to infinity.

New Frobenius manifold structures found on Dicyclic group orbits.

Functional AD for Weil algebra computations.

Smooth $C^1$ contact maps are always smooth in rigid Carnot groups.

Study cohomology rings of Grassmannians using Clifford algebras and symmetric spaces.

We analyze the possibility of defining infinite-dimensional manifolds as ringed spaces. More precisely, we consider three definitions of manifolds modeled on locally convex spaces: in terms of charts and atlases, in terms of ringed spaces, and in terms of functored spaces, as introduced by Douady in his thesis. It is s…

In this article, we continue the classification of finite type Gauss map surfaces in the Euclidean 3-space E3 with respect to the first fundamental form by studying a subclass of tubes, namely the anchor rings. We show that anchor rings are of infinite type Gauss map.

This article concerns new off-diagonal estimates on the remainder and its derivatives in the pointwise Weyl law on a compact n-dimensional Riemannian manifold. As an application, we prove that near any non self-focal point, the scaling limit of the spectral projector of the Laplacian onto frequency windows of constant …

The main result in this paper is that the space of all smooth links in Euclidean 3-space isotopic to the trivial link of n components has the same homotopy type as its finite-dimensional subspace consisting of configurations of n unlinked Euclidean circles (the "rings" in the title). There is also an analogous result f…

A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids. Basic properties of the Poisson K-ring are proved and the Poisson K-rings are calcul…

Probabilistic theory counts intersections in Riemannian spaces.

We describe the cohomology ring of the moduli space of a flexible polygon in geometrically meaningful terms. We propose two presentations, both are computation friendly: there are simple rules for cup product.

A new isomorphism connects fundamental group ring quotients to cohomology.

Study of tautological forms on curve moduli spaces.

In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well.

We study the ring generated by the Chern classes of tautological line bundles on the moduli space of parabolic bundles of arbitrary rank on a Riemann surface. We show the Poincaré duals to these Chern classes have simple geometric representatives. We use this construction to show that the ring generated by these Chern …

New link colorings using quandle rings and idempotents are stronger than existing methods.

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the modul…

We prove that the spaces of chains in $\bbr^d$ for $d\geq 3$ are determined by their (${\rm mod}2$)-cohomology rings.

Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universa…

Study characteristic classes for manifold bundles, focusing on fiber families.

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to q…

The study connects norms and filtrations on section rings of projective manifolds.

Paper shows hyperbolic 3-manifolds can sound the same but have different cohomology.

Researchers find Frobenius manifold structures on orbits spaces of finite groups.

We give a proof of a Conjecture of Walker which states that one can recover the lengths of the bars of a circular linkage from the cohomology ring of the configuration space. For a large class of length vectors, this has been shown by Farber, Hausmann and Schuetz. In the remaining cases, we use Morse theory and the fun…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain …

We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Ca…

We give a presentation for the Floer cohomology ring $HF^*(Σ\times S^1)$, where $Σ$ is a Riemann surface of genus bigger than one, which coincides with the conjectural presentation for the quantum cohomology ring of the moduli space of flat SO(3)-connections of odd degree over $Σ$. We study the spectrum of the action o…

We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement.

Motivated by deformation quantization, we introduced in an earlier work the notion of formal Morita equivalence in the category of $^*$-algebras over a ring $\ring C$ which is the quadratic extension by $\im$ of an ordered ring $\ring R$. The goal of the present paper is twofold. First, we clarify the relationship betw…

Researchers describe the dual of cohomology generators for SU(2) character varieties of surfaces.