Search This Blog

Friday, July 3, 2026

Mathematics education

From Wikipedia, the free encyclopedia
A child calculating with his fingers (2006)

In contemporary education, mathematics education (known in Europe as the didactics or pedagogy of mathematics) is the practice of teaching, learning, and carrying out scholarly research into the transfer of mathematical knowledge.

Although research into mathematics education is primarily concerned with the tools, methods, and approaches that facilitate practice or the study of practice, it also covers an extensive field of study encompassing a variety of different concepts, theories and methods. National and international organisations regularly hold conferences and publish literature in order to improve mathematics education.

Objectives

Boy doing sums, Guinea-Bissau, 1974

At different times and in different cultures and countries, mathematics education has attempted to achieve a variety of different objectives. These objectives have included:

Methods

The method or methods used in any particular context are largely determined by the objectives that the relevant educational system is trying to achieve. Methods of teaching mathematics include the following:

3D sketch of desk cubicles to get computers in the classroom for computer-based mathematics, CAD, CAM, BIM, computer-aided engineering, computer programming, animation software, science software applications, and more.
Games can motivate students to improve skills that are usually learned by rote. In "Number Bingo," players roll 3 dice, then perform basic mathematical operations on those numbers to get a new number, which they cover on the board trying to cover 4 squares in a row. This game was played at a "Discovery Day" organized by Big Brother Mouse in Laos.
  • Computer-based math: an approach based on the use of mathematical software as the primary tool of computation.
  • Computer-based mathematics education: involves the use of computers to teach mathematics. Mobile applications have also been developed to help students learn mathematics.
  • Classical education: the teaching of mathematics within the quadrivium, part of the classical education curriculum of the Middle Ages, which was typically based on Euclid's Elements taught as a paradigm of deductive reasoning.
  • Conventional approach: the gradual and systematic guiding through the hierarchy of mathematical notions, ideas and techniques. Starts with arithmetic and is followed by Euclidean geometry and elementary algebra taught concurrently. Requires the instructor to be well informed about elementary mathematics since didactic and curriculum decisions are often dictated by the logic of the subject rather than pedagogical considerations. Other methods emerge by emphasizing some aspects of this approach.
  • Relational approach: uses class topics to solve everyday problems and relates the topic to current events. This approach focuses on the many uses of mathematics and helps students understand why they need to know it as well as helps them to apply mathematics to real-world situations outside of the classroom.
  • Historical method: teaching the development of mathematics within a historical, social, and cultural context. Proponents argue it provides more human interest than the conventional approach.
  • Discovery math: a constructivist method of teaching (discovery learning) mathematics which centres around problem-based or inquiry-based learning, with the use of open-ended questions and manipulative tools. This type of mathematics education was implemented in various parts of Canada beginning in 2005. Discovery-based mathematics is at the forefront of the Canadian "math wars" debate with many criticizing it for declining math scores.
  • New Math: a method of teaching mathematics which focuses on abstract concepts such as set theory, functions, and bases other than ten. Adopted in the US as a response to the challenge of early Soviet technical superiority in space, it began to be challenged in the late 1960s. One of the most influential critiques of the New Math was Morris Kline's 1973 book Why Johnny Can't Add. The New Math method was the topic of one of Tom Lehrer's most popular parody songs, with his introductory remarks to the song: "...in the new approach, as you know, the important thing is to understand what you're doing, rather than to get the right answer."
  • Recreational mathematics: mathematical problems that are fun can motivate students to learn mathematics and can increase their enjoyment of mathematics.
  • Standards-based mathematics: a vision for pre-college mathematics education in the United States and Canada, focused on deepening student understanding of mathematical ideas and procedures, and formalized by the National Council of Teachers of Mathematics which created the Principles and Standards for School Mathematics.
  • Mastery: an approach in which most students are expected to achieve a high level of competence before progressing.
  • Problem solving: the cultivation of mathematical ingenuity, creativity, and heuristic thinking by setting students open-ended, unusual, and sometimes unsolved problems. The problems can range from simple word problems to problems from international mathematics competitions such as the International Mathematical Olympiad. Problem-solving is used as a means to build new mathematical knowledge, typically by building on students' prior understandings.
  • Exercises: the reinforcement of mathematical skills by completing large numbers of exercises of a similar type, such as adding simple fractions or solving quadratic equations.
  • Rote learning: the teaching of mathematical results, definitions and concepts by repetition and memorisation typically without meaning or supported by mathematical reasoning. A derisory term is drill and kill. In traditional education, rote learning is used to teach multiplication tables, definitions, formulas, and other aspects of mathematics.
  • Math walk: a walk where experience of perceived objects and scenes is translated into mathematical language.

Content and age levels

A mathematics lecture at Aalto University School of Science and Technology

Different levels of mathematics are taught at different ages and in somewhat different sequences in different countries. Sometimes a class may be taught at an earlier age than typical as a special or honors class.

Elementary mathematics in most countries is taught similarly, though there are differences. Most countries tend to cover fewer topics in greater depth than in the United States. During the primary school years, children learn about whole numbers and arithmetic, including addition, subtraction, multiplication, and division. Comparisons and measurement are taught, in both numeric and pictorial form, as well as fractions and proportionality, patterns, and various topics related to geometry.

At high school level in most of the US, algebra, geometry, and analysis (pre-calculus and calculus) are taught as separate courses in different years. On the other hand, in most other countries (and in a few US states), mathematics is taught as an integrated subject, with topics from all branches of mathematics studied every year; students thus follow a pre-defined course sequence – encompassing different topics – rather than choosing courses à la carte as in the United States. Even in these cases, however, several "mathematics" options may be offered, selected based on the student's intended studies post high school. (In South Africa, for example, the options are Mathematics, Mathematical Literacy and Technical Mathematics.) Thus, a science-oriented curriculum typically overlaps the first year of university mathematics, and includes differential calculus and trigonometry at age 16–17 and integral calculus, complex numbers, analytic geometry, exponential and logarithmic functions, and infinite series in their final year of secondary school; Probability and statistics are similarly often taught.

At college and university level, science and engineering students will be required to take multivariable calculus, differential equations, and linear algebra; at several US colleges, the minor or AS in mathematics substantively comprises these courses. Mathematics majors study additional areas of pure mathematics—and often applied mathematics—with the requirement of specified advanced courses in analysis and modern algebra. Other topics in pure mathematics include differential geometry, set theory, and topology. Applied mathematics may be taken as a major subject in its own right, covering partial differential equations, optimization, and numerical analysis among other topics. Courses here are also taught within other programs: for example, civil engineers may be required to study fluid mechanics, and "math for computer science" might include graph theory, permutation, probability, and formal mathematical proofs. Pure and applied math degrees often include modules in probability theory or mathematical statistics, as well as stochastic processes. Physics, especially theoretical, is mathematics-intensive, substantively overlapping both pure and applied math.

Coverage in other programs will vary. Business mathematics is usually limited to introductory calculus and (sometimes) matrix calculations; business majors often also take a parallel course in statistics and probability. Additional to these topics, economics programs typically cover optimization, often differential equations and linear algebra, and sometimes analysis; statistics is similarly extended, underpinning econometrics. The discipline of Management Science formalizes the use of mathematics and statistics in business. Social science curricula require statistics also, often complemented by major-specific quantitative research courses. Students in the humanities and liberal arts may be offered a course in "contemporary mathematics," "mathematics for the liberal arts," or "quantitative reasoning," which may include topics such as set theory and mathematical logic, and applications of mathematics to other fields. Mathematics courses have low rates of course success relative to other fields of study, and students at US colleges and universities may be required to retake high school mathematics courses through remedial education programs.

Standards

Throughout most of history, standards for mathematics education were set locally, by individual schools or teachers, depending on the levels of achievement that were relevant to, realistic for, and considered socially appropriate for their pupils.

In modern times, there has been a move towards regional or national standards, usually under the umbrella of a wider standard school curriculum. In England, for example, standards for mathematics education are set as part of the National Curriculum for England, while Scotland maintains its own educational system. Many other countries have centralized ministries which set national standards or curricula, and sometimes even textbooks.

Ma (2000) summarized the research of others who found, based on nationwide data, that students with higher scores on standardized mathematics tests had taken more mathematics courses in high school. This led some states to require three years of mathematics instead of two. But because this requirement was often met by taking another lower-level mathematics course, the additional courses had a "diluted" effect in raising achievement levels.

In North America, the National Council of Teachers of Mathematics (NCTM) published the Principles and Standards for School Mathematics in 2000 for the United States and Canada, which boosted the trend towards reform mathematics. In 2006, the NCTM released Curriculum Focal Points, which recommend the most important mathematical topics for each grade level through grade 8. However, these standards were guidelines to implement as American states and Canadian provinces chose. In 2010, the National Governors Association Center for Best Practices and the Council of Chief State School Officers published the Common Core State Standards for US states, which were subsequently adopted by most states. Adoption of the Common Core State Standards in mathematics is at the discretion of each state, and is not mandated by the federal government. "States routinely review their academic standards and may choose to change or add onto the standards to best meet the needs of their students." The NCTM has state affiliates that have different education standards at the state level. For example, Missouri has the Missouri Council of Teachers of Mathematics (MCTM) which has its pillars and standards of education listed on its website. The MCTM also offers membership opportunities to teachers and future teachers so that they can stay up to date on the changes in math educational standards.

The Programme for International Student Assessment (PISA), created by the Organisation for the Economic Co-operation and Development (OECD), is a global program studying the reading, science, and mathematics abilities of 15-year-old students. The first assessment was conducted in the year 2000 with 43 countries participating. PISA has repeated this assessment every three years to provide comparable data, helping to guide global education to better prepare youth for future economies. There have been many ramifications following the results of triennial PISA assessments due to implicit and explicit responses of stakeholders, which have led to education reform and policy change.

Research

Paul Ernest proposed, in a tentative and incomplete way, some primary and secondary objects of study of research in mathematics education. While the secondary objects come after the primary objects, Ernest claimed that they are "important too, and should not be neglected." These primary objects of study are

  • The nature of mathematics and school mathematical knowledge
  • The learning of mathematics
  • The aims and goals of mathematics teaching and schooling
  • The teaching of mathematics, including the methods and approaches involved
  • The full range of texts, materials, aids and electronic resources employed
  • The human and social contexts of mathematics learning/teaching in all their complexity
  • The interaction and relationships between all of the above factors.

The secondary objects of study are

  • The nature of mathematics education knowledge: its concepts, theories, results, literature, aims and function
  • The nature of mathematics education research: its epistemology, theoretical bases, criteria, methodology, methods, outcomes and goals
  • Mathematics education teaching and learning in teacher education, including practice, technique, theory and research
  • The social institutions of mathematics education: the persons, locations, institutions (universities, colleges, research centers), conferences, organizations, networks, journals, etc. and their relationships with its overall social or societal contexts.

According to Hiebert and Grouws, "Robust, useful theories of classroom teaching do not yet exist." However, there are useful theories on how children learn mathematics, and much research has been conducted in recent decades to explore how these theories can be applied to teaching. The following results are examples of some of the current findings in the field of mathematics education.

Important results

One of the strongest results in recent research is that the most important feature of effective teaching is giving students "the opportunity to learn". Teachers can set expectations, times, kinds of tasks, questions, acceptable answers, and types of discussions that will influence students' opportunities to learn. This must involve both skill efficiency and conceptual understanding.

Conceptual understanding

Source:

Two of the most important features of teaching in the promotion of conceptual understanding times are attending explicitly to concepts and allowing students to struggle with important mathematics. Both of these features have been confirmed through a wide variety of studies. Explicit attention to concepts involves making connections between facts, procedures, and ideas. (This is often seen as one of the strong points in mathematics teaching in East Asian countries, where teachers typically devote about half of their time to making connections. At the other extreme is the US, where essentially no connections are made in school classrooms.) These connections can be made through explanation of the meaning of a procedure, questions comparing strategies and solutions of problems, noticing how one problem is a special case of another, reminding students of the main point, discussing how lessons connect, and so on.
Deliberate, productive struggle with mathematical ideas refers to the fact that when students exert effort with important mathematical ideas, even if this struggle initially involves confusion and errors, the result is greater learning. This is true whether the struggle is due to intentionally challenging, well-implemented teaching, or unintentionally confusing, faulty teaching.

Formative assessment

Formative assessment is both the best and cheapest way to boost student achievement, student engagement, and teacher professional satisfaction. Results surpass those of reducing class size or increasing teachers' content knowledge. Effective assessment is based on clarifying what students should know, creating appropriate activities to obtain the evidence needed, giving good feedback, encouraging students to take control of their learning and letting students be resources for one another.

Homework

Homework assignments which lead students to practice past lessons or prepare for future lessons are more effective than those going over the current lesson. Students benefit from feedback. Students with learning disabilities or low motivation may profit from rewards. For younger children, homework helps simple skills, but not broader measures of achievement.

Students with difficulties

Students with genuine difficulties (unrelated to motivation or past instruction) struggle with basic facts, answer impulsively, struggle with mental representations, have poor number sense, and have poor short-term memory. Techniques that have been found productive for helping such students include peer-assisted learning, explicit teaching with visual aids, instruction informed by formative assessment, and encouraging students to think aloud.
 
In particular, research surrounding students with disabilities in a mathematics classroom is mostly done by special education researchers. Some mathematics education researchers have called for more collaboration across disciplines to better understand supports that could be helpful to mathematics students with disabilities.

Algebraic reasoning

Elementary school children need to spend a long time learning to express algebraic properties without symbols before learning algebraic notation. When learning symbols, many students believe letters always represent unknowns and struggle with the concept of variable. They prefer arithmetic reasoning to algebraic equations for solving word problems. It takes time to move from arithmetic to algebraic generalizations to describe patterns. Students often have trouble with the minus sign and understand the equals sign to mean "the answer is...".

Cultural Equity

Despite the popular belief that mathematics is race neutral, some research suggests that effective mathematics teaching of culturally diverse students requires a culturally relevant pedagogy that considers students' cultural backgrounds and experiences. The three criteria for culturally relevant pedagogy are academic success, cultural competence, and critical consciousness. More recent research proposes that culturally sustaining pedagogy explicitly aims to perpetuate and foster cultural and linguistic pluralism within the educational system, ensuring that students can thrive while retaining their cultural identities.

Mathematics Teacher Education

Student teaching is a crucial part of a teacher candidate's path to becoming a teacher. Recommended reform in mathematics teacher education includes a focus on learning to anticipate, elicit, and use students’ mathematical thinking as the primary goal, as opposed to models with an over-emphasis on classroom management and survival.

Methodology

As with other educational research (and the social sciences in general), mathematics education research depends on both quantitative and qualitative studies. Quantitative research includes studies that use inferential statistics to answer specific questions, such as whether a certain teaching method gives significantly better results than the status quo. The best quantitative studies involve randomized trials where students or classes are randomly assigned different methods to test their effects. They depend on large samples to obtain statistically significant results.

Qualitative research, such as case studies, action research, discourse analysis, and clinical interviews, depend on small but focused samples in an attempt to understand student learning and to look at how and why a given method gives the results it does. Such studies cannot conclusively establish that one method is better than another, as randomized trials can, but unless it is understood why treatment X is better than treatment Y, application of results of quantitative studies will often lead to "lethal mutations" of the finding in actual classrooms. Exploratory qualitative research is also useful for suggesting new hypotheses, which can eventually be tested by randomized experiments. Both qualitative and quantitative studies, therefore, are considered essential in education—just as in the other social sciences. Many studies are "mixed", simultaneously combining aspects of both quantitative and qualitative research, as appropriate.

Randomized trials

There has been some controversy over the relative strengths of different types of research. Because of an opinion that randomized trials provide clear, objective evidence on "what works", policymakers often consider only those studies. Some scholars have pushed for more random experiments in which teaching methods are randomly assigned to classes. In other disciplines concerned with human subjects—like biomedicine, psychology, and policy evaluation—controlled, randomized experiments remain the preferred method of evaluating treatments. Educational statisticians and some mathematics educators have been working to increase the use of randomized experiments to evaluate teaching methods. On the other hand, many scholars in educational schools have argued against increasing the number of randomized experiments, often because of philosophical objections, such as the ethical difficulty of randomly assigning students to various treatments when the effects of such treatments are not yet known to be effective, or the difficulty of assuring rigid control of the independent variable in fluid, real school settings.

In the United States, the National Mathematics Advisory Panel (NMAP) published a report in 2008 based on studies, some of which used randomized assignment of treatments to experimental units, such as classrooms or students. The NMAP report's preference for randomized experiments received criticism from some scholars. In 2010, the What Works Clearinghouse (a division of the Institute of Education Sciences, which is the research arm of the Department of Education) responded to ongoing controversy by extending its research base to include non-experimental studies, including regression discontinuity designs and single-case studies.

History

Ancient

Elementary mathematics was a core part of education in many ancient civilisations, including ancient Egypt, ancient Babylonia, ancient Greece, ancient Rome, and Vedic India. In most cases, formal education was only available to male children with sufficiently high status, wealth, or caste. The oldest known mathematics textbook is the Rhind papyrus, dated from circa 1650 BCE.

Pythagorean theorem

Historians of Mesopotamia have confirmed that use of the Pythagorean rule dates back to the Old Babylonian Empire (20th–16th centuries BC) and that it was being taught in scribal schools over one thousand years before the birth of Pythagoras.

In Plato's division of the liberal arts into the trivium and the quadrivium, the quadrivium included the mathematical fields of arithmetic and geometry. This structure was continued in the structure of classical education that was developed in medieval Europe. The teaching of geometry was almost universally based on Euclid's Elements. Apprentices to trades such as masons, merchants, and moneylenders could expect to learn such practical mathematics as was relevant to their profession.

Medieval and early modern

Illustration at the beginning of a 14th-century translation of Euclid's Elements

In the Middle Ages, the academic status of mathematics declined, because it was strongly associated with trade and commerce, and considered somewhat un-Christian. Although it continued to be taught in European universities, it was seen as subservient to the study of natural, metaphysical, and moral philosophy. The first modern arithmetic curriculum (starting with addition, then subtraction, multiplication, and division) arose at reckoning schools in Italy in the 1300s. Spreading along trade routes, these methods were designed to be used in commerce. They contrasted with Platonic math taught at universities, which was more philosophical and concerned numbers as concepts rather than calculating methods. They also contrasted with mathematical methods learned by artisan apprentices, which were specific to the tasks and tools at hand. For example, the division of a board into thirds can be accomplished with a piece of string, instead of measuring the length and using the arithmetic operation of division.

The first mathematics textbooks to be written in English and French were published by Robert Recorde, beginning with The Grounde of Artes in 1543. However, there are many different writings on mathematics and mathematics methodology that date back to 1800 BCE. These were mostly located in Mesopotamia, where the Sumerians were practicing multiplication and division. There are also artifacts demonstrating their methodology for solving equations like the quadratic equation. After the Sumerians, some of the most famous ancient works on mathematics came from Egypt in the form of the Rhind Mathematical Papyrus and the Moscow Mathematical Papyrus. The more famous Rhind Papyrus has been dated back to approximately 1650 BCE, but it is thought to be a copy of an even older scroll. This papyrus was essentially an early textbook for Egyptian students.

The social status of mathematical study was improving by the seventeenth century, with the University of Aberdeen creating a Mathematics Chair in 1613, followed by the Chair in Geometry being set up in University of Oxford in 1619 and the Lucasian Chair of Mathematics being established by the University of Cambridge in 1662.

Modern

In the 18th and 19th centuries, the Industrial Revolution led to an enormous increase in urban populations. Basic numeracy skills, such as the ability to tell the time, count money, and carry out simple arithmetic, became essential in this new urban lifestyle. Within the new public education systems, mathematics became a central part of the curriculum from an early age.

By the twentieth century, mathematics was part of the core curriculum in all developed countries.

During the twentieth century, mathematics education was established as an independent field of research. Main events in this development include the following:

Midway through the twentieth century, the cultural impact of the "electronic age" (McLuhan) was also taken up by educational theory and the teaching of mathematics. While the previous approach focused on "working with specialized 'problems' in arithmetic", the emerging structural approach to knowledge had "small children meditating about number theory and 'sets'." Since the 1980s, there have been a number of efforts to reform the traditional curriculum, which focuses on continuous mathematics and relegates even some basic discrete concepts to advanced study, to better balance coverage of the continuous and discrete sides of the subject:

  • In the 1980s and early 1990s, there was a push to make discrete mathematics more available at the post-secondary level;
  • From the late 1980s into the new millennium, countries like the US began to identify and standardize sets of discrete mathematics topics for primary and secondary education;
  • Concurrently, academics began compiling practical advice on introducing discrete math topics into the classroom;
  • Researchers continued arguing the urgency of making the transition throughout the 2000s; and
  • In parallel, some textbook authors began working on materials explicitly designed to provide more balance.

Similar efforts are also underway to shift more focus to mathematical modeling as well as its relationship to discrete math.

Langlands program

From Wikipedia, the free encyclopedia

In mathematics, the Langlands program is a set of conjectures about connections between number theory, the theory of automorphic forms, and geometry. It was proposed by the Canadian mathematician Robert Langlands (1967, 1970). More precisely, it seeks to relate the structure of Galois groups in algebraic number theory to automorphic forms and, more generally, the representation theory of algebraic groups over local fields and adeles.

Background

The Langlands program is built on existing ideas: the philosophy of cusp forms formulated a few years earlier by Harish-Chandra and Gelfand, the work and Harish-Chandra's approach on semisimple Lie groups, and in technical terms the trace formula of Selberg and others.

What was new in Langlands' work, besides technical depth, was the proposed connection to number theory, together with its rich organisational structure hypothesised (so-called functoriality).

Harish-Chandra's work exploited the principle that what can be done for one semisimple (or reductive) Lie group can be done for all. Therefore, once the role of some low-dimensional Lie groups such as GL(2) in the theory of modular forms had been recognised, and with hindsight GL(1) in class field theory, the way was open to speculation about GL(n) for general n > 2.

The "cusp form" idea came out of the cusps on modular curves but also had a meaning visible in spectral theory as "discrete spectrum", contrasted with the "continuous spectrum" from Eisenstein series. It becomes much more technical for bigger Lie groups, because the parabolic subgroups are more numerous.

In all these approaches technical methods were available, often inductive in nature and based on Levi decompositions amongst other matters, but the field remained demanding.

From the perspective of modular forms, examples such as Hilbert modular forms, Siegel modular forms, and theta-series had been developed.

Objects

The conjectures have evolved since Langlands first stated them. Langlands conjectures apply across many different groups over many different fields for which they can be stated, and each field offers several versions of the conjectures. Some versions are vague, or depend on objects such as Langlands groups, whose existence is unproven, or on the L-group that has several non-equivalent definitions.

Objects for which Langlands conjectures can be stated:

  • Representations of reductive groups over local fields (with different subcases corresponding to archimedean local fields, p-adic local fields, and completions of function fields)
  • Automorphic forms on reductive groups over global fields (with subcases corresponding to number fields or function fields).
  • Analogues for finite fields.
  • More general fields, such as function fields over the complex numbers.

Conjectures

The conjectures can be stated variously in ways that are closely related but not obviously equivalent.

Reciprocity

The starting point of the program was Emil Artin's reciprocity law, which generalizes quadratic reciprocity. The Artin reciprocity law applies to a Galois extension of an algebraic number field whose Galois group is abelian; it assigns L-functions to the one-dimensional representations of this Galois group, and states that these L-functions are identical to certain Dirichlet L-series or more general series (that is, certain analogues of the Riemann zeta function) constructed from Hecke characters. The precise correspondence between these different kinds of L-functions constitutes Artin's reciprocity law.

For non-abelian Galois groups and higher-dimensional representations of them, L-functions can be defined in a natural way: Artin L-functions.

Langlands' insight was to find the proper generalization of Dirichlet L-functions, which would allow the formulation of Artin's statement in Langland's more general setting. Hecke had earlier related Dirichlet L-functions with automorphic forms (holomorphic functions on the upper half plane of the complex number plane that satisfy certain functional equations). Langlands then generalized these to automorphic cuspidal representations, which are certain infinite dimensional irreducible representations of the general linear group GL(n) over the adele ring of (the rational numbers). (This ring tracks all the completions of see p-adic numbers.)

Langlands attached automorphic L-functions to these automorphic representations, and conjectured that every Artin L-function arising from a finite-dimensional representation of the Galois group of a number field is equal to one arising from an automorphic cuspidal representation. This is known as his reciprocity conjecture.

Roughly speaking, this conjecture gives a correspondence between automorphic representations of a reductive group and homomorphisms from a Langlands group to an L-group. This offers numerous variations, in part because the definitions of Langlands group and L-group are not fixed.

Over local fields this is expected to give a parameterization of L-packets of admissible irreducible representations of a reductive group over the local field. For example, over the real numbers, this correspondence is the Langlands classification of representations of real reductive groups. Over global fields, it should give a parameterization of automorphic forms.

Functoriality

The functoriality conjecture states that a suitable homomorphism of L-groups is expected to give a correspondence between automorphic forms (in the global case) or representations (in the local case). Roughly speaking, the Langlands reciprocity conjecture is the special case of the functoriality conjecture when one of the reductive groups is trivial.

Generalized functoriality

Langlands generalized the idea of functoriality: instead of using the general linear group GL(n), other connected reductive groups can be used. Furthermore, given such a group G, Langlands constructs the Langlands dual group LG, and then, for every automorphic cuspidal representation of G and every finite-dimensional representation of LG, he defines an L-function. One of his conjectures states that these L-functions satisfy a certain functional equation generalizing those of other known L-functions.

He then goes on to formulate a very general "Functoriality Principle". Given two reductive groups and a (well behaved) morphism between their corresponding L-groups, this conjecture relates their automorphic representations in a way that is compatible with their L-functions. This functoriality conjecture implies all the other conjectures presented so far. It is of the nature of an induced representation construction—what in the more traditional theory of automorphic forms had been called a 'lifting', known in special cases, and so is covariant (whereas a restricted representation is contravariant). Attempts to specify a direct construction have only produced some conditional results.

All these conjectures can be formulated for more general fields in place of : algebraic number fields (the original and most important case), local fields, and function fields.

Geometric conjectures

The geometric Langlands program, suggested by Gérard Laumon following ideas of Vladimir Drinfeld, arises from a geometric reformulation of the usual Langlands program that attempts to relate more than just irreducible representations. In simple cases, it relates l-adic representations of the étale fundamental group of an algebraic curve to objects of the derived category of l-adic sheaves on the moduli stack of vector bundles over the curve.

In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.

Status

The Langlands correspondence for GL(1, K) follows from (and is essentially equivalent to) class field theory.

Langlands proved the Langlands conjectures for groups over the archimedean local fields (the real numbers) and (the complex numbers) by giving the Langlands classification of their irreducible representations.

Lusztig's classification of the irreducible representations of groups of Lie type over finite fields can be considered an analogue of the Langlands conjectures for finite fields.

Andrew Wiles' proof of modularity of semistable elliptic curves over rationals can be viewed as an instance of the Langlands reciprocity conjecture, since the main idea is to relate the Galois representations arising from elliptic curves to modular forms. Although Wiles' results have been substantially generalized, in many different directions, the full Langlands conjecture for remains unproved.

In 1998, Laurent Lafforgue proved Lafforgue's theorem verifying the global Langlands correspondence for the general linear group GL(n, K) for function fields K. This work continued earlier investigations by Drinfeld, who previously addressed the case of GL(2, K) in the 1980s.

In 2018, Vincent Lafforgue established one half of the global Langlands correspondence (the direction from automorphic forms to Galois representations) for connected reductive groups over global function fields.

Local Langlands conjectures

Philip Kutzko proved the local Langlands correspondence for the general linear group GL(2, K) over local fields.

Gérard Laumon, Michael Rapoport, and Ulrich Stuhler proved the local Langlands correspondence for the general linear group GL(n, K) for positive characteristic local fields K. Their proof uses a global argument, realizing smooth admissible representations of interest as the local components of automorphic representations of the group of units of a division algebra over a curve, then using the point-counting formula to study the properties of the global Galois representations associated to these representations.

Michael Harris and Richard Taylor proved the local Langlands conjectures for the general linear group GL(n, K) for characteristic 0 local fields KGuy Henniart gave another proof. Both proofs use a global argument of a similar flavor to the one mentioned in the previous paragraph. Peter Scholze gave another proof.

Fargues–Scholze program

Laurent Fargues and Peter Scholze recast the local Langlands correspondence in geometric terms using the Fargues–Fontaine curve. In their approach, the key automorphic object is the stack of -bundles on the Fargues–Fontaine curve, viewed as a geometric replacement for the representation theory of over a non-archimedean local field .

Fargues and Scholze develop a theory of -adic sheaves on , prove a version of the geometric Satake equivalence for the Fargues–Fontaine curve, and define a geometric moduli stack of Langlands parameters.

Their work also formulates a conjectural categorical form of local Langlands, in which the usual correspondence between representations and parameters is expected to arise from a deeper relationship between categories of sheaves on and coherent sheaves on the stack of Langlands parameters. This is thus not a complete proof of the local Langlands correspondence for all reductive groups, but a geometric reformulation that yields new results and a broadened conceptual framework for the subject.

Fundamental lemma

In 2008, Ngô Bảo Châu proved the "fundamental lemma", which was conjectured initially by Langlands and Shelstad in 1983 and is required in the proof of some essential conjectures in the Langlands program.

Mathematics education

From Wikipedia, the free encyclopedia https://en.wikipedia.org/wiki/Mathematics_education   ...