Related papers: Some stumbling first steps towards linear homology…
The Complex Axis theorem states that any endomorphism of a finite-dimensional complex vector space affords an eigen-vector (or "invariant axis"). A geometric proof of this geometric result was given by A. de Medeiros, transforming the…
Every symmetric polynomial $h(x)$ with center of symmetry $n/2$ can be expressed as a linear combination in the basis $x^i(1+x)^{n-2i}$. The $\gamma$-polynomial of $h(x)$, which we denote $\gamma_h(x)$, records the coefficients of this…
There have been several combinatorial constructions of universally positive bases in cluster algebras, and these same combinatorial objects play a crucial role in the known proofs of the famous positivity conjecture for cluster algebras.…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
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…
The arXiv:2105.09738 claims several stuffs. In particular, we recall the following two. (1) Vector fields and differential forms become a Lie superalgebra structure for each manifold. (2) For an n-dimensional Euclidean space, vector fields…
The closure of the convex cone generated by all flag $f$-vectors of graded posets is shown to be polyhedral. In particular, we give the facet inequalities to the polar cone of all nonnegative chain-enumeration functionals on this class of…
The Casas--Alvero conjecture predicts that every univariate polynomial $f$ over a field $K$ of characteristic zero having a common factor with each of its derivatives $H\_i(f)$ is a power of a linear polynomial. Let…
Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We…
Biomolecular structure comparison not only reveals evolutionary relationships, but also sheds light on biological functional properties. However, traditional definitions of structure or sequence similarity always involve superposition or…
Let $E\to B$ be a complex analytic fiber bundle with fiber $F$, a flag variety over a compact complex manifold $B$. We shall obtain a description of the cohomology of $E$ when $B=X_\Gamma:=\Gamma\backslash X, E=Y_\Gamma:=\Gamma\backslash Y$…
Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus…
In this paper we show that for an invariant $(\alpha,\beta)-$metric $F$ on a homogeneous Finsler manifold $\frac{G}{H}$, induced by an invariant Riemannian metric $\tilde{a}$ and an invariant vector field $\tilde{X}$, the vector…
Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category…
Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vectors of multiplicial polytopes depend only on their face…
We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich. The new argument is somewhat similar to previous proofs, but we believe it to be both simpler and…
Consider a finite field $\mathbb{F}_q$ and positive integers $d,m,r$ with $1\leq r\leq \binom{m+d}{d}$. Let $S_d(m)$ be the $\mathbb{F}_q$ vector space of all homogeneous polynomials of degree $d$ in $X_0,\dots,X_m$. Let $e_r(d,m)$ be the…
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…
The aim of this paper is to apply the framework, which was developed by Sam and Snowden, to study structural properties of graph homologies, in the spirit of Ramos, Miyata and Proudfoot. Our main results concern the magnitude homology of…
We define Hodge correlators for a compact Kahler manifold X. They are complex numbers which can be obtained by perturbative series expansion of a certain Feynman integral which we assign to X. We show that they define a functorial real…