相关论文: Algebraic proof of explicit formulas of basic rela…

Let $L$ be a finite lattice and let $I$ be an ideal of $L$. Then the restriction map is a bounded lattice homomorphism of the congruence lattice of~$L$ into the congruence lattice of $I$. In a 2009 paper, the authors proved the converse. In…

A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it…

The central notion in Connes' formulation of non commutative geometry is that of a spectral triple. Given a homogeneous space of a compact quantum group, restricting our attention to all spectral triples that are `well behaved' with respect…

Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Ma\~n\'e supercritical energy level, we…

In the finite-dimensional case, we present a new approach to the theory of cones with a mapping cone symmetry, first introduced by St{\o}rmer. Our method is based on a definition of an inner product in the space of linear maps between two…

Let $G$ be a connected complex Lie group. A real form of $G$ is a closed subgroup $H\subset G$ whose Lie algebra $\mathfrak{h}$ is a real form of the Lie algebra $\mathfrak{g}$ of $G$. A pair $(G,H)$ of this type is reductive, and the…

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed quadratic forms and generic shifts. Our results complement our companion paper where we considered generic…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that R-rank(S) is at least 2, and let $\Gamma$ be a uniform lattice in G. (a) If $CH$ holds, then $\Gamma$ has a unique asymptotic cone up to…

Let $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and…

Recently, the authors have proved the finiteness of common zeros of two iterated rational maps under some compositional independence assumptions. In this article, we advance towards a question of Hsia and Tucker on a Zariski non-density of…

By Tits' deformation argument, a generic Iwahori--Hecke algebra $H$ associated to a finite Coxeter group $W$ is abstractly isomorphic to the group algebra of $W$. Lusztig has shown how one can construct an explicit isomorphism, provided…

We introduce a canonical Chern-Weil map for possibly non-commutative g-differential algebras with connection. Our main observation is that the generalized Chern-Weil map is an algebra homomorphism ``up to g-homotopy''. Hence, the induced…

A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD)…

We propose the method for obtaining invariants of arbitrary representations of Lie groups that reduces this problem to known problems of linear algebra. The basis of this method is the idea of a special extension of the representation…

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This…

This paper proposes an efficient algorithm for testing copositivity of homogeneous polynomials over the positive semidefinite cone. The algorithm is based on a novel matrix optimization reformulation and requires solving a hierarchy of…

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…

We present a simple remark that assures that the invariant theory of certain real Lie groups coincides with that of the underlying affine, real algebraic groups. In particular, this result applies to the non-compact orthogonal or symplectic…

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further…