arXiv research

Proof shows Chern form is closed on groupoid convolution algebra.

Transformed geometry into algebra to prove Pick's theorem efficiently.

A simplified proof for satellite knot signatures.

New proof found for Khovanov's assertion about Frobenius algebra twists.

Proofs centerless unimodular contact Lie algebras.

New proof of divisibility property for certain algebraic varieties.

Isomorphic algebra connects Toeplitz to Heisenberg group.

Hennings and Kuperberg defined quantum invariants $Z_{Henn}$ and $Z_{Kup}$ for closed oriented $3$-manifolds based on certain Hopf algebras, respectively. When the Hopf algebras are semisimple, it is shown that $Z_{Kup}=|Z_{Henn}|^2$. In this paper, we present a new proof of this equality.

Alternative proof of Khovanov's up-to-sign functoriality for odd Khovanov homology.

We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential varieties of homogeneous varieties already constructed. Our algorithms make no referenc…

We refine Osserman's argument on the exceptional values of the Gauss map of algebraic minimal surfaces. This gives an effective estimate for the number of exceptional values and the totally ramified value number for a wider class of complete minimal surfaces that includes algebraic minimal surfaces. It also provides a …

We give a computer free proof of the Deligne, Cohen and deMan formulas for the dimensions of the irreducible $g$-modules appearing in the tensor powers of $g$, where $g$ ranges over the exceptional complex simple Lie algebras. We give additional dimension formulas for the exceptional series, as well as uniform dimensio…

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

We give a short elementary proof that a Khovanov-type link homology constructed from a diagonalisable Frobenius algebra is degenerate.

We prove that the Riemannian geometry of almost Kähler manifolds can be expressed in terms of the Poisson algebra of smooth functions on the manifold. Subsequently, Kähler-Poisson algebras are introduced, and it is shown that a corresponding purely algebraic theory of geometry and curvature can be developed. As an illu…

Simplified proof of complex manifold Todd genera invariance.

Study on algebraic fiber spaces and their anti-canonical divisors.

Proves a pentagon relation in skein theory.

The classification of the holonomy algebras of Lorentzian manifolds can be reduced to the classification of irreducible subalgebras $\mathfrak{h}\subset\mathfrak{so}(n)$ that are spanned by the images of linear maps from $\mathbb{R}^n$ to $\mathfrak{h}$ satisfying an identity similar to the Bianchi one. T. Leistner fou…

Proves a special knot type is slice.

We know that any element $X$ of the exceptional Jordan algebra $\gJ$ is transformed to a diagonal form by the compact exceptional Lie group $F_4$. However, its proof is used the method which is reduced a contradiction. In this paper, we give a direct and constructive proof.

In this paper, we prove the algebraic K-theory Novikov conjecture for group algebras over the ring of Schatten class operators. The main technical tool in the proof is an explicit construction of the Connes-Chern character.

Proves integrability of strict Lie 2-algebras using cohomological methods.

We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor cer…

Proof of injection from double shuffle to Kashiwara-Vergne Lie algebra.

It is proved that the K_0-group of a cluster C*-algebra is isomorphic to the corresponding cluster algebra. As a corollary, one gets a shorter proof of the positivity conjecture for cluster algebras. As an example, we consider a cluster C*-algebra A(1,1) coming from triangulation of an annulus with one marked point on …

An elementary proof shows submodular functions can be represented as measure suprema.

In this chapter (Chapter III) we introduce the concept of Conway algebras (the notion related to entropic magmas) and describe invariants of links yielded by (partial) Conway algebras (including the Homflypt polynomial and signatures). We present, in detail, a proof (following the original Przytycki-Traczyk 1984 proof)…

This article gives a local answer to the coquecigrue problem. Hereby we mean the problem, formulated by J-L. Loday in \cite{LodayEns}, is that of finding a generalization of the Lie's third theorem for Leibniz algebra. That is, we search a manifold provided with an algebraic structure which generalizes the structure of…

The simplest case of a manifold with singularities is a manifold M with boundary, together with an identification of the boundary with a product M1 x P, where P is a fixed manifold. The associated singular space is obtained by collapsing P to a point. When P = Z/k or S^1, we show how to attach to such a space a noncomm…

Algebraic treatment of connection reduction over a special disc.

Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.

Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inferen…

In this notes it will be provided a set of techniques which can help one to understand the proof of the Hochschild-Kostant-Rosenberg theorem for differentiable manifolds. Precise definitions of multidiferential operators and polyderivations on an algebra are given, allowing to work on these concepts, when the algebra i…

We give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones.

Alternative proof for non-existence of complete curves in differential strata.

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…

We introduce a notion of secondary characteristic classes of Lie algebra extensions. As a spin-off of our construction we obtain a new proof of Lecomte's generalization of the Chern-Weil homomorphism.

Classifies vector field algebras in complex space.

We use the topological invariant of spatial graphs introduced by S. Yamada to find necessary conditions for a spatial graph to be periodic with a prime period. The proof of the main result is based on computing the Yamada skein algebra of the solid torus then proving that this algebra injects into the Kauffman bracket …

New proof of Heegaard Floer surgery formulas using Fukaya category of the torus.

Lie algebras of smooth sections are Lie algebras obtained from bundles of Lie algebras, where the latter are vector bundles of which the fibers are Lie algebras. We also consider the $\operatorname{C}^k$-sections for $k \in \mathbb{N}$. This paper studies the derivations, the centroid and the isomorphisms of such Lie a…

We algebraically compute all possible sectional curvature values for canonical algebraic curvature tensors, and use this result to give a method for constructing general sectional curvature bounds. We use a well-known method to geometrically realize these results to produce a hypersurface with prescribed sectional curv…

This paper gives a description of the full space of Bridgeland stability conditions on the bounded derived category of a contraction algebra associated to a 3-fold flop. The main result is that the stability manifold is the universal cover of a naturally associated hyperplane arrangement, which is known to be simplicia…

Simplified proof classifies surfaces using normal curves.

Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach…

The holonomy algebra of a pseudo-hyper-Kählerian manifold of signature $(4,4n+4)$ is a subalgebra of $\sp(1,n+1)$. Possible holonomy algebras of these manifolds are classified. Using this, a new proof of the classification of simply connected pseudo-hyper-Kählerian symmetric spaces of index 4 is obtained.

The Hecke algebra H_n contains well known idempotents E_λ which are indexed by Young diagrams with n cells. They were originally described by Gyoja. A skein theoretical description of E_λ was given by Aiston and Morton. The closure of E_λ becomes an element Q_λ of the skein of the annulus. In this skein, they are known…