arXiv research

FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian pro…

Homological algebra used to study local equivalence of complex rings.

The paper proves conditions for self-covering manifolds to be fiber bundles over a circle.

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

We construct analogues of FI-modules where the role of the symmetric group is played by the general linear groups and the symplectic groups over finite rings and prove basic structural properties such as Noetherianity. Applications include a proof of the Lannes--Schwartz Artinian conjecture in the generic representatio…

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

Following Vinberg, we find the criterions for a subgroup generated by reflections $Γ\subset \SL^{\pm}(n+1,\mathbb{R})$ and its finite-index subgroups to be definable over $\mathbb{A}$ where $\mathbb{A}$ is an integrally closed Noetherian ring in the field $\mathbb{R}$. We apply the criterions for groups generated by re…

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically finite group. Our result is that there are two requirements which need to hold. …

The abstract formulates and proves a categorification of Robertson's conjecture.

We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rel…

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic …

For functions of a single complex variable, points of multiplicity greater than $k$ are characterized by the vanishing of the first $k$ derivatives. There are various quantitative generalizations of this statement, showing that for functions that are in some sense close to having multiplicity greater than $k$, the firs…

The paper explores zero-divisors and idempotents in quandle rings, proving their absence in certain cases.

The paper introduces lattice homology for integrally closed submodules and applies it to geometric invariants.

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.

Global group laws connect equivariant bordism rings to formal group laws.

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

Paper computes hyperbolic structure of Borromean rings complement.

New hyperbolic manifolds found with same trace ring.

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…

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…

Study introduces dynamical ideals for non-commutative rings and classifies knots and links.

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…

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

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…

Explains the Borromean rings, icosahedron, and Poincaré homology sphere.

Generalizes cohomology ring result for combinatorial line arrangements.

New method uses quandle rings to distinguish knots and their mirrors.

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

We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ri…

L. Kauffman conjectured that a particular solution of the Chinese Rings puzzle is the simplest possible. We prove his conjecture by using low-dimensional topology and group theory. We notice also a surprising connection between the Chinese Rings and Habiro moves (related to Vassiliev invariants).

We present a deRham model for Chen-Ruan cohomology ring of abelian orbifolds. We introduce the notion of \emph{twist factors} so that formally the stringy cohomology ring can be defined without going through pseudo-holomorphic orbifold curves. Thus our model can be viewed as the classical description of Chen-Ruan cohom…