Working paper
Ulrich Bundles on Elliptic Curves and Theta Functions
We study effective versions of unlikely intersections of images of torsion points of elliptic curves on the projective line.
This is a brief textbook on complex analysis intended for the students of upper undergraduate or beginning graduate level. The author stresses the aspects of complex analysis that are most important for the student planning to study algebraic geometry and related topics. The exposition is rigorous but elementary: abstract notions are introduced only if they are really indispensable. This approach provides a motivation for the reader to digest more abstract definitions (e.g., those of sheaves or line bundles, which are not mentioned in the book) when he/she is ready for that level of abstraction indeed. In the chapter on Riemann surfaces, several key results on compact Riemann surfaces are stated and proved in the first nontrivial case, i.e. that of elliptic curves.
This book is devoted to classical and modern achievements in complex analysis. In order to benefit most from it, a first-year university background is sufficient; all other statements and proofs are provided.
We begin with a brief but fairly complete course on the theory of holomorphic, meromorphic, and harmonic functions. We then present a uniformization theory, and discuss a representation of the moduli space of Riemann surfaces of a fixed topological type as a factor space of a contractible space by a discrete group. Next, we consider compact Riemann surfaces and prove the classical theorems of Riemann-Roch, Abel, Weierstrass, etc. We also construct theta functions that are very important for a range of applications.
After that, we turn to modern applications of this theory. First, we build the (important for mathematics and mathematical physics) Kadomtsev-Petviashvili hierarchy and use validated results to arrive at important solutions to these differential equations. We subsequently use the theory of harmonic functions and the theory of differential hierarchies to explicitly construct a conformal mapping that translates an arbitrary contractible domain into a standard disk – a classical problem that has important applications in hydrodynamics, gas dynamics, etc.
The book is based on numerous lecture courses given by the author at the Independent University of Moscow and at the Mathematics Department of the Higher School of Economics.
We apply Orlov's equivalence to derive formulas for the Betti numbers of maximal Cohen-Macaulay modules over the cone an elliptic curve $(E,x)$ embedded into $\mathbb{P}^{n-1}$, by the full linear system $|\mathcal{O}(nx)|$, for $n>3$. The answers are given in terms of recursive sequences. These results are applied to give a criterion of (Co-)Koszulity.
In the last two sections of the paper we apply our methods to study the cases $n=1,2$\,. Geometrically these correspond to the embedding of an elliptic curve into a weighted projective space. The singularities of the corresponding cones are called minimal elliptic. They were studied by K.Saito \cite{Saito74}, where he introduced the notation $\widetilde{E_8}$ for $n=1$, $\widetilde{E_7}$ for $n=2$ and $\widetilde{E_6}$ for the cone over a smooth cubic, that is, for the case $n=3$\,. For the singularities $\widetilde{E_7}$ and $\widetilde{E_8}$ we obtain formulas for the Betti numbers and the numerical invariants of MCM modules analogous to the case of a plane cubic.
This paper is an annotated list of transformation properties and identities satisfied by the four theta functions of one complex variable, presented in a ready-to-use form. An attempt is made to reveal a pattern behind various identities for the theta-functions. It is shown that all possible 3, 4 and 5-term identities of degree four emerge as algebraic consequences of the six fundamental bilinear 3-term identities connecting the theta-functions with different modular parameters 2τ
The paper is devoted to the description of family of scalene triangles for which the triangle formed by the intersection points of bisectors with opposite sides is isosceles. We call them Sharygin triangles. It turns out that they are parametrized by an open subset of an elliptic curve. Also we prove that there are infinitely many non-similar integer Sharygin triangles. © 2017 Korean Mathematial Soiety.
Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.
Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.