kth.sePublications
Change search
Refine search result
123 1 - 50 of 109
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1. Aas, Erik
    et al.
    Ayyer, Arvind
    Linusson, Svante
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Potka, Samu
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Limiting directions for random walks in classical affine Weyl groupsManuscript (preprint) (Other academic)
    Abstract [en]

    Let be a finite Weyl group and the corresponding affine Weyl group. A random element of can be obtained as a reduced random walk on the alcoves of . By a theorem of Lam (Ann. Probab. 2015), such a walk almost surely approaches one of many directions. We compute these directions when is , and and the random walk is weighted by Kac and dual Kac labels. This settles Lam's questions for types and in the affirmative and for type in the negative. The main tool is a combinatorial two row model for a totally asymmetric simple exclusion process called the -TASEP, with four parameters. By specializing the parameters in different ways, we obtain TASEPs for each of the Weyl groups mentioned above. Computing certain correlations in these TASEPs gives the desired limiting directions.

    Download full text (pdf)
    fulltext
  • 2.
    Abdallah, Nancy
    et al.
    Univ Borås, Borås, Sweden..
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.). KTH Royal Inst Technol, Dept Math, S-10044 Stockholm, Sweden.;Queens Univ, Dept Math & Stat, Kingston, ON K7L 3N6, Canada..
    Iarrobino, Anthony
    Northeastern Univ, Dept Math, Boston, MA 02115 USA..
    Seceleanu, Alexandra
    Univ Nebraska Lincoln, Dept Math, Lincoln, NE 68588 USA..
    Yameogo, Joachim
    Univ Cote dAzur, CNRS, LJAD, Nice, France..
    Lefschetz properties of some codimension three Artinian Gorenstein algebras2023In: Journal of Algebra, ISSN 0021-8693, E-ISSN 1090-266X, Vol. 625, p. 28-45Article in journal (Refereed)
    Abstract [en]

    Codimension two Artinian algebras have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three Artinian Gorenstein algebras. Despite much work, the strong Lefschetz property for codimension three Artinian Gorenstein algebra has remained largely mysterious; our results build on and strengthen some of the previous results. We here show that every standard-graded codimension three Artinian Gorenstein algebra A having maximum value of the Hilbert function at most six has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of A, we show that A is almost strong Lefschetz, they are strong Lefschetz except in the extremal pair of degrees.

  • 3.
    Alexandersson, Per
    et al.
    Stockholm Univ, Dept Math, SE-10691 Stockholm, Sweden..
    Oguz, Ezgi Kantarci
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Linusson, Svante
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Promotion and cyclic sieving on families of SSYT2021In: Arkiv för matematik, ISSN 0004-2080, E-ISSN 1871-2487, Vol. 59, no 2, p. 247-274Article in journal (Refereed)
    Abstract [en]

    We examine a few families of semistandard Young tableaux, for which we observe the cyclic sieving phenomenon under promotion. The first family we consider consists of stretched hook shapes, where we use the cocharge generating polynomial as CSP-polynomial. The second family contains skew shapes, consisting of disjoint rectangles. Again, the charge generating polynomial together with promotion exhibits the cyclic sieving phenomenon. This generalizes earlier results by B. Rhoades and later B. Fontaine and J. Kamnitzer. Finally, we consider certain skew ribbons, where promotion behaves in a predictable manner. This result is stated in the form of a bicyclic sieving phenomenon. One of the tools we use is a novel method for computing charge of skew semistandard tableaux, in the case when every number in the tableau occurs with the same frequency.

  • 4.
    Alexandersson, Per
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Uhlin, Joakim
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Cyclic sieving, skew Macdonald polynomials and Schur positivity2020In: Algebraic Combinatorics, ISSN 2589-5486, Vol. 3, no 4, p. 913-939Article in journal (Refereed)
    Abstract [en]

    When λ is a partition, the specialized non-symmetric Macdonald polynomial Eλ(x; q; 0) is symmetric and related to a modified Hall–Littlewood polynomial. We show that whenever all parts of the integer partition λ are multiples of n, the underlying set of fillings exhibit the cyclic sieving phenomenon (CSP) under an n-fold cyclic shift of the columns. The corresponding CSP polynomial is given by Eλ(x; q; 0). In addition, we prove a refined cyclic sieving phenomenon where the content of the fillings is fixed. This refinement is closely related to an earlier result by B. Rhoades. We also introduce a skew version of Eλ(x; q; 0). We show that these are symmetric and Schur positive via a variant of the Robinson–Schenstedt–Knuth correspondence and we also describe crystal raising and lowering operators for the underlying fillings. Moreover, we show that the skew specialized non-symmetric Macdonald polynomials are in some cases vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur expansion of a new family of LLT polynomials.

  • 5.
    Alper, Jarod
    et al.
    Department of Mathematics, University of Washington, Box 354350, Seattle, WA 98195-4350, USA, Box 354350.
    Hall, Jack
    School of Mathematics & Statistics, The University of Melbourne, Parkville, VIC 3010, Australia.
    Halpern-Leistner, Daniel
    Department of Mathematics, Cornell University, 310 Mallot Hall, Ithaca, NY 14853, USA, 310 Mallot Hall.
    Rydh, David
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts2024In: Forum of Mathematics, Sigma, E-ISSN 2050-5094, Vol. 12, article id e20Article in journal (Refereed)
    Abstract [en]

    We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin.

  • 6.
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Hilbert Functions Of Artinian Gorenstein Algebras With The Strong Lefschetz Property2022In: Proceedings of the American Mathematical Society, ISSN 0002-9939, E-ISSN 1088-6826, Vol. 150, no 2, p. 499-513Article in journal (Refereed)
    Abstract [en]

    We prove that a sequence h of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property (SLP) if and only if it is an Stanley-Iarrobino-sequence. This generalizes the result by T. Harima which characterizes the Hilbert functions of Artinian Gorenstein algebras with the weak Lefschetz property. We also provide classes of Artinian Gorenstein algebras obtained from the ideal of points in P-n such that some of their higher Hessians have non-vanishing determinants. Consequently, we provide families of such algebras satisfying the SLP.

  • 7.
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Jordan types with small parts for Artinian Gorenstein algebras of codimension three2022In: Linear Algebra and its Applications, ISSN 0024-3795, E-ISSN 1873-1856, Vol. 646, p. 54-83Article in journal (Refereed)
    Abstract [en]

    We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1-1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all rank matrices that occur for linear forms with vanishing third power. As a consequence, we show for such algebras that the possible Jordan types with parts of length at most four are uniquely determined by at most three parameters.

  • 8.
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Lefschetz Properties of Monomial Ideals2018Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    This thesis concerns the study of the Lefschetz properties of artinian monomial algebras. An artinian algebra is said to satisfy the strong Lefschetz property if multiplication by all powers of a general linear form has maximal rank in every degree. If it holds for the first power it is said to have the weak Lefschetz property (WLP).

    In the first paper, we study the Lefschetz properties of monomial algebras by studying their minimal free resolutions. In particular, we give an afirmative answer to an specific case of a conjecture by Eisenbud, Huneke and Ulrich for algebras having almost linear resolutions. Since many algebras are expected to have the Lefschetz properties, studying algebras failing the Lefschetz properties is of a great interest. In the second paper, we provide sharp lower bounds for the number of generators of monomial ideals failing the WLP extending a result by Mezzetti and Miró-Roig which provides upper bounds for such ideals. In the second paper, we also study the WLP of ideals generated by forms of a certain degree invariant under an action of a cyclic group. We give a complete classication of such ideals satisfying the WLP in terms of the representation of the group generalizing a result by Mezzetti and Miró-Roig.

    Download full text (pdf)
    Nasrin_Altafi_Licentiate_Thesis
  • 9.
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Lefschetz Properties of Monomial Ideals with Almost Linear ResolutionIn: Article in journal (Other academic)
    Abstract [en]

    We study the WLP and SLP of artinian monomial ideals in S = K[x1, . . . , xn]

    via studying their minimal free resolutions. We study the Lefschetz properties of such ideals

    where the minimal free resolution of S/I is linear for at least n − 2 steps. We give an

    affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial

    ideals with almost linear resolutions.

    Download full text (pdf)
    Nasrin_Altafi_paper1
  • 10.
    Altafi, Nasrin
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    The Weak Lefschetz Property of Equigenerated Monomial IdealsIn: Article in journal (Other academic)
    Abstract [en]

    We determine the sharp lower bound for the Hilbert function in degree d of a

    monomial algebra failing the WLP over a polynomial ring with n variables and generated in

    degree d. We consider artinian ideals in the polynomial ring with

    n variables generated by homogeneous polynomials of degree d invariant under an action of

    the cyclic group Z/dZ. We give a complete classification of

    such ideals in terms of the WLP depending on the action.

    Download full text (pdf)
    Nasrin_Altafi_paper2
  • 11.
    Altafi, Nasrin
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Lundqvist, Samuel
    Monomial ideals and the failure of the Strong Lefschetz property2021In: Collectanea Mathematica (Universitat de Barcelona), ISSN 0010-0757, E-ISSN 2038-4815Article in journal (Refereed)
    Abstract [en]

    We give a sharp lower bound for the Hilbert function in degree d of artinian quotients k[x1, … , xn] / I failing the Strong Lefschetz property, where I is a monomial ideal generated in degree d≥ 2. We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello and Zylinski. 

  • 12. Ardila, Federico
    et al.
    Supina, Mariel
    Vindas-Meléndez, Andrés R.
    The equivariant Ehrhart theory of the permutahedron2020In: Proceedings of the American Mathematical Society, ISSN 0002-9939, E-ISSN 1088-6826, Vol. 148, no 12, p. 5091-5107Article in journal (Refereed)
    Abstract [en]

    Equivariant Ehrhart theory enumerates the lattice points in a polytope with respect to a group action. Answering a question of Stapledon, we describe the equivariant Ehrhart theory of the permutahedron, and we prove his Effectiveness Conjecture in this special case.

  • 13.
    Baker, Andrew
    et al.
    Univ Glasgow, Sch Math & Stat, Glasgow, Lanark, Scotland. Kungliga Tekn Högskolan, Inst Matemat, Stockholm, Sweden..
    Bauer, Tilman
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    The realizability of some finite-length modules over the Steenrod algebra by spaces2020In: Algebraic and Geometric Topology, ISSN 1472-2747, E-ISSN 1472-2739, Vol. 20, no 4, p. 2129-2143Article in journal (Refereed)
    Abstract [en]

    The Joker is an important finite cyclic module over the mod-2 Steenrod algebra A. We show that the Joker, its first two iterated Steenrod doubles, and their linear duals are realizable by spaces of as low a dimension as the instability condition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterization of which versions of Jokers are realizable by spaces or spectra and which are not. The constructions involve sporadic phenomena in homotopy theory (2-compact groups, topological modular forms) and may be of independent interest.

  • 14.
    Bauer, Tilman
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Affine and formal abelian group schemes on p-polar rings2022In: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 128, no 1, p. 35-53Article in journal (Refereed)
    Abstract [en]

    We show that the functor of p-typical co-Witt vectors on commutative algebras over a perfect field k of characteristic p is defined on, and in fact only depends on, a weaker structure than that of a k-algebra. We call this structure a p-polar k-algebra. By extension, the functors of points for any p-adic affine commutative group scheme and for any formal group are defined on, and only depend on, p-polar structures. In terms of abelian Hopf algebras, we show that a cofree cocommutative Hopf algebra can be defined on any p-polar k-algebra P, and it agrees with the cofree commutative Hopf algebra on a commutative k-algebra A if P is the p-polar algebra underlying A; a dual result holds for free commutative Hopf algebras on finite k-coalgebras.

  • 15.
    Bauer, Tilman
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Formal plethories2014In: Advances in Mathematics, ISSN 0001-8708, E-ISSN 1090-2082, Vol. 254, p. 497-569Article in journal (Refereed)
    Abstract [en]

    Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E* to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I set up a framework for studying the algebra of such functors, which I call formal plethories, in the case where E* is a Prüfer ring. I show that the "logarithmic" functors of primitives and indecomposables give linear approximations of formal plethories by bimonoids in the 2-monoidal category of bimodules over a ring.

  • 16.
    Bauer, Tilman
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.). Kungliga Tekn Hogskolan, Dept Math, Lindstedtsvagen 25, S-10044 Stockholm, Sweden..
    Carlson, Magnus
    Hebrew Univ Jerusalem, Einstein Inst Math, Jerusalem, Israel..
    TENSOR PRODUCTS OF AFFINE AND FORMAL ABELIAN GROUPS2019In: Documenta Mathematica, ISSN 1431-0635, E-ISSN 1431-0643, Vol. 24, p. 2525-2582Article in journal (Refereed)
    Abstract [en]

    In this paper we study tensor products of affine abelian group schemes over a perfect field k. We first prove that the tensor product G(1)circle times G(2) of two affine abelian group schemes G(1), G(2) over a perfect field k exists. We then describe the multiplicative and unipotent part of the group scheme G(1)circle times G(2). The multiplicative part is described in terms of Galois modules over the absolute Galois group of k. We describe the unipotent part of G(1)circle times G(2) explicitly. using Dieudonne theory in positive characteristic. We relate these constructions to previously studied tensor products of formal group schemes.

  • 17.
    Bjerklov, Kristian
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    A note on circle maps driven by strongly expanding endomorphisms on T2018In: Dynamical systems, ISSN 1468-9367, E-ISSN 1468-9375, Vol. 33, no 2, p. 361-368Article in journal (Refereed)
    Abstract [en]

    We investigate the dynamics of a class of smooth maps of the two-torus T2 of the form T(x, y) = (Nx, f(x)(y)), where f(x) : T -> T is a monotone family (in x) of orientation preserving circle diffeomorphisms and N is an element of Z(+) is large. For our class of maps, we show that the dynamics essentially is the same as that of the projective action of non-uniformly hyperbolic SL(2, R)-cocycles. This generalizes a result by L.S. Young [6] to maps T outside the (projective) matrix cocycle case.

  • 18.
    Blomgren, Martin
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Chachólski, Wojciech
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    On the classification of fibrations2015In: Transactions of the American Mathematical Society, ISSN 0002-9947, E-ISSN 1088-6850, Vol. 367, no 1, p. 519-557Article in journal (Refereed)
    Abstract [en]

    We identify the homotopy type of the moduli of maps with a given homotopy type of the base and the homotopy fiber. A new model for the space of weak equivalences and its classifying space is given.

  • 19.
    Blomgren, Martin
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Chachólski, Wojciech
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Farjoun, Emmanuel D.
    Hebrew University of Jerusalem.
    Segev, Yoav
    Ben-Gurion University.
    Idempotent deformations of finite groupsManuscript (preprint) (Other academic)
  • 20.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Betti numbers of compressed level algebras1999In: Journal of Pure and Applied Algebra, ISSN 0022-4049, E-ISSN 1873-1376, Vol. 134, no 2, p. 111-131Article in journal (Refereed)
    Abstract [en]

    We present a conjecture on the generic Betti numbers of level algebras. We prove the conjecture in the case of Gorenstein Artin algebras of embedding dimension four, and in the case of Artin level algebras whose socle dimension is large. Furthermore, we present computational evidence for the conjecture.

  • 21.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Components of the space parametrizing graded Gorenstein Artin algebras with a given Hilbert function1999In: Pacific Journal of Mathematics, ISSN 0030-8730, E-ISSN 1945-5844, Vol. 187, no 1, p. 1-11Article in journal (Refereed)
    Abstract [en]

    We give geometric constructions of families of graded Gorenstein Artin algebras, some of which span a component of the space Gor(T) parametrizing Gorenstein Artin algebras with a given Hilbert function T. This gives a lot of examples where Gor(T) is reducible. We also show that the Hilbert function of a codimension four Gorenstein Artin algebra can have an arbitrarily long constant part without having the weak Lefschetz property.

  • 22.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Gorenstein algebras with nonunimodal Betti numbers1999In: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 84, no 2, p. 161-164Article in journal (Refereed)
    Abstract [en]

    We show the existence of graded Gorenstein algebras whose Betti numbers are not unimodal, contradicting a conjecture by R. Stanley. In fact, we prove that the Betti numbers given by the natural lower bound are non-unimodal in sufficiently high embedding dimension - greater than or equal to nine - and we have calculated two examples where the Betti numbers attain this lower bound.

  • 23.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Gorenstein Artin algebras and points in projective space1999In: Bulletin of the London Mathematical Society, ISSN 0024-6093, E-ISSN 1469-2120, Vol. 31, no 1, p. 11-16Article in journal (Refereed)
    Abstract [en]

    We describe completely the possible Gorenstein Artin quotients of the coordinate ring of a set of points in projective space. In addition, we give a sufficient condition for an ideal of a Cohen–Macaulay graded k‐algebra A to be isomorphic to the canonical module of A. This leads to a description of the canonical module in the case when A is the coordinate ring of points. 

  • 24.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Graded Gorenstein Artin algebras whose Hilbert functions have a large number of valleys1995In: Communications in Algebra, ISSN 0092-7872, E-ISSN 1532-4125, Vol. 23, no 1, p. 97-193Article in journal (Refereed)
    Abstract [en]

    In [4] Stanley showed that the Hilbert function of graded Goren-stein Artin algebras need not be unimodal. In this article we prove the exis¬tence of graded Gorenstein Artin algebras whose Hilbert functions have local maxima at any given set of points with the symmetry and the socle degree as the only restrictions.

  • 25.
    Boij, Mats
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Nonunimodality of graded Gorenstein Artin algebras1994In: Proceedings of the American Mathematical Society, ISSN 0002-9939, E-ISSN 1088-6826, Vol. 120, no 4, p. 1083-1092Article in journal (Refereed)
    Abstract [en]

    We give an explicit expression for the Hilbert function of a large class of graded Gorenstein Artin algebras and give a criterion for this function to be unimodal. As a result we obtain an abundance of graded Gorenstein Artin algebras with nonunimodal Hilbert function.

  • 26.
    Boij, Mats
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Migliore, Juan
    Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA..
    Miro-Roig, Rosa M.
    Univ Barcelona, Fac Math & Informat, Barcelona, Spain..
    Nagel, Uwe
    Univ Kentucky, Dept Math, Lexington, KY USA..
    Waring and cactus ranks and strong Lefschetz property for annihilators of symmetric forms2022In: Algebra & Number Theory, ISSN 1937-0652, E-ISSN 1944-7833, Vol. 16, no 1, p. 155-178Article in journal (Refereed)
    Abstract [en]

    We show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the strong Lefschetz property. This is the first example of an explicit dual form with these properties. For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum decomposition. Moreover, we determine the Waring rank, the cactus rank, the resolution and the strong Lefschetz property for any Gorenstein algebra defined by a symmetric cubic form. In particular, we show that the difference between the Waring rank and the cactus rank of a symmetric cubic form can be made arbitrarily large by increasing the number of variables. We provide upper bounds for the Waring rank of generic symmetric forms of degrees four and five.

  • 27.
    Carlson, Magnus
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Classification of plethories in characteristic zero2015Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    We classify plethories over fields of characteristic zero, thus answering a question of Borger-Wieland and Bergman-Hausknecht. All plethories over characteristic zero fields are linear, in the sense that they are free plethories on a bialgebra. For the proof we need some facts from the theory of ring schemes where we extend previously known results. We also classify plethories with trivial Verschiebung over a perfect field of non-zero characteristic and indicate future work. 

    Download full text (pdf)
    Thesis
  • 28.
    Carlson, Magnus
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Tensor products of affine and formal abelian groupsManuscript (preprint) (Other academic)
    Abstract [en]

    In this paper we study tensor products of affine abelian group schemes over a perfect field k. We first prove that the tensor product G_1 ⊗ G_2 of two affine abelian group schemes G_1,G_2  over a perfect field k exists. We then describe the multiplicative and unipotent part of the group scheme G_1 ⊗G_2. The multiplicative part is described in terms of Galois modules over the absolute Galois group of k. We describe the unipotent part of G_1 ⊗ G_2 explicitly, using Dieudonn\'e theory in positive characteristic. We relate these constructions to previously studied tensor products of formal group schemes.

    Download full text (pdf)
    fulltext
  • 29.
    Carlson, Magnus
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Ahlqvist, Eric
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    The Étale Cohomology Ring of the Ring of Integers of a Number FieldManuscript (preprint) (Other academic)
    Abstract [en]

    We compute the étale cohomology ring H^*(Spec O_K,Z/nZ) where O_K is the ring of integers of a number field K. As an application, we give a non-vanishing formula for an invariant defined by Minhyong Kim.

  • 30.
    Carlson, Magnus
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Bauer, Tilman
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Tensor products of affine and formal abelian groupsManuscript (preprint) (Other academic)
    Abstract [en]

    In this paper we study tensor products of affine abelian group schemes over a perfect field k. We first prove that the tensor product G_1 ⊗ G_2 of two affine abelian group schemes G_1,G_2  over a perfect field k exists. We then describe the multiplicative and unipotent part of the group scheme G_1 ⊗G_2. The multiplicative part is described in terms of Galois modules over the absolute Galois group of k. We describe the unipotent part of G_1 ⊗ G_2 explicitly, using Dieudonn\'e theory in positive characteristic. We relate these constructions to previously studied tensor products of formal group schemes.

    Download full text (pdf)
    fulltext
  • 31.
    Carlson, Magnus
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Schlank, Tomer
    Hebrew University of Jerusalem.
    The unramified inverse Galois problem and cohomology rings of totally imaginary number fieldsManuscript (preprint) (Other academic)
    Abstract [en]

    We employ methods from homotopy theory to define new obstructions to solutions of embedding problems. By using these novel obstructions we study embedding problems with non-solvable kernel. We apply these obstructions to study the unramified inverse Galois problem. That is, we show that our methods can be used to determine that certain groups cannot be realized as the Galois groups of unramified extensions of certain number fields. To demonstrate the power of our methods, we give an infinite family of totally imaginary quadratic number fields such that Aut(PSL(2,q^2)) for q an odd prime power, cannot be realized as an unramified Galois group over K, but its maximal solvable quotient can. To prove this result, we determine the ring structure of the \'etale cohomology ring H^*(Spec O_K;Z/2Z) where O_K is the ring of integers of an arbitrary totally imaginary number field K.

    Download full text (pdf)
    fulltext
  • 32.
    Chachólski, Wojciech
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Giunti, Barbara
    Univ Modena & Reggio Emilia, Dipartimento Sci & Metodi Ingn, Via Giovanni Amendola 2, I-42122 Reggio Emilia, RE, Italy..
    Landi, Claudia
    Univ Modena & Reggio Emilia, Dipartimento Sci & Metodi Ingn, Via Giovanni Amendola 2, I-42122 Reggio Emilia, RE, Italy..
    Invariants for tame parametrised chain complexes2021In: Homology, Homotopy and Applications, ISSN 1532-0073, E-ISSN 1532-0081, Vol. 23, no 2, p. 183-213Article in journal (Refereed)
    Abstract [en]

    We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at the chain complex level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they approximate.

  • 33.
    Corbet, René
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Kerber, M.
    Lesnick, M.
    Osang, G.
    Computing the multicover bifiltration2021In: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , 2021Conference paper (Refereed)
    Abstract [en]

    Given a finite set A ⊂ ℝd, let Covr,k denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness. 

  • 34.
    D'Alì, Alessio
    et al.
    Institut für Mathematik, Universität Osnabrück, 49069 Osnabrück, Germany; Mathematics Institute, University of Warwick, CV4 7AL Coventry, UK.
    Venturello, Lorenzo
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Koszul Gorenstein Algebras From Cohen-Macaulay Simplicial Complexes2023In: International mathematics research notices, ISSN 1073-7928, E-ISSN 1687-0247, Vol. 2023, no 6, p. 4998-5045Article in journal (Refereed)
    Abstract [en]

    We associate with every pure flag simplicial complex Δ a standard graded Gorenstein F-RΔ whose homological features are largely dictated by the combinatorics and topology of Δ . As our main result, we prove that the residue field F has a k-step linear RΔ-resolution if and only if Δ satisfies Serre's condition (S k) over F and that RΔ is Koszul if and only if Δ is Cohen-Macaulay over F. Moreover, we show that RΔ has a quadratic Gröbner basis if and only if Δ is shellable. We give two applications: first, we construct quadratic Gorenstein F-s that are Koszul if and only if the characteristic of F is not in any prescribed set of primes. Finally, we prove that whenever RΔ is Koszul the coefficients of its γ-vector alternate in sign, settling in the negative an ic generalization of a conjecture by Charney and Davis.

  • 35.
    Damjanović, Danijela
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Tanis, J. A. M. E. S.
    Transversal local rigidity of discrete abelian actions on Heisenberg nilmanifolds2021In: Ergodic Theory and Dynamical Systems, ISSN 0143-3857, E-ISSN 1469-4417, p. 1-41Article in journal (Refereed)
    Abstract [en]

    In this paper we prove a perturbative result for a class of actions on Heisenberg nilmanifolds that have Diophantine properties. Along the way we prove cohomological rigidity and obtain a tame splitting for the cohomology with coefficients in smooth vector fields for such actions.

  • 36.
    De Stefani, Alessandro
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Polstra, Thomas
    Yao, Yongwei
    GENERALIZING SERRE'S SPLITTING THEOREM AND BASS'S CANCELLATION THEOREM VIA FREE-BASIC ELEMENTS2018In: Proceedings of the American Mathematical Society, ISSN 0002-9939, E-ISSN 1088-6826, Vol. 146, no 4, p. 1417-1430Article in journal (Refereed)
    Abstract [en]

    We give new proofs of two results of Stafford, which generalize two famous Theorems of Serre and Bass regarding projective modules. Our techniques are inspired by the theory of basic elements. Using these methods we further generalize Serre's Splitting Theorem by imposing a condition to the splitting maps, which has an application to the case of Cartier algebras.

  • 37.
    Di Rocco, Sandra
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Edwards, Parker B.
    Univ Notre Dame, Dept Appl & Computat Math & Stat, Notre Dame, IN 46556 USA.;Florida Atlantic Univ, Dept Math Sci, Boca Raton, FL 33431 USA..
    Eklund, David
    RISE Res Inst Sweden, S-16440 Kista, Sweden..
    Gafvert, Oliver
    Univ Oxford, Math Inst, Oxford OX2 6GG, England..
    Hauenstein, Jonathan D.
    Univ Notre Dame, Dept Appl & Computat Math & Stat, Notre Dame, IN 46556 USA..
    Computing Geometric Feature Sizes for Algebraic Manifolds2023In: SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, ISSN 2470-6566, Vol. 7, no 4, p. 716-741Article in journal (Refereed)
    Abstract [en]

    We introduce numerical algebraic geometry methods for computing lower bounds on the reach, local feature size, and weak feature size of the real part of an equidimensional and smooth algebraic variety using the variety's defining polynomials as input. For the weak feature size, we also show that nonquadratic complete intersections generically have finitely many geometric bottlenecks, and we describe how to compute the weak feature size directly rather than a lower bound in this case. In all other cases, we describe additional computations that can be used to determine feature size values rather than lower bounds.

  • 38.
    Doolittle, Joseph
    et al.
    Graz Univ Technol, Inst Geometry, Graz, Austria..
    Goeckner, Bennet
    Univ Washington, Dept Math, Seattle, WA 98195 USA..
    Lazar, Alexander
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Partition and Cohen-Macaulay extenders2022In: European journal of combinatorics (Print), ISSN 0195-6698, E-ISSN 1095-9971, Vol. 102, article id 103488Article in journal (Refereed)
    Abstract [en]

    If a pure simplicial complex is partitionable, then its h-vector has a combinatorial interpretation in terms of any partitioning of the complex. Given a non-partitionable complex increment , we construct a complex Gamma superset of increment of the same dimension such that both Gamma and the relative complex (Gamma , increment ) are partitionable. This allows us to rewrite the h-vector of any pure simplicial complex as the difference of two h-vectors of partitionable complexes, giving an analogous interpretation of the h-vector of a non-partitionable complex. By contrast, for a given complex increment it is not always possible to find a complex Gamma such that both Gamma and (Gamma , increment ) are Cohen- Macaulay. We characterize when this is possible, and we show that the construction of such a Gamma in this case is remarkably straightforward. We end with a note on a similar notion for shellability and a connection to Simon's conjecture on extendable shellability for uniform matroids.

  • 39.
    Ekholm, Tomas
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Kovarik, Hynek
    Laptev, Ari
    Hardy inequalities for p-Laplacians with Robin boundary conditions2015In: Nonlinear Analysis, ISSN 0362-546X, E-ISSN 1873-5215, Vol. 128, p. 365-379Article in journal (Refereed)
    Abstract [en]

    In this paper we study the best constant in a Hardy inequality for the p-Laplace operator on convex domains with Robin boundary conditions. We show, in particular, that the best constant equals ((p-1)/p)(p) whenever Dirichlet boundary conditions are imposed on a subset of the boundary of non-zero measure. We also discuss some generalizations to non-convex domains.

  • 40.
    Eshagh, Mehdi
    KTH, School of Architecture and the Built Environment (ABE), Urban Planning and Environment, Geodesy and Geoinformatics.
    Generalized Least Squares Adjustment of Gauss-Helmert Model2005Conference paper (Refereed)
  • 41.
    Eur, Christopher
    et al.
    Department of Mathematics Stanford University 450 Jane Stanford Way, Building 380 Stanford CA 94305 USA.
    Sanchez, Mario
    Department of Mathematics University of California Berkeley 970 Evans Hall Berkeley CA 94720 USA.
    Supina, Mariel
    Department of Mathematics University of California Berkeley 970 Evans Hall Berkeley CA 94720 USA.
    The universal valuation of Coxeter matroids2021In: Bulletin of the London Mathematical Society, ISSN 0024-6093, E-ISSN 1469-2120, Vol. 53, no 3, p. 798-819Article in journal (Refereed)
    Abstract [en]

    Coxeter matroids generalize matroids just as flag varieties of Lie groups generalize Grassmannians. Valuations of Coxeter matroids are functions that behave well with respect to subdivisions of a Coxeter matroid into smaller ones. We compute the universal valuative invariant of Coxeter matroids. A key ingredient is the family of Coxeter Schubert matroids, which correspond to the Bruhat cells of flag varieties. In the process, we compute the universal valuation of generalized Coxeter permutohedra, a larger family of polyhedra that model Coxeter analogues of combinatorial objects such as matroids, clusters, and posets.

  • 42.
    Ezquiaga, J. M.
    et al.
    nstituto de Física Teórica UAM/CSIC, Universidad Autónoma de Madrid.
    García-Bellido, J.
    nstituto de Física Teórica UAM/CSIC, Universidad Autónoma de Madrid.
    Zumalacárregui, Miguel
    KTH, Centres, Nordic Institute for Theoretical Physics NORDITA.
    Towards the most general scalar-tensor theories of gravity: A unified approach in the language of differential forms2016In: Physical Review D, ISSN 1550-7998, E-ISSN 1550-2368, Vol. 94, no 2, article id 024005Article in journal (Refereed)
    Abstract [en]

    We use a description based on differential forms to systematically explore the space of scalar-tensor theories of gravity. Within this formalism, we propose a basis for the scalar sector at the lowest order in derivatives of the field and in any number of dimensions. This minimal basis is used to construct a finite and closed set of Lagrangians describing general scalar-tensor theories invariant under local Lorentz transformations in a pseudo-Riemannian manifold, which contains ten physically distinct elements in four spacetime dimensions. Subsequently, we compute their corresponding equations of motion and find which combinations are at most second order in derivatives in four as well as an arbitrary number of dimensions. By studying the possible exact forms (total derivatives) and algebraic relations between the basis components, we discover that there are only four Lagrangian combinations producing second-order equations, which can be associated with Horndeski's theory. In this process, we identify a new second-order Lagrangian, named kinetic Gauss-Bonnet, that was not previously considered in the literature. However, we show that its dynamics is already contained in Horndeski's theory. Finally, we provide a full classification of the relations between different second-order theories. This allows us to clarify, for instance, the connection between different covariantizations of Galileons theory. In conclusion, our formulation affords great computational simplicity with a systematic structure. As a first step, we focus on theories with second-order equations of motion. However, this new formalism aims to facilitate advances towards unveiling the most general scalar-tensor theories.

  • 43.
    Furter, Jean-Philippe
    et al.
    Université de Bordeaux, IMB, CNRS, UMR 5251, Talence, 33400, France.
    Hedén, Isac
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.). Mathematics Institute, University of Warwick, Coventry, CV4 7AL, United Kingdom.
    Borel subgroups of the plane Cremona group2022In: Journal für die Reine und Angewandte Mathematik, ISSN 0075-4102, E-ISSN 1435-5345, Vol. 0, no 0, p. 133-177Article in journal (Refereed)
    Abstract [en]

    It is well known that all Borel subgroups of a linear algebraic group are conjugate. Berest, Eshmatov, and Eshmatov have shown that this result also holds for the automorphism group Aut (A 2) of the affine plane. In this paper, we describe all Borel subgroups of the complex Cremona group Bir (P 2) up to conjugation, proving in particular that they are not necessarily conjugate. In principle, this fact answers a question of Popov. More precisely, we prove that Bir (P 2) admits Borel subgroups of any rank r ϵ {0, 1, 2} and that all Borel subgroups of rank r ϵ {1, 2} are conjugate. In rank 0, there is a one-to-one correspondence between conjugacy classes of Borel subgroups of rank 0 and hyperelliptic curves of genus g ≥ 1. Hence, the conjugacy class of a rank 0 Borel subgroup admits two invariants: a discrete one, the genus g, and a continuous one, corresponding to the coarse moduli space of hyperelliptic curves of genus g. This moduli space is of dimension 2g - 1.

  • 44. Galuppi, F.
    et al.
    Mulas, R.
    Venturello, Lorenzo
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Spectral theory of weighted hypergraphs via tensors2022In: Linear and multilinear algebra, ISSN 0308-1087, E-ISSN 1563-5139, p. 1-31Article in journal (Refereed)
    Abstract [en]

    One way to study a hypergraph is to attach to it a tensor. Tensors are a generalization of matrices, and they are an efficient way to encode information in a compact form. In this paper, we study how properties of weighted hypergraphs are reflected on eigenvalues and eigenvectors of their associated tensors. We also show how to efficiently compute eigenvalues with some techniques from numerical algebraic geometry.

  • 45.
    Greco, Ornella
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Bounds on Hilbert Functions2013Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    This thesis is constituted of two articles, both related to Hilbert functions and h-vectors. In the first paper, we deal with h-vectorsof reduced zero-dimensional schemes in the projective plane, and, in particular, with the problem of finding the possible h-vectors for the union of two sets of points of given h-vectors. In the second paper, we generalize the Green’s Hyperplane Restriction Theorem to the case of modules over the polynomial ring.

    Download full text (pdf)
    greco_licentiate
  • 46.
    Greco, Ornella
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Bounds on Hilbert Functions and Betti Numbers of Veronese Modules2014Doctoral thesis, comprehensive summary (Other academic)
    Abstract [en]

    The thesis is a collection of four papers dealing with Hilbert functions and Betti numbers.In the first paper, we study the h-vectors of reduced zero-dimensional schemes in  . In particular we deal with the problem of findingthe possible h-vectors for the union of two sets of points of given h-vectors. To answer to this problem, we give two kinds of bounds on theh-vectors and we provide an algorithm that calculates many possibleh-vectors.In the second paper, we prove a generalization of Green’s Hyper-plane Restriction Theorem to the case of finitely generated modulesover the polynomial ring, providing an upper bound for the Hilbertfunction of the general linear restriction of a module M in a degree dby the corresponding Hilbert function of a lexicographic module.In the third paper, we study the minimal free resolution of theVeronese modules, , where  by giving a formula for the Betti numbers in terms of the reduced homology of the squarefree divisor complex. We prove that is Cohen-Macaulay if and only if k < d, and that its minimal resolutionis linear when k > d(n − 1) − n. We prove combinatorially that the resolution of  is pure. We provide a formula for the Hilbert seriesof the Veronese modules. As an application, we calculate the completeBetti diagrams of the Veronese rings  .In the fourth paper, we apply the same combinatorial techniques inthe study of the properties of pinched Veronese rings, in particular weshow when this ring is Cohen-Macaulay. We also study the canonicalmodule of the Veronese modules.

  • 47.
    Greco, Ornella
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Cohen-Macaulay Property of pinched Veronese Rings and Canonical Modules of Veronese  ModulesManuscript (preprint) (Other academic)
    Abstract [en]

    In this paper, we study the Betti numbers of pinched Veronese rings, by means of the reduced homology of the squarefree divisor complex. In particular, we study the Cohen-Macaulay property of these rings. Moreover, in the last section we compute the canonical modules of the Veronese modules.

  • 48.
    Greco, Ornella
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.).
    Martino, Ivan
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Cohen-Macaulay Property And Linearity Of Pinched Veronese Rings2021In: Journal of Commutative Algebra, ISSN 1939-0807, E-ISSN 1939-2346, Vol. 13, no 3, p. 347-360Article in journal (Refereed)
    Abstract [en]

    In this work, we study the Betti numbers of pinched Veronese rings, by means of the reduced homology of squarefree divisor complexes. We characterize when these rings are Cohen-Macaulay and we study the shape of the Betti tables for the pinched Veronese in the two variables. As a byproduct we obtain information on the linearity of such rings. Moreover, in the last section we compute the canonical modules of the Veronese modules.

  • 49.
    Greco, Ornella
    et al.
    KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).
    Martino, Ivan
    Syzygies of Veronese modulesManuscript (preprint) (Other academic)
  • 50.
    Gurov, Dilian
    et al.
    KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
    Lidström, Christian
    Scania.
    Nyberg, Mattias
    KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. Systems Development DivisionScania AB, Södertälje, Sweden.
    Westman, Jonas
    KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
    Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report2017In: Critical Systems: Formal Methods and Automated Verification, Cham: Springer, 2017, p. 3-18Conference paper (Refereed)
    Abstract [en]

    This paper summarizes our experiences from an exercise in deductive verification of functional properties of automotive embedded Ccode in an industrial setting. We propose a formal requirements model that supports the way C-code requirements are currently written at Scania. We describe our work, for a safety-critical module of an embedded system, on formalizing its functional requirements and verifying its C-code implementation by means of VCC, an established tool for deductive verification. We describe the obstacles we encountered, and discuss the automation of the specification and annotation effort as a prerequisite for integrating this technology into the embedded software design process.

123 1 - 50 of 109
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf