Related papers: Remarks on an interpolation between Wilson's theor…
We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.
We describe the first results of a project of analyzing in which theories formal proofs can be ex- pressed. We use this analysis as the basis of interoperability between proof systems.
Interpolated multiple zeta values can be regarded as interpolation polynomials of multiple zeta values and multiple zeta-star values. In this paper, we give some algebraic relations of interpolated multiple zeta values, such as the…
We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.
We propose several Hodge theoretic analogues of the conjectures of Hopf and Singer, and prove them in some special cases.
There are exactly two maximal schematic extensions of the relevant logic R with the variable sharing property. We establish that one of them has a strong form of interpolation for deducibility, thereby giving an example of a well-known…
We establish a new simple explicit description of combinatorial wall-crossing for the rational Cherednik algebra applied to the trivial representation. In this way we recover a theorem of P. Dimakis and G. Yue. We also present two…
Analogues of Kolmogorov comparison theorems and some of their applications were established.
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the…
We provide a proof of the Borwein Conjecture using analytic methods.
A lemma of Micchelli's, concerning radial polynomials and weighted sums of point evaluations, is shown to hold for arbitrary linear functionals, as is Schaback's more recent extension of this lemma and Schaback's result concerning…
In this paper, we clarify and build connections between various conjectures largely motivated by the works of Jean-Pierre Serre and John Tate. We closely study the Tate conjecture for algebraic cycles as well as their motivic…
In this article we establish some properties regarding the solutions of a linear congruence, bases of solutions of a linear congruence, and the finding of other solutions starting from these bases.
In this paper we study the genralized q-Euler numbers and polynomials. From our results, we derive some interesting congruences related tothe generalized q-Euler numbers.
In this paper we state some conjectures about q-Fibonacci polynomials which for q=1 reduce to well-known results about Fibonacci numbers and Fibonacci polynomials.
We give a new proof of a_4\phi_3 summation due to G.E. Andrews and confirm another_4\phi_3 summation conjectured by him recently. Some variations of these two_4\phi_3 summations are also given.
We present a theorem about irreducibility of a polynomial that is the resultant of two others polynomials. The proof of this fact is based on the field theory. We also consider the converse theorem and some examples.
We have already conjectured 2 important guesses regarding Hypo-Lie algebra and modular simple Lie algebra. We would like to attach 2 important guesses more to this conjecture. Such new guesses are related to the Steinberg module.
A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined…
We discuss adjunction formulas for fiber spaces and embeddings, extending the known results along the lines of the Adjunction Conjecture, independently proposed by Y. Kawamata and V.V. Shokurov. As an application, we simplify Koll\'ar's…