arXiv research

Extends manifold theory to $\mathcal{I}$-graded manifolds.

Proves finitely generated graded rings for klt singularities.

We define an integer graded symplectic Floer cohomology and a Fintushel-Stern type spectral sequence which are new invariants for monotone Lagrangian sub-manifolds and exact isotopes. The Z-graded symplectic Floer cohomology is an integral lifting of the usual Z_Sigma(L)-graded Floer-Oh cohomology. We prove the Kunneth…

We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group action which categorifies the Burau representation.

Constructs a new graded variety from algebraic data.

We extend the notion of super-Minkowski space-time to include $\mathbb{Z}_2^n$-graded (Majorana) spinor coordinates. Our choice of the grading leads to spinor coordinates that are nilpotent but commute amongst themselves. The mathematical framework we employ is the recently developed category of $\mathbb{Z}_2^n$-manifo…

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…

Proves finitely generated associated graded rings for valuations on log Fano pairs.

New Morse theory for path homology with coefficients.

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…

We show that the triply graded Khovanov-Rozansky homology of the torus link $T_{n,k}$ stablizes as $k\to \infty$. We explicitly compute the stable homology (as a ring), which proves a conjecture of Gorsky-Oblomkov-Rasmussen-Shende. To accomplish this, we construct complexes $P_n$ of Soergel bimodules which categorify t…

Defines formal exponentials for graded manifolds and linearizes QP-manifolds.

We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the F…

K. Ding studied a class of Schubert varieties X_λin type A partial flag manifolds, corresponding to integer partitions λand in bijection with dominant permutations. He observed that the Schubert cell structure of X_λis indexed by maximal rook placements on the Ferrers board B_λ, and that the integral cohomology groups …

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplicatio…

The Habiro ring of a number field uses power series to study algebraic K-theory.

We explore the graded and filtered formality properties of finitely generated groups by studying the various Lie algebras over a field of characteristic 0 attached to such groups, including the Malcev Lie algebra, the associated graded Lie algebra, the holonomy Lie algebra, and the Chen Lie algebra. We explain how thes…

Globalizes Jones and Alexander polynomials using topological intersections.

For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ri…

Continuous metrics on ample bundles lie in infinite-dimensional cones.

Probabilistic theory counts intersections in Riemannian spaces.

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

In this paper we use Kuperberg's $\mathfrak{sl}_3$-webs and Khovanov's $\mathfrak{sl}_3$-foams to define a new algebra $K^S$, which we call the $\mathfrak{sl}_3$-web algebra. It is the $\mathfrak{sl}_3$ analogue of Khovanov's arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we cate…

We introduce a novel type of stabilization map on the configuration spaces of a graph, which increases the number of particles occupying an edge. There is an induced action on homology by the polynomial ring generated by the set of edges, and we show that this homology module is finitely generated. An analogue of class…

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

For a Poincare duality space X and a map X -> B, consider the homotopy fiber product X x^B X. If X is orientable with respect to a multiplicative cohomology theory E, then, after suitably regrading, it is shown that the E-homology of X x^B X has the structure of a graded associative algebra. When X -> B is the diagonal…

In this paper, we introduce a category of graded commutative rings with certain algebraic morphisms, to investigate the cobordism category of plumbed 3-manifolds. In particular, we define a non-associative distributive algebra that gives necessary conditions for an abstract morphism between the homologies of two plumbe…

Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold, such as instanton moduli spaces on $\mathbb R^4$, $SU(2)$-monopole moduli spa…

In this article, we investigate various properties of the pure virtual braid group PV_3. From its canonical presentation, we obtain a free product decomposition of PV_3. As a consequence, we show that PV_3 is residually torsion free nilpotent, which implies that the set of finite type invariants in the sense of Goussar…

Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie alge…

The covariant canonical formalism is a covariant extension of the traditional canonical formalism of fields. In contrast to the traditional canonical theory, it has a remarkable feature that canonical equations of gauge theories or gravity are not only manifestly Lorentz covariant but also gauge covariant or diffeomorp…

We show that from an even degree symplectic NQ-manifold, whose homological vector field Q preserves the symplectic form, one can construct a weight system for tri-valent graphs with values in the Q-cohomology ring, satisfying the IHX relation. Likewise, given a representation of the homological vector field, one can co…

Proves unique degeneration of log Fano fibration germs.

Defines a filtration on variational bicomplex for concise functional form conditions.

New dg-algebras link graph colorings to sheaves.

New algebraic structures on manifolds generalize supergeometry concepts.

Given a klt singularity $x\in (X, D)$, we show that a quasi-monomial valuation $v$ with a finitely generated associated graded ring is the minimizer of the normalized volume function $\widehat{\rm vol}_{(X,D),x}$, if and only if $v$ induces a degeneration to a K-semistable log Fano cone singularity. Moreover, such a mi…

We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do this by proving that, for a finitely generated group $G$ satisfying an assumpti…

Extends Lawrence's representations to integral $U_q \mathfrak{sl}(2)$ Verma-modules and braid groups.

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…

The graded algebra Lambda defined by Pierre Vogel is of general interest in the theory of finite-type invariants of knots and of 3-manifolds because it acts on the corresponding spaces of connected graphs subject to relations called IHX and AS. We examine a subalgebra Lambda_0 that is generated by certain elements call…

We show that the small quantum product of the generalized flag manifold $G/B$ is a product operation on $H^*(G/B)\otimes \bR[q_1,..., q_l]$ uniquely determined by the fact that it is a deformation of the cup product on $H^*(G/B)$, it is commutative, associative, graded with respect to $°(q_i)=4$, it satisfies a certain…

This thesis splits into two major parts. The connection between the two parts is the notion of "categorification" which we shortly explain/recall in the introduction. In the first part of this thesis we extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex…

New geometric invariant from disc intersections captures all coloured Jones polynomials.

We extend the theory of combinatorial link Floer homology to a class of oriented spatial graphs called transverse spatial graphs. To do this, we define the notion of a grid diagram representing a transverse spatial graph, which we call a graph grid diagram. We prove that two graph grid diagrams representing the same tr…

I consider principal Higgs bundles satisfying a notion of numerical flatness (H-nflatness) that was introduced by Bruzzo and Graña Otero. I prove that a principal Higgs bundle $\mathfrak{E}=(E,\varphi)$ is H-nflat is either stable or there exists a Higgs reduction of $\mathfrak{E}$ to a parabolic subgroup $P$ of $G$ su…

Constructive approach to Lie algebra gradings, computing maximal and enumerating all gradings.

The geometry of graded principal bundles is discussed in the framework of graded manifold theory of Kostant-Berezin-Leites. In particular, we prove that a graded principal bundle is globally trivial if and only if it admits a global graded section and, further, that the sheaf of vertical derivations on such a bundle co…