arXiv research

New hyperbolic manifolds found with same trace ring.

Introduces LRY skein algebras generalizing Kauffman bracket and Roger-Yang skein algebras.

We study the structure underlying Ng's conjecture, which relates the degree $0$ abelian knot contact homology of a knot $K$ to the coordinate ring of the $SL_2(\mathbf{C})$-character variety $X(Σ_2 K)$ of the $2$-fold branched cover of the $3$-sphere branched along $K$. Our approach is based on the study of (meridional…

We study power expansions of the characteristic function of a linear operator $A$ in a $p|q$-dimensional superspace $V$. We show that traces of exterior powers of $A$ satisfy universal recurrence relations of period $q$. `Underlying' recurrence relations hold in the Grothendieck ring of representations of $\GL(V)$. The…

Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology. We show that the image of trace homomorphism is annihilated by the subalgebra o…

We give a sufficient condition on the hyperplanes used in the inbreeding construction of Belolipetsky-Thomson to obtain nonarithmetic manifolds. We construct explicitly infinitely many examples of such manifolds that are pairwise non-commensurable and estimate their volume.

We propose a purely algebraic approach to construct invariants of transversal links in the standard contact structure on the 3-sphere generalizing Jones' approach to invariant of usual links. The only geometry used is the analogue of Alexander and Markov theorems. More precisely, we construct a trace on a certain cubic…

Study proves certain algebraic structures are symmetric Frobenius algebras.

The paper finds torsion in Johnson homomorphisms' cokernels for large genus surfaces.

We study the relationship between Ng's abelian cord ring and SL(2,C) characters of the two-fold branched cover $Σ(K)$. Augmentations, and their corresponding rank, play a central role in the relationship. Our study also leads to a correspondence between trace-free SL(2,C) characters of a knot complement and augmentatio…

Defines a map connecting 3d-index and skein module.

The paper presents a new algebraic structure for planar surfaces.

Researchers compute torsion for homology cylinders, proving it a finite-type invariant.

Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its qu…

Quantum trace maps for surfaces are shown to be compatible under triangulations.

We prove that the Farrell-Jones assembly map for connective algebraic K-theory is rationally injective, under mild homological finiteness conditions on the group and assuming that a weak version of the Leopoldt-Schneider conjecture holds for cyclotomic fields. This generalizes a result of Bökstedt, Hsiang, and Madsen, …

We show that the $(4,5)$- and $(5,6)$-torus knots admit ghost characters. Consequently, these knots provide counterexamples to Ng's conjecture, which proposes an isomorphism between the complexification of degree $0$ abelian knot contact homology and the coordinate ring of the character variety of the $2$-fold branched…

We study the Thurston norm on the second homology of a 3-manifold M, which is the surface bundle over the circle with a pseudo-Anosov monodromy. A novelty of our approach consists in the application of the C*-algebras to a problem in topology. Namely, one associates to M a C*-algebra, whose K-theory gives rise to an al…

We describe the universal target of annular Khovanov-Rozansky link homology functors as the homotopy category of a free symmetric monoidal category generated by one object and one endomorphism. This categorifies the ring of symmetric functions and admits categorical analogues of plethystic transformations, which we use…

New proof of SL(n) skein algebra for twice punctured sphere, showing it's a polynomial algebra.

We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group a…

An important preprocessing step in most data analysis pipelines aims to extract a small set of sources that explain most of the data. Currently used algorithms for blind source separation (BSS), however, often fail to extract the desired sources and need extensive cross-validation. In contrast, their rarely used probab…

The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles are given. It is proved that quandle rings of left or right orderable quandles which are semi-latin have no zero-divisors. …

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

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…

Investigates differential smoothness of 3D skew polynomial rings.

We define a notion of stability for chiral ring of four dimensional N=1 theory by introducing test chiral rings and generalized a maximization. We conjecture that a chiral ring is the chiral ring of a superconformal field theory if and only if it is stable. We then study N=1 field theory derived from D3 branes probing …

A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring, in…

The paper examines differential smoothness in skew PBW extensions over polynomial rings.

Criteria for smoothness of ambiskew polynomial rings.

This paper calculates the skein algebra of the Borromean rings complement.

The paper explores idempotents in quandle rings and their connections to quandle coverings.

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

Researchers found only one hyperbolic structure for Borromean rings.

New argument for 3-manifold cohomology with $\mathbb{F}_2$ coefficients.

Paper computes hyperbolic structure of Borromean rings complement.

We calculate the intersection ring of three-dimensional graph manifolds with rational coefficients and give an algebraic characterization of these rings when the manifold's underlying graph is a tree. We are able to use this characterization to show that the intersection ring obstructs arbitrary three-manifolds from be…

Homological algebra used to study local equivalence of complex rings.

In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring motions of general ring links in $\mathbb{R}^3$. This sequence allowed us to build th…

We show that solutions of Thurston equation on triangulated 3-manifolds in a commutative ring carry topological information. We also introduce a homogeneous Thurston equation and a commutative ring associated to triangulated 3-manifolds.

We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).

Study Coxeter groups over fusion rings and their geometric realisations.

Differential K-theory gets a $λ$-ring structure.

Division algorithm for surface group rings yields standard complexes and cohomological dimensions.

New Frobenius manifold structures found on Dicyclic group orbits.

We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are available at regular primes, but we seek more conceptual answers in terms of lo…

For every abelian compact Lie group A, we prove that the homotopical A-equivariant complex bordism ring, introduced by tom Dieck (1970), is isomorphic to the A-equivariant Lazard ring, introduced by Cole-Greenlees-Kriz (2000). This settles a conjecture of Greenlees. We also show an analog for homotopical real bordism r…

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