arXiv research

Study extends Elkalla's work on subnormal subgroups to $PD_3$-groups, but $L^2$-Betti numbers need verification.

This is an expository paper in which we explain how basic, standard, results about simple Lie algebras can be obtained by geometric arguments, following ideas of Cartan, Richardson and others.

Recently V. Ginzburg proved that Calogero phase space is a coadjoint orbit for some infinite dimensional Lie algebra coming from noncommutative symplectic geometry. In this note we generalize this argument to specific quotient varieties of representations of (deformed) preprojective algebras. This result was also obtai…

Geometrically proves Lie algebras are identified by their Iwasawa subalgebras.

No left-invariant hypercomplex structures found on compact Lie groups.

Compute central extension of mapping class group from stated skein algebra

We give a new proof of the fact that the condition of a Fano manifold admitting a Kähler-Einstein metric is Zariski-open (provided that the automorphism group is discrete). This proof does not use the characterisation involving stability. The arguments involve estimates of Futaki invariants obtained from a differential…

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 …

If a (non-constant) polynomial has no zero, then a certain Riemannian metric is constructed on the two dimensional sphere. Several geometric arguments are then shown to contradict this fact.

Recently Dicks-Linnell determined the $L^2$-Betti numbers of the orientable surface-plus-one-relation groups, and their arguments involved some results that were obtained topologically by Hempel and Howie. Using algebraic arguments, we now extend all these results of Hempel and Howie to a larger class of two-relator gr…

We use Morse theoretical arguments to study algebraic curves in C^2. We take an algebraic curve C in C^2 and intersect it with a family of spheres with fixed origin and varying radii. We explain in detail how does the resulting link change when we cross a singular point of C. Applying link invariants as Murasugi's sign…

Proves Khovanov homology functoriality and positivity for gl2 webs.

We give criteria for real, complex and quaternionic representations to define s-representations, focusing on exceptional Lie algebras defined by spin representations. As applications, we obtain the classification of complex representations whose second exterior power is irreducible or has an irreducible summand of co-d…

We describe a simplification of Donaldson's arguments for the construction of symplectic hypersurfaces or Lefschetz pencils that makes it possible to avoid any reference to Yomdin's work on the complexity of real algebraic sets.

Study extends geodesic ray transform results to orientable surfaces.

Homology of partition algebras matches symmetric group homology under certain conditions.

We prove by an algebraic method that the embedding of the Teichmuller space in the space of geodesic currents is totally linearly independent. We prove a similar result for all negatively curved surfaces using an ergodic argument.

The coamoeba of any complex algebraic plane curve $V$ is its image in the real torus under the argument map. The area counted with multiplicity of the coamoeba of any algebraic curve in $(\mathbb{C}^*)^2$ is bounded in terms of the degree of the curve. We show in this Note that up to multiplication by a constant in $(\…

Applying the classical Serre-Swan theorem, as this is extended to topological (non-normed) algebras, one attains a classification of elementary particles via their spin-structure. In this context, our argument is virtually based on a ``correspondence principle'' of S. A. Selesnick, formulated herewith in a sheaf-theore…

We consider the Hodge Laplacian on manifolds with incomplete edge singularities, with infinite dimensional von Neumann spaces and intricate elliptic boundary value theory. We single out a class of its algebraic self-adjoint extensions. Our microlocal heat kernel construction for algebraic boundary conditions is guided …

A connection is made between the Krammer representation and the Birman-Murakami-Wenzl algebra. Inspired by a dimension argument, a basis is found for a certain irrep of the algebra, and relations which generate the matrices are found. Following a rescaling and change of parameters, the matrices are found to be identica…

We prove that a hyperplane in a CAT(0) cubical complex X has no self-intersections and separates X into two convex complementary components. These facts were originally proved by Sageev. Our argument shows that his theorem is a corollary of Gromov's link condition. We also give new arguments establishing some combinato…

Study on a Bahri-Brezis problem on hyperbolic manifolds.

As an extension of the class of algebraic links, A'Campo, Gibson, and Ishikawa constructed links associated to immersed arcs and trees in a two-dimensional disk. By extending their arguments, we construct links associated to immersed graphs in a disk, and show that such links are quasipositive.

In this paper, we shall show that a polarized algebraic manifold is K-stable if the polarization class admits a Kaehler metric of constant scalar curvature. This generalizes the results of Chen-Tian, Donaldson and Stoppa. (Parts of the arguments are based on a forthcoming paper "A stronger concept of K-stability." )

In this paper, we derive the family switching formula of -n two-sphere fiber bundle embedded in a smooth four-manifold fiber bundle. In the smooth category, it is a partial generalization of Fintushel-Stern's argument for four-manifolds. We also derive an algebraic analogue of the family switching formula, allowing the…

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

Study $G_2$ skein algebra elements using Kuperberg webs and threading operations.

We show that every trivial 3-strand braid diagram contains a disk, defined as a ribbon ending in opposed crossings. Under a convenient algebraic form, the result extends to every Artin--Tits group of dihedral type, but it fails to extend to braids with 4 strands and more. The proof uses a partition of the Cayley graph …

After shortly recalling the construction of the Khovanov-Kuperberg algebras, we give a characterisation of indecomposable web-modules. It says that a web-module is indecomposable if and only if one can deduce it directly from the Kuperberg bracket (via a Schur lemma argument). The proofs relies on the construction of i…

We use a counting argument and surgery theory to show that if $D$ is a sufficiently general algebraic hypersurface in $\Bbb C^n$, then any local diffeomorphism $F:X \to \Bbb C^n$ of simply connected manifolds which is a $d$-sheeted cover away from $D$ has degree $d=1$ or $d=\infty$ (however all degrees $d > 1$ are poss…

This paper does not contain any new results, it is just an attempt to present, in a systematic way, one construction which establishes an interesting relationship between some ideas and notions well-known in the theory of integrable systems on Lie algebras and a rather different area of mathematics studying projectivel…

In paper "A new twist on Lorenz links" (Journal of Topology 2(2009), 227-248) Joan Birman and Ilya Kofman prove the coincidence of the class of Lorenz links and the class of twisted links. The proof in that work is algebraic. We will identify this class in terms of grid diagrams and provide a transparent geometric argu…

It is a classical result, due to F. Tricceri, that the blow-up of a manifold of locally conformally Kähler (l.c.K. for short) type at some point is again of l.c.K. type. However, the proof given in \cite{Tric} is somehow unclear. We give a different argument to prove the result, using "standard tricks" in algebraic geo…

We present a simplified exposition of some classical and modern results on graph drawings in the plane. These results are chosen so that they illustrate some spectacular recent higher-dimensional results on the border of topology and combinatorics. We define a mod2-valued self-intersection invariant (i.e. the van Kampe…

We construct families of functions in involution for transverse Poisson structures at nilpotent elements of Lie-Poisson structures on simple Lie algebras by using the argument shift method. Examples show that these families contain completely integrable systems that consist of polynomial functions. We provide a uniform…

These notes have been prepared for the Workshop on "(Non)-existence of complex structures on $\mathbb{S}^6$", to be celebrated in Marburg in March, 2017. The material is not intended to be original. It contains a survey about the smallest of the exceptional Lie groups: $G_2$, its definition and different characterizati…

We explain a direct topological proof for the multiplicativity of Duflo isomorphism for arbitrary finite dimensional Lie algebras, and derive the explicit formula for the Duflo map. The proof follows a series of implications, starting with "the calculation 1+1=2 on a 4D abacus", using the study of homomorphic expansion…

A well known result on pseudodifferential operators states that the noncommutative residue (Wodzicki residue) of a pseudodifferential projection vanishes. This statement is non-local and implies the regularity of the eta invariant at zero of Dirac type operators. We prove that in a filtered algebra the value of a proje…

Into a geometric setting, we import the physical interpretation of index theorems via semi-classical analysis in topological quantum field theory. We develop a direct relationship between Fedosov's deformation quantization of a symplectic manifold X and the BV quantization of a one-dimensional sigma model with target X…

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial proof of Sperner's Lemma can be considered as a cochain-level version, written in…

In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some universal constant depending on $n$. He obtained similar estimates for maps with va…

Minimal action of mapping class group on character variety.

We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all flag manifolds ${\rm SL}_n/P$. We consider mainly the cases of proper smooth va…

This note will prove a discreteness criterion for groups of orientation-preserving isometries of the hyperbolic space which contain a parabolic element. It can be viewed as a generalization of the well-known results of Shimizu-Leutbecher and Jorgensen in dimensions 2 and 3, and is closely related to Waterman's inequali…

We study the geometry and topology of (filtered) algebra-bundles ${\bfΨ}^{\mathbb Z}$ over a smooth manifold $X$ with typical fibre $Ψ^{\mathbb Z}(Z; V)$, the algebra of classical pseudodifferential operators of integral order on the compact manifold $Z$ acting on smooth sections of a vector bundle $V$. First a theorem…

New examples of k-regular maps to Grassmannians found via algebraic geometry.

We show that the three-dimensional homology cobordism group admits an infinite-rank summand. It was previously known that the homology cobordism group contains a $\mathbb{Z}^\infty$-subgroup and a $\mathbb{Z}$-summand. Our proof proceeds by introducing an algebraic variant of the involutive Heegaard Floer package of He…