Showing 1–21 of 21 results for author: Carmeli, S

Tate-valued Characteristic Classes

Authors: Shachar Carmeli, Kiran Luecke

Abstract: We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously answered by Lawson et al \cite{lawsonetal}. We also lift and generalize the ``sharp'' construction of Ando-French-Ganter \cite{afg} to an operation on arbitrary… ▽ More We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously answered by Lawson et al \cite{lawsonetal}. We also lift and generalize the ``sharp'' construction of Ando-French-Ganter \cite{afg} to an operation on arbitrary $\EE_\infty$-complex orientations, thereby providing a rich source of new $\EE_\infty$-orientations for commutative ring spectra. In particular we give an $\EE_\infty$-lift of the Jacobi orientation, a generalization of the much-studied two variable elliptic genus. Finally, we construct some new complex orientations of periodic ring spectra as requested in \cite{hahnyuan}. △ Less

Submitted 15 March, 2025; originally announced March 2025.

Comments: 25 pages, comments welcome

MSC Class: 55R40; 55R77

The spectrum of units of algebraic $K$-theory

Authors: Shachar Carmeli, Kiran Luecke

Abstract: It is well known that the $[0,1]$ and $[0,2]$ Postnikov truncations of the units of the topological $K$-theories $\glone \KO$ and $\glone \KU$, respectively, are split, and that the splitting is provided by the ($\Z/2$-graded) line bundles. In this paper we give a similar splitting for the $[0,1]$-truncation of the units of algebraic $K$-theory, considered as a sheaf on affine schemes. A crucial s… ▽ More It is well known that the $[0,1]$ and $[0,2]$ Postnikov truncations of the units of the topological $K$-theories $\glone \KO$ and $\glone \KU$, respectively, are split, and that the splitting is provided by the ($\Z/2$-graded) line bundles. In this paper we give a similar splitting for the $[0,1]$-truncation of the units of algebraic $K$-theory, considered as a sheaf on affine schemes. A crucial step is to produce the splitting for $\glone K(\Z)$. Along the way we also give a complete calculation of the connective spectrum of strict units of $K(\Z)$ and $K(\F_\ell)$ for a prime $\ell$. Finally, we show that the units of algebraic $K$-theory do not split as a presheaf. In fact we show they do not even split pointwise. △ Less

Submitted 25 October, 2024; v1 submitted 13 October, 2024; originally announced October 2024.

Comments: 32 pages, two Main Theorems (A,B) added, comments welcome!

MSC Class: 19D55; 55P60

Maps between spherical group rings

Authors: Shachar Carmeli, Thomas Nikolaus, Allen Yuan

Abstract: We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to B$. We also prove generalizations where the sphere is replaced by other ring spectra, e.g. we give a formula for the strict units in group rings of the form… ▽ More We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to B$. We also prove generalizations where the sphere is replaced by other ring spectra, e.g. we give a formula for the strict units in group rings of the form $R[A]$ for $A$ a finite $p$-group and $R$ $p$-completely chromatically complete. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: 41 pages, comments welcome

Report number: CPH-GEOTOP-DNRF151

Chromatic Cardinalities via Redshift

Authors: Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows… ▽ More Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows one to bypass the Ravenel-Wilson computation in the proof of the $\infty$-semiadditivity of the $T(n)$-local categories. △ Less

Submitted 2 June, 2024; v1 submitted 30 September, 2023; originally announced October 2023.

Comments: 9 page, final version

Report number: CPH-GEOTOP-DNRF151

Journal ref: International Mathematics Research Notices, 2024, rnae109

On the Non-Existence of J-Homomorphisms of Higher Height

Authors: Shachar Carmeli

Abstract: We show that for a large class of connective spectra, the mapping space into the units of the $p$-complete sphere spectrum is insensitive to $L_1$-localization followed by taking connective cover. We show that for a large class of connective spectra, the mapping space into the units of the $p$-complete sphere spectrum is insensitive to $L_1$-localization followed by taking connective cover. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 14 pages, comments are welcome!

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55P42; 55Q50

Descent and cyclotomic redshift for chromatically localized algebraic K-theory

Authors: Shay Ben-Moshe, Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of… ▽ More We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture. △ Less

Submitted 26 November, 2024; v1 submitted 13 September, 2023; originally announced September 2023.

Comments: 68 pages, final version

Report number: CPH-GEOTOP-DNRF151 MSC Class: 19D99; 55P42

Journal ref: Journal of the American Mathematical Society, 2024

Quotients of Nash Manifolds by Equivalence Relations

Authors: Avraham Aizenbud, Shachar Carmeli, Dmitry Gourevitch, Lev Radzivilovski

Abstract: We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$. We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 18 pages, comments are welcome

Report number: CPH-GEOTOP-DNRF151 MSC Class: 14P20; 58A07

Characters and transfer maps via categorified traces

Authors: Shachar Carmeli, Bastiaan Cnossen, Maxime Ramzi, Lior Yanovski

Abstract: We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Beck… ▽ More We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Becker-Gottlieb transfers, the Hochschild homology of Thom spectra, and the additivity of traces in stable $\infty$-categories. △ Less

Submitted 19 January, 2025; v1 submitted 31 October, 2022; originally announced October 2022.

Comments: 99 pages, comments welcome! v2: updated section 4.2. v3: incorporated feedback from anonymous referee, fixed proof of Lemma 4.49

Report number: CPH-GEOTOP-DNRF151, MPIM-Bonn-2022

Journal ref: Forum of Mathematics, Sigma 13 (2025) e93

The Chromatic Fourier Transform

Authors: Tobias Barthel, Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of $π$-finite spectra, established by Hopkins and Lurie, at heights $n\ge 1$. We use this theory to generalize said duality in three different directions. First, we extend… ▽ More We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of $π$-finite spectra, established by Hopkins and Lurie, at heights $n\ge 1$. We use this theory to generalize said duality in three different directions. First, we extend it from $\mathbb{Z}$-module spectra to all (suitably finite) spectra and use it to compute the discrepancy spectrum of $E_n$. Second, we lift it to the telescopic setting by replacing $E_n$ with $T(n)$-local higher cyclotomic extensions, from which we deduce various results on affineness, Eilenberg--Moore formulas and Galois extensions in the telescopic setting. Third, we categorify their result into an equivalence of two symmetric monoidal $\infty$-categories of local systems of $K(n)$-local $E_n$-modules, and relate it to (semiadditive) redshift phenomena. △ Less

Submitted 23 October, 2022; originally announced October 2022.

Comments: 105 pages. Comments are welcome!

Report number: MPIM-Bonn-2022; GeoTop-CPH-DNRF151; HIM-Spectral-2022 MSC Class: 55P42; 18N60

On the Strict Picard Spectrum of Commutative Ring Spectra

Authors: Shachar Carmeli

Abstract: We compute the connective spectra of maps from $\mathbb{Z}$ to the Picard spectra of the spherical Witt vectors associated with perfect rings of characteristic $p$. As an application, we determine the connective spectrum of maps from $\mathbb{Z}$ to the Picard spectrum of the sphere spectrum. We compute the connective spectra of maps from $\mathbb{Z}$ to the Picard spectra of the spherical Witt vectors associated with perfect rings of characteristic $p$. As an application, we determine the connective spectrum of maps from $\mathbb{Z}$ to the Picard spectrum of the sphere spectrum. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 26 pages, comments are welcome!

Report number: GeoTop-CPH-DNRF151 MSC Class: 55P43 (Primary) 55P42; 14C22 (Secondary)

Higher semiadditive Grothendieck-Witt theory and the $K(1)$-local sphere

Authors: Shachar Carmeli, Allen Yuan

Abstract: We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the $K(1)$-local sphere at the prime $2$. As a further application, we compute and clarify certain power operations in the homotopy of the $K(1)$-local sphere. We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the $K(1)$-local sphere at the prime $2$. As a further application, we compute and clarify certain power operations in the homotopy of the $K(1)$-local sphere. △ Less

Submitted 28 December, 2022; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: v2, 52 pages, various minor corrections and expository improvements

Report number: CPH-GeoTop-DNRF151

Relative de Rham Theory on Nash Manifolds

Authors: Avraham Aizenbud, Shachar Carmeli

Abstract: For a Nash submersion $φ\colon X\to Y$, we study the complex $\mathcal{SDR}(φ)$ of Schwartz sections of the relative de Rham complex of $φ$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and prove that $\mathcal{SDR}(φ)$ is homotopy equivalent to the Schwartz sections of the proper push-forward $φ_!\mathbb{R}_X$ of the constant sheaf $\mathbb{R}_X$. Using thi… ▽ More For a Nash submersion $φ\colon X\to Y$, we study the complex $\mathcal{SDR}(φ)$ of Schwartz sections of the relative de Rham complex of $φ$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and prove that $\mathcal{SDR}(φ)$ is homotopy equivalent to the Schwartz sections of the proper push-forward $φ_!\mathbb{R}_X$ of the constant sheaf $\mathbb{R}_X$. Using this equivalence, we show that $\mathcal{SDR}(φ)$ depends (up to homotopy equivalence) only on the homology type of the map $φ$. We also deduce that $\mathcal{SDR}(φ)$ has Hausdorff homology spaces. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 70 pages

MSC Class: 14P20; 58A07; 18N99; 46A11

Chromatic Cyclotomic Extensions

Authors: Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group. We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group. △ Less

Submitted 24 May, 2023; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 53 pages. Edited in response to comments of the referee. Fixed typos, some arguments expanded and made more precise, added details in section 5.2. Accepted to GnT

Report number: MPIM-Bonn-2021 MSC Class: 55P42

Journal ref: Geom. Topol. 28 (2024) 3511-3564

Tenfold Topology of Crystals: Unified classification of crystalline topological insulators and superconductors

Authors: Eyal Cornfeld, Shachar Carmeli

Abstract: The celebrated tenfold-way of Altland-Zirnbauer symmetry classes discern any quantum system by its pattern of non-spatial symmetries. It lays at the core of the periodic table of topological insulators and superconductors which provided a complete classification of weakly-interacting electrons' non-crystalline topological phases for all symmetry classes. Over recent years, a plethora of topologica… ▽ More The celebrated tenfold-way of Altland-Zirnbauer symmetry classes discern any quantum system by its pattern of non-spatial symmetries. It lays at the core of the periodic table of topological insulators and superconductors which provided a complete classification of weakly-interacting electrons' non-crystalline topological phases for all symmetry classes. Over recent years, a plethora of topological phenomena with diverse surface states has been discovered in crystalline materials. In this paper, we obtain an exhaustive classification of topologically distinct groundstates as well as topological phases with anomalous surface states of crystalline topological insulators and superconductors for key space-groups, layer-groups, and rod-groups. This is done in a unified manner for the full tenfold-way of Altland-Zirnbauer non-spatial symmetry classes. We establish a comprehensive paradigm that harnesses the modern mathematical framework of equivariant spectra; it allows us to obtain results applicable to generic topological classification problems. In particular, this paradigm provides efficient computational tools that enable an inherently unified treatment of the full tenfold-way. △ Less

Submitted 15 January, 2021; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: 22+26 pages, 6 figures, 16 tables

MSC Class: 19L47

Journal ref: Phys. Rev. Research 3, 013052 (2021)

Ambidexterity and Height

Authors: Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: We introduce and study the notion of \emph{semiadditive height} for higher semiadditive $\infty$-categories, which generalizes the chromatic height. We show that the higher semiadditive structure trivializes above the height and prove a form of the redshift principle, in which categorification increases the height by one. In the stable setting, we show that a higher semiadditive $\infty$-category… ▽ More We introduce and study the notion of \emph{semiadditive height} for higher semiadditive $\infty$-categories, which generalizes the chromatic height. We show that the higher semiadditive structure trivializes above the height and prove a form of the redshift principle, in which categorification increases the height by one. In the stable setting, we show that a higher semiadditive $\infty$-category decomposes into a product according to height, and relate the notion of height to semisimplicity properties of local systems. We place the study of higher semiadditivity and stability in the general framework of smashing localizations of $Pr^{L}$, which we call \emph{modes}. Using this theory, we introduce and study the universal stable $\infty$-semiadditive $\infty$-category of semiadditive height $n$, and give sufficient conditions for a stable $1$-semiadditive $\infty$-category to be $\infty$-semiadditive. △ Less

Submitted 25 September, 2020; v1 submitted 26 July, 2020; originally announced July 2020.

Comments: 78 pages, 1 figure. Removed (disproved) conjectures. Shortened "nil-conservativity" subsection

Report number: MPIM-Bonn-2020 MSC Class: 18N60; 55P42

Étale Homotopy Obstructions of Arithmetic Spheres

Authors: Edo Arad, Shachar Carmeli, Tomer M. Schlank

Abstract: Let $K$ be a field of characteristic $\ne 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form… ▽ More Let $K$ be a field of characteristic $\ne 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form $$ o_{n+1} = [a_0]\cup\cdots\cup[a_n]. $$ Our computation is an étale-homotopy analogue of the topological fact that Stiefel-Whitney classes are the homological obstructions to find a section to the unit sphere bundle of a real vector bundle. △ Less

Submitted 9 February, 2019; originally announced February 2019.

Comments: 42 pages

MSC Class: 14G05

Counting Surfaces Singular Along a Line in $P^3$

Authors: Shachar Carmeli, Lev Radzivilovsky

Abstract: We enumerate the number of surfaces of degree $d$ in $P^3$ having a singular line of order $k$, passing through $δ$ generic points (where $δ$ is the dimension of moduli space of such surfaces). We enumerate the number of surfaces of degree $d$ in $P^3$ having a singular line of order $k$, passing through $δ$ generic points (where $δ$ is the dimension of moduli space of such surfaces). △ Less

Submitted 8 January, 2021; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: The second version fixes a computation mistake from the first version, example of cubic scrolls is added. The third version is grammar and style improvements

MSC Class: 14N15

$(A_\infty,2)$-categories and relative 2-operads

Authors: Nathaniel Bottman, Shachar Carmeli

Abstract: We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra in spaces and in chain complexes over a ring. Finally, we show that for any continuous map $A \to X$, we can associate an $(A_\infty,2)$-algebra $θ(A \to X)$ in… ▽ More We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra in spaces and in chain complexes over a ring. Finally, we show that for any continuous map $A \to X$, we can associate an $(A_\infty,2)$-algebra $θ(A \to X)$ in $\textsf{Top}$, which specializes to $θ(\text{pt} \to X) = Ω^2 X$ and $θ(A \to \text{pt}) = ΩA \times ΩA$. △ Less

Submitted 28 June, 2021; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 19 pages, 8 figures. Final version for publication in Higher Structures

MSC Class: 18N10; 18N65; 18M60; 18M75; 53D37

Ambidexterity in Chromatic Homotopy Theory

Authors: Shachar Carmeli, Tomer M. Schlank, Lior Yanovski

Abstract: We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type $n$ spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on $K(n)$-local spectra. Moreover, we show that $K(n)$-local and… ▽ More We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type $n$ spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on $K(n)$-local spectra. Moreover, we show that $K(n)$-local and $T(n)$-local spectra are respectively, the minimal and maximal $1$-semiadditive localizations of spectra with respect to a homotopy ring, and that all such localizations are in fact $\infty$-semiadditive. As a consequence, we deduce that several different notions of "bounded chromatic height" for homotopy rings are equivalent, and in particular, that $T(n)$-homology of $π$-finite spaces depends only on the $n$-th Postnikov truncation. A key ingredient in the proof of the main result is a construction of a certain power operation for commutative ring objects in stable $1$-semiadditive $\infty$-categories. This is closely related to some known constructions for Morava $E$-theory and is of independent interest. Using this power operation we also give a new proof, and a generalization, of a nilpotence conjecture of J.P. May, which was proved by A. Mathew, N. Naumann, and J. Noel. △ Less

Submitted 16 September, 2020; v1 submitted 5 November, 2018; originally announced November 2018.

Comments: Slightly edited version of the previous draft. Added a subsection on "nil-conservativity" and a remark on how the power operation for T(n)-local commutative ring spectra relates to more classical power operations. In addition, section 5 was somewhat reorganized and streamlined

On the Stability and Gelfand Property of Symmetric Pairs

Authors: Shachar Carmeli

Abstract: A symmetric pair of reductive groups $(G,H,θ)$ is called stable, if every closed double coset of $H$ in $G$ is preserved by the anti-involution $g\mapsto θ(g^{-1})$. In this paper, we develop a method to verify the stability of symmetric pairs over local fields of characteristic 0 (Archimedean and $p$-adic), using non-abelian group cohomology. Combining our method with results of Aizenbud and Go… ▽ More A symmetric pair of reductive groups $(G,H,θ)$ is called stable, if every closed double coset of $H$ in $G$ is preserved by the anti-involution $g\mapsto θ(g^{-1})$. In this paper, we develop a method to verify the stability of symmetric pairs over local fields of characteristic 0 (Archimedean and $p$-adic), using non-abelian group cohomology. Combining our method with results of Aizenbud and Gourevitch, we classify the Gelfand pairs among the pairs \begin{align*} &(SL_n(F), (GL_k(F) \times GL_{n - k}(F)) \cap SL_n(F)), (U(B_1 \oplus B_2),U(B_1) \times U(B_2)),\\ &(GL_n(F),O(B)), (GL_n(F),U(B)), (GL_{2n}(F), GL_n(E)),(SL_{2n}(F), SL_n(E)), \end{align*} and the pair $(O(B_1 \oplus B_2),O(B_1) \times O(B_2))$ in the real case. △ Less

Submitted 1 July, 2019; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: 47 pages, v3: made major changes from previous version. comments are welcome!

MSC Class: 20G05; 20G25

Rational curves on the compactified moduli space of rational curves with marked points

Authors: Shachar Carmeli, Lev Radzivilovsky

Abstract: We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to certain polyhedral cones which we describe explicitly. Not all homology classes in the cone correspond to rational curves, but all classes sufficiently far from th… ▽ More We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to certain polyhedral cones which we describe explicitly. Not all homology classes in the cone correspond to rational curves, but all classes sufficiently far from the walls of the cone do. The proof for $X_5$ is explicit, the proof for $X_6$ was carried out using computers. △ Less

Submitted 8 January, 2013; v1 submitted 29 December, 2012; originally announced December 2012.

Comments: 2 figures & C++ program Withdrawn: we found out that there are earlier publications with similar and stronger results