Related papers: A hypergeometric proof that ${\sf Iso}$ is bijecti…

Recent interest in noncircular trigonometric proofs has underscored the need for alternative methodologies. Jackson and Johnson's 2024 study addresses a longstanding gap in the foundations of trigonometric proofs. Inspired by the work of…

Recently, Ehrenborg and Van Willenburg defined a class of bipartite graphs that correspond naturally to Ferrers diagrams, and proved several results about them. We give bijective proofs for the (already known) expressions for the number of…

Consider a simple algebraic group $G$ of classical type and its Lie algebra $\mathfrak{g}$. Let $(e,h,f) \subset \mathfrak{g}$ be an $\mathfrak{sl}_2$-triple and $Q_e= C_G(e,h,f)$. The torus $T_e$ that comes from the…

A theorem due to D. Bernstein states that Euler characteristic of a hypersurface defined by a polynomial f in (C\{0})^n is equal (upto a sign) to n! times volume of the Newton polyhedron of f. This result is related to algebaric torus…

Using the Bers isomorphism theorem for Teichmuller spaces of punctured Riemann surfaces and some of their other complex geometric features, we prove a general theorem on maximization of homogeneous polynomial (in fact, more general…

The fixed points of a natural torus action on the Hilbert schemes of points in C^2 are quiver varieties of infinite type A. The equivariant cohomology of the Hilbert schemes and quiver varieties can be given the structure of bosonic and…

In this paper, influenced by the ideas from A. Mihail, The canonical projection between the shift space of an IIFS and its attractor as a fixed point, Fixed Point Theory Appl., 2015, Paper No. 75, 15 p., we associate to every generalized…

Let $A$ be a complex torus and $G$ a finite group acting on $A$ without translations such that $A/G$ is smooth. Consider the subgroup $F\leq G$ generated by elements that have at least one fixed point. We prove that there exists a point…

We prove that isometries in a conformally invariant metric of a general domain are quasiconformal. In the particular case of the punctured space, we prove that isometries in this metric are Mobius, thus resolving a conjecture of Ferrand,…

This is a revision of the paper that was previously entitled "Weighted Completion of Galois Groups and Some Conjectures of Deligne". Fix a prime number $\l$. We prove a conjecture stated by Ihara, which he attributes to Deligne, about the…

We introduce the notion of G-hypergeometric function, where G is a complex Lie group. In the case when G is a complex torus, this notion amounts to the notion of Gelfand's A-hypergeometric function. We show that the integral $\int…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Temperley's bijection relates the toroidal dimer model to cycle rooted spanning forests ($CRSF$) on the torus. The height function of the dimer model and the homology class of $CRSF$ are naturally related. When the size of the torus tends…

Term frequency-inverse document frequency, or TF-IDF for short, and its many variants form a class of term weighting functions the members of which are widely used in text analysis applications. While TF-IDF was originally proposed as a…

Motivated by the strong nearby Lagrangian conjecture, we constrain the parametrised Whitehead torsion of a family of closed exact Lagrangian submanifolds in a cotangent bundle. We prove the parametrised Whitehead torsion admits a…

This paper is a continuation of a paper with the same title of the last two authors. In the first part of the present paper, we give a unified geometric proof that both focal submanifolds of every isoparametric hypersurface in spheres with…

In this note we give a simple proof of the following relative analog of the well known Milnor-Palamodov theorem: the Bruce-Roberts number of a function relative to an isolated hypersurface singularity is equal to its topological Milnor…

For any affine variety equipped with coordinates, there is a surjective, continuous map from its Berkovich space to its tropicalisation. Exploiting torus actions, we develop techniques for finding an explicit, continuous section of this…

Based on the theory of Fermat reals we introduce new topologies on spaces of Colombeau generalized points and derive some of their fundamental properties. In particular, we obtain metric topologies on the space of near-standard generalized…

In this paper we study the Coleman-Oort conjecture for superelliptic curves, i.e., curves defined by affine equations $y^n=F(x)$ with $F$ a separable polynomial. We prove that up to isomorphism there are at most finitely many superelliptic…