arXiv research

The study proves symplectic quandles cannot have good involutions.

Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module generated by these homotopy classes of curves, a virtual endomorphism on the pur…

Let ${\cal D}^k$ be the space of $k$-th order linear differential operators on ${\bf R}$: $A=a_k(x)\frac{d^k}{dx^k}+\cdots+a_0(x)$. We study a natural 1-parameter family of $\Diff(\bf R)$- (and $\Vect(\bf R)$)-modules on ${\cal D}^k$. (To define this family, one considers arguments of differential operators as tensor-d…

For a ring $R$, we denote by $R[\mathcal L]$ the free $R$-module spanned by the isotopy classes of singular links in $\mathbb S^3$. Given two invertible elements $x,t \in R$, the HOMFLY-PT skein module of singular links in $\mathbb S^3$ (relative to the triple $(R,t,x)$) is the quotient of $R[\mathcal L]$ by local rela…

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^n$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call "tcdga models" for the cochains on $X…

We study the structure of symplectic quandles, quandles which are also R-modules equipped with an antisymmetric bilinear form. We show that every finite dimensional symplectic quandle over a finite field F or arbitrary field F of characteristic other than 2 is a disjoint union of a trivial quandle and a connected quand…

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…

Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χha…

We propose a generalization of quantization as a categorical way. For a fixed Poisson algebra quantization categories are defined as subcategories of R-module category with the structure of classical limits. We construct the generalized quantization categories including matrix regularization, strict deformation quantiz…

Study reveals striking uniformity in triply graded link homology for specific braids.

This thesis consists of two parts which share only a slight overlap. The first part is concerned with the study of ideals in the ring $C^\infty(M,R)$ of smooth functions on a compact smooth manifold M or more generally submodules of a finitely generated $C^\infty(M,R)$-module V. We define a topology on the space of all…

We construct families of differential graded algebras R and R \boxtimes R and give an algebraic formulation of the contact category of a disk through the differential graded category DGP(R) generated by some distinguished projective differential graded R-modules. The homology category H^0(DGP(R)) is a triangulated cate…

We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another. Based on this multiplicity, we define a pseudo distance on the class of objects. W…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of their fundamental group in $G$. Under some mild conditions on $R$, we construct a…

Let $A, B$ be invertible, non-commuting elements of a ring $R$. Suppose that $A-1$ is also invertible and that the equation $[B,(A-1)(A,B)]=0$ called the fundamental equation is satisfied. Then an invariant $R$-module is defined for any diagram of a (virtual) knot or link. Solutions in the classic quaternion case hav…

Let Vect(R) be the Lie algebra of smooth vector fields on R. The space of symbols Pol(T^* R) admits a non-trivial deformation (given by differential operators on weighted densities) as a Vect(R)-module that becomes trivial once the action is restricted to sl(2). The deformations of Pol(T^* R), which become trivial once…

The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these mo…

Paper connects algebraic K-theory to foam geometry.

Classifies states of four rebits using group theory.

Abstract: Tangent categories get a Cartan calculus with scalar multiplication by a commutative ring.

The paper creates knot invariants using free groups.

Proves incoherence of free-by-free and surface-by-free groups, solving two problems.

We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is homotopy equivalent to the complex of free factor systems and moreover is (n-2)-c…

The notion of free link is a generalized notion of virtual link. In the present paper we define the group of free braids, prove the Alexander theorem that all free links can be obtained as closures of free braids and prove a Markov theorem, which gives necessary and sufficient conditions for two free braids to have the…

Corrects a 1998 proof about free factors of free groups.

The pants graph of a free group is constructed and studied.

The isomorphism problem for [free abelian]-by-free groups is unsolvable.

Foundations for free boundary Brakke flows established.

Free surface-links are shown to be ribbon links.

We investigate cobordisms of free knots. Free knots and links are also called homotopy classes of Gauss words and phrases. We define a new strong invariant of free knots which allows to detect free knots not cobordant to the trivial one.

A Seifert surface F for a knot K is free if the complement of F is a handlebody (i.e., has free fundamental group). The free genus of K is the minimum genus among all free Seifert surfaces for K. In this paper we show that there exist families of hyperbolic knots with arbitrarily large volume, which each have free genu…

We develop the notion of Brakke flow with free-boundary in a barrier surface. Unlike the classical free-boundary mean curvature flow, the free-boundary Brakke flow must "pop" upon tangential contact with the barrier. We prove a compactness theorem for free-boundary Brakke flows, define a Gaussian monotonicity formula v…

The paper classifies fixed subgroups of endomorphisms in free-abelian times surface groups.

We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic.

Paper generalizes Minkowski inequality for umbilical hypersurfaces with free boundary.

The study shows that certain groups can be uniquely identified by their finite abelian summands.

The paper identifies manifolds with free circle actions.

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.

We define risk-free portfolios using three gauge invariant differential operators that require such portfolios to be insensitive to price changes, to be self-financing, and to produce a zero real return so there are no risk-free profits. This definition identifies the risk-free rate as the return of an infinitely diver…

Proves almost profinite rigidity for certain free-by-cyclic groups.

Author provides an alternate proof of the free ribbon lemma.

We examine free orientation-reversing group actions on orientable handlebodies, and free actions on nonorientable handlebodies. A classification theorem is obtained, giving the equivalence classes and weak equivalence classes of free actions in terms of algebraic invariants that involve Nielsen equivalence. This is app…

The paper defines conditions for a free-by-free group to be hyperbolic.

Conditions for hyperbolic and relatively hyperbolic extensions of free groups using automorphisms with fixed points.

We show how to derive hyperbolicity of the free factor complex of $F_N$ from the Handel-Mosher proof of hyperbolicity of the free splitting complex of $F_N$, thus obtaining an alternative proof of a theorem of Bestvina-Feighn. We also show that under the natural map $τ$ from the free splitting complex to free factor co…

ScheduleFree+ improves large language model training without schedules or learning rates.

Proves a connectivity conjecture for free groups, showing homotopy type of spheres.

We define a notion of free product for coarse spaces that generalizes the corresponding notion of a free product for groups. We show that free products preserve coarse properties such as coarse property C, finite coarse decomposition complexity, and coarse property A. We also give an upper bound estimate on the dimensi…