Related papers: The S-Procedure via Dual Cone Calculus
We associate a concave transform to any compactified S-metrized divisor on a quasi-projective variety over an adelic curve. Then we show a Hilbert-Samuel type formula for relatively nef compactified S-metrized YZ-divisors.
Given two linear operators $S$ and $T$ acting between Hilbert spaces $\mathscr{H}$ and $\mathscr{K}$, respectively $\mathscr{K}$ and $\mathscr{H}$ which satisfy the relation \begin{equation*} \langle Sh, k\rangle=\langle h, Tk\rangle, \quad…
An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work…
In this work we will investigate a certain generalization of the so called S-lemma in higher degrees. The importance of this generalization is, that it is closely related to Hilbert's 1888 theorem about tenary quartics. In fact, if such a…
We extend Polyak's theorem on the convexity of joint numerical range from three to any number of quadratic forms on condition that they can be generated by three quadratic forms with a positive definite linear combination. Our new result…
We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches…
The expansion of a Lie algebra entails finding a new, bigger algebra G, through a series of well-defined steps, from an original Lie algebra g. One incarnation of the method, the so-called S-expansion, involves the use of a finite abelian…
Formulating a Schubert problem as the solutions to a system of equations in either Pl\"ucker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously…
One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the…
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…
It is shown that the two-body Coulomb problem in the Sturm representation leads to a new two-dimensional, exactly-solvable, superintegrable quantum system in curved space with a $g^{(2)}$ hidden algebra and a cubic polynomial algebra of…
In this paper we present explicit product formulas for a continuous two-parameter family of Heckman-Opdam hypergeometric functions of type BC on Weyl chambers $C_q\subset \mathbb R^q$ of type $B$. These formulas are related to continuous…
For a given second order elliptic operation $\mathcal{L}$ in a domain $\Omega\subset{\mathbb{R}}^\mathbf{N}$, $\mathbf{N}\ $, and a compact set $\mathbf{K}\subset\Omega$, order $\mathbf{N}$-$2$-Ahlfors-David regular, we define the space…
I investigate contractions via Kac-Moody formalism. In particular, I show how the symmetry algebra of the standard 2-D Kepler system, which was identified by Daboul and Slodowy as an infinite-dimensional Kac-Moody loop algebra, and was…
We study structurable algebras of skew-dimension one. We present two different equivalent constructions for such algebras: one in terms of non-linear isotopies of cubic norm structures, and one in terms of hermitian cubic norm structures.…
We determine the quantum multiplication with divisor classes on the Hilbert scheme of points on an elliptic surface $S \to \Sigma$ for all curve classes which are contracted by the induced fibration $S^{[n]} \to \Sigma^{[n]}$. The formula…
The purpose of this note is to provide an alternative proof of two transformation formulas contiguous to that of Kummer's second transformation for the confluent hypergeometric function ${}_1F_1$ using a differential equation approach.
We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the…
Local superlinear convergence of the semismooth Newton method usually necessitates assumptions on the uniform invertibility of the utilized, generalized Jacobian matrices, such as, e.g., BD- or CD-regularity. For certain composite-type…
The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the…