The Non-abelian Hodge Correspondence for Non-Compact Curves
|
|
- Cameron Bryant
- 5 years ago
- Views:
Transcription
1 1 Section 1 Setup The Non-abelian Hoge Corresponence for Non-Compact Curves Chris Elliott May 8, Setup In this talk I will escribe the non-abelian Hoge theory of a non-compact curve. This was worke out by Simpson in the paper Harmonic Bunles on Non-Compact Curves, an as such almost everything I say here can be foun in that paper in more etail. Let X be a smooth non-compact curve, with smooth completion j : X X, an S = X \ X a finite set of punctures. For simplicity, I ll assume we have only a single puncture S = {s}. To prouce a non-abelian Hoge corresponence in this setting, we ll nee to consier filtere analogues of flat an Higgs bunles, an impose tameness conitions on the behaviour of the Higgs fiel or connection with respect to this filtration. One way to think about objects like Higgs an flat bunles on non-compact varieties X is as singular objects living on a smooth completion X, with singularities supporte along the ivisor X \ X. The iea of tameness or regularity is to control how baly behave these singularities are allowe to be. In what follows, let U be a small contractible neighbourhoo of the puncture s in X. Let z be a local coorinate on U vanishing at s. Definition 1.1. A filtere vector bunle on X is a locally free sheaf E on X, equippe with a ecreasing filtration of j E by coherent subsheaves satisfying α R E α E α = β<α E β E α+1 = ze α (so in particular the filtration is etermine by α [0, 1).) One coul view this as a collection of extensions of the vector bunle E on X across the puncture s that form a ecreasing left continuous filtration. In this vein, a filtere Higgs or flat bunle is just a filtere vector bunle on X with a Higgs fiel θ or flat connection. For the moment we o not impose any conitions relating this aitional ata to the filtration. If we allowe multiple punctures the efinitions woul be extremely similar, we woul merely ask for a filtration on every j si, E, one for each puncture. Remark 1.2. I coul efine the notion of a filtere local system as the Betti analogue of a filtere flat bunle: wherever I escribe corresponences between flat an Higgs bunles in this setting there is always also a local systems analogue. For brevity, I will omit these etails. How can we use a filtration to control the local behaviour (e.g. growth rate ) of something like a connection or Higgs fiel near the puncture? To see this, we will consier the classical notion of regular singularities.
2 2 Section 2 Regularity an Tameness 2 Regularity an Tameness First, we consier the notion of tameness for a harmonic bunle on X as our main way of controlling growth rates of sections near the puncture. Tameness means that the Higgs fiel θ associate to a harmonic bunle has eigenvalues that have moerate growth near the puncture: λ c r ε > 0 where r = z enotes the istance from the puncture in our stanar local coorinate system: as when we escribe the notion of moerate growth above, this shoul hol in angular sectors about the puncture, ensuring that the λ are single-value functions. The reason the tameness/regularity hypothesis is neee is, in the course of the proof of this fact we nee to establish analytic estimates on the size of these eigenvalues. I ll say a little more about this shortly. This eigenvalue efinition of tameness is equivalent to the following notion: the ata of a harmonic bunle inclues a π 1 (X) equivariant map F : X GL(n, C)/U(n). We say the harmonic bunle is tame if whenever we choose locally a ray ρ extening out from the puncture, we can lift F ρ to a map ρ GL(n, C) whose image grows in norm at most polynomially in 1/r, where r is the istance out from the puncture along ρ. We ll nee to restrict to the tame case to prove a non-abelian Hoge theorem over X: in the course of the proof it will be necessary to establish analytic estimates on things like the curvature of our bunles in certain metrics so that the natural functors between harmonic bunles an filtere flat or Higgs bunles are well-efine. Moerate growth is neee to establish these estimates. So with this in min we can work out what restrictions on flat an Higgs bunles we nee to introuce to correspon to this moerate growth conition. This conition will be calle regularity. Regular singularities arise as a notion in the stuy of systems of linear ODEs. Let K enote the fiel of meromorphic functions holomorphic away from zero, i.e. K is the fiel of fractions of the stalk O = (O C ) 0. More concretely, K = C{{z}}[z 1 ] where C{{z}} enotes the ring of convergent power series at z = 0. Consier a ifferential equation n ( ) n i P = a i (x) i=o for a i K, a 0 0. This is equivalent to a system of linear first orer equations, which we can express in the form n u i(x) = a ij (x)u j (x), for i = 1,..., n, or equivalently j=0 u(x) = A(x)u(x) for A Mat n (K). Two such systems u(x) = A i(x)u(x), i = 1, 2 are calle equivalent if there exists a matrix T GL n (K) such that A 1 = T A 2 T 1 T T 1 which is simply a change of variable conition: the result of setting v(x) = T u(x). Classically, a system of ODEs was calle regular or Fuchsian if its solutions have a property calle moerate growth. To be precise, Definition 2.1. Consier a multivalue solution u Õ of the system u(x) = A(x)u(x). The solution u is sai to have moerate growth if for any sector of the form S = {z = (r, θ) : 0 < r < ε, θ 0 < θ < θ 1 }, there exists a constant c > 0 an an integer j N such that u(z) < c z j
3 3 Section 2 Regularity an Tameness for all z S. If the solutions of the system have moerate growth, we say the system is regular, or has regular singularity at 0. The following is a classical result on regularity. Theorem 2.2. The following are equivalent: 1. The system is regular. u(x) = A(x)u(x) (1) 2. The system (1) is equivalent to one of the form B(x) u(x) = x u(x) where B(z) is a matrix with holomorphic coefficients. 3. The system (1) is equivalent to one of the form where C is a matrix with constant coefficients. u(x) = C x u(x) Theorem 2.3 (Fuchs). The system u(x) = A(x)u(x) is equivalent to a single equation n i=0 a i(x) ( n i ) u = P u = 0. It is regular if an only if ai a 0 has a pole at 0 of orer at most i, for i = 1,..., n. More immeiately applicable to our purposes is the following reformulation. A system of linear ODEs of this form is equivalent to a vector bunle over C equippe with a meromorphic connection: Definition 2.4. A meromorphic connection on C at 0 is a finite imensional vector space M over K equippe with a C-linear map : M M such that (fm) = f m + f (m) f K, m M. Two such meromorphic connections (M 1, 1 ) an (M 2, 2 ) are isomorphic if there exists an isomorphism φ: M 1 M 2 such that φ 1 = 2 φ. In terms of meromorphic connections, this means we can make the following efinition: Definition 2.5. Let (M, ) be a meromorphic connection. We say the connection is regular (at 0) if there exists a basis e 1,..., e n of M over K such that e i = j b ij (z) e j b ij O. z Equivalently, there exists a finitely generate submoule L of M such that z L L, generating M over K. In view of the previous two theorems, we can see that this is equivalent to the regularity of the associate system of linear ifferential equations. Inee, the meromorphic connection correspons to the system u i = j b ij (z) u j z which, by 2.2, is regular precisely when we can choose b ij O, i.e. when there exists a basis of the above form for the associate meromorphic connection. This shoul motivate the following efinition of regularity as imposing moerate growth on flat sections:
4 4 Section 3 Resiues Definition 2.6. A connection on the filtere vector bunle E = E α is calle regular if on the filtere pieces it maps : E α E α Ω 1 (log s) X where Ω 1 z (log s) is the sheaf of ifferentials generate by X z, for z as usual a local coorinate vanishing at the puncture s: the sheaf of logarithmic ifferentials. This means in particular that the action of z z preserves the filtration. Similarly, a Higgs fiel θ on E is calle regular if it maps θ : E α E α Ω 1 (log s). X A regular filtere flat bunle is in particular a holonomic D-moule on X with a regular singularity at the point s. Locally, this is the same as a meromorphic connection with regular singularity, as escribe above (or rather, the algebraic analogue of the analytic efinition given above). These regular objects correspon to tame harmonic bunles on X, an thus we have a non-abelian Hoge theorem in this setting. Theorem 2.7 (Non-abelian Hoge corresponence for a non-compact curve). There is a natural equivalence of categories between stable regular filtere Higgs bunles of egree zero an stable regular filtere flat bunles of egree zero on the curve X. By the egree of a filtere vector bunle, we mean its algebraic egree eg(e, E α ) = eg(e 0 ) + rk(gr α (E s )). α [0,1) The corresponence is essentially the same as in the compact case, an the filtrations on the two sies are the same. One proves that both sies are equivalent to irreucible tame harmonic bunles on the puncture curve. What is interesting an new in this setting is the corresponence also neatly relates the growth behaviour of the Higgs fiel an the connection near the puncture s, in a way we will attempt to make precise. Before we o this, let me say a few wors about a tame harmonic bunle gives a filtration on the unerlying vector bunle, with respect to which the usual constructions of θ an will be regular. If E is a holomorphic vector bunle with a metric K, following Simpson we efine Ξ(E) to be the filtere vector bunle where the germs of Ξ(E) α at s are those sections of E in a puncture neighbourhoo of s satisfying the growth conition e K Cr α ε for all ε > 0. This is where tameness comes in: we use the analytic estimates I mentione earlier to ensure that this functor is well-efine: i.e. that the Ξ(E) s are coherent subsheaves of j E. 3 Resiues So far all we have seen is that in a suitably restricte setting where tameness is impose a non-abelian Hoge corresponence still hols. However, we can actually say something stronger. By efining a resiue that captures the limiting behaviour of the objects near the puncture s, we can actually show that the local behaviour of the Higgs, flat an harmonic bunles near s are relate in a rigi way. Let me give a efinition escribing what ata we have at a singularity, then unpack it to see what it actually implies. Definition 3.1. Let (E, E α, θ) be a regular filtere Higgs bunle. The resiue of E at the puncture s is the pair (res(e), res(θ)) consisting of the grae vector space res(e) = gr α (E) α [0,1) the associate grae of the filtere extension E of E to X given by pushing forwar, an the enomorphism res(θ) = zθ( z ). Here we are using the fact that E is regular to prouce an enomorphism of the grae vector space.
5 5 Section 3 Resiues Similarly, let (E, E α, ) be a regular filtere flat bunle. We can similarly efine its resiue to be the same grae vector space, but with enomorphism res( ) given by the action of z ( z ) on the associate grae. More explicitly, this is the resiue evaluation given by taking an evaluating z/z 1. In both cases we are essentially just killing the z z gr( ): gr(e α ) C z z part of the stalk of E Ω(log z). Let me try to explain how to quantify this resiue ata an how it relates to the local behaviour of the Higgs fiel or connection by means of a a simple example. Example 3.2. Suppose E is a line bunle on X with filtration E α. Then one can fin a point j [0, 1) such that for all ε > 0 E j+ε E j, i.e. the filtration jumps at j. Since E is a line bunle this point is unique. So res(e) = E j. If we have a regular Higgs fiel or flat connection on E, its resiue is an enomorphism of a one-imensional vector space, i.e. a number. Thus our resiue ata consists of two numbers: 1. a real number j [0, 1): the jump. 2. a complex number λ C: the eigenvalue. What o these numbers say about the Higgs fiel or connection? First of all, recall where the filtration E α came from, from the point of view of the harmonic bunle. A germ of E in a puncture neighbourhoo of s being in E α but not E α+ε meant that in the harmonic metric, it grew at least as fast as r α, but not as fast as r α+ε for all ε > 0. So the jump of our bunle shoul tell us about the growth rate of local sections of E in the harmonic metric. In a more complicate situation: a rank n vector bunle, we can escribe the ata we have as follows: the jumps in the filtration i.e. the points in [0, 1) at which gr(e) is supporte give a partition of gr(e) into vector spaces E j of sizes summing to n. This ecomposition reflects the possible polynomial growth rates of the sections of E in the harmonic metric. Each of these pieces amits a further ecomposition into generalise eigenspaces of the enomorphism res(θ) or res( ), so the pairs (j, λ) escribe a labelle partition P j,λ of n. However, there is still more information. On each such piece, the enomorphism acts like a iagonal matrix plus a nilpotent, e.g. λ λ λ This nilpotent part contains further information, which can be escribe in a canonical way by a weight filtration. But before we escribe this, let me escribe how the coarser part the jumps an eigenvalues of the resiue relate uner the non-abelian Hoge corresponence: essentially they are preserve, up to a permutation which one can explicitly compute. This is what I meant earlier when I mentione rigiity of the non-abelian Hoge corresponence. Example 3.3. Lets consier the example of the line bunle once again: so there is a single block P j,λ labelle by a real an a complex number in each of the Higgs an flat settings. The corresponence is: Higgs Flat j j 2b λ a + ib j + 2bi This is a reasonably simple computation on the growth rate of holomorphic sections of the line bunle in the stanar metric, carrie out in section 5 of Simpson s paper. I ll say a few wors about the weight filtration on the nilpotent pieces, an their preservation uner the corresponence.
6 6 Section 4 Some Remarks on the Higher-Dimensional Case Definition 3.4. On such a P j,λ, there exists a unique increasing exhaustive filtration W k, k Z the weight filtration such that the enomorphism res(θ) or res( ) lowers weights by two, an so that the weights of each Joran block are arrange symmetrically about the origin. Example 3.5. The crucial example is the harmonic rank 2 bunle over the puncture isc corresponing to the variation of Hoge structure W given by the stanar representation ( ) of SL 2. In this case we can choose a 0 1 basis such that the resiue enomorphism N = res(θ) has form. Notice this is C 0 0 invariant, so oes inee unerly a variation of Hoge structure. Here there are two non-trivial pieces of the weight filtration: W < 1 = 0 W 1 = ker(n) = W 0 W 1 = W. The reason this is crucial is, by taking symmetric powers of this VHS we can prouce nilpotent Joran blocks of arbitrary size. Then twisting by line bunles an taking irect sums allows us to prouce all possible resiue ata as arising from harmonic bunles. 4 Some Remarks on the Higher-Dimensional Case How oes this generalise to the case where X is a higher-imensional variety, so we have to consier singularities in the neighbourhoo of a ivisor, not just an isolate point? Let me begin to iscuss what kin of thing one can say, to be elaborate on in subsequent talks. Firstly, there is a natural extension of the concept of regular singularities for D-moules on higher imensional varieties, generalising the notion we have iscusse. A flat bunle on X is regular if for every morphism f : C X where C is a smooth algebraic curve, the pullback of the flat bunle uner f is regular, in the sense we have alreay consiere. This further generalises to all holonomic D-moules by a classification theorem: a composition series is given where the composition factors are simple D-moules, we say the D-moule is regular is these simple D-moules are minimal extensions of flat bunles on affine open subvarieties. Simpson prove that on a general Kähler manifol not necessarily compact there is an equivalence of categories between harmonic bunles an pure polarize twistor structures of egree zero. In the tame case, one can say something stronger: Theorem 4.1 (Tame harmonic bunles are equivalent to twistor D-moules). Let j : X X be a smooth completion of X, with complement N = X \ X a normal crosssings ivisor. Then we know flat connections (E, ) on X are equivalent to so-calle variations of pure polarizable egree zero twistor structures on X a generalisation of the notion of a variation of Hoge structure. But in fact, if is regular on N, then the corresponing variation of twistor structure extens to a twistor D-moule on X. Generalising this, Mochizuki prove that on a quasiprojective variety, there is an equivalence between polarizable twistor D-moules of weight zero an semisimple regular holonomic D X -moules: this is a generalisation of the above theorem, which consiere regular holonomic D-moules which restrict to flat connections on the complement of a normal crosssings ivisor. Twistor D-moules can be thought of as something like λ- connections, parameterise by λ P 1, an the functor here is simply restriction to λ = 1.
Math Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationDarboux s theorem and symplectic geometry
Darboux s theorem an symplectic geometry Liang, Feng May 9, 2014 Abstract Symplectic geometry is a very important branch of ifferential geometry, it is a special case of poisson geometry, an coul also
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationAssignment 1. g i (x 1,..., x n ) dx i = 0. i=1
Assignment 1 Golstein 1.4 The equations of motion for the rolling isk are special cases of general linear ifferential equations of constraint of the form g i (x 1,..., x n x i = 0. i=1 A constraint conition
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationMAT 545: Complex Geometry Fall 2008
MAT 545: Complex Geometry Fall 2008 Notes on Lefschetz Decomposition 1 Statement Let (M, J, ω) be a Kahler manifol. Since ω is a close 2-form, it inuces a well-efine homomorphism L: H k (M) H k+2 (M),
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationHarmonic bundle and pure twistor D-module
Harmonic bundle and pure twistor D-module Takuro Mochizuki RIMS, Kyoto University 2012 June Harmonic bundle A harmonic bundle is a Higgs bundle with a pluri-harmonic metric. A Higgs field of a holomorphic
More informationCohomology of Stacks
Cohomology of Stacks K. Behren Department of Mathematics, University of British Columbia, Vancouver, Canaa Lectures given at the School an Conference on Intersection Theory an Mouli Trieste, 9-27 September
More informationCohomology of Stacks
Cohomology of Stacks K Behren University of British Columbia Lectures given at the: School an conference on Intersection theory an mouli September 9 27, 2002 LNS Abstract We construct the e Rham cohomology
More informationUnit L-functions and a conjecture of Katz.
UNIT L-FUNCTIONS 1 Unit L-functions an a conjecture of Katz. By Matthew Emerton an Mark Kisin Let p be a prime number, F p the finite fiel of orer p, an Z p the ring of p-aic integers. Suppose that X is
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More information7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then
7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,
More informationLECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES
LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introuction to the basic concepts an some of the funamental problems in symplectic geometry/topology,
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationSeparation of Variables
Physics 342 Lecture 1 Separation of Variables Lecture 1 Physics 342 Quantum Mechanics I Monay, January 25th, 2010 There are three basic mathematical tools we nee, an then we can begin working on the physical
More informationLinear Algebra- Review And Beyond. Lecture 3
Linear Algebra- Review An Beyon Lecture 3 This lecture gives a wie range of materials relate to matrix. Matrix is the core of linear algebra, an it s useful in many other fiels. 1 Matrix Matrix is the
More informationFIRST YEAR PHD REPORT
FIRST YEAR PHD REPORT VANDITA PATEL Abstract. We look at some potential links between totally real number fiels an some theta expansions (these being moular forms). The literature relate to moular forms
More informationG4003 Advanced Mechanics 1. We already saw that if q is a cyclic variable, the associated conjugate momentum is conserved, L = const.
G4003 Avance Mechanics 1 The Noether theorem We alreay saw that if q is a cyclic variable, the associate conjugate momentum is conserve, q = 0 p q = const. (1) This is the simplest incarnation of Noether
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More informationInternational Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2
International Journal of Pure an Applie Mathematics Volume 35 No. 3 007, 365-374 ON PYTHAGOREAN QUADRUPLES Eray Goins 1, Alain Togbé 1 Department of Mathematics Purue University 150 North University Street,
More informationRobustness and Perturbations of Minimal Bases
Robustness an Perturbations of Minimal Bases Paul Van Dooren an Froilán M Dopico December 9, 2016 Abstract Polynomial minimal bases of rational vector subspaces are a classical concept that plays an important
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationMA 2232 Lecture 08 - Review of Log and Exponential Functions and Exponential Growth
MA 2232 Lecture 08 - Review of Log an Exponential Functions an Exponential Growth Friay, February 2, 2018. Objectives: Review log an exponential functions, their erivative an integration formulas. Exponential
More informationFree rotation of a rigid body 1 D. E. Soper 2 University of Oregon Physics 611, Theoretical Mechanics 5 November 2012
Free rotation of a rigi boy 1 D. E. Soper 2 University of Oregon Physics 611, Theoretical Mechanics 5 November 2012 1 Introuction In this section, we escribe the motion of a rigi boy that is free to rotate
More informationAlgebra IV. Contents. Alexei Skorobogatov. December 12, 2017
Algebra IV Alexei Skorobogatov December 12, 2017 Abstract This course is an introuction to homological algebra an group cohomology. Contents 1 Moules over a ring 2 1.1 Definitions an examples.........................
More informationDiophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations
Diophantine Approximations: Examining the Farey Process an its Metho on Proucing Best Approximations Kelly Bowen Introuction When a person hears the phrase irrational number, one oes not think of anything
More informationDIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10
DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationUNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah
UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES AUGSBURG, MAY 2007 Claude Sabbah Introduction Let f : (C ) n C be a Laurent polynomial, that I assume to be convenient and non-degenerate,
More informationarxiv: v1 [math.dg] 27 Jul 2017
A REMARK ON THE BISMUT-RICCI FORM ON 2-STEP NILMANIFOLDS MATTIA PUJIA AND LUIGI VEZZONI arxiv:1707.08809v1 [math.dg] 27 Jul 2017 Abstract. In this note we observe that on a 2-step nilpotent Lie group equippe
More informationON THE DE RHAM COHOMOLOGY OF ALGEBRAIC VARIETIES
ON THE DE RHAM COHOMOLOGY OF ALGEBRAIC VARIETIES MATT STEVENSON Abstract. This is the final project for Prof. Bhargav Bhatt s Math 613 in the Winter of 2015 at the University of Michigan. The purpose of
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationVectors in two dimensions
Vectors in two imensions Until now, we have been working in one imension only The main reason for this is to become familiar with the main physical ieas like Newton s secon law, without the aitional complication
More informationarxiv:math/ v1 [math.dg] 31 Jan 2006
NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES arxiv:math/0601765v1 [math.dg] 31 Jan 006 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER Deicate
More informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationLecture 6: Calculus. In Song Kim. September 7, 2011
Lecture 6: Calculus In Song Kim September 7, 20 Introuction to Differential Calculus In our previous lecture we came up with several ways to analyze functions. We saw previously that the slope of a linear
More informationLecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012
CS-6 Theory Gems November 8, 0 Lecture Lecturer: Alesaner Mąry Scribes: Alhussein Fawzi, Dorina Thanou Introuction Toay, we will briefly iscuss an important technique in probability theory measure concentration
More informationWitten s Proof of Morse Inequalities
Witten s Proof of Morse Inequalities by Igor Prokhorenkov Let M be a smooth, compact, oriente manifol with imension n. A Morse function is a smooth function f : M R such that all of its critical points
More informationINTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE
INTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE DIRK SCHÜTZ Abstract. We consier the mouli spaces M (l) of a close linkage with n links an prescribe lengths l R n in -imensional
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationCalculus in the AP Physics C Course The Derivative
Limits an Derivatives Calculus in the AP Physics C Course The Derivative In physics, the ieas of the rate change of a quantity (along with the slope of a tangent line) an the area uner a curve are essential.
More information05 The Continuum Limit and the Wave Equation
Utah State University DigitalCommons@USU Founations of Wave Phenomena Physics, Department of 1-1-2004 05 The Continuum Limit an the Wave Equation Charles G. Torre Department of Physics, Utah State University,
More informationCharacteristic classes of vector bundles
Characteristic classes of vector bunles Yoshinori Hashimoto 1 Introuction Let be a smooth, connecte, compact manifol of imension n without bounary, an p : E be a real or complex vector bunle of rank k
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationarxiv: v1 [math.dg] 1 Nov 2015
DARBOUX-WEINSTEIN THEOREM FOR LOCALLY CONFORMALLY SYMPLECTIC MANIFOLDS arxiv:1511.00227v1 [math.dg] 1 Nov 2015 ALEXANDRA OTIMAN AND MIRON STANCIU Abstract. A locally conformally symplectic (LCS) form is
More informationLecture XII. where Φ is called the potential function. Let us introduce spherical coordinates defined through the relations
Lecture XII Abstract We introuce the Laplace equation in spherical coorinates an apply the metho of separation of variables to solve it. This will generate three linear orinary secon orer ifferential equations:
More informationLecture 2 Lagrangian formulation of classical mechanics Mechanics
Lecture Lagrangian formulation of classical mechanics 70.00 Mechanics Principle of stationary action MATH-GA To specify a motion uniquely in classical mechanics, it suffices to give, at some time t 0,
More informationNotes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk
Notes on Lie Groups, Lie algebras, an the Exponentiation Map Mitchell Faulk 1. Preliminaries. In these notes, we concern ourselves with special objects calle matrix Lie groups an their corresponing Lie
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationA. Incorrect! The letter t does not appear in the expression of the given integral
AP Physics C - Problem Drill 1: The Funamental Theorem of Calculus Question No. 1 of 1 Instruction: (1) Rea the problem statement an answer choices carefully () Work the problems on paper as neee (3) Question
More informationDECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS
DECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS ARNAUD BODIN Abstract. We state a kin of Eucliian ivision theorem: given a polynomial P (x) an a ivisor of the egree of P, there exist polynomials h(x),
More informationModuli of representations of quivers
Mouli of representations of quivers Markus Reineke (Wuppertal) Stefano Maggiolo Geometry of mouli, Sophus Lie Conference Center (Norfjorei) June 11 th, 2012 June 15 th, 2011 Contents 1 Why mouli of quivers
More informationSolving the Schrödinger Equation for the 1 Electron Atom (Hydrogen-Like)
Stockton Univeristy Chemistry Program, School of Natural Sciences an Mathematics 101 Vera King Farris Dr, Galloway, NJ CHEM 340: Physical Chemistry II Solving the Schröinger Equation for the 1 Electron
More informationSection 7.2. The Calculus of Complex Functions
Section 7.2 The Calculus of Complex Functions In this section we will iscuss limits, continuity, ifferentiation, Taylor series in the context of functions which take on complex values. Moreover, we will
More informationThe Exact Form and General Integrating Factors
7 The Exact Form an General Integrating Factors In the previous chapters, we ve seen how separable an linear ifferential equations can be solve using methos for converting them to forms that can be easily
More informationPartial Differential Equations
Chapter Partial Differential Equations. Introuction Have solve orinary ifferential equations, i.e. ones where there is one inepenent an one epenent variable. Only orinary ifferentiation is therefore involve.
More informationWitt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]
Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states
More informationAlmost Split Morphisms, Preprojective Algebras and Multiplication Maps of Maximal Rank
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 12-30-2005 Almost Split Morphisms, Preprojective Algebras an Multiplication Maps of Maximal Rank Steven P. Diaz Syracuse University
More informationSYMPLECTIC GEOMETRY: LECTURE 3
SYMPLECTIC GEOMETRY: LECTURE 3 LIAT KESSLER 1. Local forms Vector fiels an the Lie erivative. A vector fiel on a manifol M is a smooth assignment of a vector tangent to M at each point. We think of M as
More informationZachary Scherr Math 503 HW 3 Due Friday, Feb 12
Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.
More informationHomotopy, Quasi-Isomorphism, and Coinvariants
LECTURE 10 Homotopy, Quasi-Isomorphism, an Coinvariants Please note that proos o many o the claims in this lecture are let to Problem Set 5. Recall that a sequence o abelian groups with ierential is a
More informationd dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1
Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of
More informationACTIONS IN MODIFIED CATEGORIES OF INTEREST WITH APPLICATION TO CROSSED MODULES Dedicated to Teimuraz Pirashvili on his 60th birthday
Theory an Applications of Categories, Vol. 30, No. 25, 2015, pp. 882 908. ACTIONS IN MODIFIED CATEGORIES OF INTEREST WITH APPLICATION TO CROSSED MODULES Deicate to Teimuraz Pirashvili on his 60th birthay
More informationDifferentiability, Computing Derivatives, Trig Review. Goals:
Secants vs. Derivatives - Unit #3 : Goals: Differentiability, Computing Derivatives, Trig Review Determine when a function is ifferentiable at a point Relate the erivative graph to the the graph of an
More informationThe Three-dimensional Schödinger Equation
The Three-imensional Schöinger Equation R. L. Herman November 7, 016 Schröinger Equation in Spherical Coorinates We seek to solve the Schröinger equation with spherical symmetry using the metho of separation
More informationELECTRON DIFFRACTION
ELECTRON DIFFRACTION Electrons : wave or quanta? Measurement of wavelength an momentum of electrons. Introuction Electrons isplay both wave an particle properties. What is the relationship between the
More informationEnergy-preserving affine connections
2 A. D. Lewis Enery-preservin affine connections Anrew D. Lewis 28/07/1997 Abstract A Riemannian affine connection on a Riemannian manifol has the property that is preserves the kinetic enery associate
More informationDerivatives and the Product Rule
Derivatives an the Prouct Rule James K. Peterson Department of Biological Sciences an Department of Mathematical Sciences Clemson University January 28, 2014 Outline Differentiability Simple Derivatives
More informationHilbert functions and Betti numbers of reverse lexicographic ideals in the exterior algebra
Turk J Math 36 (2012), 366 375. c TÜBİTAK oi:10.3906/mat-1102-21 Hilbert functions an Betti numbers of reverse lexicographic ieals in the exterior algebra Marilena Crupi, Carmela Ferró Abstract Let K be
More informationSummary: Differentiation
Techniques of Differentiation. Inverse Trigonometric functions The basic formulas (available in MF5 are: Summary: Differentiation ( sin ( cos The basic formula can be generalize as follows: Note: ( sin
More informationCounting Lattice Points in Polytopes: The Ehrhart Theory
3 Counting Lattice Points in Polytopes: The Ehrhart Theory Ubi materia, ibi geometria. Johannes Kepler (1571 1630) Given the profusion of examples that gave rise to the polynomial behavior of the integer-point
More informationQUANTUMMECHANICAL BEHAVIOUR IN A DETERMINISTIC MODEL. G. t Hooft
QUANTUMMECHANICAL BEHAVIOUR IN A DETERMINISTIC MODEL G. t Hooft Institute for Theoretical Physics University of Utrecht, P.O.Box 80 006 3508 TA Utrecht, the Netherlans e-mail: g.thooft@fys.ruu.nl THU-96/39
More informationPerfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs
Perfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs Ashish Goel Michael Kapralov Sanjeev Khanna Abstract We consier the well-stuie problem of fining a perfect matching in -regular bipartite
More informationWeek 1: Number Theory - Euler Phi Function, Order and Primitive Roots. 1 Greatest Common Divisor and the Euler Phi Function
2010 IMO Summer Training: Number Theory 1 Week 1: Number Theory - Euler Phi Function, Orer an Primitive Roots 1 Greatest Common Divisor an the Euler Phi Function Consier the following problem. Exercise
More informationBohr Model of the Hydrogen Atom
Class 2 page 1 Bohr Moel of the Hyrogen Atom The Bohr Moel of the hyrogen atom assumes that the atom consists of one electron orbiting a positively charge nucleus. Although it oes NOT o a goo job of escribing
More informationSurvey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013
Survey Sampling Kosuke Imai Department of Politics, Princeton University February 19, 2013 Survey sampling is one of the most commonly use ata collection methos for social scientists. We begin by escribing
More informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationModular composition modulo triangular sets and applications
Moular composition moulo triangular sets an applications Arien Poteaux Éric Schost arien.poteaux@lip6.fr eschost@uwo.ca : Computer Science Department, The University of Western Ontario, Lonon, ON, Canaa
More informationUnit #6 - Families of Functions, Taylor Polynomials, l Hopital s Rule
Unit # - Families of Functions, Taylor Polynomials, l Hopital s Rule Some problems an solutions selecte or aapte from Hughes-Hallett Calculus. Critical Points. Consier the function f) = 54 +. b) a) Fin
More informationFinal Exam Study Guide and Practice Problems Solutions
Final Exam Stuy Guie an Practice Problems Solutions Note: These problems are just some of the types of problems that might appear on the exam. However, to fully prepare for the exam, in aition to making
More informationA Second Time Dimension, Hidden in Plain Sight
A Secon Time Dimension, Hien in Plain Sight Brett A Collins. In this paper I postulate the existence of a secon time imension, making five imensions, three space imensions an two time imensions. I will
More information6 Wave equation in spherical polar coordinates
6 Wave equation in spherical polar coorinates We now look at solving problems involving the Laplacian in spherical polar coorinates. The angular epenence of the solutions will be escribe by spherical harmonics.
More information1 Second Facts About Spaces of Modular Forms
April 30, :00 pm 1 Secon Facts About Spaces of Moular Forms We have repeately use facts about the imensions of the space of moular forms, mostly to give specific examples of an relations between moular
More informationarxiv: v1 [math.dg] 3 Jun 2016
FOUR-DIMENSIONAL EINSTEIN MANIFOLDS WITH SECTIONAL CURVATURE BOUNDED FROM ABOVE arxiv:606.057v [math.dg] Jun 206 ZHUHONG ZHANG Abstract. Given an Einstein structure with positive scalar curvature on a
More informationMEASURES WITH ZEROS IN THE INVERSE OF THEIR MOMENT MATRIX
MEASURES WITH ZEROS IN THE INVERSE OF THEIR MOMENT MATRIX J. WILLIAM HELTON, JEAN B. LASSERRE, AND MIHAI PUTINAR Abstract. We investigate an iscuss when the inverse of a multivariate truncate moment matrix
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More informationarxiv:math/ v1 [math.rt] 15 Apr 2003
arxiv:math/0304193v1 [math.rt] 15 Apr 2003 The use of geometric an quantum group techniques for wil quivers 1 Introuction Markus Reineke Fachbereich Mathematik Universität Wuppertal Gaußstr. 20 D - 42097
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationu!i = a T u = 0. Then S satisfies
Deterministic Conitions for Subspace Ientifiability from Incomplete Sampling Daniel L Pimentel-Alarcón, Nigel Boston, Robert D Nowak University of Wisconsin-Maison Abstract Consier an r-imensional subspace
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More informationSOME RESULTS ON THE GEOMETRY OF MINKOWSKI PLANE. Bing Ye Wu
ARCHIVUM MATHEMATICUM (BRNO Tomus 46 (21, 177 184 SOME RESULTS ON THE GEOMETRY OF MINKOWSKI PLANE Bing Ye Wu Abstract. In this paper we stuy the geometry of Minkowski plane an obtain some results. We focus
More informationInverse Theory Course: LTU Kiruna. Day 1
Inverse Theory Course: LTU Kiruna. Day Hugh Pumphrey March 6, 0 Preamble These are the notes for the course Inverse Theory to be taught at LuleåTekniska Universitet, Kiruna in February 00. They are not
More information