The circular mirror and Ian Stewart's polynomials

Jean-Claude Carréga,Labib Haddad

DOI: https://doi.org/10.48550/arXiv.1510.05912

2015-10-11

Abstract:About the relation between a counterexample in the theory of numbers constructible by ruler and compass, due to Ian Stewart, and Alhazen's problem concerning the circular mirror.

Number Theory

What problem does this paper attempt to address?

Mirror Principle: A Survey

BH Lian,KF Liu,ST Yau

DOI: https://doi.org/10.4310/cdm.1998.v1998.n1.a2

1998-01-01

Current Developments in Mathematics

Abstract:We give an exposition of our recent work on computing intersection numbers on stable map moduli spaces for a projective space. We also discuss a generalization of our approach to balloon manifolds, including projective toric manifolds.
A survey of mirror principle

Bong H. Lian,Kefeng Liu,Shing–Tung Yau

2003-01-01

Abstract:This note briefly reviews the Mirror Principle as developed in the series of papers (19)(20)(21)(22)(23). We illustrate this theory with a few new examples. One of them gives an intriguing connection to a problem of counting holomorphic disks and annuli. This note has been submitted for the proceedings of the Workshop on Strings, Duality and Geometry the C.R.M. in Montreal of March 2000.
Some applications of mirror principle

Bong H. Lian,Kefeng Liu,Shing-Tung Yau

DOI: https://doi.org/10.1090/conm/314/05429

2002-01-01

Contemporary Mathematics

Abstract:This note briefly reviews the Mirror Principle as developed in the series of papers [LLYI, LLYII, LLYIII, LLYIV, LCHY]. We apply this theory to a few new examples. One of them gives an intriguing connection to a problem of counting holomorphic disks and annuli.
The Candelas-de La Ossa-Green-Parkes Formula

BH Lian,KF Liu,ST Yau

DOI: https://doi.org/10.1016/s0920-5632(98)00126-1

1998-01-01

Abstract:In this note we discuss a recent proof of the formula for the worldsheet instanton prepotential predicted by Mirror Symmetry for the quintics in P4. One of the key ingredients in the proof is the equivariant cohomology groups on the so-called linear sigma model moduli spaces. We introduce the notion of admissible data on the equivariant cohomology groups of the linear sigma model. An admissible data may be thought of as a sequence of equivariant classes satisfying certain algebraic conditions. It arises naturally from Kontsevich's stable map compactification of moduli spaces of maps from curves into projective manifolds. The structures of admissible data help reduce many counting problems to checking certain combinatorial structure of a compactification. The mirror transformation of Candelas et al turns out to be a transformation between two admissible data associated respectively to the linear and the non-linear sigma models. As an application, we prove the formula for the worldsheet instanton prepotential in terms of hypergeometric series. At the end we also interprete an infinite dimensional transformation group, called the mirror group, acting on admissible data, as a certain duality group of the linear sigma model.
The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

Bong H. Lian,Chien-Hao Liu,Kefeng Liu,Shing-Tung Yau

DOI: https://doi.org/10.1090/conm/322/05687

2003-01-01

Abstract:We describe the S 1 -action on the Quot-scheme Quot(E n ) associated to the trivial bundle E n = CP 1 × C n . In particlular, the topology of the S 1 -fixed-point components in Quot(E n ) and the S 1 -weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on S 1 fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the S 1 -fixed-point components. These components are identified and are labelled by Young tableaus. The S 1 -equivariant Euler class eS1 of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down eS1 directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation of mirror principle to physical theory. Some related questions are listed for further study.
Mirror symmetry, rational curves on algebraic manifolds and hypergeometric series

Bong H Lian,Shing-Tung Yau

1994-01-01

Abstract:Lian, BH; Yau, Shing-Tung.
Mirror of Orbifold Singularities in the Hitchin Fibration: the case $(\text{SL}_n,\text{PGL}_n)$

Yongbin Ruan,Shijie Cheng

DOI: https://doi.org/10.48550/arxiv.2210.04430

2022-01-01

Abstract:We study the geometry of singular $\text{SL}_n$-Hitchin fibres over the elliptic locus. We show that orbifold singularities appear in the $\text{PGL}_n$-moduli space $M^{ell}(\text{PGL}_n)$ exactly when the $\text{SL}_n$ side $M^{ell}(\text{SL}_n)$ has a reducible Hitchin fibre. Our main theorem shows that the Fourier-Mukai transform of a skyscraper sheaf supported at an orbifold singularity in $M^{ell}(\text{PGL}_n)$ satisfies a version of the fractional Hecke eigenproperty, as conjectured by Frenkel and Witten.
Mirror Symmetry for Special Nilpotent Orbit Closures

Bojie Fu,Yongbin Ruan,Yaoxiong Wen

DOI: https://doi.org/10.48550/arxiv.2207.10533

2022-01-01

Abstract:Motivated by geometric Langlands, we initiate a program to study the mirror symmetry between nilpotent orbit closures of a semisimple Lie algebra and those of its Langlands dual. The most interesting case is $B_n$ via $C_n$. Classically, there is a famous Springer duality between special orbits. Therefore, it is natural to speculate that the mirror symmetry we seek may coincide with Springer duality in the context of special orbits. Unfortunately, such a naive statement fails. To remedy the situation, we propose a conjecture which asserts the mirror symmetry for certain parabolic/induced covers of special orbits. Then, we prove the conjecture for Richardson orbits and obtain certain partial results in general. In the process, we reveal some very interesting and yet subtle structures of these finite covers, which are related to Lusztig's canonical quotients of special nilpotent orbits. For example, there is a mysterious asymmetry in the footprint or range of degrees of these finite covers. Finally, we provide two examples to show that the mirror symmetry fails outside the footprint.
On Clifford double mirrors of toric complete intersections

Lev Borisov,Zhan Li

DOI: https://doi.org/10.48550/arXiv.1601.00809

2016-02-19

Abstract:We present a construction of noncommutative double mirrors to complete intersections in toric varieties. This construction unifies existing sporadic examples and explains the underlying combinatorial and physical reasons for their existence.

Algebraic Geometry
From Enriques surface to Artin-Mumford counterexample

Alessandro Verra

DOI: https://doi.org/10.48550/arXiv.2211.01509

2022-11-03

Abstract:After an Introduction to the themes of Enriques surfaces and Rationality questions, the Artin-Mumford counterexample to Lueroth problem is revisited. A construction of it is given, which is related in an explicit way to the geometry of Enriques surfaces, more precisely to the special family of Reye congruences and their classical geometry.

Algebraic Geometry
On Mirror Symmetry and Irrationality of Zeta Values

Andreas Malmendier,Michael T. Schultz

2024-04-05

Abstract:A fundamental object of study in mirror symmetry of $n$-dimensional Fano varieties is the A-side connection on small quantum cohomology. When the Picard rank is 1, the Borel transform relates the quantum differential operator of the Fano to the Picard-Fuchs operator of the mirror to the associated pencil of anticanonical Calabi-Yau $(n-1)$-folds on the Fano variety. Expanding on related work by W. Yang on the Beukers-Peters pencil of K3 surfaces associated with Apéry's proof for the irrationality of $\zeta(3)$, for such operators we define holomorphic prepotentials, virtual Yukawa couplings, and virtual instanton numbers, analogous to the usual ingredients of Calabi-Yau mirror symmetry. We prove that when the underlying Calabi-Yau operator is modular, the virtual Yukawa coupling is a modular form of weight-$(n+1)$, with the holomorphic prepotential as an Eichler integral. We then analyze the quantum differential operators for modular pencils of K3 surfaces arising as Dolgachev-Nikulin-Pinkham mirrors for the anticanonical linear systems for the 17 deformation classes of Fano threefolds of Picard rank-1 classified by Iskovskikh from the perspective of Golyshev & Zagier's proof of the Gamma conjecture for such Fanos, the natural setting of Yang's work. Here, the virtual instanton numbers are proven to be periodic integers with period equal to the level of the modular subgroup. Finally, we conjecture that the geometric nature of these virtual instanton numbers can be understood in terms of relative genus zero Gromov-Witten invariants of the associated log Calabi-Yau pair from the Fano threefold and anticanonical K3.

Algebraic Geometry,High Energy Physics - Theory
Mirror Maps, Modular Relations and Hypergeometric Series I

Bong H. Lian,Shing-Tung Yau

DOI: https://doi.org/10.48550/arxiv.hep-th/9507151

1995-01-01

Abstract: Motivated by the recent work of Kachru-Vafa in string theory, we study in Part A of this paper, certain identities involving modular forms, hypergeometric series, and more generally series solutions to Fuchsian equations. The identity which arises in string theory is the simpliest of its kind. There are nontrivial generalizations of the identity which appear new. We give many such examples -- all of which arise in mirror symmetry for algebraic K3 surfaces. In Part B, we study the integrality property of certain $q$-series, known as mirror maps, which arise in mirror symmetry.
Integrality of mirror maps and arithmetic homological mirror symmetry for Greene--Plesser mirrors

Sheel Ganatra,Andrew Hanlon,Jeff Hicks,Daniel Pomerleano,Nick Sheridan

2024-06-05

Abstract:We prove the `integrality of Taylor coefficients of mirror maps' conjecture for Greene--Plesser mirror pairs as a natural byproduct of an arithmetic refinement of homological mirror symmetry. We also prove homological mirror symmetry for Greene--Plesser mirror pairs in all characteristics such that the B-side family has good reduction, generalizing work of the fifth author and Smith over the complex numbers. A key technical ingredient is a new versality argument which allows us to work throughout over a Novikov-type ring with integer coefficients.

Symplectic Geometry,Algebraic Geometry,Number Theory
A Note on ODEs from Mirror Symmetry

Albrecht Klemm,Bong H. Lian,Shi-shyr Roan,S. -T. Yau

DOI: https://doi.org/10.48550/arxiv.hep-th/9407192

1994-01-01

Abstract:We give close formulas for the counting functions of rational curves on complete intersection Calabi-Yau manifolds in terms of special solutions of generalized hypergeometric differential systems. For the one modulus cases we derive a differential equation for the Mirror map, which can be viewed as a generalization of the Schwarzian equation. We also derive a nonlinear seventh order differential equation which directly governs the instanton corrected Yukawa coupling.
Comparison of non-archimedean and logarithmic mirror constructions via the Frobenius structure theorem

Sam Johnston

DOI: https://doi.org/10.48550/arXiv.2204.00940

2022-07-01

Abstract:For a log Calabi Yau pair (X,D) with X\D smooth affine, satisfying either assumption 1.1 of "The canonical wall structure and intrinsic mirror symmetry" or contains a Zariski dense torus, we prove under the condition that D is the support of a nef divisor, that the structure constants defining a trace form on the mirror algebra constructed by Gross-Siebert are given by the naive curve counts defined by Keel-Yu in definition 1.1 of "The Frobenius structure theorem for log Calabi-Yau varieties containing a torus". As a corollary, we deduce the equality of the mirror algebras constructed by Gross-Siebert and Keel-Yu in the case X\D contains a Zariski dense torus. In addition, we use this result to prove a mirror conjecture proposed by Mandel in "Fano mirror periods from the Frobenius structure conjecture" for Fano pairs satisfying assumption 1.1.

Algebraic Geometry
Mirror theory and cryptography

Jacques Patarin

DOI: https://doi.org/10.1007/s00200-017-0326-y

2017-05-20

Abstract:Abstract“Mirror Theory” is the theory that evaluates the number of solutions of affine systems of equalities (=)$$({=})$$ and non equalities (≠$$\ne $$) in finite groups. It is deeply related to the security and attacks of many generic cryptographic secret key schemes, for example random Feistel schemes (balanced or unbalanced), Misty schemes, Xor of two pseudo-random bijections to generate a pseudo-random function etc. In this paper we will assume that the groups are abelian. Most of time in cryptography the group is ((Z/2Z)n,⊕)$$((\mathbb {Z}/2\mathbb {Z})^n, \oplus )$$ and we will concentrate this paper on these cases. We will present here general definitions, some theorems, and many examples and computer simulations.

computer science, interdisciplinary applications,mathematics, applied, theory & methods
On the positivity and integrality of coefficients of mirror maps

Sophie Bleau,Nick Sheridan

2024-09-12

Abstract:We present natural conjectural generalizations of the `positivity and integrality of mirror maps' phenomenon, encompassing the mirror maps appearing in the Batyrev--Borisov construction of mirror Calabi--Yau complete intersections in Fano toric varieties as a special case. We find that, given the combinatorial data from which one constructs a mirror pair of Calabi--Yau complete intersections, there are two ways of writing down an associated `mirror map': one which is the `true mirror map', meaning the one which appears in mirror symmetry theorems; and one which is the `naive mirror map'. The two are equal under a certain combinatorial criterion which holds e.g. for the quintic threefold, but not in general. We conjecture (based on substantial computer checks, together with proofs under extra hypotheses) that the naive mirror map always has positive integer coefficients, while the true mirror map always has integer (but not necessarily positive) coefficients. Almost all previous works on the integrality of mirror maps concern the naive mirror map, and in particular, only apply to the true mirror map under the combinatorial criterion mentioned above.

Number Theory,Algebraic Geometry
Mirror Manifolds: A Brief Review and Progress Report

B. R. Greene,M. R. Plesser,B.R. Greene,M.R. Plesser

DOI: https://doi.org/10.48550/arXiv.hep-th/9110014

1991-10-04

High Energy Physics - Theory

Abstract:We first give a complete, albeit brief, review of the discovery of mirror symmetry in $N=2$ string/conformal field theory. In particular, we describe the naturality arguments which led to the initial mirror symmetry conjectures and the subsequent work which established the existence of mirror symmetry through direct construction. We then review a number of striking consequences of mirror symmetry -- both conceptual and calculational. Finally, we describe recent work which introduces a variant on our original proof of the existence of mirror symmetry. This work affirms classical--quantum symmetry duality as well as extends the domain of our initial mirror symmetry construction.
Mirror symmetry and the Breuil-Mézard Conjecture

Tony Feng,Bao Le Hung

2023-11-29

Abstract:The Breuil-Mézard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" in the moduli space of mod $p$ Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_q/\mathbb{Q}_q)$ that should govern congruences between mod $p$ automorphic forms. For generic parameters, we propose a construction of Breuil-Mézard cycles in arbitrary rank, and verify that they satisfy the Breuil-Mézard Conjecture for all sufficiently generic tame types and small Hodge-Tate weights. Our method is purely local and group-theoretic, and completely distinct from previous approaches to the Breuil-Mézard Conjecture. In particular, we leverage new connections between the Breuil-Mézard Conjecture and phenomena occurring in homological mirror symmetry and geometric representation theory.

Number Theory,Algebraic Geometry,Representation Theory

The circular mirror and Ian Stewart's polynomials

Mirror Principle: A Survey

A survey of mirror principle

Some applications of mirror principle

The Candelas-de La Ossa-Green-Parkes Formula

The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

Mirror symmetry, rational curves on algebraic manifolds and hypergeometric series

Mirror of Orbifold Singularities in the Hitchin Fibration: the case $(\text{SL}_n,\text{PGL}_n)$

Mirror Symmetry for Special Nilpotent Orbit Closures

On Clifford double mirrors of toric complete intersections

From Enriques surface to Artin-Mumford counterexample

On Mirror Symmetry and Irrationality of Zeta Values

Mirror Maps, Modular Relations and Hypergeometric Series I

Integrality of mirror maps and arithmetic homological mirror symmetry for Greene--Plesser mirrors

A Note on ODEs from Mirror Symmetry

Comparison of non-archimedean and logarithmic mirror constructions via the Frobenius structure theorem

Mirror theory and cryptography

On the positivity and integrality of coefficients of mirror maps

Mirror Manifolds: A Brief Review and Progress Report

Mirror symmetry and the Breuil-Mézard Conjecture