The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. When conjectured, it sparked interest in real osculating Schubert calculus, and computations played a large role in developing the surrounding theory. Our purpose is to uncover generalizations of the Mukhin-Tarasov-Varchenko Theorem, proving them when possible. We also improve the state of the art of computationally solving Schubert problems, allowing us to more effectively study ill-understood phenomena in Schubert calculus. We use supercomputers to methodically solve real osculating instances of Schubert problems. By studying over 300 million instances of over 700 Schubert problems, we amass data significant enough to reveal generalizations of the Mukhin-Tarasov- Varchenko Theorem and compelling enough to support our conjectures. Combining algebraic geometry and combinatorics, we prove some of these conjectures. To improve the efficiency of solving Schubert problems, we reformulate an instance of a Schubert problem as the solution set to a square system of equations in a higher- dimensional space. During our investigation, we found the number of real solutions to an instance of a symmetrically defined Schubert problem is congruent modulo four to the number of complex solutions. We proved this congruence, giving a generalization of the Mukhin-Tarasov-Varchenko Theorem and a new invariant in enumerative real algebraic geometry. We also discovered a family of Schubert problems whose number of real solutions to a real osculating instance has a lower bound depending only on the number of defining flags with real osculation points. We conclude that our method of computational investigation is effective for uncovering phenomena in enumerative real algebraic geometry. Furthermore, we point out that our square formulation for instances of Schubert problems may facilitate future experimentation by allowing one to solve instances using certifiable numerical methods in lieu of more computationally complex symbolic methods. Additionally, the methods we use for proving the congruence modulo four and for producing an

A thesis submitted to the Faculty of Science, University of the Witwatersrand and to the University Cheikh Anta Diop of Dakar(UCAD) in fulfillment of the requirements for a Dual-degree for Doctor in Philosophy in Mathematics. November 6th, 2017. / This thesis is about the study of Diophantine equations involving binary recurrent sequences with arithmetic functions. Various Diophantine problems are investigated and new results are found out of this study. Firstly, we study several questions concerning the intersection between two classes of non-degenerate binary recurrence sequences and provide, whenever possible, effective bounds on the largest member of this intersection. Our main study concerns Diophantine equations of the form '(jaunj) = jbvmj; where ' is the Euler totient function, fungn 0 and fvmgm 0 are two non-degenerate binary recurrence sequences and a; b some positive integers. More precisely, we study problems involving members of the recurrent sequences being rep-digits, Lehmer numbers, whose Euler’s function remain in the same sequence. We prove that there is no Lehmer number neither in the Lucas sequence fLngn 0 nor in the Pell sequence fPngn 0. The main tools used in this thesis are lower bounds for linear forms in logarithms of algebraic numbers, the so-called Baker-Davenport reduction method, continued fractions, elementary estimates from the theory of prime numbers and sieve methods. / LG2018

We prove that the blowup term of a blowup solution of Jang's equation on an initial data set (M,g,k) near an arbitrary strictly stable MOTS Σ is exactly −1/√λlog τ, where τ is the distance from Σ and λ is the principal eigenvalue of the MOTS stability operator of Σ. We also prove that the gradient of the solution is of order τ^(-1). Moreover, we apply these results to get a Penrose-like inequality under additional assumptions.

The construction introduced by Gross, Hacking and Keel in [28] allows one to construct a mirror family to (S, D) where S is a smooth rational projective surface and D a certain type of Weil divisor supporting an ample or anti-ample class. To do so one constructs a formal smoothing of a singular variety they call the n-vertex. By arguments of Gross, Hacking and Keel one knows that this construction can be lifted to an algebraic family if the intersection matrix for D is not negative semi-definite. In the case where the intersection matrix is negative definite the smoothing exists in a formal neighbourhood of a union of analytic strata. A proof of both of these is found in [GHK]. In our first project we use these ideas to find explicit formulae for the mirror families to low degree del Pezzo surfaces. In the second project we treat the remaining case of a negative semi-definite intersection matrix, corresponding to S being a rational elliptic surface and D a rational fibre. Using intuition from the first project we prove in the second project that in this case the formal family of their construction lifts to an analytic family.

Chan, Kam Fung. / "September 2010." / Thesis (M.Phil.)--Chinese University of Hong Kong, 2010. / Includes bibliographical references (leaves 61-62). / Abstracts in English and Chinese. / Chapter 1 --- Introduction --- p.6 / Chapter 1.1 --- Main result --- p.6 / Chapter 1.2 --- Useful definition --- p.7 / Chapter 1.3 --- Outline of proof of Theoreml.l --- p.11 / Chapter 2 --- Proof of Theorem1.2 and 13 --- p.12 / Chapter 2.1 --- The spaces \hV\ and \hW\ --- p.13 / Chapter 2.2 --- The space \hWloc\ --- p.19 / Chapter 2.3 --- The space \Wloc\ --- p.23 / Chapter 3 --- Proof of Theoreml4 --- p.26 / Chapter 3.1 --- Sheaves with category structure --- p.26 / Chapter 3.2 --- W° and hW° --- p.29 / Chapter 3.3 --- Armlets --- p.29 / Chapter 4 --- Proof of Theorem15 --- p.36 / Chapter 4.1 --- Homotopy colimit decompositions --- p.36 / Chapter 4.2 --- Introducing boundaries --- p.50 / Chapter 4.2.1 --- Proof of Theorem4.21 --- p.53 / Chapter 4.2.2 --- Proof of Lemma4.20 --- p.56 / Chapter 4.3 --- Using the Harer-Ivanov stabilization theorem --- p.58 / Bibliography --- p.61

Landau-Ginzburg mirror symmetry predicts isomorphisms between graded Frobenius algebras (denoted A and B) that are constructed from a nondegenerate quasihomogeneous polynomial W and a related group of symmetries G. In 2013, Tay proved that given two polynomials W1, W2 with the same quasihomogeneous weights and same group G, the corresponding A-models built with (W1, G) and (W2, G) are isomorphic. An analogous theorem for isomorphisms between orbifolded B-models remains to be found. This thesis investigates isomorphisms between B-models using polynomials in two variables in search of such a theorem. In particular, several examples are given showing the relationship between continuous deformation on the B-side and isomorphisms that stem as a corollary to Tay's theorem via mirror symmetry. Results on extending known isomorphisms between unorbifolded B-models to the orbifolded case are exhibited. A general pattern for B-model isomorphisms, relating mirror symmetry and continuous deformation together, is also observed.

The Hessenberg representation is a representation of the symmetric group afforded on the cohomology ring of a regular semisimple Hessenberg variety. We study this representation via a combinatorial presentation called GKM Theory. This presentation allows for the study of the representation entirely from a graph. The thesis derives a combinatorial construction of a basis of the equivariant cohomology as a free module over a polynomial ring. This generalizes classical constructions of Schubert classes and divided difference operators for the equivariant cohomology of the flag variety.

The following is my M.Sc. thesis on moduli space techniques in algebraic and symplectic geometry. It is divided into the following two parts: the rst part is devoted to presenting moduli problems in algebraic geometry using a modern perspective, via the language of stacks and the second part is devoted to studying moduli problems from the perspective of symplectic geometry. The key motivation to the rst part is to present the theorem of Keel and Mori [20] which answers the classical question of under what circumstances a quotient exists for the action of an algebraic group G acting on a scheme X. Part two of the thesis is a more elaborate description of the topics found in Chapter 8 of [28].

The following is my M.Sc. thesis on moduli space techniques in algebraic and symplectic geometry. It is divided into the following two parts: the rst part is devoted to presenting moduli problems in algebraic geometry using a modern perspective, via the language of stacks and the second part is devoted to studying moduli problems from the perspective of symplectic geometry. The key motivation to the rst part is to present the theorem of Keel and Mori [20] which answers the classical question of under what circumstances a quotient exists for the action of an algebraic group G acting on a scheme X. Part two of the thesis is a more elaborate description of the topics found in Chapter 8 of [28].

Barycentric coordinates are functions on a polygon, one for each vertex, whose values are coefficients that provide an expression of a point of the polygon as a convex combination of the vertices. Wachspress barycentric coordinates are barycentric coordinates that are defined by rational functions of minimal degree. We study the rational map on P2 defined by Wachspress barycentric coordinates, the Wachspress map, and we describe polynomials that set-theoretically cut out the closure of the image, the Wachspress variety. The map has base points at the intersection points of non-adjacent edges. The Wachspress map embeds the polygon into projective space of dimension one less than the number of vertices. Adjacent edges are mapped to lines meeting at the image of the vertex common to both edges, and base points are blown-up into lines. The deformed image of the polygon is such that its non-adjacent edges no longer intersect but both meet the exceptional line over the blown-up corresponding base point. We find an ideal that cuts out the Wachspress variety set-theoretically. The ideal is generated by quadratics and cubics with simple expressions along with other polynomials of higher degree. The quadratic generators are scalar products of vectors of linear forms and the cubics are determinants of 3 x 3 matrices of linear forms. Finally, we conjecture that the higher degree generators are not needed, thus the ideal is generated in degrees two and three.